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
104 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Nonblocking Electronic and Photonic Switching Fabrics
Nonblocking Electronic and Photonic Switching Fabrics
Author 
Kabaciński, Wojciech. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137691
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Electronic Design Automation of Analog ICs combining Gradient Models with Multi-Objective Evolutionary Algorithms
Electronic Design Automation of Analog ICs combining Gradient Models with Multi-Objective Evolutionary Algorithms
Author 
Rocha, Frederico A.E. author. Martins, Ricardo M.F. author. Lourenço, Nuno C.C. author. Horta, Nuno C.G. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-02189-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Algoritma geliştirme ve programlamaya giriş
Algoritma geliştirme ve programlamaya giriş
Author 
Vatansever, Fahri.
Preferred Shelf Number 
QA76.6 V56 2020
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
4. 
Cover image for Algoritma geliştirme ve veri yapıları
Algoritma geliştirme ve veri yapıları
Author 
Çobanoğlu, Bülent.
Preferred Shelf Number 
QA76.9 C63 2020
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
5. 
Cover image for Algoritmalara Giriş
Algoritmalara Giriş
Author 
Cormen, Thomas H. Nuriyev, Urfat. Nasiboğlu, Efendi. Öner, Tahsin.
Preferred Shelf Number 
QA76.6 C663 2020
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
6. 
Cover image for From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
Author 
ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30985-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Graf, Susanne. editor. Larsen, Kim G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22348-9
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
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:
9. 
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:
10. 
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:
11. 
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:
12. 
Cover image for Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Author 
Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441 Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-32079-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action