Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(25)
Carnielli, Walter. author.
(2)
Priese, Lutz. author.
(2)
Bel-Enguix, Gemma. editor.
(1)
Black, Max, 1909-
(1)
Dil
Konu
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ç
34 sonuç bulundu Arama sonuçlarına abone ol
0000000000DEFAULT_TR
Yazdır
25. 
Algorithms in Invariant Theory için kapak resmi
Algorithms in Invariant Theory
Yazar 
Sturmfels, Bernd. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-211-77417-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Gesammelte Werke Band III Mengenlehre (1927, 1935) Deskriptive Mengenlehre und Topologie için kapak resmi
Gesammelte Werke Band III Mengenlehre (1927, 1935) Deskriptive Mengenlehre und Topologie
Yazar 
Hausdorff, Felix. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-76807-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Information and Knowledge A Constructive Type-theoretical Approach için kapak resmi
Information and Knowledge A Constructive Type-theoretical Approach
Yazar 
Primiero, Giuseppe. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-6170-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Petri-Netze için kapak resmi
Petri-Netze
Yazar 
Priese, Lutz. author. Wimmel, Harro. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-76971-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
New Developments in Formal Languages and Applications için kapak resmi
New Developments in Formal Languages and Applications
Yazar 
Bel-Enguix, Gemma. editor. Jiménez-López, M. Dolores. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-78291-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
New essays on Tarski and philosophy için kapak resmi
New essays on Tarski and philosophy
Yazar 
Patterson, Douglas.
Yer Numarası 
ONLINE
Elektronik Erişim 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199296309.001.0001
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Mathematics, Models, and Modality Selected Philosophical Essays için kapak resmi
Mathematics, Models, and Modality Selected Philosophical Essays
Yazar 
Burgess, John P..
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Institution-independent Model Theory için kapak resmi
Institution-independent Model Theory
Yazar 
Diaconescu, Răzvan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-7643-8708-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Guida alla teoria degli insiemi için kapak resmi
Guida alla teoria degli insiemi
Yazar 
Lolli, Gabriele. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-88-470-0769-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Deduction, Computation, Experiment Exploring the Effectiveness of Proof için kapak resmi
Deduction, Computation, Experiment Exploring the Effectiveness of Proof
Yazar 
Lupacchini, Rossella. editor. Corsi, Giovanna. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-88-470-0784-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: