Arama Sonuçlarını Sınırlandır
Yazar
Dil
Yayın Yılı
-
2013
(14)
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ç
14 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
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:
2. 
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:
3. 
Reactive Kripke Semantics için kapak resmi
Reactive Kripke Semantics
Yazar 
Gabbay, Dov M. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(335100.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-41389-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements için kapak resmi
Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements
Yazar 
Geldsetzer, Lutz. author. Schwartz, Richard L. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(335941.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-5301-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Belief Revision in Non-Classical Logics için kapak resmi
Belief Revision in Non-Classical Logics
Yazar 
Ribeiro, Márcio Moretto. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(330925.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-4186-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz için kapak resmi
From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz
Yazar 
Davis, Martin. editor. Schonberg, Edmond. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(330942.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-4282-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
A Course on Mathematical Logic için kapak resmi
A Course on Mathematical Logic
Yazar 
Srivastava, Shashi Mohan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331853.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-5746-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
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:
9. 
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:
10. 
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:
11. 
The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings için kapak resmi
The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings
Yazar 
Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334718.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39053-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings için kapak resmi
Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
Yazar 
Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335032.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40948-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: