Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
9 Results Found Subscribe to search results
000000000DEFAULT
Print
1. 
Cover image for Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004
Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004
Author 
Broy, Manfred. editor. Grünbauer, Johannes. editor. Harel, David. editor. Hoare, Tony. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3532-2
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Cyberspace Security and Defense: Research Issues Proceedings of the NATO Advanced Research Workshop on Cyberspace Security and Defense: Research Issues Gdansk, Poland 6–9 September 2004
Cyberspace Security and Defense: Research Issues Proceedings of the NATO Advanced Research Workshop on Cyberspace Security and Defense: Research Issues Gdansk, Poland 6–9 September 2004
Author 
Kowalik, Janusz S. editor. Gorski, Janusz. editor. Sachenko, Anatoly. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3381-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for DNA Computing and Molecular Programming 23rd International Conference, DNA 23, Austin, TX, USA, September 24-28, 2017, Proceedings
DNA Computing and Molecular Programming 23rd International Conference, DNA 23, Austin, TX, USA, September 24-28, 2017, Proceedings
Author 
Brijder, Robert. editor. Qian, Lulu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66799-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for DNA Computing and Molecular Programming 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings
DNA Computing and Molecular Programming 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings
Author 
Rondelez, Yannick. editor. Woods, Damien. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-43994-5
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Mathematics – Key Technology for the Future Joint Projects Between Universities and Industry 2004–2007
Mathematics – Key Technology for the Future Joint Projects Between Universities and Industry 2004–2007
Author 
Krebs, Hans-Joachim. editor. Jäger, Willi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77203-3
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Die Doktorarbeit: Vom Start zum Ziel Lei(d)tfaden für Promotionswillige
Die Doktorarbeit: Vom Start zum Ziel Lei(d)tfaden für Promotionswillige
Author 
Messing, Barbara. author. Huber, Klaus-Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71205-3
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Computational Turbulent Incompressible Flow Applied Mathematics: Body and Soul 4
Computational Turbulent Incompressible Flow Applied Mathematics: Body and Soul 4
Author 
Hoffman, Johan. author. Johnson, Claes. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-46533-1
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Numerical Simulation in Molecular Dynamics Numerics, Algorithms, Parallelization, Applications
Numerical Simulation in Molecular Dynamics Numerics, Algorithms, Parallelization, Applications
Author 
Griebel, Michael. author. Zumbusch, Gerhard. author. Knapek, Stephan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68095-6
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Modern Formal Methods and Applications
Modern Formal Methods and Applications
Author 
Gabbar, Hossam A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-4223-X
Format: 
Availability 
Online Library~1
Available:
Copies: