Limit Search Results
Author
SpringerLink (Online service)
(44)
Huanye, Sheng. editor.
(2)
Marwedel, Peter. author.
(2)
Resch, Michael. editor.
(2)
Shokin, Yurii. editor.
(2)
Language
Subject
Switch to list view
Switch to thumbnail view
Select an Action
44 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Grundkurs Software-Entwicklung mit C++ Praxisorientierte Einführung mit Beispielen und Aufgaben — Exzellente Didaktik und Übersicht
Grundkurs Software-Entwicklung mit C++ Praxisorientierte Einführung mit Beispielen und Aufgaben — Exzellente Didaktik und Übersicht
Author 
May, Dietrich. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-9022-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Imagination and Rigor Essays on Eduardo R. Caianiello’s Scientific Heritage
Imagination and Rigor Essays on Eduardo R. Caianiello’s Scientific Heritage
Author 
Termini, Settimo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/88-470-0472-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for A Practical Introduction to PSL
A Practical Introduction to PSL
Author 
Eisner, Cindy. author. Fisman, Dana. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-36123-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Hardware Verification with C++ A Practitioner’s Handbook
Hardware Verification with C++ A Practitioner’s Handbook
Author 
Mintz, Mike. author. Ekendahl, Robert. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-36254-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Probability Distributions Involving Gaussian Random Variables A Handbook for Engineers and Scientists
Probability Distributions Involving Gaussian Random Variables A Handbook for Engineers and Scientists
Author 
Simon, Marvin K. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-47694-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for A Roadmap for Formal Property Verification
A Roadmap for Formal Property Verification
Author 
DasGupta, Pallab. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-4758-9
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Fast, Efficient and Predictable Memory Accesses Optimization Algorithms for Memory Architecture Aware Compilation
Fast, Efficient and Predictable Memory Accesses Optimization Algorithms for Memory Architecture Aware Compilation
Author 
Wehmeyer, Lars. author. Marwedel, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-4822-X
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Embedded Systems – Modeling, Technology, and Applications
Embedded Systems – Modeling, Technology, and Applications
Author 
Hommel, Günter. editor. Huanye, Sheng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-4933-1
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for IUTAM Symposium on Computational Approaches to Multiphase Flow Proceedings of an IUTAM Symposium held at Argonne National Laboratory, October 4–7, 2004
IUTAM Symposium on Computational Approaches to Multiphase Flow Proceedings of an IUTAM Symposium held at Argonne National Laboratory, October 4–7, 2004
Author 
Balachandar, S. editor. Prosperetti, A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-4977-3
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Adobe® Acrobat® and PDF for Architecture, Engineering, and Construction
Adobe® Acrobat® and PDF for Architecture, Engineering, and Construction
Author 
Carson, Tom. author. Baker, Donna L. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-138-5
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Neural Networks in a Softcomputing Framework
Neural Networks in a Softcomputing Framework
Author 
Du, K. -L. author. Swamy, M. N. S. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-303-5
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Das Studium: Vom Start zum Ziel Lei(d)tfaden für Studierende
Das Studium: Vom Start zum Ziel Lei(d)tfaden für Studierende
Author 
Messing, Barbara. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-29440-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action