Limit Search Results
Author
SpringerLink (Online service)
(81)
Löwe, Benedikt. editor.
(5)
Vatansever, Fahri.
(5)
Du, Ding-Zhu. editor.
(4)
Erlebach, Thomas. editor.
(4)
Language
Publication Date
-
Subject
Electronic data processing.
(58)
Computer science.
(53)
Computer software.
(52)
Computational complexity.
(41)
Computer graphics.
(32)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
116 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
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:
26. 
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:
27. 
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:
28. 
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:
29. 
Cover image for Analog automation and digital feedback control techniques
Analog automation and digital feedback control techniques
Author 
Mbihi, Jean.
Preferred Shelf Number 
TJ213
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119452836
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
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:
31. 
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:
32. 
Cover image for Algoritmalara Giriş
Algoritmalara Giriş
Author 
Cormen, Thomas H.
Preferred Shelf Number 
QA76.6 C663 2017
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
33. 
Cover image for Algoritma geliştirme ve programlamaya giriş
Algoritma geliştirme ve programlamaya giriş
Author 
Vatansever, Fahri.
Preferred Shelf Number 
QA76.6 V56 2017
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
34. 
Cover image for Algoritma geliştirme ve programlamaya giriş
Algoritma geliştirme ve programlamaya giriş
Author 
Vatansever, Fahri.
Preferred Shelf Number 
QA76.6 V56 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
35. 
Cover image for Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
Author 
Bonakdarpour, Borzoo. editor. Smolka, Scott A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11164-3
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings
OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings
Author 
Poole, Stephen. editor. Hernandez, Oscar. editor. (orcid)0000-0002-5380-6951 Shamis, Pavel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-05215-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action