Limit Search Results
Author
SpringerLink (Online service)
(33)
Huang, De-Shuang. editor.
(2)
Kleijn, Jetty. editor.
(2)
Koutny, Maciej. editor. (orcid)0000-0003-4563-1378
(2)
Rossi, Federico. editor.
(2)
Language
Publication Date
-
Subject
Theory of Computation.
(16)
Artificial intelligence.
(14)
Software engineering.
(11)
System theory.
(10)
Computer Science Logic and Foundations of Programming.
(9)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
33 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers
System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers
Author 
Haugen, Øystein. editor. Reed, Rick. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334282.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36757-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for CAN System Engineering From Theory to Practical Applications
CAN System Engineering From Theory to Practical Applications
Author 
Lawrenz, Wolfhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331227.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5613-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Incomplete Information System and Rough Set Theory Models and Attribute Reductions
Incomplete Information System and Rough Set Theory Models and Attribute Reductions
Author 
Yang, Xibei. author. Yang, Jingyu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25935-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Queueing Theory for Telecommunications Discrete Time Modelling of a Single Node System
Queueing Theory for Telecommunications Discrete Time Modelling of a Single Node System
Author 
Alfa, Attahiru Sule. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-7314-6
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Formal Techniques for Distributed Objects, Components, and Systems 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings
Formal Techniques for Distributed Objects, Components, and Systems 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings
Author 
Ferreira, Carla. editor. (orcid)0000-0003-3680-7634 Mezzina, Claudio Antares. editor. (orcid)0000-0003-1556-2623 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-95497-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Author 
Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-85352-4
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Principle of Petri Nets
Principle of Petri Nets
Author 
Yuan, Chongyi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-7336-7
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Hypothesis Generation and Interpretation Design Principles and Patterns for Big Data Applications
Hypothesis Generation and Interpretation Design Principles and Patterns for Big Data Applications
Author 
Ishikawa, Hiroshi. author. (orcid)0000-0003-3639-442X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43540-9
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Mathematics in Programming
Mathematics in Programming
Author 
Liu, Xinyu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-2432-1
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Transactions on Petri Nets and Other Models of Concurrency XVII
Transactions on Petri Nets and Other Models of Concurrency XVII
Author 
Koutny, Maciej. editor. Bergenthum, Robin. editor. Ciardo, Gianfranco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-68191-6
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Computability and Complexity Foundations and Tools for Pursuing Scientific Applications
Computability and Complexity Foundations and Tools for Pursuing Scientific Applications
Author 
Downey, Rod. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-53744-8
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Terminological Dictionary of Automatic Control, Systems and Robotics
Terminological Dictionary of Automatic Control, Systems and Robotics
Author 
Karba, Rihard. author. Kocijan, Juš. author. Bajd, Tadej. author. Žagar Karer, Mojca. author. Karer, Gorazd. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-35755-8
Format: 
Availability 
Online Library~1
Available:
Copies: