Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

[Anterior] de 16 paginas [Siguiente]      registros 1301 al 1400 de 1525
Stabilization, Safety, and Security of Distributed Systems
Autor/Editor: Bonakdarpour, Borzoo  Petit, Franck
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-49259-9
    + info
Stakeholders and Information Technology in Education
Autor/Editor: Brinda, Torsten  Mavengere, Nicholas  Haukijärvi, Ilkka  Lewin, Cathy  Passey, Don
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-54687-2
    + info
Static Analysis
Autor/Editor: Blazy, Sandrine  Jensen, Thomas
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-48288-9
    + info
Static Analysis
Autor/Editor: Miné, Antoine  Schmidt, David
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-33125-1
    + info
Static Analysis
Autor/Editor: Logozzo, Francesco  Fähndrich, Manuel
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38856-9
    + info
Static Analysis
Autor/Editor: Müller-Olm, Markus  Seidl, Helmut
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-10936-7
    + info
Static Analysis
Autor/Editor: Rival, Xavier
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-53413-7
    + info
Static Analysis
Autor/Editor: Ranzato, Francesco
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-66706-5
    + info
Static Analysis
Autor/Editor: Podelski, Andreas
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-99725-4
    + info
Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems
Autor/Editor: Stoelinga, Mariëlle  Remke, Anne
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-45489-3
    + info
Structured Object-Oriented Formal Language and Method
Autor/Editor: Liu, Shaoying  Duan, Zhenhua
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-17404-4
    + info
Structured Object-Oriented Formal Language and Method
Autor/Editor: Liu, Shaoying
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-39277-1
    + info
Structured Object-Oriented Formal Language and Method
Autor/Editor: Liu, Shaoying  Duan, Zhenhua
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-04915-1
    + info
Structured Object-Oriented Formal Language and Method
Autor/Editor: Liu, Shaoying  Duan, Zhenhua
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-31220-0
    + info
Swarm, Evolutionary, and Memetic Computing
Autor/Editor: Panigrahi, Bijaya Ketan  Suganthan, Ponnuthurai Nagaratnam  Das, Swagatam
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-20294-5
    + info
Swarm, Evolutionary, and Memetic Computing
Autor/Editor: Panigrahi, Bijaya Ketan  Das, Swagatam  Suganthan, Ponnuthurai Nagaratnam  Nanda, Pradipta Kumar
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35380-2
    + info
Swarm, Evolutionary, and Memetic Computing
Autor/Editor: Panigrahi, Bijaya Ketan  Suganthan, Ponnuthurai Nagaratnam  Das, Swagatam  Dash, Shubhransu Sekhar
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-03753-0
    + info
Swarm, Evolutionary, and Memetic Computing
Autor/Editor: Panigrahi, Bijaya Ketan  Suganthan, Ponnuthurai Nagaratnam  Das, Swagatam  Dash, Shubhransu Sekhar
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-03756-1
    + info
Swarm, Evolutionary, and Memetic Computing
Autor/Editor: Panigrahi, Bijaya Ketan  Suganthan, Ponnuthurai Nagaratnam  Das, Swagatam  Satapathy, Suresh Chandra
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-48959-9
    + info
Symposium on Real-Time and Hybrid Systems
Autor/Editor: Jones, Cliff  Wang, Ji  Zhan, Naijun
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-01461-2
    + info
System Analysis and Modeling: Models and Reusability
Autor/Editor: Amyot, Daniel  Fonseca i Casas, Pau  Mussbacher, Gunter
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-11743-0
    + info
System Analysis and Modeling: Theory and Practice
Autor/Editor: Haugen, Øystein  Reed, Rick  Gotzhein, Reinhard
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-36757-1
    + info
System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering
Autor/Editor: Khendek, Ferhat  Gotzhein, Reinhard
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-01042-3
    + info
System Analysis and Modeling. Technology-Specific Aspects of Models
Autor/Editor: Grabowski, Jens  Herbold, Steffen
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-46613-2
    + info
Systems and Software Quality
Autor/Editor: Wieczorek, Martin  Vos, Diederik  Bons, Heinz
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-39971-8
    + info
Systems and Software Variability Management
Autor/Editor: Capilla, Rafael  Bosch, Jan  Kang, Kyo-Chul
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-36583-6
    + info
Systems, Software and Services Process Improvement
Autor/Editor: O’Connor, Rory V.  Umay Akkaya, Mariye  Kemaneci, Kerem  Yilmaz, Murat  Poth, Alexander  Messnarz, Richard
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-24647-5
    + info
Systems, Software and Services Process Improvement
Autor/Editor: Winkler, Dietmar  O’Connor, Rory V.  Messnarz, Richard
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-31199-4
    + info
Systems, Software and Services Process Improvement
Autor/Editor: Barafort, Béatrix  O’Connor, Rory V.  Poth, Alexander  Messnarz, Richard
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-43896-1
    + info
Systems, Software and Services Process Improvement
Autor/Editor: Kreiner, Christian  O'Connor, Rory V.  Poth, Alexander  Messnarz, Richard
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-44817-6
    + info
Systems, Software and Services Process Improvement
Autor/Editor: Stolfa, Jakub  Stolfa, Svatopluk  O'Connor, Rory V.  Messnarz, Richard
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-64218-5
    + info
Systems, Software and Services Process Improvement
Autor/Editor: Larrucea, Xabier  Santamaria, Izaskun  O'Connor, Rory V.  Messnarz, Richard
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-97925-0
    + info
Tackling Society's Grand Challenges with Design Science
Autor/Editor: Parsons, Jeffrey  Tuunanen, Tuure  Venable, John  Donnellan, Brian  Helfert, Markus  Kenneally, Jim
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-39294-3
    + info
Tamed Agility
Autor/Editor: Book, Matthias  Gruhn, Volker  Striemer, Rüdiger
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-41478-2
    + info
Tangible Interactive Systems
Autor/Editor: Boy, Guy André
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-30270-6
    + info
Technological Innovation for Value Creation
Autor/Editor: Camarinha-Matos, Luis M.  Shahamatnia, Ehsan  Nunes, Gonçalo
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-28255-3
    + info
Testbeds and Research Infrastructure. Development of Networks and Communities. TridentCom 2011
Autor/Editor: Korakis, Thanasis  Li, Hongbin  Tran-Gia, Phuoc  Park, Hong-Shik
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-29273-6
    + info
Testbeds and Research Infrastructure. Development of Networks and Communities. TridentCom 2012
Autor/Editor: Korakis, Thanasis  Zink, Michael  Ott, Maximilian
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35576-9
    + info
Testing Software and Systems
Autor/Editor: El-Fakih, Khaled  Barlas, Gerassimos  Yevtushenko, Nina
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-25945-1
    + info
Testing Software and Systems
Autor/Editor: Nielsen, Brian  Weise, Carsten
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-34691-0
    + info
Testing Software and Systems
Autor/Editor: Yenigün, Hüsnü  Yilmaz, Cemal  Ulrich, Andreas
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-41707-8
    + info
Testing Software and Systems
Autor/Editor: Montes Oca, Edgardo  Merayo, Mercedes G.
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-44857-1
    + info
Testing Software and Systems
Autor/Editor: Wotawa, Franz  Nica, Mihai  Kushik, Natalia
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-47443-4
    + info
Testing Software and Systems
Autor/Editor: Nina Yevtushenko, Ana Rosa Cavalli, Hüsnü Yenigün
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-67549-7
    + info
Testing Software and Systems
Autor/Editor: Medina-Bulo, Inmaculada  Merayo, Mercedes G.  Hierons, Robert
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-99927-2
    + info
Tests and Proofs
Autor/Editor: Blanchette, Jasmin Christian  Kosmatov, Nikolai
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-21215-9
    + info
Tests and Proofs
Autor/Editor: Brucker, Achim D.  Julliand, Jacques
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-30473-6
    + info
Tests and Proofs
Autor/Editor: Veanes, Margus  Viganò, Luca
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38916-0
    + info
Tests and Proofs
Autor/Editor: Seidl, Martina  Tillmann, Nikolai
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-09099-3
    + info
Tests and Proofs
Autor/Editor: Aichernig, Bernhard K.  Furia, Carlo A.
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-41135-4
    + info
Tests and Proofs
Autor/Editor: Sebastian Gabmeyer, Einar Broch Johnsen
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-61467-0
    + info
Tests and Proofs
Autor/Editor: Dubois, Catherine  Wolff, Burkhart
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-92994-1
    + info
The Agile Safety Case
Autor/Editor: Myklebust, Thor  Stålhane, Tor
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-70265-0
    + info
The Correctness-by-Construction Approach to Programming
Autor/Editor: Kourie, Derrick G.  Watson, Bruce W.
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-27919-5
    + info
The Design of Requirements Modelling Languages
Autor/Editor: Jureta, Ivan
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-18821-8
    + info
The Dynamics of Global Sourcing. Perspectives and Practices
Autor/Editor: Kotlarsky, Julia  Oshri, Ilan  Willcocks, Leslie P.
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-33920-2
    + info
The Essence of Software Engineering
Autor/Editor: Gruhn, Volker  Striemer, Rüdiger
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-73897-0
    + info
The Handbook of Formal Methods in Human-Computer Interaction
Autor/Editor: Weyers, Benjamin  Bowen, Judy  Dix, Alan  Palanque, Philippe
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-51838-1
    + info
The Journey to Enterprise Agility
Autor/Editor: Kulak, Daryl  Li, Hong
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-54087-0
    + info
The Personal Web
Autor/Editor: Chignell, Mark  Cordy, James R.  Kealey, Ryan  Ng, Joanna  Yesha, Yelena
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-39995-4
    + info
The Practice of Enterprise Modeling
Autor/Editor: Ralyté, Jolita  España, Sergio  Pastor, Óscar
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-25897-3
    + info
The Practice of Enterprise Modeling
Autor/Editor: Petrounias, Ilias  Pastor, Óscar  Loucopoulos, Pericles  Frank, Ulrich
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-45501-2
    + info
The Practice of Enterprise Modeling
Autor/Editor: Poels, Geert  Gailly, Frederik  Serral Asensio, Estefania  Snoeck, Monique
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-70241-4
    + info
The Practice of Enterprise Modeling
Autor/Editor: Buchmann, Robert Andrei  Karagiannis, Dimitris  Kirikova, Marite
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-02302-7
    + info
The Python Workbook
Autor/Editor: Stephenson, Ben
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-14240-1
    + info
The Semantic Web – ISWC 2012. Part I
Autor/Editor: Cudré-Mauroux, Philippe  Heflin, Jeff  Sirin, Evren  Tudorache, Tania  Euzenat, Jérôme  Hauswirth, Manfred  Parreira, Josiane Xavier  Hendler, Jim  Schreiber, Guus  Bernstein, Abraham  Blomqvist, Eva
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35176-1
    + info
The Semantic Web – ISWC 2012. Part II
Autor/Editor: Cudré-Mauroux, Philippe  Heflin, Jeff  Sirin, Evren  Tudorache, Tania  Euzenat, Jérôme  Hauswirth, Manfred  Parreira, Josiane Xavier  Hendler, Jim  Schreiber, Guus  Bernstein, Abraham  Blomqvist, Eva
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35173-0
    + info
The Semantic Web. 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 – June 1, 2017, Proceedings, Part I
Autor/Editor: Blomqvist, Eva  Maynard, Diana  Gangemi, Aldo  Hoekstra, Rinke  Hitzler, Pascal  Hartig, Olaf
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-58068-5
    + info
The Semantic Web. 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 – June 1, 2017, Proceedings, Part II
Autor/Editor: Blomqvist, Eva  Maynard, Diana  Gangemi, Aldo  Hoekstra, Rinke  Hitzler, Pascal  Hartig, Olaf
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-58451-5
    + info
Theoretical Aspects of Computing - ICTAC 2015
Autor/Editor: Leucker, Martin  Rueda, Camilo  Valencia, Frank D.
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-25150-9
    + info
Theoretical Aspects of Computing – ICTAC 2012
Autor/Editor: Roychoudhury, Abhik  D’Souza, Meenakshi
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-32943-2
    + info
Theoretical Aspects of Computing – ICTAC 2013
Autor/Editor: Liu, Zhiming  Woodcock, Jim  Zhu, Huibiao
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-39718-9
    + info
Theoretical Aspects of Computing – ICTAC 2014
Autor/Editor: Ciobanu, Gabriel  Méry, Dominique
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-10882-7
    + info
Theoretical Aspects of Computing – ICTAC 2016
Autor/Editor: Sampaio, Augusto  Wang, Farn
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-46750-4
    + info
Theoretical Aspects of Computing – ICTAC 2017
Autor/Editor: Hung, Dang Van  Kapur, Deepak
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-67729-3
    + info
Theoretical Aspects of Computing – ICTAC 2018
Autor/Editor: Fischer, Bernd  Uustalu, Tarmo
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-02508-3
    + info
Theories of Programming and Formal Methods
Autor/Editor: Liu, Zhiming  Woodcock, Jim  Zhu, Huibiao
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-39698-4
    + info
Theory and Applications of Satisfiability Testing – SAT 2016
Autor/Editor: Creignou, Nadia  Le Berre, Daniel
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-40970-2
    + info
Theory and Applications of Satisfiability Testing – SAT 2017
Autor/Editor: Gaspers, Serge  Walsh, Toby
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-66263-3
    + info
Theory and Applications of Satisfiability Testing – SAT 2018
Autor/Editor: Beyersdorff, Olaf  Wintersteiger, Christoph M.
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-94144-8
    + info
Theory and Practice of Formal Methods
Autor/Editor: Ábrahám, Erika  Bonsangue, Marcello  Johnsen, Einar Broch
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-30734-3
    + info
Theory and Practice of Model Transformation
Autor/Editor: Guerra, Esther  Brand, Mark van den
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-61473-1
    + info
Theory and Practice of Model Transformation
Autor/Editor: Rensink, Arend  Sánchez Cuadrado, Jesús
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-93317-7
    + info
Theory and Practice of Model Transformations
Autor/Editor: Kolovos, Dimitris  Wimmer, Manuel
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-21155-8
    + info
Theory and Practice of Model Transformations
Autor/Editor: Hu, Zhenjiang  Lara, Juan
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-30476-7
    + info
Theory and Practice of Model Transformations
Autor/Editor: Duddy, Keith  Kappel, Gerti
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38883-5
    + info
Theory and Practice of Model Transformations
Autor/Editor: Ruscio, Davide  Varró, Dániel
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-08789-4
    + info
Theory and Practice of Model Transformations
Autor/Editor: Gorp, Pieter Van  Engels, Gregor
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-42064-6
    + info
Theory and Practice of Natural Computing
Autor/Editor: Dediu, Adrian-Horia  Magdalena, Luis  Martín-Vide, Carlos
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-26841-5
    + info
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 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
Thinking-Driven Testing
Autor/Editor: Roman, Adam
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-73195-7
    + info
Time and Petri Nets
Autor/Editor: Popova-Zeugmann, Louchka
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-41115-1
    + info
Tools and Algorithms for the Construction and Analysis of Systems
Autor/Editor: Baier, Christel  Tinelli, Cesare
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-46681-0
    + 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 and Algorithms for the Construction and Analysis of Systems
Autor/Editor: Piterman, Nir  Smolka, Scott A.
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-36742-7
    + info
Tools and Algorithms for the Construction and Analysis of Systems
Autor/Editor: Ábrahám, Erika  Havelund, Klaus
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-54862-8
    + info
[Anterior] de 16 paginas [Siguiente]      registros 1301 al 1400 de 1525