Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

[Anterior] de 18 paginas [Siguiente]      registros 1601 al 1700 de 1795
Theory and Practice of Natural Computing
Autor/Editor: Dediu, Adrian-Horia  Martín-Vide, Carlos  Truthe, Bianca
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-33860-1
    + info
Theory and Practice of Natural Computing
Autor/Editor: Dediu, Adrian-Horia  Martín-Vide, Carlos  Truthe, Bianca  Vega-Rodríguez, Miguel A.
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-45008-2
    + info
Theory and Practice of Natural Computing
Autor/Editor: Dediu, Adrian-Horia  Lozano, Manuel  Martín-Vide, Carlos
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-13749-0
    + info
Theory and Practice of Natural Computing
Autor/Editor: Martín-Vide, Carlos  Mizuki, Takaaki  Vega-Rodríguez, Miguel A.
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-49001-4
    + info
Theory and Practice of Natural Computing
Autor/Editor: Martín-Vide, Carlos  Neruda, Roman  Vega-Rodríguez, Miguel A.
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-71069-3
    + info
Theory of Cryptography
Autor/Editor: Cramer, Ronald
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-28914-9
    + info
Theory of Cryptography
Autor/Editor: Beimel, Amos  Dziembowski, Stefan
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-03807-6
    + info
Theory of Cryptography
Autor/Editor: Beimel, Amos  Dziembowski, Stefan
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-03810-6
    + info
Theory of Cryptography : 13th International Conference, TCC 2016-A, Proceedings, Part I
Autor/Editor: Kushilevitz, Eyal  Malkin, Tal
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-49096-9
    + info
Theory of Cryptography : 13th International Conference, TCC 2016-A, Proceedings, Part II
Autor/Editor: Kushilevitz, Eyal  Malkin, Tal
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-49099-0
    + info
Theory of Cryptography : 14th International Conference, Proceedings, Part I
Autor/Editor: Hirt, Martin  Smith, Adam
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-53641-4
    + info
Theory of Cryptography : 14th International Conference, Proceedings, Part II
Autor/Editor: Hirt, Martin  Smith, Adam
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-53644-5
    + info
Theory of Cryptography. 15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017, Proceedings, Part I
Autor/Editor: Kalai, Yael  Reyzin, Leonid
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-70500-2
    + info
Theory of Security and Applications
Autor/Editor: Mödersheim, Sebastian  Palamidessi, Catuscia
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-27375-9
    + info
Theory, Practice, and Applications of Rules on the Web
Autor/Editor: Morgenstern, Leora  Stefaneas, Petros  Lévy, François  Wyner, Adam  Paschke, Adrian
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-39617-5
    + info
Time Division Multiple Access For Vehicular Communications
Autor/Editor: Omar, Hassan Aboubakr  Zhuang, Weihua
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-09504-2
    + info
Tools and Algorithms for the Construction and Analysis of Systems
Autor/Editor: Flanagan, Cormac  König, Barbara
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-28756-5
    + info
Tools of Transport Telematics
Autor/Editor: Mikulski, Jerzy
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-24577-5
    + info
Topics in Cryptology - CT- RSA 2012
Autor/Editor: Dunkelman, Orr
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-27954-6
    + info
Topics in Cryptology - CT-RSA 2016
Autor/Editor: Sako, Kazue
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-29485-8
    + info
Topics in Cryptology – CT-RSA 2013
Autor/Editor: Dawson, Ed
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-36095-4
    + info
Topics in Cryptology – CT-RSA 2017
Autor/Editor: Handschuh, Helena
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-52153-4
    + info
Topics in Cryptology – CT-RSA 2018
Autor/Editor: Smart, Nigel P.
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-76953-0
    + info
Topics in Cryptology –- CT-RSA 2015
Autor/Editor: Nyberg, Kaisa
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-16715-2
    + info
Topics in Parallel and Distributed Computing
Autor/Editor: Prasad, Sushil K.  Gupta, Anshul  Rosenberg, Arnold  Sussman, Alan  Weems, Charles
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-93109-8
    + info
Towards Autonomous Robotic Systems
Autor/Editor: Gao, Yang  Fallah, Saber  Jin, Yaochu  Lekakou, Constantina
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-64107-2
    + info
Towards Autonomous Robotic Systems
Autor/Editor: Giuliani, Manuel  Assaf, Tareq  Giannaccini, Maria Elena
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-96728-8
    + info
Towards the Internet of Services: The THESEUS Research Program
Autor/Editor: Wahlster, Wolfgang  Grallert, Hans-Joachim  Wess, Stefan  Friedrich, Hermann  Widenka, Thomas
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-06755-1
    + info
Traffic Measurement on the Internet
Autor/Editor: Li, Tao  Chen, Shigang
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-1-4614-4851-8
    + info
Traffic Monitoring and Analysis
Autor/Editor: Steiner, Moritz  Barlet-Ros, Pere  Bonaventure, Olivier
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-17172-2
    + info
Traffic Monitoring and Analysis
Autor/Editor: Pescapè, Antonio  Salgarelli, Luca  Dimitropoulos, Xenofontas
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-28534-9
    + info
Traffic Monitoring and Analysis
Autor/Editor: Dainotti, Alberto  Mahanti, Anirban  Uhlig, Steve
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-54999-1
    + info
Transactions on Computational Collective Intelligence VI
Autor/Editor: Nguyen, Ngoc Thanh
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-29356-6
    + info
Transactions on Computational Collective Intelligence XXI
Autor/Editor: Nguyen, Ngoc Thanh  Kowalczyk, Ryszard  Cunha, Paulo Rupino da
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-49521-6
    + info
Transactions on Computational Collective Intelligence XXII
Autor/Editor: Nguyen, Ngoc Thanh  Kowalczyk, Ryszard
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-49619-0
    + info
Transactions on Computational Collective Intelligence XXIII
Autor/Editor: Nguyen, Ngoc Thanh  Kowalczyk, Ryszard  Mercik, Jacek
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-52886-0
    + info
Transactions on Computational Collective Intelligence XXIV
Autor/Editor: Nguyen, Ngoc Thanh  Kowalczyk, Ryszard  Filipe, Joaquim
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-53525-7
    + info
Transactions on Computational Collective Intelligence XXVIII
Autor/Editor: Nguyen, Ngoc Thanh  Kowalczyk, Ryszard  Herik, Jaap van den  Rocha, Ana Paula  Filipe, Joaquim
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-78301-7
    + info
Transactions on Computational Science XV
Autor/Editor: Gavrilova, Marina L.  Tan, C. J. Kenneth  Phan, Cong-Vinh
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-28525-7
    + info
Transactions on Computational Science XVI
Autor/Editor: Gavrilova, Marina L.  Tan, C. J. Kenneth
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-32663-9
    + info
Transactions on Computational Science XVII
Autor/Editor: Gavrilova, Marina L.  Tan, C. J. Kenneth
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35840-1
    + info
Transactions on Computational Science XXIX
Autor/Editor: Gavrilova, Marina L.  Tan, C. J. Kenneth
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-54563-8
    + info
Transactions on Computational Science XXVII
Autor/Editor: Gavrilova, Marina L.  Tan, C.J. Kenneth
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-50412-3
    + info
Transactions on Computational Science XXXIII
Autor/Editor: Gavrilova, Marina L.  Tan, C. J. Kenneth
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-662-58039-4
    + info
Transactions on Data Hiding and Multimedia Security VII
Autor/Editor: Shi, Yun Q.
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-28693-3
    + info
Transactions on Edutainment XIII
Autor/Editor: Pan, Zhigeng  Cheok, Adrian David  Müller, Wolfgang  Zhang, Mingmin
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-54395-5
    + info
Transactions on Large-Scale Data- and Knowledge-Centered Systems IX
Autor/Editor: Hameurlain, Abdelkader  Küng, Josef  Wagner, Roland
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-40069-8
    + info
Transactions on Large-Scale Data- and Knowledge-Centered Systems X
Autor/Editor: Hameurlain, Abdelkader  Küng, Josef  Wagner, Roland  Liddle, Stephen W.  Schewe, Klaus-Dieter  Zhou, Xiaofang
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-41221-9
    + info
Transactions on Large-Scale Data- and Knowledge-Centered Systems XIX
Autor/Editor: Hameurlain, Abdelkader  Küng, Josef  Wagner, Roland  Bianchini, Devis  De Antonellis, Valeria  De Virgilio, Roberto
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-46562-2
    + info
Transactions on Large-Scale Data- and Knowledge-Centered Systems XX
Autor/Editor: Hameurlain, Abdelkader  Küng, Josef  Wagner, Roland  Sakr, Sherif  Wang, Lizhe  Zomaya, Albert
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-46703-9
    + info
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVII
Autor/Editor: Hameurlain, Abdelkader  Wagner, Roland
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-662-57932-9
    + info
Transactions on Petri Nets and Other Models of Concurrency V
Autor/Editor: Jensen, Kurt  Donatelli, Susanna  Kleijn, Jetty
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-29072-5
    + info
Transactions on Petri Nets and Other Models of Concurrency VI
Autor/Editor: Jensen, Kurt  Aalst, Wil M.  Ajmone Marsan, Marco  Franceschinis, Giuliana  Kleijn, Jetty  Kristensen, Lars Michael
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35179-2
    + info
Trends and Applications in Knowledge Discovery and Data Mining
Autor/Editor: Ganji, Mohadeseh  Rashidi, Lida  Fung, Benjamin C. M.  Wang, Can
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-04503-6
    + info
Trends in Mobile Web Information Systems
Autor/Editor: Matera, Maristella  Rossi, Gustavo
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-03737-0
    + info
Trust and Trustworthy Computing
Autor/Editor: Katzenbeisser, Stefan  Weippl, Edgar  Camp, L. Jean  Volkamer, Melanie  Reiter, Mike  Zhang, Xinwen
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-30921-2
    + info
Trust and Trustworthy Computing
Autor/Editor: Huth, Michael  Asokan, N.  ÄŒapkun, Srdjan  Flechais, Ivan  Coles-Kemp, Lizzie
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38908-5
    + info
Trust Management in Cloud Services
Autor/Editor: Noor, Talal H.  Sheng, Quan Z.  Bouguettaya, Athman
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-12250-2
    + info
Trust Management VI
Autor/Editor: Dimitrakos, Theo  Moona, Rajat  Patel, Dhiren  McKnight, D. Harrison
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-29852-3
    + info
Trust Management VII
Autor/Editor: Fernández-Gago, Carmen  Martinelli, Fabio  Pearson, Siani  Agudo, Isaac
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38323-6
    + info
Trust, Privacy and Security in Digital Business
Autor/Editor: Fischer-Hübner, Simone  Lambrinoudakis, Costas  López, Javier
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-22906-5
    + info
Trust, Privacy and Security in Digital Business
Autor/Editor: Fischer-Hübner, Simone  Katsikas, Sokratis  Quirchmayr, Gerald
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-32287-7
    + info
Trust, Privacy and Security in Digital Business
Autor/Editor: Katsikas, Sokratis  Lambrinoudakis, Costas  Furnell, Steven
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-44341-6
    + info
Trust, Privacy and Security in Digital Business
Autor/Editor: Lopez, Javier  Fischer-Hübner, Simone  Lambrinoudakis, Costas
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-64483-7
    + info
Trust, Privacy and Security in Digital Business
Autor/Editor: Furnell, Steven  Mouratidis, Haralambos  Pernul, Günther
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-98385-1
    + info
Trusted Cloud Computing
Autor/Editor: Krcmar, Helmut  Reussner, Ralf  Rumpe, Bernhard
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-12718-7
    + info
Trusted Systems
Autor/Editor: Yung, Moti  Zhu, Liehuang  Yang, Yanjiang
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-27998-5
    + info
Trusted Systems. INTRUST 2011
Autor/Editor: Chen, Liqun  Yung, Moti  Zhu, Liehuang
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-32298-3
    + info
Trusted Systems. INTRUST 2012
Autor/Editor: Mitchell, Chris J.  Tomlinson, Allan
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35371-0
    + info
Trustworthy Computing and Services
Autor/Editor: Yuan, Yuyu  Wu, Xu  Lu, Yueming
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35795-4
    + info
Trustworthy Execution on Mobile Devices
Autor/Editor: Vasudevan, Amit  McCune, Jonathan M.  Newsome, James
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-1-4614-8190-4
    + info
Trustworthy Global Computing
Autor/Editor: Bruni, Roberto  Sassone, Vladimiro
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-30065-3
    + info
Trustworthy Global Computing
Autor/Editor: Palamidessi, Catuscia  Ryan, Mark D.
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-41157-1
    + info
Trustworthy Ubiquitous Computing
Autor/Editor: Khalil, Ismail  Mantoro, Teddy
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.2991/978-94-91216-71-8
    + info
Ubiquitous Communications and Network Computing
Autor/Editor: Kumar, Navin  Thakre, Arpita
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-73423-1
    + info
Ubiquitous Computing and Ambient Intelligence
Autor/Editor: Bravo, José  López-de-Ipiña, Diego  Moya, Francisco
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35377-2
    + info
Ubiquitous Computing and Ambient Intelligence
Autor/Editor: Ochoa, Sergio F.  Singh, Pritpal  Bravo, José
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-67585-5
    + info
Ubiquitous Computing and Ambient Intelligence : 10th International Conference, UCAmI 2016, Part II
Autor/Editor: García, Carmelo R.  Caballero-Gil, Pino  Burmester, Mike  Quesada-Arencibia, Alexis
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-48799-1
    + info
Ubiquitous Computing and Ambient Intelligence : 10th International Conference, UCAmI 2016, Proceedings, Part I
Autor/Editor: García, Carmelo R.  Caballero-Gil, Pino  Burmester, Mike  Quesada-Arencibia, Alexis
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-48746-5
    + info
Ubiquitous Computing and Ambient Intelligence. Context-Awareness and Context-Driven Interaction
Autor/Editor: Urzaiz, Gabriel  Ochoa, Sergio F.  Bravo, José  Chen, Liming Luke  Oliveira, Jonice
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-03176-7
    + info
Ubiquitous Computing and Ambient Intelligence. Personalisation and User Adapted Services
Autor/Editor: Hervás, Ramón  Lee, Sungyoung  Nugent, Chris  Bravo, José
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-13102-3
    + info
Ubiquitous Computing and Ambient Intelligence. Sensing, Processing, and Using Environmental Information
Autor/Editor: García-Chamizo, Juan M.  Fortino, Giancarlo  Ochoa, Sergio F.
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-26401-1
    + info
Ubiquitous Networking
Autor/Editor: Sabir, Essaid  García Armada, Ana  Ghogho, Mounir  Debbah, Mérouane
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-68179-5
    + info
Ubiquitous Networking
Autor/Editor: Boudriga, Noureddine  Alouini, Mohamed-Slim  Rekhis, Slim  Sabir, Essaid  Pollin, Sofie
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-02849-7
    + info
Unconventional Computation and Natural Computation
Autor/Editor: Amos, Martyn  Condon, Anne
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-41312-9
    + info
Universal Access in Human-Computer Interaction. Methods, Technologies, and Users
Autor/Editor: Antona, Margherita  Stephanidis, Constantine
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-92049-8
    + info
Universal Access in Human-Computer Interaction. Virtual, Augmented, and Intelligent Environments
Autor/Editor: Antona, Margherita  Stephanidis, Constantine
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-92052-8
    + info
Universal Access in Human–Computer Interaction. Design and Development Approaches and Methods
Autor/Editor: Antona, Margherita  Stephanidis, Constantine
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-58706-6
    + info
Universal Access in Human–Computer Interaction. Designing Novel Interactions
Autor/Editor: Antona, Margherita  Stephanidis, Constantine
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-58703-5
    + info
Universal Access in Human–Computer Interaction. Human and Technological Environments
Autor/Editor: Antona, Margherita  Stephanidis, Constantine
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-58700-4
    + info
User-Centric Networking
Autor/Editor: Aldini, Alessandro  Bogliolo, Alessandro
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-05218-2
    + info
Verification, Model Checking, and Abstract Interpretation
Autor/Editor: D’Souza, Deepak  Lal, Akash  Larsen, Kim Guldstrand
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-46081-8
    + info
Verification, Model Checking, and Abstract Interpretation
Autor/Editor: Giacobazzi, Roberto  Berdine, Josh  Mastroeni, Isabella
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35873-9
    + info
Verification, Model Checking, and Abstract Interpretation
Autor/Editor: McMillan, Kenneth L.  Rival, Xavier
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-54013-4
    + info
Verification, Model Checking, and Abstract Interpretation
Autor/Editor: Jobstmann, Barbara  Leino, K. Rustan M.
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-49122-5
    + info
Verification, Model Checking, and Abstract Interpretation
Autor/Editor: Bouajjani, Ahmed  Monniaux, David
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-52234-0
    + info
Verification, Model Checking, and Abstract Interpretation
Autor/Editor: Dillig, Isil  Palsberg, Jens
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-73721-8
    + info
Versatile Cybersecurity
Autor/Editor: Conti, Mauro  Somani, Gaurav  Poovendran, Radha
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-97643-3
    + info
Virtual and Networked Organizations, Emergent Technologies and Tools
Autor/Editor: Putnik, Goran D.  Cruz-Cunha, Maria Manuela
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-31800-9
    + info
Virtual, Augmented and Mixed Reality: Applications in Health, Cultural Heritage, and Industry
Autor/Editor: Chen, Jessie Y. C.  Fragomeni, Gino
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-91584-5
    + info
[Anterior] de 18 paginas [Siguiente]      registros 1601 al 1700 de 1795