Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(108)
Agarwal, Sonali. editor.
(3)
Ekbal, Asif. editor.
(3)
Jatowt, Adam. editor.
(3)
Macpherson, Dugald.
(3)
Dil
Yayın Yılı
-
Konu
Model theory.
(18)
Computer science.
(15)
Mathematics.
(8)
Software engineering.
(8)
Logic, Symbolic and mathematical.
(7)
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ç
223 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
121. 
Advances in Cryptology - EUROCRYPT 2015 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part II için kapak resmi
Advances in Cryptology - EUROCRYPT 2015 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part II
Yazar 
Oswald, Elisabeth. editor. Fischlin, Marc. editor. SpringerLink (Online service)
Yer Numarası 
XX(518913.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-46803-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
122. 
Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings için kapak resmi
Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
Yazar 
van der Hoek, Wiebe. editor. Holliday, Wesley H. editor. Wang, Wen-fang. editor. SpringerLink (Online service)
Yer Numarası 
XX(519137.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-48561-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
123. 
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:
124. 
Scalable Uncertainty Management 9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings için kapak resmi
Scalable Uncertainty Management 9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings
Yazar 
Beierle, Christoph. editor. Dekhtyar, Alex. editor. SpringerLink (Online service)
Yer Numarası 
XX(519087.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-23540-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
125. 
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I için kapak resmi
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Yazar 
Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Yer Numarası 
XX(519007.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-21690-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
126. 
Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part I için kapak resmi
Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part I
Yazar 
Nguyen, Ngoc Thanh. editor. Trawiński, Bogdan. editor. Kosala, Raymond. editor. SpringerLink (Online service)
Yer Numarası 
XX(519188.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-15702-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
127. 
Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings için kapak resmi
Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
Yazar 
Banerjee, Mohua. editor. S., Krishna. editor. SpringerLink (Online service)
Yer Numarası 
XX(519118.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-45824-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
128. 
Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II için kapak resmi
Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II
Yazar 
Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.
Yer Numarası 
XX(519299.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-19369-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
129. 
Mathematics and Computation in Music 5th International Conference, MCM 2015, London, UK, June 22-25, 2015, Proceedings için kapak resmi
Mathematics and Computation in Music 5th International Conference, MCM 2015, London, UK, June 22-25, 2015, Proceedings
Yazar 
Collins, Tom. editor. Meredith, David. editor. Volk, Anja. editor. SpringerLink (Online service)
Yer Numarası 
XX(518983.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-20603-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
130. 
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:
131. 
Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers için kapak resmi
Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers
Yazar 
Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Sempere, José M. editor. Zandron, Claudio. editor. SpringerLink (Online service)
Yer Numarası 
XX(519065.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-28475-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
132. 
Graph and Model Transformation General Framework and Applications için kapak resmi
Graph and Model Transformation General Framework and Applications
Yazar 
Ehrig, Hartmut. author. Ermel, Claudia. author. Golas, Ulrike. author. Hermann, Frank. author. SpringerLink (Online service)
Yer Numarası 
XX(518444.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-47980-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç