Search ResultsOther Libraries
2555 Results Found Subscribe to search results
Select All
Switch to list view
Switch to thumbnail view
000000000000DEFAULT
Print
1. 
Cover image for Models of Computation
Models of Computation
Models of Computation
Author 
Bruni, Roberto. author. Montanari, Ugo. author. SpringerLink (Online service)
Call Number 
QA75.5 -76.95
ISBN 
9783319429007
Electronic Access 
Full Text Available From Springer Nature Computer Science 2017 Packages
Format: 
Electronic Resources
Available:
2. 
Cover image for Models of computation and formal languages
Models of computation and formal languages
Models of computation and formal languages
Author 
Taylor, Ralph Gregory.
Call Number 
QA9.59 .T39 1998
ISBN 
9780195109832
Electronic Access 
Publisher description
Table of contents only
Contributor biographical information
Format: 
Books
Available:
3. 
Cover image for Models of Computation for Big Data
Models of Computation for Big Data
Models of Computation for Big Data
Author 
Akerkar, Rajendra. author. (orcid)0000-0002-4048-7226 SpringerLink (Online service)
Call Number 
QA76.9 .A43
ISBN 
9783319918518
Electronic Access 
Full Text Available From Springer Nature Computer Science 2018 Packages
Format: 
Electronic Resources
Available:
4. 
Cover image for Black-Box Models of Computation in Cryptology
Black-Box Models of Computation in Cryptology
Black-Box Models of Computation in Cryptology
Author 
Jager, Tibor. author. SpringerLink (Online service)
Call Number 
QA71 -90
ISBN 
9783834819901
Electronic Access 
Full Text Available From Springer Nature Mathematics and Statistics 2012 Packages
Format: 
Electronic Resources
Available:
5. 
Cover image for Models of computation : an introduction to computability theory
Models of computation : an introduction to computability theory
Models of computation : an introduction to computability theory
Author 
Fernâandez, Maribel.
Call Number 
QA267 .F47 2009
ISBN 
9781848824331
Format: 
Books
Available:
6. 
Cover image for Handbook of Mathematical Models for Languages and Computation
Handbook of Mathematical Models for Languages and Computation
Handbook of Mathematical Models for Languages and Computation
Author 
Meduna, Alexander Horacek, Petr Tomko, Martin IET Digital Library IET e-Books
Call Number 
XX(2014292.1)
ISBN 
9781785616600
Electronic Access 
Full Text Available From IET eBooks 2019 Packages
Format: 
Electronic Resources
Available:
7. 
Cover image for Models of Computation An Introduction to Computability Theory
Models of Computation An Introduction to Computability Theory
Models of Computation An Introduction to Computability Theory
Author 
Fernandez, Maribel. author. (orcid)0000-0001-8325-5815 SpringerLink (Online service)
Call Number 
QA76.758
ISBN 
9781848824348
Electronic Access 
Full Text Available From Springer Nature Computer Science 2009 Packages
Format: 
Electronic Resources
Available:
8. 
Cover image for 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
Author 
Radojevic, Ivan. author. Salcic, Zoran. author. SpringerLink (Online service)
Call Number 
T1 -995
ISBN 
9789400715943
Electronic Access 
Full Text Available From Springer Nature Engineering 2011 Packages
Format: 
Electronic Resources
Available:
9. 
Cover image for 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
Author 
Dervieux, Alain. editor. Braza, Marianna. editor. Dussauge, Jean-Paul. editor. SpringerLink (Online service)
Call Number 
TL1 -4050
ISBN 
9783322898593
Electronic Access 
Full Text Available From Springer Nature Physics and Astronomy Archive Packages
Format: 
Electronic Resources
Available:
10. 
Cover image for 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
Author 
Nikiforov, Arnold F. author. Novikov, Vladimir G. author. Uvarov, Vasili B. author. SpringerLink (Online service)
Call Number 
QC173.45 -173.458
ISBN 
9783764373467
Electronic Access 
Full Text Available From Springer Nature Physics and Astronomy 2005 Packages
Format: 
Electronic Resources
Available:
11. 
Cover image for 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
Author 
Calude, Cristian. editor. Dinneen, Michael J. editor. Peper, F. editor. SpringerLink (Online service)
Call Number 
QA75.5 -76.95
ISBN 
9783540458333
Electronic Access 
Full Text Available From Springer Nature Computer Science Archive Packages
Format: 
Electronic Resources
Available:
12. 
Cover image for 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
Author 
Jain, Rahul. editor. Jain, Sanjay. editor. Stephan, Frank. editor. SpringerLink (Online service)
Call Number 
QA267 -268.5
ISBN 
9783319171425
Electronic Access 
Full Text Available From Springer Nature Computer Science 2015 Packages
Format: 
Electronic Resources
Available:
Select All
2555 Results Found Subscribe to search results
Limit Search Results
Author
SpringerLink (Online service)
(2481)
IGI Global
(48)
IGI Global eBooks
(48)
SpringerLink Journals
(23)
Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
(19)
Language
Publication Date
This graph shows the distribution of publication dates for use with a date range slider. Switch to Years view for a more detailed breakdown of search results by year.
-
Subject
Computer science.
(1067)
Artificial intelligence.
(694)
Theory of Computation.
(544)
Models of Computation.
(489)
Software engineering.
(418)
Material Type
Shelf Location
Library