Limit Search Results
Author
SpringerLink (Online service)
(28)
State, Radu. editor.
(3)
Boca, Paul. editor.
(2)
Bowen, Jonathan P. editor.
(2)
Butler, Michael. editor.
(2)
Language
Publication Date
-
Subject
Computer software.
(8)
Logic design.
(7)
Software engineering.
(7)
Artificial intelligence.
(6)
Engineering.
(4)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
29 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Temporal Logic and State Systems
Temporal Logic and State Systems
Author 
Kröger, Fred. author. Merz, Stephan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68635-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for State Space Grids Depicting Dynamics Across Development
State Space Grids Depicting Dynamics Across Development
Author 
Hollenstein, Tom. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331646.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5007-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Computing and Software Science State of the Art and Perspectives
Computing and Software Science State of the Art and Perspectives
Author 
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91908-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Programming with Actors State-of-the-Art and Research Perspectives
Programming with Actors State-of-the-Art and Research Perspectives
Author 
Ricci, Alessandro. editor. Haller, Philipp. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00302-9
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings
Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings
Author 
Butler, Michael. editor. Raschke, Alexander. editor. Hoang, Thai Son. editor. Reichl, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91271-4
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Braverman Readings in Machine Learning. Key Ideas from Inception to Current State International Conference Commemorating the 40th Anniversary of Emmanuil Braverman's Decease, Boston, MA, USA, April 28-30, 2017, Invited Talks
Braverman Readings in Machine Learning. Key Ideas from Inception to Current State International Conference Commemorating the 40th Anniversary of Emmanuil Braverman's Decease, Boston, MA, USA, April 28-30, 2017, Invited Talks
Author 
Rozonoer, Lev. editor. Mirkin, Boris. editor. (orcid)0000-0001-5470-8635 Muchnik, Ilya. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99492-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Introduction to Parallel Computing From Algorithms to Programming on State-of-the-Art Platforms
Introduction to Parallel Computing From Algorithms to Programming on State-of-the-Art Platforms
Author 
Trobec, Roman. author. Slivnik, Boštjan. author. Bulić, Patricio. author. Robič, Borut. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-98833-7
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Formal System Verification State-of the-Art and Future Trends
Formal System Verification State-of the-Art and Future Trends
Author 
Drechsler, Rolf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57685-5
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Brain-Computer Interface Research A State-of-the-Art Summary
Brain-Computer Interface Research A State-of-the-Art Summary
Author 
Guger, Christoph. editor. Allison, Brendan Z. editor. Edlinger, Günter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334118.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36083-1
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Soft Computing: State of the Art Theory and Novel Applications
Soft Computing: State of the Art Theory and Novel Applications
Author 
Yager, Ronald R. editor. Abbasov, Ali M. editor. Reformat, Marek Z. editor. Shahbazova, Shahnaz N. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333905.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34922-5
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Advances in Production Management Systems. Sustainable Production and Service Supply Chains IFIP WG 5.7 International Conference, APMS 2013, State College, PA, USA, September 9-12, 2013, Proceedings, Part II
Advances in Production Management Systems. Sustainable Production and Service Supply Chains IFIP WG 5.7 International Conference, APMS 2013, State College, PA, USA, September 9-12, 2013, Proceedings, Part II
Author 
Prabhu, Vittal. editor. Taisch, Marco. editor. Kiritsis, Dimitris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335081.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41263-9
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Advances in Production Management Systems. Sustainable Production and Service Supply Chains IFIP WG 5.7 International Conference, APMS 2013, State College, PA, USA, September 9-12, 2013, Proceedings, Part I
Advances in Production Management Systems. Sustainable Production and Service Supply Chains IFIP WG 5.7 International Conference, APMS 2013, State College, PA, USA, September 9-12, 2013, Proceedings, Part I
Author 
Prabhu, Vittal. editor. Taisch, Marco. editor. Kiritsis, Dimitris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335082.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41266-0
Format: 
Availability 
Online Library~1
Available:
Copies: