Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

[Anterior] de 11 paginas [Siguiente]      registros 141 al 160 de 216
People, Problems, and Proofs
Autor/Editor: Lipton, Richard J.  Regan, Kenneth W.
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-41422-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
Principles in Noisy Optimization
Autor/Editor: Rakshit, Pratyusha  Konar, Amit
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-981-10-8642-7
    + info
Principles of Security and Trust
Autor/Editor: Maffei, Matteo  Ryan, Mark
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-54455-6
    + info
Principles of Security and Trust
Autor/Editor: Bauer, Lujo  Küsters, Ralf
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-89722-6
    + 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
Programming Languages and Operational Semantics
Autor/Editor: Fernández, Maribel
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-1-4471-6368-8
    + 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
Programming Languages and Systems
Autor/Editor: Ahmed, Amal
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-89884-1
    + info
Programming Languages and Systems
Autor/Editor: Ryu, Sukyoung
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-02768-1
    + info
Quantum Computational Number Theory
Autor/Editor: Yan, Song Y.
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-25823-2
    + info
Quantum Interaction
Autor/Editor: Busemeyer, Jerome R.  Dubois, François  Lambert-Mogiliansky, Ariane  Melucci, Massimo
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35659-9
    + 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
Regulated Grammars and Automata
Autor/Editor: Meduna, Alexander  Zemek, Petr
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-1-4939-0369-6
    + info
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Autor/Editor: Fantechi, Alessandro  Lecomte, Thierry  Romanovsky, Alexander
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-68499-4
    + info
Risks and Security of Internet and Systems
Autor/Editor: Cuppens, Frédéric  Cuppens, Nora  Lanet, Jean-Louis  Legay, Axel
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-54876-0
    + info
Sailing Routes in the World of Computation
Autor/Editor: Manea, Florin  Miller, Russell G.  Nowotka, Dirk
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-94418-0
    + info
Science Gateways for Distributed Computing Infrastructures
Autor/Editor: Kacsuk, Péter
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-11268-8
    + info
Search Computing
Autor/Editor: Ceri, Stefano  Brambilla, Marco
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-34213-4
    + info
[Anterior] de 11 paginas [Siguiente]      registros 141 al 160 de 216