Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

  de 7 paginas [Siguiente]      registros 1 al 100 de 657
A First Introduction to Quantum Computing and Information
Autor/Editor: Zygelman, Bernard
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-91629-3
    + info
A General Framework for Reasoning On Inconsistency
Autor/Editor: Martinez, Maria Vanina  Molinaro, Cristian  Subrahmanian, V.S.  Amgoud, Leila
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-1-4614-6750-2
    + info
A List of Successes That Can Change the World
Autor/Editor: Lindley, Sam  McBride, Conor  Trinder, Phil  Sannella, Don
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-30936-1
    + info
A Polynomial Translation of Mobile Ambients into Safe Petri Nets
Autor/Editor: Göbel, Susanne
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-658-11765-8
    + info
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Autor/Editor: Ait Ameur, Yamine  Schewe, Klaus-Dieter
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-43652-3
    + info
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Autor/Editor: Butler, Michael  Schewe, Klaus-Dieter  Mashkoor, Atif  Biro, Miklos
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-33600-8
    + info
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Autor/Editor: Butler, Michael  Raschke, Alexander  Hoang, Thai Son  Reichl, Klaus
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-91271-4
    + info
Abstract State Machines, Alloy, B, VDM, and Z
Autor/Editor: Derrick, John  Fitzgerald, John  Gnesi, Stefania  Khurshid, Sarfraz  Leuschel, Michael  Reeves, Steve  Riccobene, Elvinia
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-30885-7
    + info
ABZ 2014: The Landing Gear Case Study
Autor/Editor: Boniol, Frédéric  Wiels, Virginie  Ait Ameur, Yamine  Schewe, Klaus-Dieter
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-07512-9
    + info
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
Autor/Editor: Eiter, Thomas  Strass, Hannes  TruszczyÅ„ski, MirosÅ‚aw  Woltran, Stefan
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-14726-0
    + info
Advances in Software Engineering Techniques
Autor/Editor: Szmuc, Tomasz  Szpyrka, Marcin  Zendulka, Jaroslav
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-28038-2
    + info
AI Approaches to the Complexity of Legal Systems
Autor/Editor: Pagallo, Ugo  Palmirani, Monica  Casanovas, Pompeu  Sartor, Giovanni  Villata, Serena
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-00178-0
    + info
AI*IA 2017 Advances in Artificial Intelligence
Autor/Editor: Esposito, Floriana  Basili, Roberto  Ferilli, Stefano  Lisi, Francesca A.
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-70169-1
    + info
Algebraic and Algorithmic Aspects of Differential and Integral Operators
Autor/Editor: Barkatou, Moulay  Cluzeau, Thomas  Regensburger, Georg  Rosenkranz, Markus
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-54479-8
    + info
Algebraic and Numeric Biology
Autor/Editor: Horimoto, Katsuhisa  Nakatsui, Masahiko  Popov, Nikolaj
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-28067-2
    + info
Algebraic Informatics
Autor/Editor: Maletti, Andreas
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-23021-4
    + info
Algebraic Informatics
Autor/Editor: Muntean, Traian  Poulakis, Dimitrios  Rolland, Robert
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-40663-8
    + info
Algorithmic Aspects of Cloud Computing
Autor/Editor: Karydis, Ioannis  Sioutas, Spyros  Triantafillou, Peter  Tsoumakos, Dimitrios
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-29919-8
    + info
Algorithmic Learning Theory
Autor/Editor: Bshouty, Nader H.  Stoltz, Gilles  Vayatis, Nicolas  Zeugmann, Thomas
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-34106-9
    + info
Algorithmic Learning Theory
Autor/Editor: Jain, Sanjay  Munos, Rémi  Stephan, Frank  Zeugmann, Thomas
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-40935-6
    + info
Algorithms - ESA 2015
Autor/Editor: Bansal, Nikhil  Finocchi, Irene
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-48350-3
    + info
Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
Autor/Editor: Janssen, Jeroen  Schockaert, Steven  Vermeir, Dirk  Cock, Martine de
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.2991/978-94-91216-59-6
    + info
Application and Theory of Petri Nets
Autor/Editor: Haddad, Serge  Pomello, Lucía
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-31131-4
    + info
Application and Theory of Petri Nets and Concurrency
Autor/Editor: Devillers, Raymond  Valmari, Antti
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-19488-2
    + info
Application and Theory of Petri Nets and Concurrency
Autor/Editor: Colom, José-Manuel  Desel, Jörg
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38697-8
    + info
Application and Theory of Petri Nets and Concurrency
Autor/Editor: Ciardo, Gianfranco  Kindler, Ekkart
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-07734-5
    + info
Application and Theory of Petri Nets and Concurrency
Autor/Editor: Kordon, Fabrice  Moldt, Daniel
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-39086-4
    + info
Application and Theory of Petri Nets and Concurrency
Autor/Editor: Aalst, Wil van der  Best, Eike
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-57861-3
    + info
Application and Theory of Petri Nets and Concurrency
Autor/Editor: Khomenko, Victor  Roux, Olivier H.
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-91268-4
    + info
Applications of Graph Transformations with Industrial Relevance
Autor/Editor: Schürr, Andy  Varró, Dániel  Varró, Gergely
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-34176-2
    + info
Applied Logic for Computer Scientists
Autor/Editor: Ayala-Rincón, Mauricio  Moura, Flávio L. C. de
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-51653-0
    + info
Assurances for Self-Adaptive Systems
Autor/Editor: Cámara, Javier  Lemos, Rogério  Ghezzi, Carlo  Lopes, Antónia
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-36249-1
    + info
Automated Deduction – CADE 26
Autor/Editor: Moura, Leonardo de
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-63046-5
    + info
Automated Deduction – CADE-24
Autor/Editor: Bonacina, Maria Paola
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38574-2
    + info
Automated Reasoning
Autor/Editor: Gramlich, Bernhard  Miller, Dale  Sattler, Uli
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-31365-3
    + info
Automated Reasoning
Autor/Editor: Demri, Stéphane  Kapur, Deepak  Weidenbach, Christoph
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-08587-6
    + info
Automated Reasoning
Autor/Editor: Olivetti, Nicola  Tiwari, Ashish
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-40229-1
    + info
Automated Reasoning
Autor/Editor: Galmiche, Didier  Schulz, Stephan  Sebastiani, Roberto
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-94205-6
    + info
Automated Reasoning and Mathematics
Autor/Editor: Bonacina, Maria Paola  Stickel, Mark E.
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-36675-8
    + info
Automated Reasoning with Analytic Tableaux and Related Methods
Autor/Editor: De Nivelle, Hans
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-24312-2
    + info
Automated Reasoning with Analytic Tableaux and Related Methods
Autor/Editor: Galmiche, Didier  Larchey-Wendling, Dominique
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-40537-2
    + info
Automated Reasoning with Analytic Tableaux and Related Methods
Autor/Editor: Schmidt, Renate A.  Nalon, Cláudia
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-66902-1
    + info
Automated Technology for Verification and Analysis
Autor/Editor: Finkbeiner, Bernd  Pu, Geguang  Zhang, Lijun
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-24953-7
    + info
Automated Technology for Verification and Analysis
Autor/Editor: Chakraborty, Supratik  Mukund, Madhavan
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-33386-6
    + info
Automated Technology for Verification and Analysis
Autor/Editor: Hung, Dang  Ogawa, Mizuhito
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-02444-8
    + info
Automated Technology for Verification and Analysis
Autor/Editor: Cassez, Franck  Raskin, Jean-François
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-11936-6
    + info
Automated Technology for Verification and Analysis
Autor/Editor: Artho, Cyrille  Legay, Axel  Peled, Doron
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-46520-3
    + info
Automated Technology for Verification and Analysis
Autor/Editor: Lahiri, Shuvendu K.  Wang, Chao
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-01090-4
    + info
Bidirectional Transformations
Autor/Editor: Gibbons, Jeremy  Stevens, Perdita
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-79108-1
    + info
Big Data Integration Theory
Autor/Editor: Majkić, Zoran
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-04156-8
    + info
Business Process Management. 10th International Conference, BPM 2012
Autor/Editor: Barros, Alistair  Gal, Avigdor  Kindler, Ekkart
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-32885-5
    + info
Categories and Types in Logic, Language, and Physics
Autor/Editor: Casadio, Claudia  Coecke, Bob  Moortgat, Michael  Scott, Philip
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-54789-8
    + info
Central European Functional Programming School
Autor/Editor: Zsók, Viktória  Horváth, Zoltán  Csató, Lehel
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-15940-9
    + info
Certified Programs and Proofs
Autor/Editor: Hawblitzel, Chris  Miller, Dale
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35308-6
    + info
Certified Programs and Proofs
Autor/Editor: Gonthier, Georges  Norrish, Michael
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-03545-1
    + info
Coalgebraic Methods in Computer Science
Autor/Editor: Pattinson, Dirk  Schröder, Lutz
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-32784-1
    + info
Coalgebraic Methods in Computer Science
Autor/Editor: Bonsangue, Marcello M.
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-44124-4
    + info
Coalgebraic Methods in Computer Science
Autor/Editor: Hasuo, Ichiro
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-40370-0
    + info
Coalgebraic Methods in Computer Science
Autor/Editor: Cîrstea, Corina
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-00389-0
    + info
Collaborative Design for Embedded Systems
Autor/Editor: Fitzgerald, John  Gorm Larsen, Peter  Verhoef, Marcel
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-54118-6
    + info
Compiler Construction
Autor/Editor: Franke, Björn
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-46663-6
    + info
Computability and Complexity
Autor/Editor: Day, Adam  Fellows, Michael  Greenberg, Noam  Khoussainov, Bakhadyr  Melnikov, Alexander  Rosamond, Frances
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-50062-1
    + info
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky
Autor/Editor: Coecke, Bob  Ong, Luke  Panangaden, Prakash
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38164-5
    + info
Computation, Physics and Beyond
Autor/Editor: Dinneen, Michael J.  Khoussainov, Bakhadyr  Nies, André
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-27654-5
    + info
Computational Autism
Autor/Editor: Galitsky, Boris
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-39972-0
    + info
Computational Issues in Fluid Construction Grammar
Autor/Editor: Steels, Luc
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-34120-5
    + info
Computational Logic in Multi-Agent Systems
Autor/Editor: Fisher, Michael  Torre, Leon  Dastani, Mehdi  Governatori, Guido
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-32897-8
    + info
Computational Logic in Multi-Agent Systems
Autor/Editor: Leite, João  Son, Tran Cao  Torroni, Paolo  Torre, Leon  Woltran, Stefan
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-40624-9
    + info
Computational Logic in Multi-Agent Systems
Autor/Editor: Bulling, Nils  Torre, Leendert  Villata, Serena  Jamroga, Wojtek  Vasconcelos, Wamberto
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-09764-0
    + info
Computational Methods in Systems Biology
Autor/Editor: Feret, Jérôme  Koeppl, Heinz
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-67471-1
    + info
Computational Methods in Systems Biology
Autor/Editor: ÄŒeÅ¡ka, Milan  Å afránek, David
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-99429-1
    + info
Computer Aided Verification
Autor/Editor: Kroening, Daniel  Păsăreanu, Corina S.
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-21668-3
    + info
Computer Aided Verification
Autor/Editor: Kroening, Daniel  Păsăreanu, Corina S.
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-21690-4
    + info
Computer Aided Verification
Autor/Editor: Madhusudan, P.  Seshia, Sanjit A.
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-31424-7
    + info
Computer Aided Verification
Autor/Editor: Sharygina, Natasha  Veith, Helmut
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-39799-8
    + info
Computer Aided Verification
Autor/Editor: Biere, Armin  Bloem, Roderick
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-08867-9
    + info
Computer Aided Verification. 28th International Conference, CAV 2016, Proceedings, Part I
Autor/Editor: Chaudhuri, Swarat  Farzan, Azadeh
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-41528-4
    + info
Computer Aided Verification. 28th International Conference, CAV 2016, Proceedings, Part II
Autor/Editor: Chaudhuri, Swarat  Farzan, Azadeh
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-41540-6
    + 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
Computer Aided Verification. 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Autor/Editor: Majumdar, Rupak  Kunčak, Viktor
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-63390-9
    + info
Computer Aided Verification. 30th International Conference, Proceedings, Part I
Autor/Editor: Chockler, Hana  Weissenbacher, Georg
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-96145-3
    + info
Computer Aided Verification. 30th International Conference, Proceedings, Part II
Autor/Editor: Chockler, Hana  Weissenbacher, Georg
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-96142-2
    + info
Computer Algebra in Scientific Computing
Autor/Editor: Gerdt, Vladimir P.  Koepf, Wolfram  Seiler, Werner M.  Vorozhtsov, Evgenii V.
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-66320-3
    + info
Computer Algebra in Scientific Computing
Autor/Editor: Gerdt, Vladimir P.  Koepf, Wolfram  Seiler, Werner M.  Vorozhtsov, Evgenii V.
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-99639-4
    + info
Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity
Autor/Editor: Kim, Tai-hoon  Ramos, Carlos  Kim, Haeng-kon  Kiumi, Akingbehin  Mohammed, Sabah  ÅšlÄ™zak, Dominik
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35267-6
    + info
Computer Performance Engineering
Autor/Editor: Horváth, András  Wolter, Katinka
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-10885-8
    + info
Computer Performance Engineering
Autor/Editor: Fiems, Dieter  Paolieri, Marco  Platis, Agapios N.
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-46433-6
    + info
Computer Performance Engineering
Autor/Editor: Reinecke, Philipp  Di Marco, Antinisca
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-66583-2
    + info
Computer Safety, Reliability, and Security
Autor/Editor: Koornneef, Floor  Gulijk, Coen van
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-24249-1
    + info
Computer Safety, Reliability, and Security
Autor/Editor: Koornneef, Floor  Gulijk, Coen van
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-24255-2
    + info
Computer Safety, Reliability, and Security
Autor/Editor: Bondavalli, Andrea  Di Giandomenico, Felicita
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-10506-2
    + info
Computer Safety, Reliability, and Security
Autor/Editor: Bondavalli, Andrea  Ceccarelli, Andrea  Ortmeier, Frank
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-10557-4
    + info
Computer Safety, Reliability, and Security
Autor/Editor: Tonetta, Stefano  Schoitsch, Erwin  Bitsch, Friedemann
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-66266-4
    + info
Computer Safety, Reliability, and Security
Autor/Editor: Tonetta, Stefano  Schoitsch, Erwin  Bitsch, Friedemann
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-66284-8
    + info
Computer Safety, Reliability, and Security : 37th International Conference, Proceedings
Autor/Editor: Gallina, Barbara  Skavhaug, Amund  Bitsch, Friedemann
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-99130-6
    + info
Computer Safety, Reliability, and Security : SAFECOMP 2018 Workshops, Proceedings
Autor/Editor: Gallina, Barbara  Skavhaug, Amund  Schoitsch, Erwin  Bitsch, Friedemann
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-99229-7
    + info
Computer Safety, Reliability, and Security. 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings
Autor/Editor: Skavhaug, Amund  Guiochet, Jérémie  Bitsch, Friedemann
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-45477-1
    + info
Computer Safety, Reliability, and Security. SAFECOMP 2012 Workshops
Autor/Editor: Ortmeier, Frank  Daniel, Peter
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-33675-1
    + info
Computer Safety, Reliability, and Security. SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings
Autor/Editor: Skavhaug, Amund  Guiochet, Jérémie  Schoitsch, Erwin  Bitsch, Friedemann
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-45480-1
    + info
Computer Science - Theory and Applications
Autor/Editor: Hirsch, Edward A.  Kuznetsov, Sergei O.  Pin, Jean-Eric  Vereshchagin, Nikolay K.
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-06686-8
    + info
  de 7 paginas [Siguiente]      registros 1 al 100 de 657