Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

  registros 1 al 52 de 52
A Study Guide to the ISTQB® Foundation Level 2018 Syllabus
Autor/Editor: Roman, Adam
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-98740-8
    + info
Computational Science and Its Applications – ICCSA 2018 : 18th International Conference, Proceedings, Part I
Autor/Editor: Gervasi, Osvaldo  Murgante, Beniamino  Misra, Sanjay  Stankova, Elena  Torre, Carmelo M.  Rocha, Ana Maria A. C.  Taniar, David  Apduhan, Bernady O.  Tarantino, Eufemia  Ryu, Yeonseung
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-95162-1
    + info
Computational Science and Its Applications – ICCSA 2018 : 18th International Conference, Proceedings, Part II
Autor/Editor: Gervasi, Osvaldo  Murgante, Beniamino  Misra, Sanjay  Stankova, Elena  Torre, Carmelo M.  Rocha, Ana Maria A. C.  Taniar, David  Apduhan, Bernady O.  Tarantino, Eufemia  Ryu, Yeonseung
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-95165-2
    + info
Computational Science and Its Applications – ICCSA 2018 : 18th International Conference, Proceedings, Part III
Autor/Editor: Gervasi, Osvaldo  Murgante, Beniamino  Misra, Sanjay  Stankova, Elena  Torre, Carmelo M.  Rocha, Ana Maria A. C.  Taniar, David  Apduhan, Bernady O.  Tarantino, Eufemia  Ryu, Yeonseung
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-95168-3
    + info
Computational Science and Its Applications – ICCSA 2018 : 18th International Conference, Proceedings, Part IV
Autor/Editor: Gervasi, Osvaldo  Murgante, Beniamino  Misra, Sanjay  Stankova, Elena  Torre, Carmelo M.  Rocha, Ana Maria A. C.  Taniar, David  Apduhan, Bernady O.  Tarantino, Eufemia  Ryu, Yeonseung
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-95171-3
    + info
Computational Science and Its Applications – ICCSA 2018 : 18th International Conference, Proceedings, Part V
Autor/Editor: Gervasi, Osvaldo  Murgante, Beniamino  Misra, Sanjay  Stankova, Elena  Torre, Carmelo M.  Rocha, Ana Maria A. C.  Taniar, David  Apduhan, Bernady O.  Tarantino, Eufemia  Ryu, Yeonseung
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-95174-4
    + info
Computer Aided Verification. 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Autor/Editor: Majumdar, Rupak  Kunčak, Viktor
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-63387-9
    + info
Engineering Trustworthy Software Systems
Autor/Editor: Bowen, Jonathan P.  Liu, Zhiming  Zhang, Zili
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-56841-6
    + info
Engineering Trustworthy Software Systems
Autor/Editor: Bowen, Jonathan P.  Liu, Zhiming  Zhang, Zili
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-02928-9
    + info
Essence of Systems Analysis and Design
Autor/Editor: Sajja, Priti Srinivas
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-981-10-5128-9
    + info
Formal Aspects of Component Software
Autor/Editor: Proença, José  Lumpe, Markus
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-68034-7
    + info
Formal Methods and Software Engineering
Autor/Editor: Sun, Jing  Sun, Meng
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-02450-5
    + info
Formal Methods for Industrial Critical Systems
Autor/Editor: Howar, Falk  Barnat, Jiří
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-00244-2
    + info
Formal Methods: Foundations and Applications
Autor/Editor: Cavalheiro, Simone  Fiadeiro, José
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-70848-5
    + info
Foundations of Software Science and Computation Structures
Autor/Editor: Baier, Christel  Lago, Ugo Dal
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-89366-2
    + info
Functional and Logic Programming
Autor/Editor: Gallagher, John P.  Sulzmann, Martin
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-90686-7
    + info
Fundamental Approaches to Software Engineering
Autor/Editor: Russo, Alessandra  Schürr, Andy
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-89363-1
    + info
History of Nordic Computing 4
Autor/Editor: Gram, Christian  Rasmussen, Per  Østergaard, Søren Duus
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-17145-6
    + info
Human-Centered and Error-Resilient Systems Development
Autor/Editor: Bogdan, Cristian  Gulliksen, Jan  Sauer, Stefan  Forbrig, Peter  Winckler, Marco  Johnson, Chris  Palanque, Philippe  Bernhaupt, Regina  Kis, Filip
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-44902-9
    + info
Integrated Formal Methods
Autor/Editor: Polikarpova, Nadia  Schneider, Steve
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-66845-1
    + info
Journeys to Data Mining
Autor/Editor: Gaber, Mohamed Medhat
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-28047-4
    + info
Lectures on Runtime Verification
Autor/Editor: Bartocci, Ezio  Falcone, Yliès
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-75632-5
    + info
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
Autor/Editor: Margaria, Tiziana  Steffen, Bernhard
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-03424-5
    + info
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
Autor/Editor: Margaria, Tiziana  Steffen, Bernhard
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-03427-6
    + info
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
Autor/Editor: Margaria, Tiziana  Steffen, Bernhard
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-03418-4
    + info
Leveraging Applications of Formal Methods, Verification and Validation. Verification
Autor/Editor: Margaria, Tiziana  Steffen, Bernhard
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-03421-4
    + info
Mastering Scale and Complexity in Software Reuse
Autor/Editor: Botterweck, Goetz  Werner, Claudia
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-56856-0
    + info
Modelling Foundations and Applications
Autor/Editor: Anjorin, Anthony  Espinoza, Huáscar
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-61482-3
    + info
Modelling Foundations and Applications
Autor/Editor: Pierantonio, Alfonso  Trujillo, Salvador
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-92997-2
    + info
New Opportunities for Software Reuse
Autor/Editor: Capilla, Rafael  Gallina, Barbara  Cetina, Carlos
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-90421-4
    + info
Perspectives of System Informatics
Autor/Editor: Petrenko, Alexander K.  Voronkov, Andrei
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-74313-4
    + info
Principles of Modeling
Autor/Editor: Lohstroh, Marten  Derler, Patricia  Sirjani, Marjan
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-95246-8
    + info
Privacy Technologies and Policy
Autor/Editor: Medina, Manel  Mitrakas, Andreas  Rannenberg, Kai  Schweighofer, Erich  Tsouroulas, Nikolaos
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-02547-2
    + info
Product-Focused Software Process Improvement
Autor/Editor: Felderer, Michael  Méndez Fernández, Daniel  Turhan, Burak  Kalinowski, Marcos  Sarro, Federica  Winkler, Dietmar
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-69926-4
    + info
Product-Focused Software Process Improvement
Autor/Editor: Kuhrmann, Marco  Schneider, Kurt  Pfahl, Dietmar  Amasaki, Sousuke  Ciolkowski, Marcus  Hebig, Regina  Tell, Paolo  Klünder, Jil  Küpper, Steffen
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-03673-7
    + info
Programming Languages and Systems
Autor/Editor: Chang, Bor-Yuh Evan
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-71237-6
    + info
Reliability Aspect of Cloud Computing Environment
Autor/Editor: Kumar, Vikas  Vidhyalakshmi, R.
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-981-13-3023-0
    + info
Requirements Engineering: Foundation for Software Quality
Autor/Editor: Grünbacher, Paul  Perini, Anna
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-54045-0
    + info
Runtime Verification
Autor/Editor: Colombo, Christian  Leucker, Martin
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-03769-7
    + info
Social Computing and Social Media. User Experience and Behavior
Autor/Editor: Meiselwitz, Gabriele
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-91521-0
    + info
Software Architecture
Autor/Editor: Cuesta, Carlos E.  Garlan, David  Pérez, Jennifer
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-00761-4
    + info
Software Engineering and Formal Methods
Autor/Editor: Johnsen, Einar Broch  Schaefer, Ina
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-92970-5
    + info
Software Engineering for Resilient Systems
Autor/Editor: Romanovsky, Alexander  Troubitsyna, Elena A.
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-65948-0
    + info
Software Process Improvement and Capability Determination
Autor/Editor: Stamelos, Ioannis  O'Connor, Rory V.  Rout, Terry  Dorling, Alec
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-00623-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
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
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 Discrete Math Workbook
Autor/Editor: Kurgalin, Sergei  Borzunov, Sergei
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-92645-2
    + info
The Student Supercomputer Challenge Guide
Autor/Editor: ASC Community
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-981-10-3731-3
    + info
Verification and Evaluation of Computer and Communication Systems
Autor/Editor: Atig, Mohamed Faouzi  Bensalem, Saddek  Bliudze, Simon  Monsuez, Bruno
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-00359-3
    + info
Verified Software. Theories, Tools, and Experiments
Autor/Editor: Piskac, Ruzica  Rümmer, Philipp
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-03592-1
    + info
  registros 1 al 52 de 52