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ç
67 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
25. 
The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement için kapak resmi
The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement
Yazar 
Foster, Simon. editor. (orcid)0000-0002-9889-9514 Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-67114-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Cybernetics and Control Theory in Systems Proceedings of 13th Computer Science On-line Conference 2024, Volume 2 için kapak resmi
Cybernetics and Control Theory in Systems Proceedings of 13th Computer Science On-line Conference 2024, 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-031-70300-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Infrared Small Target Detection Theory, Methods, and Algorithms. için kapak resmi
Infrared Small Target Detection Theory, Methods, and Algorithms.
Yazar 
Zhu, Hu. author. Pan, Yushan. author. (orcid)0000-0002-6877-3937 Deng, Lizhen. author. Xu, Guoxia. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-9799-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Ernst Denert Award for Software Engineering 2022 Practice Meets Foundations için kapak resmi
Ernst Denert Award for Software Engineering 2022 Practice Meets Foundations
Yazar 
Bodden, Eric. editor. Felderer, Michael. editor. Hasselbring, Wilhelm. editor. (orcid)0000-0001-6625-4335 Herber, Paula. editor. Koziolek, Heiko. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-44412-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Qualitative Research with Socio-Technical Grounded Theory A Practical Guide to Qualitative Data Analysis and Theory Development in the Digital World için kapak resmi
Qualitative Research with Socio-Technical Grounded Theory A Practical Guide to Qualitative Data Analysis and Theory Development in the Digital World
Yazar 
Hoda, Rashina. author. (orcid)0000-0001-5147-8096 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-60533-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Machine Learning Methods in Systems Proceedings of 13th Computer Science On-line Conference 2024, Vol. 4 için kapak resmi
Machine Learning Methods in Systems Proceedings of 13th Computer Science On-line Conference 2024, Vol. 4
Yazar 
Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-70595-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings için kapak resmi
Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings
Yazar 
Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Mery, Dominique. editor. (orcid)0000-0001-5231-6611 Sun, Meng. editor. Liu, Shaoying. editor. (orcid)0000-0002-6748-5052 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-0617-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
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:
33. 
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:
34. 
Experimentation in Software Engineering için kapak resmi
Experimentation in Software Engineering
Yazar 
Wohlin, Claes. author. Runeson, Per. author. Höst, Martin. author. Ohlsson, Magnus C. author. Regnell, Björn. author.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-69306-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
String Analysis for Software Verification and Security için kapak resmi
String Analysis for Software Verification and Security
Yazar 
Bultan, Tevfik. author. Yu, Fang. author. Alkhalaf, Muath. author. Aydin, Abdulbaki. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-68670-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Risks and Security of Internet and Systems 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers için kapak resmi
Risks and Security of Internet and Systems 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers
Yazar 
Cuppens, Frédéric. editor. Cuppens, Nora. editor. Lanet, Jean-Louis. editor. Legay, Axel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-54876-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets