Limit Search Results
Author
SpringerLink (Online service)
(530)
Wiley InterScience (Online service)
(10)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(9)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(9)
Taylor and Francis.
(6)
Language
Publication Date
-
Subject
Computer programming.
(337)
Software engineering.
(282)
Computer science.
(264)
COMPUTERS / Computer Graphics / Game Programming & Design
(240)
Computer Science Logic and Foundations of Programming.
(231)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
1363 Results Found Subscribe to search results
000000000000DEFAULT
Print
865. 
Cover image for Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings
Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings
Author 
Agha, Gul. editor. Van Houdt, Benny. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-43425-4
Format: 
Availability 
Online Library~1
Available:
Copies:
866. 
Cover image for Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings
Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings
Author 
Falcone, Yliès. editor. Sánchez, César. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46982-9
Format: 
Availability 
Online Library~1
Available:
Copies:
867. 
Cover image for Developments in Language Theory 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings
Developments in Language Theory 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings
Author 
Brlek, Srečko. editor. Reutenauer, Christophe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-53132-7
Format: 
Availability 
Online Library~1
Available:
Copies:
868. 
Cover image for Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Author 
Mazzara, Manuel. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-41579-6
Format: 
Availability 
Online Library~1
Available:
Copies:
869. 
Cover image for Computational Autism
Computational Autism
Author 
Galitsky, Boris. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-39972-0
Format: 
Availability 
Online Library~1
Available:
Copies:
870. 
Cover image for Introduction to the History of Computing A Computing History Primer
Introduction to the History of Computing A Computing History Primer
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33138-6
Format: 
Availability 
Online Library~1
Available:
Copies:
871. 
Cover image for Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications
Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-44561-8
Format: 
Availability 
Online Library~1
Available:
Copies:
872. 
Cover image for Cryptography Made Simple
Cryptography Made Simple
Author 
Smart, Nigel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21936-3
Format: 
Availability 
Online Library~1
Available:
Copies:
873. 
Cover image for Algorithms for Data Science
Algorithms for Data Science
Author 
Steele, Brian. author. Chandler, John. author. Reddy, Swarna. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45797-0
Format: 
Availability 
Online Library~1
Available:
Copies:
874. 
Cover image for Process Mining Data Science in Action
Process Mining Data Science in Action
Author 
van der Aalst, Wil M. P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-49851-4
Format: 
Availability 
Online Library~1
Available:
Copies:
875. 
Cover image for Transactions on Petri Nets and Other Models of Concurrency XI
Transactions on Petri Nets and Other Models of Concurrency XI
Author 
Koutny, Maciej. editor. (orcid)0000-0003-4563-1378 Desel, Jörg. editor. Kleijn, Jetty. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-53401-4
Format: 
Availability 
Online Library~1
Available:
Copies:
876. 
Cover image for Transactions on Foundations for Mastering Change I
Transactions on Foundations for Mastering Change I
Author 
Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46508-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets