Limit Search Results
Author
SpringerLink (Online service)
(43)
Fages, François. editor.
(5)
Rossi, Francesca. editor.
(5)
Lirkov, Ivan. editor.
(4)
Margenov, Svetozar. editor.
(4)
Language
Publication Date
-
Subject
Computer science.
(35)
Logic design.
(23)
Computer software.
(22)
Computer aided design.
(13)
Artificial intelligence.
(12)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
47 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Energy-Aware System Design Algorithms and Architectures
Energy-Aware System Design Algorithms and Architectures
Author 
Kyung, Chong-Min. editor. Yoo, Sungjoo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-1679-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for APPLICATION ARCHITECTURE PATTERNS FOR WEB 3.0 design patterns and use cases for modern and... secure web3 applications.
APPLICATION ARCHITECTURE PATTERNS FOR WEB 3.0 design patterns and use cases for modern and... secure web3 applications.
Author 
Tempesta, Stefano, author.
Preferred Shelf Number 
QA76.9 .A73
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003491934
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Analog/RF and Mixed-Signal Circuit Systematic Design
Analog/RF and Mixed-Signal Circuit Systematic Design
Author 
Fakhfakh, Mourad. editor. Tlelo-Cuautle, Esteban. editor. Castro-Lopez, Rafael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334178.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36329-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Design and Analysis of Algorithms First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012. Proceedings
Design and Analysis of Algorithms First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012. Proceedings
Author 
Even, Guy. editor. Rawitz, Dror. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34862-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Variational Analysis and Aerospace Engineering: Mathematical Challenges for Aerospace Design Contributions from a Workshop held at the School of Mathematics in Erice, Italy
Variational Analysis and Aerospace Engineering: Mathematical Challenges for Aerospace Design Contributions from a Workshop held at the School of Mathematics in Erice, Italy
Author 
Buttazzo, Giuseppe. editor. Frediani, Aldo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-2435-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Algorithmics of Large and Complex Networks Design, Analysis, and Simulation
Algorithmics of Large and Complex Networks Design, Analysis, and Simulation
Author 
Lerner, Jürgen. editor. Wagner, Dorothea. editor. Zweig, Katharina A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02094-0
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for How to design programs an introduction to programming and computing
How to design programs an introduction to programming and computing
Author 
Felleisen, Matthias.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267257
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Computational Science and High Performance Computing IV The 4th Russian-German Advanced Research Workshop, Freiburg, Germany, October 12 to 16, 2009
Computational Science and High Performance Computing IV The 4th Russian-German Advanced Research Workshop, Freiburg, Germany, October 12 to 16, 2009
Author 
Krause, Egon. editor. Shokin, Yurii. editor. Resch, Michael. editor. Kröner, Dietmar. editor. Shokina, Nina. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17770-5
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Handbook of computational sciences : a multi and interdisciplinary approach
Handbook of computational sciences : a multi and interdisciplinary approach
Author 
Elngar, Ahmed A., editor.
Preferred Shelf Number 
QA76 .H36 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119763468
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for The legaltech book : the legal technology handbook for investors, entrepreneurs and FinTech visionaries
The legaltech book : the legal technology handbook for investors, entrepreneurs and FinTech visionaries
Author 
Chishti, Susanne, 1971- editor.
Preferred Shelf Number 
K87 .L459 2020
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119708063
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Reachability Problems 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings
Reachability Problems 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings
Author 
Potapov, Igor. editor. Reynier, Pierre-Alain. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00250-3
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers
Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers
Author 
Seipel, Dietmar. editor. Hanus, Michael. editor. (orcid)0000-0002-4953-8202 Abreu, Salvador. editor. (orcid)0000-0002-1613-4631 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00801-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action