Switch to list view
Switch to thumbnail view
15 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Recursion Theory and Computational Complexity
Recursion Theory and Computational Complexity
Author 
Lolli, G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11072-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Ontology of Communication Agent-Based Data-Driven or Sign-Based Substitution-Driven?
Ontology of Communication Agent-Based Data-Driven or Sign-Based Substitution-Driven?
Author 
Hausser, Roland. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520261.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-22739-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Mathematics for Computer Scientists A Practice-Oriented Approach
Mathematics for Computer Scientists A Practice-Oriented Approach
Author 
Hartmann, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520344.1)
Electronic Access 
https://doi.org/10.1007/978-3-658-40423-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Guide to Java A Concise Introduction to Programming
Guide to Java A Concise Introduction to Programming
Author 
Streib, James T. author. Soma, Takako. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520560.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-22842-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Mathematical Foundations of Software Engineering A Practical Guide to Essentials
Mathematical Foundations of Software Engineering A Practical Guide to Essentials
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520574.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-26212-8
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for A Beginners Guide to Python 3 Programming
A Beginners Guide to Python 3 Programming
Author 
Hunt, John. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520602.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-35122-8
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Reversible Computation 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings
Reversible Computation 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings
Author 
Kutrib, Martin. editor. (orcid) Meyer, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521090.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-38100-3
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Language Production, Cognition, and the Lexicon
Language Production, Cognition, and the Lexicon
Author 
Gala, Núria. editor. Rapp, Reinhard. editor. Bel-Enguix, Gemma. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518530.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-08043-7
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Data Structures and Algorithms with Python
Data Structures and Algorithms with Python
Author 
Lee, Kent D. author. Hubbard, Steve. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(518537.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-13072-9
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
Author 
Bartocci, Ezio. editor. Majumdar, Rupak. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519135.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-23820-3
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
Author 
Braga, Christiano. editor. Martí-Oliet, Narciso. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519154.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15075-8
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Author 
Pitts, Andrew. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(519161.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46678-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets