Arama Sonuçlarını Sınırlandır
Yazar
Garau, Chiara. editor. (orcid)
(8)
Gervasi, Osvaldo. editor. (orcid)
(8)
Murgante, Beniamino. editor. (orcid)
(8)
Karaca, Yeliz. editor.
(7)
Rocha, Ana Maria A. C. editor. (orcid)
(7)
Dil
English
(538)
Yayın Yılı
-
2023
(244)
2015
(149)
2009
(16)
2013
(15)
2014
(15)
Konu
Engineering.
(54)
Computer science.
(35)
Software engineering.
(34)
Systems theory.
(26)
Logic design.
(23)
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ç
538 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
25. 
Multimedia Multiprocessor Systems Analysis, Design and Management için kapak resmi
Multimedia Multiprocessor Systems Analysis, Design and Management
Yazar 
Kumar, Akash. author. Corporaal, Henk. author. Mesman, Bart. author. Ha, Yajun. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-0083-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Analysis and Design of Nonlinear Control Systems için kapak resmi
Analysis and Design of Nonlinear Control Systems
Yazar 
Cheng, Daizhan. author. Hu, Xiaoming. author. Shen, Tielong. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-11550-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Risk Analysis of Complex and Uncertain Systems için kapak resmi
Risk Analysis of Complex and Uncertain Systems
Yazar 
Cox, Louis Anthony. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-89014-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings için kapak resmi
Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings
Yazar 
Petrucci, Laure. editor. Sproston, Jeremy. editor. SpringerLink (Online service)
Yer Numarası 
XX(521082.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-42626-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Analysis, Estimations, and Applications of Embedded Systems 6th IFIP TC 10 International Embedded Systems Symposium, IESS 2019, Friedrichshafen, Germany, September 9-11, 2019, Revised Selected Papers için kapak resmi
Analysis, Estimations, and Applications of Embedded Systems 6th IFIP TC 10 International Embedded Systems Symposium, IESS 2019, Friedrichshafen, Germany, September 9-11, 2019, Revised Selected Papers
Yazar 
Wehrmeister, Marco A. editor. Kreutz, Márcio. editor. Götz, Marcelo. editor. Henkler, Stefan. editor. Pimentel, Andy D. editor.
Yer Numarası 
XX(520563.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-26500-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II
Yazar 
Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Yer Numarası 
XX(520840.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-30820-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I
Yazar 
Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Yer Numarası 
XX(520843.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-30823-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday için kapak resmi
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
Yazar 
Lopez-Garcia, Pedro. editor. Gallagher, John P. editor. Giacobazzi, Roberto. editor. SpringerLink (Online service)
Yer Numarası 
XX(520864.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-31476-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings için kapak resmi
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings
Yazar 
Milius, Birgit. editor. Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. SpringerLink (Online service)
Yer Numarası 
XX(521180.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-43366-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II
Yazar 
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-17465-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Design Sensitivity Analysis and Optimization of Electromagnetic Systems için kapak resmi
Design Sensitivity Analysis and Optimization of Electromagnetic Systems
Yazar 
Park, Il Han. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-13-0230-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings için kapak resmi
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
Yazar 
Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-18744-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç