Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(56)
Angelov, Plamen. editor.
(2)
Bitsch, Friedemann. editor.
(2)
Guiochet, Jérémie. editor.
(2)
Iliadis, Lazaros. editor. (orcid)
(2)
Dil
Yayın Yılı
-
Konu
Control engineering.
(16)
Control and Systems Theory.
(12)
Control theory.
(9)
System theory.
(9)
Computational intelligence.
(8)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
72 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
49. 
Applied Logic for Computer Scientists Computational Deduction and Formal Proofs için kapak resmi
Applied Logic for Computer Scientists Computational Deduction and Formal Proofs
Yazar 
Ayala-Rincón, Mauricio. author. de Moura, Flávio L. C. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-51653-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
50. 
New methods to engineer and seamlessly reconfigure time triggered Ethernet based systems during runtime based on the PROFINET IRT example için kapak resmi
New methods to engineer and seamlessly reconfigure time triggered Ethernet based systems during runtime based on the PROFINET IRT example
Yazar 
Wisniewski, Lukasz. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-54650-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
51. 
Fundamentals of signals and control systems için kapak resmi
Fundamentals of signals and control systems
Yazar 
Femmam, Smain, author.
Yer Numarası 
TK5102.9
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119335719
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
52. 
Knowledge-Driven Board-Level Functional Fault Diagnosis için kapak resmi
Knowledge-Driven Board-Level Functional Fault Diagnosis
Yazar 
Ye, Fangming. author. Zhang, Zhaobo. author. Chakrabarty, Krishnendu. author. Gu, Xinli. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-40210-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
53. 
Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings için kapak resmi
Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings
Yazar 
Lahiri, Shuvendu. editor. Reger, Giles. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-67531-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
54. 
Behaviour of Steel Structures in Seismic Areas : STESSA 2012 için kapak resmi
Behaviour of Steel Structures in Seismic Areas : STESSA 2012
Yazar 
Mazzolani, Federico, editor. Herrera, Ricardo, editor. Taylor and Francis.
Yer Numarası 
TA684
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
55. 
Submodularity in Dynamics and Control of Networked Systems için kapak resmi
Submodularity in Dynamics and Control of Networked Systems
Yazar 
Clark, Andrew. author. Alomair, Basel. author. Bushnell, Linda. author. Poovendran, Radha. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-26977-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
56. 
Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings için kapak resmi
Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings
Yazar 
Falcone, Yliès. editor. Sánchez, César. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-46982-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
57. 
Time-Dependent Switched Discrete-Time Linear Systems: Control and Filtering için kapak resmi
Time-Dependent Switched Discrete-Time Linear Systems: Control and Filtering
Yazar 
Zhang, Lixian. author. Zhu, Yanzheng. author. Shi, Peng. author. Lu, Qiugang. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-28850-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
58. 
Optimizing Transport Logistics Processes with Multiagent Planning and Control için kapak resmi
Optimizing Transport Logistics Processes with Multiagent Planning and Control
Yazar 
Gath, Max. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-658-14003-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
59. 
Proceedings of the 18th Asia Pacific Symposium on Intelligent and Evolutionary Systems - Volume 2 için kapak resmi
Proceedings of the 18th Asia Pacific Symposium on Intelligent and Evolutionary Systems - Volume 2
Yazar 
Handa, Hisashi. editor. Ishibuchi, Hisao. editor. Ong, Yew-Soon. editor. Tan, Kay-Chen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-13356-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
60. 
Intelligent Computing and Applications Proceedings of the International Conference on ICA, 22-24 December 2014 için kapak resmi
Intelligent Computing and Applications Proceedings of the International Conference on ICA, 22-24 December 2014
Yazar 
Mandal, Durbadal. editor. Kar, Rajib. editor. Das, Swagatam. editor. Panigrahi, Bijaya Ketan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-81-322-2268-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç