Limit Search Results
Author
SpringerLink (Online service)
(21)
Vatansever, Fahri.
(5)
Cormen, Thomas H.
(3)
ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367
(2)
Abraham, Erika. editor.
(1)
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
30 Results Found Subscribe to search results
000000DEFAULT
Print
25. 
Cover image for Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers
Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers
Author 
Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X Peña, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12466-7
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
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:
27. 
Cover image for A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof
A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof
Author 
Kovalev, Mikhail. author. Müller, Silvia M. author. Paul, Wolfgang J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13906-7
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Algoritma geliştirme ve programlamaya giriş
Algoritma geliştirme ve programlamaya giriş
Author 
Vatansever, Fahri.
Preferred Shelf Number 
QA76.6 V56 2011
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
29. 
Cover image for Introduction to algorithms
Introduction to algorithms
Author 
Cormen, Thomas H.
Preferred Shelf Number 
QA76.6 C662 2009
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
30. 
Cover image for Algoritma geliştirme ve programlamaya giriş
Algoritma geliştirme ve programlamaya giriş
Author 
Vatansever, Fahri.
Preferred Shelf Number 
QA76.6 V56 2007
Format: 
Availability 
Beytepe Library~1
Available:
Copies: