Limit Search Results
Author
SpringerLink (Online service)
(165)
Löwe, Benedikt. editor.
(5)
Vatansever, Fahri.
(5)
Du, Ding-Zhu. editor.
(4)
Erlebach, Thomas. editor.
(4)
Language
Publication Date
-
Subject
Computer science.
(58)
Electronic data processing.
(58)
Electronic data processing -- Management.
(57)
IT Operations.
(57)
Computer software.
(52)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
200 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
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:
26. 
Cover image for Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings
Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings
Author 
Nejati, Shiva. editor. Gay, Gregory. editor. (orcid)0000-0001-6794-9585 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-27455-9
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
Author 
Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-18744-6
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings
Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings
Author 
Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336 Cheng, Chih-Hong. editor. Esparza, Javier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-31784-3
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Data Structures and Algorithms with Scala A Practitioner's Approach with Emphasis on Functional Programming
Data Structures and Algorithms with Scala A Practitioner's Approach with Emphasis on Functional Programming
Author 
Upadhyaya, Bhim P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-12561-5
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers
Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers
Author 
Lujak, Marin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17294-7
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
Author 
Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507 Petre, Luigia. editor. Smith, Graeme. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-32441-4
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Efficient multirate teletraffic loss models beyond Erlang
Efficient multirate teletraffic loss models beyond Erlang
Author 
Moscholios, Ioannis D., author. Logothetis, Michael (Professor at the University of Patras), author.
Preferred Shelf Number 
TK5102.985 .M67 2019
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119426974
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Metaheuristics for maritime operations
Metaheuristics for maritime operations
Author 
Homayouni, S. Mahdi, author. Fontes, Dalila B. M. M., author.
Preferred Shelf Number 
HE571
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119483151
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Advanced techniques and technology of computer-aided feedback control
Advanced techniques and technology of computer-aided feedback control
Author 
Mbihi, Jean, author.
Preferred Shelf Number 
TJ216
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119452959
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Deterministic network calculus : from theory to practical implementation
Deterministic network calculus : from theory to practical implementation
Author 
Bouillard, Anne, author. Boyer, Marc, author. Corronc, Euriell, author.
Preferred Shelf Number 
QA274.8
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119440284
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Random Numbers and Computers
Random Numbers and Computers
Author 
Kneusel, Ronald T. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77697-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action