Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

  registros 1 al 39 de 39
A New Perspective on Nonmonotonic Logics
Autor/Editor: Gabbay, Dov M.  Schlechta, Karl
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-46817-4
    + info
An Introduction to the Technique of Formative Processes in Set Theory
Autor/Editor: Cantone, Domenico  Ursino, Pietro
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-74778-1
    + info
Belief Revision in Non-Classical Logics
Autor/Editor: Ribeiro, Márcio Moretto
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-1-4471-4186-0
    + info
Computational Artifacts
Autor/Editor: Turner, Raymond
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-662-55565-1
    + info
Computational Complexity of Solving Equation Systems
Autor/Editor: Broniek, Przemysław
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-21750-5
    + info
Correct System Design
Autor/Editor: Meyer, Roland  Platzer, André  Wehrheim, Heike
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-23506-6
    + info
Finitely Supported Mathematics
Autor/Editor: Alexandru, Andrei  Ciobanu, Gabriel
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-42282-4
    + info
Formal Methods for Nonmonotonic and Related Logics : Vol I: Preference and Size
Autor/Editor: Schlechta, Karl
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-89653-3
    + info
Formal Methods for Nonmonotonic and Related Logics : Vol II: Theory Revision, Inheritance, and Various Abstract Properties
Autor/Editor: Schlechta, Karl
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-89650-2
    + info
Foundations of Algebraic Specification and Formal Software Development
Autor/Editor: Sannella, Donald  Tarlecki, Andrzej
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-17336-3
    + info
From Linear Operators to Computational Biology
Autor/Editor: Davis, Martin  Schonberg, Edmond
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-1-4471-4282-9
    + info
Handbook of Model Checking
Autor/Editor: Clarke, Edmund M.  Henzinger, Thomas A.  Veith, Helmut  Bloem, Roderick
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-10575-8
    + info
How the World Computes
Autor/Editor: Cooper, S. Barry  Dawar, Anuj  Löwe, Benedikt
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-30870-3
    + info
Introduction to Concurrency Theory
Autor/Editor: Gorrieri, Roberto  Versari, Cristian
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-21491-7
    + info
Lectures on Logic and Computation
Autor/Editor: Bezhanishvili, Nick  Goranko, Valentin
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-31485-8
    + info
Logic, Rationality, and Interaction
Autor/Editor: Hoek, Wiebe van der  Holliday, Wesley H.  Wang, Wen-Fang
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-48561-3
    + info
Logic, Rationality, and Interaction
Autor/Editor: Grossi, Davide  Roy, Olivier  Huang, Huaxin
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-40948-6
    + info
Logic, Rationality, and Interaction
Autor/Editor: Baltag, Alexandru  Seligman, Jeremy  Yamada, Tomoyuki
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-55665-8
    + info
Logical Foundations of Computer Science
Autor/Editor: Artemov, Sergei  Nerode, Anil
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35722-0
    + info
Logical Foundations of Cyber-Physical Systems
Autor/Editor: Platzer, André
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-63588-0
    + info
Logics for Computer Science
Autor/Editor: Wasilewska, Anita
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-92591-2
    + info
Mathematical Logic for Computer Science
Autor/Editor: Ben-Ari, Mordechai
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-1-4471-4129-7
    + info
Mathematics of Discrete Structures for Computer Science
Autor/Editor: Pace, Gordon J.
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-29840-0
    + info
Petri Net Synthesis
Autor/Editor: Badouel, Eric  Bernardinello, Luca  Darondeau, Philippe
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-47967-4
    + info
Pristine Perspectives on Logic, Language, and Computation
Autor/Editor: Colinet, Margot  Katrenko, Sophia  Rendsvig, Rasmus K.
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-44116-9
    + info
Probability Logics
Autor/Editor: Ognjanović, Zoran  RaÅ¡ković, Miodrag  Marković, Zoran
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-47012-2
    + info
Process Algebras for Petri Nets
Autor/Editor: Gorrieri, Roberto
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-55559-1
    + info
Reactive Kripke Semantics
Autor/Editor: Gabbay, Dov M.
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-41389-6
    + info
Recent Trends in Algebraic Development Techniques
Autor/Editor: Codescu, Mihai  Diaconescu, Răzvan  ÈšuÈ›u, IonuÈ›
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-28114-8
    + info
Recent Trends in Algebraic Development Techniques
Autor/Editor: Mossakowski, Till  Kreowski, Hans-Jörg
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-28412-0
    + info
Recent Trends in Algebraic Development Techniques
Autor/Editor: Martí-Oliet, Narciso  Palomino, Miguel
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-37635-1
    + info
Rewriting and Typed Lambda Calculi
Autor/Editor: Dowek, Gilles
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-08918-8
    + info
Special Topics in Mathematics for Computer Scientists
Autor/Editor: Doberkat, Ernst-Erich
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-22750-4
    + info
The Complexity of Valued Constraint Satisfaction Problems
Autor/Editor: Živný, Stanislav
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-33974-5
    + info
The Incomputable
Autor/Editor: Cooper, S. Barry  Soskova, Mariya I.
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-43669-2
    + info
The Logic of Categorial Grammars
Autor/Editor: Moot, Richard  Retoré, Christian
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-31555-8
    + info
The Nature of Computation. Logic, Algorithms, Applications
Autor/Editor: Bonizzoni, Paola  Brattka, Vasco  Löwe, Benedikt
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-39053-1
    + info
Turing Computability
Autor/Editor: Soare, Robert I.
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-31933-4
    + info
Typed Lambda Calculi and Applications
Autor/Editor: Hasegawa, Masahito
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38946-7
    + info
  registros 1 al 39 de 39