Busquedas:
- Autor/Editor: Les, Zbigniew
- Autor/Editor: Vergara Cortina, NeÌstor
- Keyword: Lasers
- Keyword: Arts Education
- Autor/Editor: Marc, David
- Autor/Editor: Christopher L., Tucci
- Autor/Editor: Naik, Azad
- Autor/Editor: Chizzolini, Barbara
- Autor/Editor: Døjbak Håkonsson, Dorthe
- Keyword: Actuarial Sciences
- Autor/Editor: Apikyan, Samuel
- Autor/Editor: Mishra, Umesh K.
- Autor/Editor: Consentino Kronka Mülfarth, Roberta
- Autor/Editor: Alouini, Mohamed-Slim
- Autor/Editor: Carbonell Barrachina, Angel Antonio
- Autor/Editor: Langfeldt, Liv
- Autor/Editor: Erlhoff, Michael
- Autor/Editor: Vidakis, Nikolas
- Autor/Editor: Adhikari, Shyamal Kumar
- Autor/Editor: Chowdhury, Gobinda
- Autor/Editor: Schirrmann, Arnd
- Autor/Editor: Barbaresco, Frédéric
- Autor/Editor: Cérin, Christophe
- Keyword: Epidemiology
- Autor/Editor: Ruffaldi, Emanuele
- Autor/Editor: Chaudhuri, Subhasis
- Autor/Editor: Adami, André
- Keyword: Libraries--Special collecti
- Autor/Editor: Kim, Howon
1/1
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
Idioma: inglés
Colección: Computación
Keywords: Logics and Meanings of Programs - Mathematical Logic and Formal Languages - Math Applications in Computer Science
Título de la Serie: Undergraduate Topics in Computer Science
Tipo de documento: Monografía
Edición: 1st ed. 2017
Editor: Springer International Publishing
ISBN-e: 978-3-319-51653-0
ISSN-e: 2197-1781