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
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
44 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 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:
3. 
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:
4. 
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:
5. 
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:
6. 
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:
7. 
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:
8. 
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:
9. 
Cover image for Computer Science – Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings
Computer Science – Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings
Author 
Fomin, Fedor V. editor. Podolskii, Vladimir V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-90530-3
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
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:
11. 
Cover image for Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings
Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings
Author 
Desharnais, Jules. editor. (orcid)0000-0002-4780-2698 Guttmann, Walter. editor. (orcid)0000-0003-2969-1688 Joosten, Stef. editor. (orcid)0000-0001-8308-0189 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02149-8
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings
Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings
Author 
Hasegawa, Masahito. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334702.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38946-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action