Résultats de rechercheBases de données
2555 Résultats trouvés M'abonner aux résultats de recherche
Sélectionner tout
Passer à l'affichage en mode Liste
Passer à l'affichage en mode Miniature
000000000000DEFAULT
Imprimer
1. 
Image de couverture de Models of Computation
Models of Computation
Models of Computation
Auteur 
Bruni, Roberto. author. Montanari, Ugo. author. SpringerLink (Online service)
Numéro de cote topographique requis 
QA75.5 -76.95
Full Text Available From Springer Nature Computer Science 2017 Packages
Format : 
Ressources électroniques
Disponible:
2. 
Image de couverture de Models of computation and formal languages
Models of computation and formal languages
Models of computation and formal languages
Auteur 
Taylor, Ralph Gregory.
Numéro de cote topographique requis 
QA9.59 .T39 1998
Publisher description
Table of contents only
Contributor biographical information
Format : 
Livres
Disponible:
3. 
Image de couverture de Models of Computation for Big Data
Models of Computation for Big Data
Models of Computation for Big Data
Auteur 
Akerkar, Rajendra. author. (orcid)0000-0002-4048-7226 SpringerLink (Online service)
Numéro de cote topographique requis 
QA76.9 .A43
Full Text Available From Springer Nature Computer Science 2018 Packages
Format : 
Ressources électroniques
Disponible:
4. 
Image de couverture de Black-Box Models of Computation in Cryptology
Black-Box Models of Computation in Cryptology
Black-Box Models of Computation in Cryptology
Auteur 
Jager, Tibor. author. SpringerLink (Online service)
Numéro de cote topographique requis 
QA71 -90
Full Text Available From Springer Nature Mathematics and Statistics 2012 Packages
Format : 
Ressources électroniques
Disponible:
5. 
Image de couverture de Models of computation : an introduction to computability theory
Models of computation : an introduction to computability theory
Models of computation : an introduction to computability theory
Auteur 
Fernâandez, Maribel.
Numéro de cote topographique requis 
QA267 .F47 2009
Format : 
Livres
Disponible:
6. 
Image de couverture de Handbook of Mathematical Models for Languages and Computation
Handbook of Mathematical Models for Languages and Computation
Handbook of Mathematical Models for Languages and Computation
Auteur 
Meduna, Alexander Horacek, Petr Tomko, Martin IET Digital Library IET e-Books
Numéro de cote topographique requis 
XX(2014292.1)
Full Text Available From IET eBooks 2019 Packages
Format : 
Ressources électroniques
Disponible:
7. 
Image de couverture de Models of Computation An Introduction to Computability Theory
Models of Computation An Introduction to Computability Theory
Models of Computation An Introduction to Computability Theory
Auteur 
Fernandez, Maribel. author. (orcid)0000-0001-8325-5815 SpringerLink (Online service)
Numéro de cote topographique requis 
QA76.758
Full Text Available From Springer Nature Computer Science 2009 Packages
Format : 
Ressources électroniques
Disponible:
8. 
Image de couverture de 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
Auteur 
Radojevic, Ivan. author. Salcic, Zoran. author. SpringerLink (Online service)
Numéro de cote topographique requis 
T1 -995
Full Text Available From Springer Nature Engineering 2011 Packages
Format : 
Ressources électroniques
Disponible:
9. 
Image de couverture de 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
Auteur 
Dervieux, Alain. editor. Braza, Marianna. editor. Dussauge, Jean-Paul. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
TL1 -4050
Full Text Available From Springer Nature Physics and Astronomy Archive Packages
Format : 
Ressources électroniques
Disponible:
10. 
Image de couverture de 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
Auteur 
Nikiforov, Arnold F. author. Novikov, Vladimir G. author. Uvarov, Vasili B. author. SpringerLink (Online service)
Numéro de cote topographique requis 
QC173.45 -173.458
Full Text Available From Springer Nature Physics and Astronomy 2005 Packages
Format : 
Ressources électroniques
Disponible:
11. 
Image de couverture de 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
Auteur 
Calude, Cristian. editor. Dinneen, Michael J. editor. Peper, F. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
QA75.5 -76.95
Full Text Available From Springer Nature Computer Science Archive Packages
Format : 
Ressources électroniques
Disponible:
12. 
Image de couverture de 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
Auteur 
Jain, Rahul. editor. Jain, Sanjay. editor. Stephan, Frank. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
QA267 -268.5
Full Text Available From Springer Nature Computer Science 2015 Packages
Format : 
Ressources électroniques
Disponible:
Sélectionner tout
2555 Résultats trouvés M'abonner aux résultats de recherche
Limiter les résultats de recherche
Auteur
SpringerLink (Online service)
(2481)
IGI Global
(48)
IGI Global eBooks
(48)
SpringerLink Journals
(23)
Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
(19)
Langue
Date de publication
Ce graphique montre la distribution des dates de publication à utiliser avec un curseur de plage de dates. Passez au mode d’affichage Années pour une ventilation plus détaillée des résultats de recherche par année.
-
Sujet
Computer science.
(1067)
Artificial intelligence.
(694)
Theory of Computation.
(544)
Models of Computation.
(489)
Software engineering.
(418)
Type de document
Emplacement
Bibliothèque