Limit Search Results
Author
SpringerLink (Online service)
(56)
Angelov, Plamen. editor.
(2)
Bitsch, Friedemann. editor.
(2)
Guiochet, Jérémie. editor.
(2)
Iliadis, Lazaros. editor. (orcid)
(2)
Language
Publication Date
-
Subject
Control engineering.
(16)
Control and Systems Theory.
(12)
Control theory.
(9)
System theory.
(9)
Computational intelligence.
(8)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
72 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Knowledge-Driven Board-Level Functional Fault Diagnosis
Knowledge-Driven Board-Level Functional Fault Diagnosis
Author 
Ye, Fangming. author. Zhang, Zhaobo. author. Chakrabarty, Krishnendu. author. Gu, Xinli. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-40210-9
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Control of Multiple Robots Using Vision Sensors
Control of Multiple Robots Using Vision Sensors
Author 
Aranda, Miguel. author. López-Nicolás, Gonzalo. author. Sagüés, Carlos. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57828-6
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings
Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings
Author 
Lahiri, Shuvendu. editor. Reger, Giles. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67531-2
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Applied Logic for Computer Scientists Computational Deduction and Formal Proofs
Applied Logic for Computer Scientists Computational Deduction and Formal Proofs
Author 
Ayala-Rincón, Mauricio. author. de Moura, Flávio L. C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51653-0
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for New methods to engineer and seamlessly reconfigure time triggered Ethernet based systems during runtime based on the PROFINET IRT example
New methods to engineer and seamlessly reconfigure time triggered Ethernet based systems during runtime based on the PROFINET IRT example
Author 
Wisniewski, Lukasz. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-54650-5
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Behaviour of Steel Structures in Seismic Areas : STESSA 2012
Behaviour of Steel Structures in Seismic Areas : STESSA 2012
Author 
Mazzolani, Federico, editor. Herrera, Ricardo, editor. Taylor and Francis.
Preferred Shelf Number 
TA684
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Optimizing Transport Logistics Processes with Multiagent Planning and Control
Optimizing Transport Logistics Processes with Multiagent Planning and Control
Author 
Gath, Max. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-14003-8
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings
Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings
Author 
Falcone, Yliès. editor. Sánchez, César. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46982-9
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Time-Dependent Switched Discrete-Time Linear Systems: Control and Filtering
Time-Dependent Switched Discrete-Time Linear Systems: Control and Filtering
Author 
Zhang, Lixian. author. Zhu, Yanzheng. author. Shi, Peng. author. Lu, Qiugang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-28850-5
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Submodularity in Dynamics and Control of Networked Systems
Submodularity in Dynamics and Control of Networked Systems
Author 
Clark, Andrew. author. Alomair, Basel. author. Bushnell, Linda. author. Poovendran, Radha. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-26977-1
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Author 
Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-46681-0
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Frontiers of Higher Order Fuzzy Sets
Frontiers of Higher Order Fuzzy Sets
Author 
Sadeghian, Alireza. editor. Tahayori, Hooman. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4614-3442-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets