Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(24)
Jansen, Nils. editor. (orcid)0000-0003-1318-8973
(3)
Junges, Sebastian. editor. (orcid)0000-0003-0978-8466
(3)
Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324
(3)
Matheja, Christoph. editor. (orcid)0000-0001-9151-0441
(3)
Dil
Yayın Yılı
-
Konu
Computer Science Logic and Foundations of Programming.
(10)
Software engineering.
(7)
Theory of Computation.
(6)
Artificial intelligence.
(3)
Engineering.
(3)
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ç
24 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Advances in Reliability and Maintainability Methods and Engineering Applications Essays in Honor of Professor Hong-Zhong Huang on his 60th Birthday için kapak resmi
Advances in Reliability and Maintainability Methods and Engineering Applications Essays in Honor of Professor Hong-Zhong Huang on his 60th Birthday
Yazar 
Liu, Yu. editor. Wang, Dong. editor. Mi, Jinhua. editor. Li, He. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-28859-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday için kapak resmi
Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
Yazar 
Jones, Cliff. editor. Wang, Ji. editor. Zhan, Naijun. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-01461-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Stochastic Reliability and Maintenance Modeling Essays in Honor of Professor Shunji Osaki on his 70th Birthday için kapak resmi
Stochastic Reliability and Maintenance Modeling Essays in Honor of Professor Shunji Osaki on his 70th Birthday
Yazar 
Dohi, Tadashi. editor. Nakagawa, Toshio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(331109.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-4971-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Industrial Engineering and Ergonomics Visions, Concepts, Methods and Tools Festschrift in Honor of Professor Holger Luczak için kapak resmi
Industrial Engineering and Ergonomics Visions, Concepts, Methods and Tools Festschrift in Honor of Professor Holger Luczak
Yazar 
Schlick, Christopher M. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-01293-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira’s Scientific Legacy Third International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2009, Santiago de Compostela, Spain, June 22-26, 2009, Proceedings, Part I için kapak resmi
Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira’s Scientific Legacy Third International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2009, Santiago de Compostela, Spain, June 22-26, 2009, Proceedings, Part I
Yazar 
Mira, José. editor. Ferrández, José Manuel. editor. Álvarez, José R. editor. Paz, Félix. editor. Toledo, F. Javier. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-02264-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Fundamental Problems in Computing Essays in Honor of Professor Daniel J. Rosenkrantz için kapak resmi
Fundamental Problems in Computing Essays in Honor of Professor Daniel J. Rosenkrantz
Yazar 
Ravi, S. S. editor. Shukla, Sandeep K. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-9688-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Recent Advances in Boundary Element Methods A Volume to Honor Professor Dimitri Beskos için kapak resmi
Recent Advances in Boundary Element Methods A Volume to Honor Professor Dimitri Beskos
Yazar 
Manolis, George D. editor. Polyzos, D. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-9710-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
The Information Society: Innovation, Legitimacy, Ethics and Democracy In honor of Professor Jacques Berleur s.j. Proceedings of the Conference “Information Society: Governance, Ethics and Social Consequences”, University of Namur, Belgium 22–23 May 2006 için kapak resmi
The Information Society: Innovation, Legitimacy, Ethics and Democracy In honor of Professor Jacques Berleur s.j. Proceedings of the Conference “Information Society: Governance, Ethics and Social Consequences”, University of Namur, Belgium 22–23 May 2006
Yazar 
Goujon, Philippe. editor. Lavelle, Sylvian. editor. Duquenoy, Penny. editor. Kimppa, Kai. editor. Laurent, Véronique. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-72381-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II için kapak resmi
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
Yazar 
Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-75775-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I için kapak resmi
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
Yazar 
Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-75783-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III için kapak resmi
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III
Yazar 
Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-75778-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
A First Introduction to Quantum Computing and Information için kapak resmi
A First Introduction to Quantum Computing and Information
Yazar 
Zygelman, Bernard. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-66425-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: