Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(213)
Apduhan, Bernady O. editor.
(5)
Carlini, Maurizio. editor.
(5)
Gervasi, Osvaldo. editor.
(5)
Misra, Sanjay. editor.
(5)
Dil
English
(213)
Yayın Yılı
-
2013
(213)
Konu
Computer software.
(213)
Computer science.
(208)
Computer Communication Networks.
(74)
Artificial Intelligence (incl. Robotics).
(71)
Artificial intelligence.
(71)
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ç
213 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings için kapak resmi
Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings
Yazar 
Groves, Lindsay. editor. Sun, Jing. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335072.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-41202-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Yazar 
Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334278.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36742-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings için kapak resmi
Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings
Yazar 
Ruhe, Günther. editor. Zhang, Yuanyuan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334844.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39742-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Handbook of Human Computation için kapak resmi
Handbook of Human Computation
Yazar 
Michelucci, Pietro. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332449.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-8806-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction için kapak resmi
Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction
Yazar 
Pudlák, Pavel. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332681.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-00119-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
The Tower of Hanoi – Myths and Maths için kapak resmi
The Tower of Hanoi – Myths and Maths
Yazar 
Hinz, Andreas M. author. Klavžar, Sandi. author. Milutinović, Uroš. author. Petr, Ciril. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332606.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-0348-0237-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Information and Communications Security 15th International Conference, ICICS 2013, Beijing, China, November 20-22, 2013. Proceedings için kapak resmi
Information and Communications Security 15th International Conference, ICICS 2013, Beijing, China, November 20-22, 2013. Proceedings
Yazar 
Qing, Sihan. editor. Zhou, Jianying. editor. Liu, Dongmei. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332941.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-02726-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Decision and Game Theory for Security 4th International Conference, GameSec 2013, Fort Worth, TX, USA, November 11-12, 2013. Proceedings için kapak resmi
Decision and Game Theory for Security 4th International Conference, GameSec 2013, Fort Worth, TX, USA, November 11-12, 2013. Proceedings
Yazar 
Das, Sajal K. editor. Nita-Rotaru, Cristina. editor. Kantarcioglu, Murat. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332947.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-02786-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Advanced Concepts for Intelligent Vision Systems 15th International Conference, ACIVS 2013, Poznań, Poland, October 28-31, 2013. Proceedings için kapak resmi
Advanced Concepts for Intelligent Vision Systems 15th International Conference, ACIVS 2013, Poznań, Poland, October 28-31, 2013. Proceedings
Yazar 
Blanc-Talon, Jacques. editor. Kasinski, Andrzej. editor. Philips, Wilfried. editor. Popescu, Dan. editor. Scheunders, Paul. editor.
Yer Numarası 
ONLINE(332953.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-02895-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Biomedical Engineering Systems and Technologies 4th International Joint Conference, BIOSTEC 2011, Rome, Italy, January 26-29, 2011, Revised Selected Papers için kapak resmi
Biomedical Engineering Systems and Technologies 4th International Joint Conference, BIOSTEC 2011, Rome, Italy, January 26-29, 2011, Revised Selected Papers
Yazar 
Fred, Ana. editor. Filipe, Joaquim. editor. Gamboa, Hugo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(333263.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-29752-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Advances in Communication Networking 19th EUNICE/IFIP WG 6.6 International Workshop, Chemnitz, Germany, August 28-30, 2013. Proceedings için kapak resmi
Advances in Communication Networking 19th EUNICE/IFIP WG 6.6 International Workshop, Chemnitz, Germany, August 28-30, 2013. Proceedings
Yazar 
Bauschert, Thomas. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334966.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40552-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings için kapak resmi
Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings
Yazar 
Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334973.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40579-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç