Limit Search Results
Author
SpringerLink (Online service)
(18)
Jansen, Nils. editor. (orcid)0000-0003-1318-8973
(3)
Junges, Sebastian. editor. (orcid)0000-0003-0978-8466
(3)
Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324
(3)
Matheja, Christoph. editor. (orcid)0000-0001-9151-0441
(3)
Language
Publication Date
-
Subject
Computer-Aided Engineering (CAD, CAE) and Design.
(14)
Computer aided design.
(11)
Software engineering.
(5)
Artificial intelligence.
(4)
Computer Science Logic and Foundations of Programming.
(4)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
18 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
Author 
Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75775-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
Author 
Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75783-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III
Author 
Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75778-5
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for FPGA EDA Design Principles and Implementation
FPGA EDA Design Principles and Implementation
Author 
Tu, Kaihui. author. Tang, Xifan. author. Yu, Cunxi. author. (orcid)0000-0003-3481-307X Josipović, Lana. author. Chu, Zhufei. author. (orcid)0000-0001-5718-4822
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-7755-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Augmented Reality Where We Will All Live
Augmented Reality Where We Will All Live
Author 
Peddie, Jon. author. (orcid)0000-0002-3941-1822 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54502-8
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings
Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings
Author 
Gabmeyer, Sebastian. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61467-0
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Product Lifecycle Management for a Global Market 11th IFIP WG 5.1 International Conference, PLM 2014, Yokohama, Japan, July 7-9, 2014, Revised Selected Papers
Product Lifecycle Management for a Global Market 11th IFIP WG 5.1 International Conference, PLM 2014, Yokohama, Japan, July 7-9, 2014, Revised Selected Papers
Author 
Fukuda, Shuichi. editor. Bernard, Alain. editor. (orcid)0000-0002-7037-2980 Gurumoorthy, Balan. editor. Bouras, Abdelaziz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45937-9
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Advances in Production Management Systems. Sustainable Production and Service Supply Chains IFIP WG 5.7 International Conference, APMS 2013, State College, PA, USA, September 9-12, 2013, Proceedings, Part II
Advances in Production Management Systems. Sustainable Production and Service Supply Chains IFIP WG 5.7 International Conference, APMS 2013, State College, PA, USA, September 9-12, 2013, Proceedings, Part II
Author 
Prabhu, Vittal. editor. Taisch, Marco. editor. Kiritsis, Dimitris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335081.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41263-9
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Advances in Production Management Systems. Sustainable Production and Service Supply Chains IFIP WG 5.7 International Conference, APMS 2013, State College, PA, USA, September 9-12, 2013, Proceedings, Part I
Advances in Production Management Systems. Sustainable Production and Service Supply Chains IFIP WG 5.7 International Conference, APMS 2013, State College, PA, USA, September 9-12, 2013, Proceedings, Part I
Author 
Prabhu, Vittal. editor. Taisch, Marco. editor. Kiritsis, Dimitris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335082.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41266-0
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Digital Product and Process Development Systems IFIP TC 5 International Conference, NEW PROLAMAT 2013, Dresden, Germany, October 10-11, 2013. Proceedings
Digital Product and Process Development Systems IFIP TC 5 International Conference, NEW PROLAMAT 2013, Dresden, Germany, October 10-11, 2013. Proceedings
Author 
Kovács, George L. editor. Kochan, Detlef. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335089.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41329-2
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for The Finite Element Method: Theory, Implementation, and Applications
The Finite Element Method: Theory, Implementation, and Applications
Author 
Larson, Mats G. author. Bengzon, Fredrik. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333689.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33287-6
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Domain Decomposition Methods in Science and Engineering XX
Domain Decomposition Methods in Science and Engineering XX
Author 
Bank, Randolph. editor. Holst, Michael. editor. Widlund, Olof. editor. Xu, Jinchao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333957.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35275-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets