Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(111)
Dix, Jürgen. editor.
(3)
Voronkov, Andrei. editor.
(3)
Calude, Cristian S. editor.
(2)
Dawar, Anuj. editor.
(2)
Dil
English
(115)
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ç
115 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers için kapak resmi
Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers
Yazar 
Eekelen, Marko. editor. Shkaravska, Olha. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-15331-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings için kapak resmi
Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings
Yazar 
Kučera, Antonín. editor. Potapov, Igor. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-15349-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
CONCUR 2010 - Concurrency Theory 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings için kapak resmi
CONCUR 2010 - Concurrency Theory 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings
Yazar 
Gastin, Paul. editor. Laroussinie, François. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-15375-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Principles and Practice of Constraint Programming – CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings için kapak resmi
Principles and Practice of Constraint Programming – CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings
Yazar 
Cohen, David. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-15396-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Testing – Practice and Research Techniques 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings için kapak resmi
Testing – Practice and Research Techniques 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings
Yazar 
Bottaci, Leonardo. editor. Fraser, Gordon. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-15585-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Fields of Logic and Computation Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday için kapak resmi
Fields of Logic and Computation Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
Yazar 
Blass, Andreas. editor. Dershowitz, Nachum. editor. Reisig, Wolfgang. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-15025-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Business Process Management 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings için kapak resmi
Business Process Management 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings
Yazar 
Hull, Richard. editor. Mendling, Jan. editor. Tai, Stefan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-15618-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings için kapak resmi
Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings
Yazar 
Bouajjani, Ahmed. editor. Chin, Wei-Ngan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-15643-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Logics in Artificial Intelligence 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings için kapak resmi
Logics in Artificial Intelligence 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings
Yazar 
Janhunen, Tomi. editor. Niemelä, Ilkka. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-15675-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Database and XML Technologies 7th International XML Database Symposium, XSym 2010, Singapore, September 17, 2010. Proceedings için kapak resmi
Database and XML Technologies 7th International XML Database Symposium, XSym 2010, Singapore, September 17, 2010. Proceedings
Yazar 
Lee, Mong Li. editor. Yu, Jeffrey Xu. editor. Bellahsène, Zohra. editor. Unland, Rainer. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-15684-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings için kapak resmi
Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
Yazar 
Fermüller, Christian G. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-16242-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings için kapak resmi
Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
Yazar 
Méry, Dominique. editor. Merz, Stephan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-16265-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç