Limit Search Results
Author
SpringerLink (Online service)
(40)
Bergeron, Janick. author.
(2)
Salomon, David. author.
(2)
Aziz, Adnan. author.
(1)
Baker, Donna L. author.
(1)
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
40 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Constraint-Based Verification
Constraint-Based Verification
Author 
Yuan, Jun. author. Pixley, Carl. author. Aziz, Adnan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-30784-2
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
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:
3. 
Cover image for Assembly Line Design The Balancing of Mixed-Model Hybrid Assembly Lines with Genetic Algorithms
Assembly Line Design The Balancing of Mixed-Model Hybrid Assembly Lines with Genetic Algorithms
Author 
Rekiek, Brahim. author. Delchambre, Alain. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138846
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
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:
5. 
Cover image for Condition Monitoring and Control for Intelligent Manufacturing
Condition Monitoring and Control for Intelligent Manufacturing
Author 
Wang, Lihui. editor. Gao, Robert X. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-269-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Boundary Representation Modelling Techniques
Boundary Representation Modelling Techniques
Author 
Stroud, Ian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-616-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Transformations and Projections in Computer Graphics
Transformations and Projections in Computer Graphics
Author 
Salomon, David. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-620-9
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Layoutsynthese elektronischer Schaltungen — Grundlegende Algorithmen für die Entwurfsautomatisierung
Layoutsynthese elektronischer Schaltungen — Grundlegende Algorithmen für die Entwurfsautomatisierung
Author 
Lienig, Jens. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-29942-4
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Wissenschaftstheoretische Grundlagen für die rechnerunterstützte Konstruktion
Wissenschaftstheoretische Grundlagen für die rechnerunterstützte Konstruktion
Author 
Lossack, Ralf-Stefan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-29947-5
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Visualisierung digitaler Gelände- und Landschaftsdaten
Visualisierung digitaler Gelände- und Landschaftsdaten
Author 
Mach, Rüdiger. author. Petschek, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-30533-5
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Large-Scale Scientific Computing 5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005. Revised Papers
Large-Scale Scientific Computing 5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005. Revised Papers
Author 
Lirkov, Ivan. editor. Margenov, Svetozar. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11666806
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Konstruieren von Pkw-Karosserien Grundlagen, Elemente und Baugruppen, Vorschriftenübersicht, Beispiele mit CATIA V4 und V5
Konstruieren von Pkw-Karosserien Grundlagen, Elemente und Baugruppen, Vorschriftenübersicht, Beispiele mit CATIA V4 und V5
Author 
Grabner, Jörg. author. Nothhaft, Richard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-32955-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets