Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(148)
Project Muse.
(8)
Pala, Karel. editor.
(7)
Kopeček, Ivan. editor.
(6)
Matoušek, Václav. editor.
(6)
Dil
Yayın Yılı
-
Konu
Computer science.
(87)
Artificial intelligence.
(63)
Software engineering.
(41)
Computer Communication Networks.
(29)
Information systems.
(29)
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ç
207 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
25. 
Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings için kapak resmi
Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings
Yazar 
Sattler, Uli. editor. Suda, Martin. editor. SpringerLink (Online service)
Yer Numarası 
XX(521141.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-43369-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Computational Science - ICCS 2023 23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part II için kapak resmi
Computational Science - ICCS 2023 23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part II
Yazar 
Mikyška, Jiří. editor. de Mulatier, Clélia. editor. (orcid) Paszynski, Maciej. editor. (orcid) Krzhizhanovskaya, Valeria V. editor. Dongarra, Jack J. editor.
Yer Numarası 
XX(521019.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-36021-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Computational Science - ICCS 2023 23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part I için kapak resmi
Computational Science - ICCS 2023 23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part I
Yazar 
Mikyška, Jiří. editor. de Mulatier, Clélia. editor. (orcid) Paszynski, Maciej. editor. (orcid) Krzhizhanovskaya, Valeria V. editor. Dongarra, Jack J. editor.
Yer Numarası 
XX(521399.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-35995-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Programming Languages and Systems 28th European Symposium on Programming, ESOP 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 için kapak resmi
Programming Languages and Systems 28th European Symposium on Programming, ESOP 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
Yazar 
Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-17184-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Hybrid Systems Biology 6th International Workshop, HSB 2019, Prague, Czech Republic, April 6-7, 2019, Revised Selected Papers için kapak resmi
Hybrid Systems Biology 6th International Workshop, HSB 2019, Prague, Czech Republic, April 6-7, 2019, Revised Selected Papers
Yazar 
Češka, Milan. editor. (orcid)0000-0002-0300-9727 Paoletti, Nicola. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-28042-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Principles of Security and Trust 8th International Conference, POST 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 için kapak resmi
Principles of Security and Trust 8th International Conference, POST 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
Yazar 
Nielson, Flemming. editor. (orcid)0000-0001-7362-6176 Sands, David. editor. (orcid)0000-0001-6221-0503 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-17138-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
Yazar 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-17502-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
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 I 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 I
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-17462-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Research and Practical Issues of Enterprise Information Systems 13th IFIP WG 8.9 International Conference, CONFENIS 2019, Prague, Czech Republic, December 16–17, 2019, Proceedings için kapak resmi
Research and Practical Issues of Enterprise Information Systems 13th IFIP WG 8.9 International Conference, CONFENIS 2019, Prague, Czech Republic, December 16–17, 2019, Proceedings
Yazar 
Doucek, Petr. editor. (orcid)0000-0002-5647-661X Basl, Josef. editor. Tjoa, A Min. editor. Raffai, Maria. editor. (orcid)0000-0001-6934-6366 Pavlicek, Antonin. editor. (orcid)0000-0002-1230-5982
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-37632-1
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. 
World Congress on Medical Physics and Biomedical Engineering 2018 June 3-8, 2018, Prague, Czech Republic (Vol.3) için kapak resmi
World Congress on Medical Physics and Biomedical Engineering 2018 June 3-8, 2018, Prague, Czech Republic (Vol.3)
Yazar 
Lhotska, Lenka. editor. Sukupova, Lucie. editor. Lacković, Igor. editor. Ibbott, Geoffrey S. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-9023-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Agents and Artificial Intelligence 11th International Conference, ICAART 2019, Prague, Czech Republic, February 19–21, 2019, Revised Selected Papers için kapak resmi
Agents and Artificial Intelligence 11th International Conference, ICAART 2019, Prague, Czech Republic, February 19–21, 2019, Revised Selected Papers
Yazar 
van den Herik, Jaap. editor. Rocha, Ana Paula. editor. Steels, Luc. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-37494-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç