Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

  registros 1 al 7 de 7
Autonomy Requirements Engineering for Space Missions
Autor/Editor: Vassev, Emil  Hinchey, Mike
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-09816-6
    + info
Biologically-Inspired Collaborative Computing
Autor/Editor: Hinchey, Mike  Pagnoni, Anastasia  Rammig, Franz J.  Schmeck, Hartmut
Año de edición: 2008
Acceso: UBA
http://dx.doi.org/10.1007/978-0-387-09655-1
    + info
Conquering Complexity
Autor/Editor: Hinchey, Mike  Coyle, Lorcan
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-1-4471-2297-5
    + info
Nature of Computation and Communication
Autor/Editor: Vinh, Phan Cong  Vassev, Emil  Hinchey, Mike
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-15392-6
    + info
Provably Correct Systems
Autor/Editor: Hinchey, Mike  Bowen, Jonathan P.  Olderog, Ernst-Rüdiger
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-48628-4
    + info
SOFSEM 2017: Theory and Practice of Computer Science
Autor/Editor: Steffen, Bernhard  Baier, Christel  Brand, Mark van den  Eder, Johann  Hinchey, Mike  Margaria, Tiziana
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-51963-0
    + info
Software Engineering and Formal Methods
Autor/Editor: Eleftherakis, George  Hinchey, Mike  Holcombe, Mike
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-33826-7
    + info
  registros 1 al 7 de 7