Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(66)
Korytkowski, Marcin. editor.
(2)
Kosala, Raymond. editor.
(2)
Kroening, Daniel. editor.
(2)
Nguyen, Ngoc Thanh. editor.
(2)
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ç
72 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
49. 
Model and Data Engineering 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings için kapak resmi
Model and Data Engineering 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings
Yazar 
Bellatreche, Ladjel. editor. Manolopoulos, Yannis. editor. SpringerLink (Online service)
Yer Numarası 
XX(519147.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-23781-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
50. 
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:
51. 
Automated Deduction in Geometry 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers için kapak resmi
Automated Deduction in Geometry 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers
Yazar 
Botana, Francisco. editor. Quaresma, Pedro. editor. SpringerLink (Online service)
Yer Numarası 
XX(519176.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-21362-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
52. 
Advanced Methodologies for Bayesian Networks Second International Workshop, AMBN 2015, Yokohama, Japan, November 16-18, 2015. Proceedings için kapak resmi
Advanced Methodologies for Bayesian Networks Second International Workshop, AMBN 2015, Yokohama, Japan, November 16-18, 2015. Proceedings
Yazar 
Suzuki, Joe. editor. Ueno, Maomi. editor. SpringerLink (Online service)
Yer Numarası 
XX(519179.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-28379-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
53. 
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:
54. 
Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings için kapak resmi
Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings
Yazar 
Fricker, Samuel A. editor. Schneider, Kurt. editor. SpringerLink (Online service)
Yer Numarası 
XX(519025.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-16101-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
55. 
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II için kapak resmi
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Yazar 
Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Yer Numarası 
XX(519028.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-21668-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
56. 
The Semantic Web. Latest Advances and New Domains 12th European Semantic Web Conference, ESWC 2015, Portoroz, Slovenia, May 31 -- June 4, 2015. Proceedings için kapak resmi
The Semantic Web. Latest Advances and New Domains 12th European Semantic Web Conference, ESWC 2015, Portoroz, Slovenia, May 31 -- June 4, 2015. Proceedings
Yazar 
Gandon, Fabien. editor. Sabou, Marta. editor. Sack, Harald. editor. d'Amato, Claudia. editor. Cudré-Mauroux, Philippe. editor.
Yer Numarası 
XX(519030.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-18818-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
57. 
Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part II için kapak resmi
Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part II
Yazar 
Nguyen, Ngoc Thanh. editor. Trawiński, Bogdan. editor. Kosala, Raymond. editor. SpringerLink (Online service)
Yer Numarası 
XX(519031.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-15705-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
58. 
Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings için kapak resmi
Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Yazar 
Urban, Christian. editor. Zhang, Xingyuan. editor. SpringerLink (Online service)
Yer Numarası 
XX(519043.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-22102-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
59. 
Artificial Life and Computational Intelligence First Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015, Proceedings için kapak resmi
Artificial Life and Computational Intelligence First Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015, Proceedings
Yazar 
Chalup, Stephan. editor. Blair, Alan D. editor. Randall, Marcus. editor. SpringerLink (Online service)
Yer Numarası 
XX(519044.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-14803-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
60. 
FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings için kapak resmi
FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Yazar 
Bjørner, Nikolaj. editor. de Boer, Frank. editor. SpringerLink (Online service)
Yer Numarası 
XX(519064.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-19249-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç