Limit Search Results
Author
SpringerLink (Online service)
(44)
Huisman, Marieke. editor.
(4)
Barthe, Gilles. editor.
(2)
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
(2)
Kjærulff, Uffe B. author.
(2)
Language
Publication Date
-
Subject
Software engineering.
(29)
Logic design.
(24)
Artificial intelligence.
(14)
Computer software.
(11)
Computer Communication Networks.
(10)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
44 Results Found Subscribe to search results
00000000DEFAULT
Print
37. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Author 
Halbwachs, Nicolas. editor. Zuck, Lenore D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b107194
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Author 
Bodik, Rastislav. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b107108
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Advances in Computational Plasticity A Book in Honour of D. Roger J. Owen
Advances in Computational Plasticity A Book in Honour of D. Roger J. Owen
Author 
Oñate, Eugenio. editor. Peric, Djordje. editor. de Souza Neto, Eduardo. editor. Chiumenti, Michele. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-60885-3
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Room Acoustical Fields
Room Acoustical Fields
Author 
Mechel, Fridolin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333111.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22356-3
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Numerical Modeling of Concrete Cracking
Numerical Modeling of Concrete Cracking
Author 
Hofstetter, Günter. editor. Meschke, Günther. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7091-0897-0
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for The Design of Material, Organism, and Minds Different Understandings of Design
The Design of Material, Organism, and Minds Different Understandings of Design
Author 
Konsorski-Lang, Silke. editor. Hampe, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69002-3
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Methoden der Computeranimation
Methoden der Computeranimation
Author 
Jackèl, Dietmar. author. Neunreither, Stephan. author. Wagner, Friedrich. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-33407-6
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Textile Composites and Inflatable Structures
Textile Composites and Inflatable Structures
Author 
Oñate, Eugenio. editor. Kröplin, Bern. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3317-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action