Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(124)
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.
(51)
Materyal Türü
Shelf Location
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
146 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
The formal semantics of programming languages an introduction için kapak resmi
The formal semantics of programming languages an introduction
Yazar 
Winskel, G. (Glynn)
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
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ı 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-40132-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
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ı 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-33163-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
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ı 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-35254-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
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ı 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-33264-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Concepts and semantics of programming languages. 1 : a semantical approach with OCaml and Python için kapak resmi
Concepts and semantics of programming languages. 1 : a semantical approach with OCaml and Python
Yazar 
Hardin, Therese. Jaume, Mathieu. Pessaux, François. Donzeau-Gouge, Véronique.
Yer Numarası 
QA76.7
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119824121
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Fibonacci and Lucas numbers with applications. Volume two için kapak resmi
Fibonacci and Lucas numbers with applications. Volume two
Yazar 
Koshy, Thomas, author.
Yer Numarası 
QA246.5 .K672 2019
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781118742297
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
The image-interface : graphical supports for visual information için kapak resmi
The image-interface : graphical supports for visual information
Yazar 
Reyes-Garcia, Everardo, author.
Yer Numarası 
QA76.9 .U83
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119474166
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
The handbook of linguistics için kapak resmi
The handbook of linguistics
Yazar 
Aronoff, Mark, editor. Rees-Miller, Janie, editor.
Yer Numarası 
P121 .H324 2017 EB
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119072256
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Systems and Frameworks for Computational Morphology Fourth International Workshop, SFCM 2015, Stuttgart, Germany, September 17-18, 2015. Proceedings için kapak resmi
Systems and Frameworks for Computational Morphology Fourth International Workshop, SFCM 2015, Stuttgart, Germany, September 17-18, 2015. Proceedings
Yazar 
Mahlow, Cerstin. editor. Piotrowski, Michael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-23980-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
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ı 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-17581-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Models of Strategic Reasoning Logics, Games, and Communities için kapak resmi
Models of Strategic Reasoning Logics, Games, and Communities
Yazar 
van Benthem, Johan. editor. Ghosh, Sujata. editor. Verbrugge, Rineke. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-48540-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç