Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

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