Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(29)
Dalen, Dirk. author.
(2)
Aberdein, Andrew. editor.
(1)
Andréka, Hajnal. editor.
(1)
Artemov, Sergei. editor.
(1)
Dil
Yayın Yılı
-
2013
(28)
2023
(1)
Konu
Logic, Symbolic and mathematical.
(28)
Mathematics.
(17)
Computer science.
(14)
Mathematical Logic and Formal Languages.
(11)
Logic.
(6)
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ç
29 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction için kapak resmi
Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction
Yazar 
Pudlák, Pavel. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332681.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-00119-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings için kapak resmi
Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
Yazar 
Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334038.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35722-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Understanding Behaviour of Distributed Systems Using mCRL2 için kapak resmi
Understanding Behaviour of Distributed Systems Using mCRL2
Yazar 
Atif, Muhammad. author. Groote, Jan Friso. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-23008-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Proofs of the Cantor-Bernstein Theorem A Mathematical Excursion için kapak resmi
Proofs of the Cantor-Bernstein Theorem A Mathematical Excursion
Yazar 
Hinkis, Arie. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332605.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-0348-0224-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Visual Reasoning with Diagrams için kapak resmi
Visual Reasoning with Diagrams
Yazar 
Moktefi, Amirouche. editor. Shin, Sun-Joo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332637.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-0348-0600-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Towards a General Theory of Classifications için kapak resmi
Towards a General Theory of Classifications
Yazar 
Parrochia, Daniel. author. Neuville, Pierre. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332639.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-0348-0609-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Ernst Zermelo - Collected Works/Gesammelte Werke II Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik için kapak resmi
Ernst Zermelo - Collected Works/Gesammelte Werke II Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik
Yazar 
Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(333036.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-70856-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Stochastic Calculus with Infinitesimals için kapak resmi
Stochastic Calculus with Infinitesimals
Yazar 
Herzberg, Frederik. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(333673.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-33149-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Cylindric-like Algebras and Algebraic Logic için kapak resmi
Cylindric-like Algebras and Algebraic Logic
Yazar 
Andréka, Hajnal. editor. Ferenczi, Miklós. editor. Németi, István. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(333922.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35025-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Mathematics of Fuzzy Sets and Fuzzy Logic için kapak resmi
Mathematics of Fuzzy Sets and Fuzzy Logic
Yazar 
Bede, Barnabas. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(333950.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35221-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers için kapak resmi
Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
Yazar 
Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334465.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37635-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings için kapak resmi
Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings
Yazar 
Hasegawa, Masahito. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334702.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38946-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: