Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(123)
Crespi Reghizzi, Stefano. author.
(3)
Martín-Vide, Carlos. editor.
(3)
Baldoni, Matteo. editor.
(2)
Bonacina, Maria Paola. editor.
(2)
Dil
Yayın Yılı
-
Konu
Computer science.
(108)
Mathematical Logic and Formal Languages.
(101)
Logic design.
(56)
Logics and Meanings of Programs.
(55)
Artificial intelligence.
(50)
Materyal Türü
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
134 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
Developments in Language Theory 27th International Conference, DLT 2023, Umeå, Sweden, June 12-16, 2023, Proceedings için kapak resmi
Developments in Language Theory 27th International Conference, DLT 2023, Umeå, Sweden, June 12-16, 2023, Proceedings
Yazar 
Drewes, Frank. editor. Volkov, Mikhail. editor. SpringerLink (Online service)
Yer Numarası 
XX(520867.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-33264-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday için kapak resmi
Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
Yazar 
Haxthausen, Anne E. editor. Huang, Wen-ling. editor. Roggenbach, Markus. editor. SpringerLink (Online service)
Yer Numarası 
XX(521073.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-40132-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Prolog: The Next 50 Years için kapak resmi
Prolog: The Next 50 Years
Yazar 
Warren, David S. editor. Dahl, Veronica. editor. Eiter, Thomas. editor. Hermenegildo, Manuel V. editor. Kowalski, Robert. editor.
Yer Numarası 
XX(521397.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-35254-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings için kapak resmi
Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings
Yazar 
Glässer, Uwe. editor. Creissac Campos, Jose. editor. Méry, Dominique. editor. Palanque, Philippe. editor. (orcid) SpringerLink (Online service)
Yer Numarası 
XX(521295.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-33163-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers için kapak resmi
Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers
Yazar 
Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Yer Numarası 
XX(518522.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-17581-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
The Design of Requirements Modelling Languages How to Make Formalisms for Problem Solving in Requirements Engineering için kapak resmi
The Design of Requirements Modelling Languages How to Make Formalisms for Problem Solving in Requirements Engineering
Yazar 
Jureta, Ivan. author. SpringerLink (Online service)
Yer Numarası 
XX(518651.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-18821-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings. için kapak resmi
Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.
Yazar 
Potapov, Igor. editor. SpringerLink (Online service)
Yer Numarası 
XX(519049.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-21500-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Compiler Construction 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings için kapak resmi
Compiler Construction 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Yazar 
Franke, Björn. editor. SpringerLink (Online service)
Yer Numarası 
XX(519059.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-46663-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers için kapak resmi
Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
Yazar 
Codescu, Mihai. editor. Diaconescu, Răzvan. editor. Țuțu, Ionuț. editor. SpringerLink (Online service)
Yer Numarası 
XX(519139.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-28114-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings için kapak resmi
Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings
Yazar 
Shallit, Jeffrey. editor. Okhotin, Alexander. editor. SpringerLink (Online service)
Yer Numarası 
XX(519199.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-19225-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings için kapak resmi
Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings
Yazar 
Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)
Yer Numarası 
XX(519293.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-23264-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers için kapak resmi
Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers
Yazar 
Baldoni, Matteo. editor. Baresi, Luciano. editor. Dastani, Mehdi. editor. SpringerLink (Online service)
Yer Numarası 
XX(519297.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-26184-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç