Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(22)
Galatos, Nikolaos.
(2)
Abe, Jair Minoro. author.
(1)
Adámek, J..
(1)
Andréka, Hajnal. editor.
(1)
Dil
Yayın Yılı
-
Konu
Algebraic logic.
(13)
Algebra.
(7)
Computer science -- Mathematics.
(6)
Computer science.
(6)
Machine theory.
(5)
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ç
43 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings için kapak resmi
Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Yazar 
Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-24841-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
BCC-ALGEBRAS için kapak resmi
BCC-ALGEBRAS
Yazar 
Thomys, Janus.
Yer Numarası 
QA10
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003331568
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:
15. 
Semiconductor basics : a qualitative, non-mathematical explanation of how semiconductors work and how they are used için kapak resmi
Semiconductor basics : a qualitative, non-mathematical explanation of how semiconductors work and how they are used
Yazar 
Domingo, George, 1937- author.
Yer Numarası 
TK7871.85 .D66 2020
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119597124
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Geographic data imperfection. 1, From theory to applications için kapak resmi
Geographic data imperfection. 1, From theory to applications
Yazar 
Batton-Hubert, Mireille, editor. Desjardin, Eric, editor. Pinet, Francois, 1973- editor.
Yer Numarası 
G70.217 .G46
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119507284
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
An introduction to proof through real analysis için kapak resmi
An introduction to proof through real analysis
Yazar 
Madden, Daniel J., 1948- author. Aubrey, Jason A., 1975- author.
Yer Numarası 
QA9.54 .M335 2017
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119314769
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude için kapak resmi
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
Yazar 
Ölveczky, Peter Csaba. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-1-4471-6687-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings için kapak resmi
Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings
Yazar 
Charlier, Émilie. editor. Leroy, Julien. editor. Rigo, Michel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-62809-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Developments in Language Theory 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings için kapak resmi
Developments in Language Theory 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings
Yazar 
Brlek, Srečko. editor. Reutenauer, Christophe. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-53132-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings için kapak resmi
Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings
Yazar 
Dediu, Adrian-Horia. editor. Janoušek, Jan. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-30000-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory için kapak resmi
On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory
Yazar 
Saminger-Platz, Susanne. editor. Mesiar, Radko. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-28808-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings için kapak resmi
Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
Yazar 
de Paiva, Valeria. editor. de Queiroz, Ruy. editor. Moss, Lawrence S. editor. Leivant, Daniel. editor. de Oliveira, Anjolina G. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-47709-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II için kapak resmi
Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II
Yazar 
Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-47666-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: