Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
6 sonuç bulundu Arama sonuçlarına abone ol
000000DEFAULT_TR
Yazdır
1. 
Proof theory and logical complexity için kapak resmi
Proof theory and logical complexity
Yazar 
Girard, Jean-Yves.
Yer Numarası 
QA 9.54 G57 1987- V.1
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
2. 
Proof theory : sequent calculi and related formalisms için kapak resmi
Proof theory : sequent calculi and related formalisms
Yazar 
Bimbo, Katalin, 1963- author.
Yer Numarası 
ONLINE(356904.1)
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers. için kapak resmi
Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers.
Yazar 
Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası 
XX(519146.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-46823-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings için kapak resmi
Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Yazar 
Pitts, Andrew. editor. (orcid) SpringerLink (Online service)
Yer Numarası 
XX(519161.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-46678-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers için kapak resmi
Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers
Yazar 
Aher, Martin. editor. Hole, Daniel. editor. Jeřábek, Emil. editor. Kupke, Clemens. editor. SpringerLink (Online service)
Yer Numarası 
XX(519040.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-46906-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Evolutionary Multi-Criterion Optimization 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part I için kapak resmi
Evolutionary Multi-Criterion Optimization 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part I
Yazar 
Gaspar-Cunha, António. editor. Henggeler Antunes, Carlos. editor. Coello, Carlos Coello. editor. SpringerLink (Online service)
Yer Numarası 
XX(518985.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-15934-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: