Limit Search Results
Author
SpringerLink (Online service)
(54)
Koutny, Maciej. editor.
(8)
Jensen, Kurt. editor.
(7)
Aalst, Wil M. P. editor.
(4)
Donatelli, Susanna. editor.
(3)
Language
Publication Date
-
Subject
Software engineering.
(23)
Computer science.
(22)
Information theory.
(11)
Artificial intelligence.
(8)
Logic design.
(8)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
60 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Petri Nets and Other Models of Concurrency - ICATPN 2006 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings
Petri Nets and Other Models of Concurrency - ICATPN 2006 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings
Author 
Donatelli, Susanna. editor. Thiagarajan, P. S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11767589
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Applications and Theory of Petri Nets 2005 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings
Applications and Theory of Petri Nets 2005 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings
Author 
Ciardo, Gianfranco. editor. Darondeau, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136988
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Designing Modern Embedded Systems: Software, Hardware, and Applications 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3-4, 2022, Proceedings
Designing Modern Embedded Systems: Software, Hardware, and Applications 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3-4, 2022, Proceedings
Author 
Henkler, Stefan. editor. Kreutz, Márcio. editor. Wehrmeister, Marco A. editor. Götz, Marcelo. editor. Rettberg, Achim. editor.
Preferred Shelf Number 
XX(520586.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34214-1
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Verification of Data-Aware Processes via Satisfiability Modulo Theories
Verification of Data-Aware Processes via Satisfiability Modulo Theories
Author 
Gianola, Alessandro. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520722.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42746-6
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Simulation and Modeling Methodologies, Technologies and Applications International Online Conference (SIMULTECH 2021)
Simulation and Modeling Methodologies, Technologies and Applications International Online Conference (SIMULTECH 2021)
Author 
Wagner, Gerd. editor. Werner, Frank. editor. Oren, Tuncer. editor. De Rango, Floriano. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-23149-0
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Formal Techniques for Distributed Objects, Components, and Systems 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings
Formal Techniques for Distributed Objects, Components, and Systems 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings
Author 
Huisman, Marieke. editor. Ravara, António. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520993.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-35355-0
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Business Process Management 21st International Conference, BPM 2023, Utrecht, The Netherlands, September 11-15, 2023, Proceedings
Business Process Management 21st International Conference, BPM 2023, Utrecht, The Netherlands, September 11-15, 2023, Proceedings
Author 
Di Francescomarino, Chiara. editor. Burattin, Andrea. editor. Janiesch, Christian. editor. Sadiq, Shazia. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521122.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-41620-0
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Developments and Advances in Defense and Security Proceedings of MICRADS 2022
Developments and Advances in Defense and Security Proceedings of MICRADS 2022
Author 
Rocha, Álvaro. editor. Fajardo-Toro, Carlos Hernan. editor. Riola, José María. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-7689-6
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Concurrency, Specification and Programming Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany
Concurrency, Specification and Programming Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany
Author 
Schlingloff, Bernd-Holger. editor. Vogel, Thomas. editor. Skowron, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-26651-5
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Formal Methods Teaching 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings
Formal Methods Teaching 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings
Author 
Dubois, Catherine. editor. San Pietro, Pierluigi. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520888.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-27534-0
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Author 
Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520889.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-27481-7
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Maintainability of Building Envelope Elements Optimizing Predictive Condition-Based Maintenance Decisions
Maintainability of Building Envelope Elements Optimizing Predictive Condition-Based Maintenance Decisions
Author 
Ferreira, Cláudia. author. Silva, Ana. author. de Brito, Jorge. author. Flores-Colen, Inês. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-14767-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets