Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(508)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(12)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(11)
Legay, Axel. editor.
(7)
Artho, Cyrille. editor.
(5)
Dil
English
(569)
Yayın Yılı
-
Konu
Software engineering.
(277)
Computer science.
(266)
Computer Science Logic and Foundations of Programming.
(231)
Artificial intelligence.
(186)
Computer logic.
(161)
Materyal Türü
Shelf Location
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
569 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
37. 
Learning music theory with Logic, Max, and Finale için kapak resmi
Learning music theory with Logic, Max, and Finale
Yazar 
Kidde, Geoffrey, 1963- author.
Yer Numarası 
MT6 .K47
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781351004381
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
38. 
Formal semantics in modern type theories için kapak resmi
Formal semantics in modern type theories
Yazar 
Chatzikyriakidis, Stergios, author. Luo, Zhaohui, author.
Yer Numarası 
QA76.5913
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119489252
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
39. 
Application of graph rewriting to natural language processing için kapak resmi
Application of graph rewriting to natural language processing
Yazar 
Bonfante, Guillaume, author. Guillaume, Bruno, author. Perrier, Guy, 1950- author.
Yer Numarası 
P98
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119428589
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
40. 
Creative sequencing techniques for music production a practical guide to Pro Tools, Logic, Digital Performer, and Cubase için kapak resmi
Creative sequencing techniques for music production a practical guide to Pro Tools, Logic, Digital Performer, and Cubase
Yazar 
Pejrolo, Andrea.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780240522166
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
41. 
Mathematical Logic Foundations for Information Science için kapak resmi
Mathematical Logic Foundations for Information Science
Yazar 
Li, Wei. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-7643-9977-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
42. 
A Graph-Theoretic Approach to Enterprise Network Dynamics için kapak resmi
A Graph-Theoretic Approach to Enterprise Network Dynamics
Yazar 
Bunke, Horst. author. Dickinson, Peter J. author. Kraetzl, Miro. author. Wallis, Walter D. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-8176-4519-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
43. 
Mastering Grid Computing : Scheduling and Resource Management için kapak resmi
Mastering Grid Computing : Scheduling and Resource Management
Yazar 
Ankita, editor Sahana, Sudip Kumar, editor.
Yer Numarası 
HD38.5
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003598404
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
44. 
AI-Enabled Threat Intelligence and Cyber Risk Assessment için kapak resmi
AI-Enabled Threat Intelligence and Cyber Risk Assessment
Yazar 
Martiri, Edlira, editor Vajjhala, Narasimha, 1978- editor. Dalipi, Fisnik, editor
Yer Numarası 
QA76.9 .A25
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003504979
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
45. 
Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I için kapak resmi
Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I
Yazar 
Platzer, André. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-71162-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
46. 
Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings için kapak resmi
Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings
Yazar 
Ábrahám, Erika. editor. (orcid)0000-0002-5647-6134 Abbas, Houssam. editor. (orcid)0000-0002-8096-2618 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-74234-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
47. 
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III için kapak resmi
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III
Yazar 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-75380-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
48. 
Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers için kapak resmi
Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers
Yazar 
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-73741-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç