Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

  de 4 paginas [Siguiente]      registros 1 al 100 de 375
A Beginner's Guide to Scala, Object Orientation and Functional Programming
Autor/Editor: Hunt, John
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-06776-6
    + info
A Beginner's Guide to Scala, Object Orientation and Functional Programming
Autor/Editor: Hunt, John
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-75771-1
    + 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
Accelerator Programming Using Directives
Autor/Editor: Chandrasekaran, Sunita  Juckeland, Guido
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-74896-2
    + info
Ada 2012 Rationale
Autor/Editor: Barnes, John
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-45210-9
    + info
Ada 2012 Reference Manual. Language and Standard Libraries
Autor/Editor: Taft, S. Tucker  Duff, Robert A.  Brukardt, Randall L.  Ploedereder, Erhard  Leroy, Pascal  Schonberg, Edmond
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-45419-6
    + info
Adaptive Resource Management and Scheduling for Cloud Computing
Autor/Editor: Pop, Florin  Potop-Butucaru, Maria
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-28448-4
    + info
Advanced Network Programming – Principles and Techniques
Autor/Editor: Ciubotaru, Bogdan  Muntean, Gabriel-Miro
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-1-4471-5292-7
    + info
Advances in Data Mining. Applications and Theoretical Aspects
Autor/Editor: Perner, Petra
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-41561-1
    + info
Advances in Data Mining. Applications and Theoretical Aspects
Autor/Editor: Perner, Petra
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-62701-4
    + info
Advances in Grid and Pervasive Computing
Autor/Editor: Li, Ruixuan  Cao, Jiannong  Bourgeois, Julien
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-30767-6
    + 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
Affective Feedback in Intelligent Tutoring Systems
Autor/Editor: Jiménez, Samantha  Juárez-Ramírez, Reyes  Castillo, Victor H.  Tapia Armenta, Juan José
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-93197-5
    + info
Agent Based Modelling of Urban Systems
Autor/Editor: Namazi-Rad, Mohammad-Reza  Padgham, Lin  Perez, Pascal  Nagel, Kai  Bazzan, Ana
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-51957-9
    + info
Agent Environments for Multi-Agent Systems IV
Autor/Editor: Weyns, Danny  Michel, Fabien
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-23850-0
    + info
Agents and Artificial Intelligence
Autor/Editor: Herik, Jaap van den  Filipe, Joaquim
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-53354-4
    + 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
Algorithmic Decision Theory
Autor/Editor: Walsh, Toby
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-23114-3
    + info
Algorithmic Decision Theory
Autor/Editor: Perny, Patrice  Pirlot, Marc  Tsoukiàs, Alexis
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-41575-3
    + info
Algorithms and Architectures for Parallel Processing. 16th International Conference, ICA3PP 2016, Proceedings
Autor/Editor: Carretero, Jesus  Garcia-Blas, Javier  Ko, Ryan K.L.  Mueller, Peter  Nakano, Koji Nakano
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-49583-5
    + info
Algorithms for Functional Programming
Autor/Editor: Stone, John David
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-662-57970-1
    + info
Aliasing in Object-Oriented Programming. Types, Analysis and Verification
Autor/Editor: Clarke, Dave  Noble, James  Wrigstad, Tobias
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-36946-9
    + info
An Introduction to Network Programming with Java
Autor/Editor: Graba, Jan
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-1-4471-5254-5
    + info
Applications of Declarative Programming and Knowledge Management
Autor/Editor: Tompits, Hans  Abreu, Salvador  Oetsch, Johannes  Pührer, Jörg  Seipel, Dietmar  Umeda, Masanobu  Wolf, Armin
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-41524-1
    + info
Applications of Evolutionary Computation
Autor/Editor: Chio, Cecilia  Agapitos, Alexandros  Cagnoni, Stefano  Cotta, Carlos  Fernández Vega, Francisco  Caro, Gianni A.  Drechsler, Rolf  Ekárt, Anikó  Esparcia-Alcázar, Anna I.  Farooq, Muddassar  Langdon, William B.  Merelo-Guervós, Juan J.  Preuss, Mike  Richter, Hendrik  Silva, Sara  Simões, Anabela  Squillero, Giovanni  Tarantino, Ernesto  Tettamanzi, Andrea G. B.  Togelius, Julian  Urquhart, Neil  Uyar, A. Åžima  Yannakakis, Georgios N.
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-29178-4
    + info
Artificial Intelligence in Medicine
Autor/Editor: Teije, Annette ten  Popow, Christian  Holmes, John H.  Sacchi, Lucia
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-59758-4
    + 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
Building Secure Defenses Against Code-Reuse Attacks
Autor/Editor: Davi, Lucas  Sadeghi, Ahmad-Reza
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-25546-0
    + 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
Central European Functional Programming School
Autor/Editor: Zsók, Viktória  Horváth, Zoltán  Plasmeijer, Rinus
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-32096-5
    + 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
Compiler Construction
Autor/Editor: O’Boyle, Michael
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-28652-0
    + info
Compiler Design
Autor/Editor: Seidl, Helmut  Wilhelm, Reinhard  Hack, Sebastian
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-17548-0
    + info
Compiler Design
Autor/Editor: Wilhelm, Reinhard  Seidl, Helmut  Hack, Sebastian
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-17540-4
    + 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
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 Architecture
Autor/Editor: Varbanescu, Ana Lucía  Molnos, Anca  Nieuwpoort, Rob
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-24322-6
    + info
Conceptual Modeling
Autor/Editor: Mayr, Heinrich C.  Guizzardi, Giancarlo  Ma, Hui  Pastor, Oscar
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-69904-2
    + info
Concurrency, Security, and Puzzles
Autor/Editor: Gibson-Robinson, Thomas  Hopcroft, Philippa  Lazić, Ranko
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-51046-0
    + info
Concurrent Objects and Beyond
Autor/Editor: Agha, Gul  Igarashi, Atsushi  Kobayashi, Naoki  Masuhara, Hidehiko  Matsuoka, Satoshi  Shibayama, Etsuya  Taura, Kenjiro
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-44471-9
    + info
Conversations Around Semiotic Engineering
Autor/Editor: Junqueira Barbosa, Simone Diniz  Breitman, Karin
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-56291-9
    + info
Coordination Models and Languages
Autor/Editor: Holvoet, Tom  Viroli, Mirko
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-19282-6
    + info
Coordination Models and Languages
Autor/Editor: Sirjani, Marjan
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-30829-1
    + info
Coordination Models and Languages
Autor/Editor: Lluch Lafuente, Alberto  Proença, José
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-39519-7
    + info
Coordination Models and Languages
Autor/Editor: Jean-Marie Jacquet, Mieke Massink
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-59746-1
    + info
Correct Reasoning
Autor/Editor: Erdem, Esra  Lee, Joohyung  Lierler, Yuliya  Pearce, David
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-30743-0
    + info
Data Structures and Algorithms with Python
Autor/Editor: Lee, Kent D.  Hubbard, Steve
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-13072-9
    + info
Declarative Programming and Knowledge Management
Autor/Editor: Hanus, Michael  Rocha, Ricardo
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-08909-6
    + info
Declarative Programming and Knowledge Management
Autor/Editor: Seipel, Dietmar  Hanus, Michael  Abreu, Salvador
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-00801-7
    + info
Deontic Logic and Normative Systems
Autor/Editor: Cariani, Fabrizio  Grossi, Davide  Meheus, Joke  Parent, Xavier
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-08615-6
    + info
Deontic Logic in Computer Science
Autor/Editor: Ågotnes, Thomas  Broersen, Jan  Elgesem, Dag
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-31570-1
    + info
Dependable Networks and Services
Autor/Editor: Sadre, Ramin  Novotný, Jiří  ÄŒeleda, Pavel  Waldburger, Martin  Stiller, Burkhard
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-30633-4
    + info
Distributed Algorithms for Message-Passing Systems
Autor/Editor: Raynal, Michel
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38123-2
    + info
Distributed Computing
Autor/Editor: Aguilera, Marcos K.
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-33651-5
    + info
Distributed Computing and Networking
Autor/Editor: Bononi, Luciano  Datta, Ajoy K.  Devismes, Stéphane  Misra, Archan
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-25959-3
    + info
Distributed Computing and Networking
Autor/Editor: Frey, Davide  Raynal, Michel  Sarkar, Saswati  Shyamasundar, Rudrapatna K.  Sinha, Prasun
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35668-1
    + info
Distributed Computing and Networking
Autor/Editor: Chatterjee, Mainak  Cao, Jian-nong  Kothapalli, Kishore  Rajsbaum, Sergio
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-45249-9
    + info
Distributed Programming
Autor/Editor: Shankar, A. Udaya
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-1-4614-4881-5
    + info
ECOOP 2012 – Object-Oriented Programming
Autor/Editor: Noble, James
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-31057-7
    + info
ECOOP 2013 – Object-Oriented Programming
Autor/Editor: Castagna, Giuseppe
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-39038-8
    + info
ECOOP 2014 – Object-Oriented Programming
Autor/Editor: Jones, Richard
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-44202-9
    + info
Electronique Appliquée, Electromécanique sous Simscape & SimPowerSystems (Matlab/Simulink)
Autor/Editor: Mokhtari, Mohand  Martaj, Nadia
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-24201-4
    + info
Emotion Modeling
Autor/Editor: Bosse, Tibor  Broekens, Joost  Dias, João  Zwaan, Janneke van der
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-12973-0
    + info
Empirical Software Engineering and Verification
Autor/Editor: Meyer, Bertrand  Nordio, Martin
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-25231-0
    + info
Engineering Multi-Agent Systems
Autor/Editor: Baldoni, Matteo  Baresi, Luciano  Dastani, Mehdi
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-26184-3
    + info
Engineering Multi-Agent Systems
Autor/Editor: Cossentino, Massimo  Fallah Seghrouchni, Amal  Winikoff, Michael
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-45343-4
    + info
Engineering Multi-Agent Systems
Autor/Editor: Dalpiaz, Fabiano  Dix, Jürgen  Riemsdijk, M. Birna van
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-14484-9
    + info
Engineering Multi-Agent Systems
Autor/Editor: Baldoni, Matteo  Müller, Jörg P.  Nunes, Ingrid  Zalila-Wenkstern, Rym
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-50983-9
    + info
Engineering Multi-Agent Systems
Autor/Editor: Fallah-Seghrouchni, Amal El  Ricci, Alessandro  Son, Tran Cao
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-91899-0
    + 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
Euro-Par 2011: Parallel Processing Workshops. Part I
Autor/Editor: Alexander, Michael  D’Ambra, Pasqua  Belloum, Adam  Bosilca, George  Cannataro, Mario  Danelutto, Marco  Martino, Beniamino  Gerndt, Michael  Jeannot, Emmanuel  Namyst, Raymond  Roman, Jean  Scott, Stephen L.  Traff, Jesper Larsson  Vallée, Geoffroy  Weidendorfer, Josef
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-29737-3
    + info
Euro-Par 2011: Parallel Processing Workshops. Part II
Autor/Editor: Alexander, Michael  D’Ambra, Pasqua  Belloum, Adam  Bosilca, George  Cannataro, Mario  Danelutto, Marco  Martino, Beniamino  Gerndt, Michael  Jeannot, Emmanuel  Namyst, Raymond  Roman, Jean  Scott, Stephen L.  Traff, Jesper Larsson  Vallée, Geoffroy  Weidendorfer, Josef
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-29740-3
    + info
Euro-Par 2016 : Parallel Processing. 22nd International Conference on Parallel and Distributed Computing, Proceedings
Autor/Editor: Dutot, Pierre-François  Trystram, Denis
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-43659-3
    + info
Euro-Par 2017: Parallel Processing
Autor/Editor: Rivera, Francisco F.  Pena, Tomás F.  Cabaleiro, José C.
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-64203-1
    + info
Euro-Par 2018: Parallel Processing
Autor/Editor: Aldinucci, Marco  Padovani, Luca  Torquati, Massimo
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-96983-1
    + info
Evaluation of Novel Approaches to Software Engineering
Autor/Editor: Damiani, Ernesto  Spanoudakis, George  Maciaszek, Leszek
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-94135-6
    + info
Evolutionary and Biologically Inspired Music, Sound, Art and Design
Autor/Editor: Machado, Penousal  Romero, Juan  Carballal, Adrian
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-29142-5
    + info
Experimental Algorithms
Autor/Editor: Klasing, Ralf
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-30850-5
    + info
Fields of Logic and Computation II
Autor/Editor: Beklemishev, Lev D.  Blass, Andreas  Dershowitz, Nachum  Finkbeiner, Bernd  Schulte, Wolfram
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-23534-9
    + info
Finite Difference Methods,Theory and Applications
Autor/Editor: Dimov, Ivan  Faragó, István  Vulkov, Lubin
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-20239-6
    + info
Formal Aspects of Component Software
Autor/Editor: Lanese, Ivan  Madelaine, Eric
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-15317-9
    + info
Formal Aspects of Component Software
Autor/Editor: Păsăreanu, Corina S.  Salaün, Gwen
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35861-6
    + info
Formal Aspects of Component Software
Autor/Editor: Fiadeiro, José Luiz  Liu, Zhiming  Xue, Jinyun
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-07602-7
    + info
Formal Aspects of Component Software
Autor/Editor: Braga, Christiano  Ölveczky, Peter Csaba
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-28934-2
    + info
Formal Aspects of Component Software
Autor/Editor: Bae, Kyungmin  Ölveczky, Peter Csaba
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-02146-7
    + info
Formal Aspects of Component Software. FACS 2010
Autor/Editor: Soares Barbosa, Luís  Lumpe, Markus
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-27269-1
    + info
Formal Aspects of Component Software. FACS 2011
Autor/Editor: Arbab, Farhad  Ölveczky, Peter Csaba
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35743-5
    + info
Formal Methods and Software Engineering
Autor/Editor: Butler, Michael  Conchon, Sylvain  Zaïdi, Fatiha
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-25423-4
    + info
Formal Methods and Software Engineering
Autor/Editor: Aoki, Toshiaki  Taguchi, Kenji
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-34281-3
    + info
Formal Methods and Software Engineering
Autor/Editor: Groves, Lindsay  Sun, Jing
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-41202-8
    + info
Formal Methods and Software Engineering
Autor/Editor: Merz, Stephan  Pang, Jun
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-11737-9
    + info
  de 4 paginas [Siguiente]      registros 1 al 100 de 375