Resultados de búsquedaBases de datos
2555 Resultados encontrados Suscribirse a los resultados de búsqueda
Seleccionar todo
Cambiar a vista de lista
Cambiar a vista en miniatura
000000000000DEFAULT
Imprimir
1. 
Imagen de portada para Models of Computation
Models of Computation
Models of Computation
Autor 
Bruni, Roberto. author. Montanari, Ugo. author. SpringerLink (Online service)
Signatura topográfica preferida 
QA75.5 -76.95
ISBN 
9783319429007
Full Text Available From Springer Nature Computer Science 2017 Packages
Formato: 
Recursos electrónicos
Disponible:
2. 
Imagen de portada para Models of computation and formal languages
Models of computation and formal languages
Models of computation and formal languages
Autor 
Taylor, Ralph Gregory.
Signatura topográfica preferida 
QA9.59 .T39 1998
ISBN 
9780195109832
Publisher description
Table of contents only
Contributor biographical information
Formato: 
Libros
Disponible:
3. 
Imagen de portada para Models of Computation for Big Data
Models of Computation for Big Data
Models of Computation for Big Data
Autor 
Akerkar, Rajendra. author. (orcid)0000-0002-4048-7226 SpringerLink (Online service)
Signatura topográfica preferida 
QA76.9 .A43
ISBN 
9783319918518
Full Text Available From Springer Nature Computer Science 2018 Packages
Formato: 
Recursos electrónicos
Disponible:
4. 
Imagen de portada para Black-Box Models of Computation in Cryptology
Black-Box Models of Computation in Cryptology
Black-Box Models of Computation in Cryptology
Autor 
Jager, Tibor. author. SpringerLink (Online service)
Signatura topográfica preferida 
QA71 -90
ISBN 
9783834819901
Full Text Available From Springer Nature Mathematics and Statistics 2012 Packages
Formato: 
Recursos electrónicos
Disponible:
5. 
Imagen de portada para Models of computation : an introduction to computability theory
Models of computation : an introduction to computability theory
Models of computation : an introduction to computability theory
Autor 
Fernâandez, Maribel.
Signatura topográfica preferida 
QA267 .F47 2009
ISBN 
9781848824331
Formato: 
Libros
Disponible:
6. 
Imagen de portada para Handbook of Mathematical Models for Languages and Computation
Handbook of Mathematical Models for Languages and Computation
Handbook of Mathematical Models for Languages and Computation
Autor 
Meduna, Alexander Horacek, Petr Tomko, Martin IET Digital Library IET e-Books
Signatura topográfica preferida 
XX(2014292.1)
ISBN 
9781785616600
Full Text Available From IET eBooks 2019 Packages
Formato: 
Recursos electrónicos
Disponible:
7. 
Imagen de portada para Models of Computation An Introduction to Computability Theory
Models of Computation An Introduction to Computability Theory
Models of Computation An Introduction to Computability Theory
Autor 
Fernandez, Maribel. author. (orcid)0000-0001-8325-5815 SpringerLink (Online service)
Signatura topográfica preferida 
QA76.758
ISBN 
9781848824348
Full Text Available From Springer Nature Computer Science 2009 Packages
Formato: 
Recursos electrónicos
Disponible:
8. 
Imagen de portada para Embedded Systems Design Based on Formal Models of Computation
Embedded Systems Design Based on Formal Models of Computation
Embedded Systems Design Based on Formal Models of Computation
Autor 
Radojevic, Ivan. author. Salcic, Zoran. author. SpringerLink (Online service)
Signatura topográfica preferida 
T1 -995
ISBN 
9789400715943
Full Text Available From Springer Nature Engineering 2011 Packages
Formato: 
Recursos electrónicos
Disponible:
9. 
Imagen de portada para Computation and Comparison of Efficient Turbulence Models for Aeronautics - European Research Project ETMA
Computation and Comparison of Efficient Turbulence Models for Aeronautics - European Research Project ETMA
Computation and Comparison of Efficient Turbulence Models for Aeronautics - European Research Project ETMA
Autor 
Dervieux, Alain. editor. Braza, Marianna. editor. Dussauge, Jean-Paul. editor. SpringerLink (Online service)
Signatura topográfica preferida 
TL1 -4050
ISBN 
9783322898593
Full Text Available From Springer Nature Physics and Astronomy Archive Packages
Formato: 
Recursos electrónicos
Disponible:
10. 
Imagen de portada para Quantum-Statistical Models of Hot Dense Matter Methods for Computation Opacity and Equation of State
Quantum-Statistical Models of Hot Dense Matter Methods for Computation Opacity and Equation of State
Quantum-Statistical Models of Hot Dense Matter Methods for Computation Opacity and Equation of State
Autor 
Nikiforov, Arnold F. author. Novikov, Vladimir G. author. Uvarov, Vasili B. author. SpringerLink (Online service)
Signatura topográfica preferida 
QC173.45 -173.458
ISBN 
9783764373467
Full Text Available From Springer Nature Physics and Astronomy 2005 Packages
Formato: 
Recursos electrónicos
Disponible:
11. 
Imagen de portada para Unconventional Models of Computation Third International Conference, UMC 2002, Kobe, Japan, October 15-19, 2002, Proceedings
Unconventional Models of Computation Third International Conference, UMC 2002, Kobe, Japan, October 15-19, 2002, Proceedings
Unconventional Models of Computation Third International Conference, UMC 2002, Kobe, Japan, October 15-19, 2002, Proceedings
Autor 
Calude, Cristian. editor. Dinneen, Michael J. editor. Peper, F. editor. SpringerLink (Online service)
Signatura topográfica preferida 
QA75.5 -76.95
ISBN 
9783540458333
Full Text Available From Springer Nature Computer Science Archive Packages
Formato: 
Recursos electrónicos
Disponible:
12. 
Imagen de portada para Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings
Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings
Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings
Autor 
Jain, Rahul. editor. Jain, Sanjay. editor. Stephan, Frank. editor. SpringerLink (Online service)
Signatura topográfica preferida 
QA267 -268.5
ISBN 
9783319171425
Full Text Available From Springer Nature Computer Science 2015 Packages
Formato: 
Recursos electrónicos
Disponible:
Seleccionar todo
2555 Resultados encontrados Suscribirse a los resultados de búsqueda
Limitar resultados de búsqueda
Autor
SpringerLink (Online service)
(2481)
IGI Global
(48)
IGI Global eBooks
(48)
SpringerLink Journals
(23)
Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
(19)
Idioma
Fecha de publicación
Este gráfico muestra la distribución de las fechas de publicación para su uso con un deslizador de rango de fechas. Cambie a la vista Años para un desglose más detallado de los resultados de la búsqueda por año.
-
Materia
Computer science.
(1067)
Artificial intelligence.
(694)
Theory of Computation.
(544)
Models of Computation.
(489)
Software engineering.
(418)
Tipo de material
Ubicación en el estante
Biblioteca