Limit Search Results
Author
SpringerLink (Online service)
(163)
Pichler, Franz. editor.
(9)
Moreno-Díaz, Roberto. editor.
(7)
Quesada-Arencibia, Alexis. editor.
(7)
Cetto, Juan Andrade. editor.
(3)
Language
English
(173)
Publication Date
-
Subject
Engineering.
(91)
Systems theory.
(83)
Computational intelligence.
(29)
Control engineering.
(25)
Computer science.
(22)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
173 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Author 
Esparza, Javier. editor. Majumdar, Rupak. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12002-2
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Author 
Gordon, Andrew D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11957-6
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Methods 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part I
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Methods 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part I
Author 
Hüllermeier, Eyke. editor. Kruse, Rudolf. editor. Hoffmann, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14055-6
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Complex Systems in Knowledge-based Environments: Theory, Models and Applications
Complex Systems in Knowledge-based Environments: Theory, Models and Applications
Author 
Tolk, Andreas. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88075-2
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Computer Aided Systems Theory - EUROCAST 2009 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers
Computer Aided Systems Theory - EUROCAST 2009 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers
Author 
Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04772-5
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for The Fuzzification of Systems The Genesis of Fuzzy Set Theory and its Initial Applications – Developments up to the 1970s
The Fuzzification of Systems The Genesis of Fuzzy Set Theory and its Initial Applications – Developments up to the 1970s
Author 
Seising, Rudolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71795-9
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Computer Aided Systems Theory – EUROCAST 2007 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers
Computer Aided Systems Theory – EUROCAST 2007 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers
Author 
Moreno Díaz, Roberto. editor. Pichler, Franz. editor. Quesada Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75867-9
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Systems Modeling and Simulation: Theory and Applications Third Asian Simulation Conference, AsianSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers
Systems Modeling and Simulation: Theory and Applications Third Asian Simulation Conference, AsianSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers
Author 
Baik, Doo-Kwon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b105611
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, Revised Selected Papers
Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, Revised Selected Papers
Author 
Moreno Díaz, Roberto. editor. Pichler, Franz. editor. Quesada Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11556985
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Smart cyber-physical power systems : fundamental concepts, challenges, and solutions. Volume 1
Smart cyber-physical power systems : fundamental concepts, challenges, and solutions. Volume 1
Author 
Parizad, Ali, editor. Baghaee, Hamid Reza, editor. Rahman, Saifur, editor.
Preferred Shelf Number 
TJ213 .S485 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394191529
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Cyber-physical systems for innovating and transforming society 5.0
Cyber-physical systems for innovating and transforming society 5.0
Preferred Shelf Number 
T14.5 .C93 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394197750
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Smart cyber-physical power systems : solutions from emerging technologies. Volume 2
Smart cyber-physical power systems : solutions from emerging technologies. Volume 2
Author 
Parizad, Ali, editor. Baghaee, Hamid Reza, editor. Rahman, Saifur, editor.
Preferred Shelf Number 
TJ213 .S485 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394334599
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action