Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

[Anterior] de 2 paginas       registros 21 al 39 de 39
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
[Anterior] de 2 paginas       registros 21 al 39 de 39