Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(262)
Silhavy, Petr. editor.
(9)
Silhavy, Radek. editor.
(9)
O'Regan, Gerard. author.
(6)
Tan, C.J. Kenneth. editor.
(5)
Dil
English
(262)
Yayın Yılı
-
2016
(77)
2017
(72)
2024
(62)
2025
(50)
2014
(1)
Konu
Software engineering.
(125)
Artificial intelligence.
(101)
Computer science.
(98)
Computer Science Logic and Foundations of Programming.
(65)
Computational intelligence.
(57)
Materyal Türü
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
262 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Environmental Software Systems. Computer Science for Environmental Protection 12th IFIP WG 5.11 International Symposium, ISESS 2017, Zadar, Croatia, May 10-12, 2017, Proceedings için kapak resmi
Environmental Software Systems. Computer Science for Environmental Protection 12th IFIP WG 5.11 International Symposium, ISESS 2017, Zadar, Croatia, May 10-12, 2017, Proceedings
Yazar 
Hřebíček, Jiří. editor. Denzer, Ralf. editor. Schimak, Gerald. editor. Pitner, Tomáš. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-89935-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings için kapak resmi
Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Yazar 
Esparza, Javier. editor. (orcid)0000-0001-9862-4919 Murawski, Andrzej S. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-54458-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings için kapak resmi
Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Yazar 
Jacobs, Bart. editor. Löding, Christof. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-49630-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Software Engineering Perspectives and Application in Intelligent Systems Proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016), Vol 2 için kapak resmi
Software Engineering Perspectives and Application in Intelligent Systems Proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016), Vol 2
Yazar 
Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-33622-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
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:
6. 
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:
7. 
Health Information Science 13th International Conference, HIS 2024, Hong Kong, China, December 8-10, 2024, Proceedings için kapak resmi
Health Information Science 13th International Conference, HIS 2024, Hong Kong, China, December 8-10, 2024, Proceedings
Yazar 
Siuly, Siuly. editor. (orcid)0000-0003-2491-0546 Xing, Chunxiao. editor. (orcid)0000-0001-9390-3097 Li, Xiaofan. editor. (orcid)0000-0003-4379-3277 Zhou, Rui. editor. (orcid)0000-0001-6807-4362 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-5597-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Proceedings of International Joint Conference on Advances in Computational Intelligence IJCACI 2024, Volume 2 için kapak resmi
Proceedings of International Joint Conference on Advances in Computational Intelligence IJCACI 2024, Volume 2
Yazar 
Uddin, Mohammad Shorif. editor. (orcid)0000-0002-7184-2809 Bansal, Jagdish Chand. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-3762-1
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 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:
10. 
Proceedings of International Joint Conference on Advances in Computational Intelligence IJCACI 2024, Volume 1 için kapak resmi
Proceedings of International Joint Conference on Advances in Computational Intelligence IJCACI 2024, Volume 1
Yazar 
Uddin, Mohammad Shorif. editor. (orcid)0000-0002-7184-2809 Bansal, Jagdish Chand. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-3741-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday için kapak resmi
Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday
Yazar 
Barik, Rajkishore. editor. Gupta, Rajiv. editor. Palsberg, Jens. editor. (orcid)0000-0003-4747-365X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-97492-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Systems Benchmarking For Scientists and Engineers için kapak resmi
Systems Benchmarking For Scientists and Engineers
Yazar 
Kounev, Samuel. author. Lange, Klaus-Dieter. author. von Kistowski, Jóakim. author. (orcid)0000-0002-3046-5373 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-85634-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç