Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(67)
Silhavy, Petr. editor.
(9)
Silhavy, Radek. editor.
(9)
Marcus, Aaron. editor.
(4)
Felderer, Michael. editor.
(3)
Dil
Yayın Yılı
-
Konu
Computer science.
(29)
Artificial intelligence.
(16)
Computer Science Logic and Foundations of Programming.
(14)
Theory of Computation.
(14)
Computational intelligence.
(13)
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ç
67 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Research Challenges in Information Science 19th International Conference, RCIS 2025, Seville, Spain, May 20-23, 2025, Proceedings, Part II için kapak resmi
Research Challenges in Information Science 19th International Conference, RCIS 2025, Seville, Spain, May 20-23, 2025, Proceedings, Part II
Yazar 
Grabis, Jānis. editor. (orcid)0000-0003-2196-0214 Vos, Tanja E. J. editor. (orcid)0000-0002-6003-9113 Escalona, Maria José. editor. (orcid)0000-0002-6435-1497 Pastor, Oscar. editor. (orcid)0000-0002-1320-8471 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-92471-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Research Challenges in Information Science 19th International Conference, RCIS 2025, Seville, Spain, May 20-23, 2025, Proceedings, Part I için kapak resmi
Research Challenges in Information Science 19th International Conference, RCIS 2025, Seville, Spain, May 20-23, 2025, Proceedings, Part I
Yazar 
Grabis, Jānis. editor. (orcid)0000-0003-2196-0214 Vos, Tanja E. J. editor. (orcid)0000-0002-6003-9113 Escalona, Maria José. editor. (orcid)0000-0002-6435-1497 Pastor, Oscar. editor. (orcid)0000-0002-1320-8471 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-92474-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Enterprise, Business-Process and Information Systems Modeling 26th International Conference, BPMDS 2025, and 30th International Conference, EMMSAD 2025, Vienna, Austria, June 16-17, 2025, Proceedings için kapak resmi
Enterprise, Business-Process and Information Systems Modeling 26th International Conference, BPMDS 2025, and 30th International Conference, EMMSAD 2025, Vienna, Austria, June 16-17, 2025, Proceedings
Yazar 
Guizzardi, Renata. editor. (orcid)0000-0002-5804-5741 Pufahl, Luise. editor. (orcid)0000-0002-5182-2587 Sturm, Arnon. editor. (orcid)0000-0002-4021-7752 van der Aa, Han. editor. (orcid)0000-0002-4200-4937 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-95397-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Artificial Intelligence for System Oriented Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 1 için kapak resmi
Artificial Intelligence for System Oriented Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 1
Yazar 
Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-96798-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Software Engineering: Emerging Trends and Practices in System Development Proceedings of the 14th Computer Science On-line Conference 2025, Volume 6 için kapak resmi
Software Engineering: Emerging Trends and Practices in System Development Proceedings of the 14th Computer Science On-line Conference 2025, Volume 6
Yazar 
Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-032-00715-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Dependable Software Engineering. Theories, Tools, and Applications 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, Proceedings için kapak resmi
Dependable Software Engineering. Theories, Tools, and Applications 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, Proceedings
Yazar 
Bourke, Timothy. editor. (orcid)0000-0003-0601-4182 Chen, Liqian. editor. (orcid)0000-0001-8084-8009 Goharshady, Amir. editor. (orcid)0000-0003-1702-6584 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-0602-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
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:
8. 
Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science On-line Conference 2025, Volume 4 için kapak resmi
Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science On-line Conference 2025, Volume 4
Yazar 
Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-032-03406-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science Online Conference 2025, Volume 2 için kapak resmi
Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science Online Conference 2025, Volume 2
Yazar 
Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-032-00712-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Ontology-Based Evolution of Domain-Oriented Languages Models, Methods and Tools for User Interface Design in General-Purpose Software Systems için kapak resmi
Ontology-Based Evolution of Domain-Oriented Languages Models, Methods and Tools for User Interface Design in General-Purpose Software Systems
Yazar 
Babkin, Eduard. author. (orcid)0000-0003-2597-9043 Ulitin, Boris. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-42202-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Dependable Software Engineering. Theories, Tools, and Applications 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings için kapak resmi
Dependable Software Engineering. Theories, Tools, and Applications 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings
Yazar 
Hermanns, Holger. editor. (orcid)0000-0002-2766-9615 Sun, Jun. editor. Bu, Lei. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-8664-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Enterprise, Business-Process and Information Systems Modeling 25th International Conference, BPMDS 2024, and 29th International Conference, EMMSAD 2024, Limassol, Cyprus, June 3-4, 2024, Proceedings için kapak resmi
Enterprise, Business-Process and Information Systems Modeling 25th International Conference, BPMDS 2024, and 29th International Conference, EMMSAD 2024, Limassol, Cyprus, June 3-4, 2024, Proceedings
Yazar 
van der Aa, Han. editor. (orcid)0000-0002-4200-4937 Bork, Dominik. editor. (orcid)0000-0001-8259-2297 Schmidt, Rainer. editor. (orcid)0000-0002-1637-0589 Sturm, Arnon. editor. (orcid)0000-0002-4021-7752 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-61007-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç