Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

[Anterior] de 31 paginas [Siguiente]      registros 1301 al 1350 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
[Anterior] de 31 paginas [Siguiente]      registros 1301 al 1350 de 1525