Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(476)
Gavrilova, Marina L. editor.
(18)
Albada, Geert Dick. editor.
(16)
Gervasi, Osvaldo. editor.
(16)
Sloot, Peter M. A. editor.
(16)
Dil
Yayın Yılı
-
Konu
Computer science.
(350)
Software engineering.
(154)
Artificial intelligence.
(121)
Computer software.
(99)
Electronic data processing.
(98)
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ç
501 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
373. 
Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part I için kapak resmi
Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part I
Yazar 
Shi, Yong. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-72584-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
374. 
Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II için kapak resmi
Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II
Yazar 
Shi, Yong. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-72586-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
375. 
Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part III için kapak resmi
Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part III
Yazar 
Shi, Yong. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-72588-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
376. 
Euro-Par 2006: Parallel Processing Workshops: CoreGRID 2006, UNICORE Summit 2006, Petascale Computational Biology and Bioinformatics, Dresden, Germany, August 29-September 1, 2006, Revised Selected Papers için kapak resmi
Euro-Par 2006: Parallel Processing Workshops: CoreGRID 2006, UNICORE Summit 2006, Petascale Computational Biology and Bioinformatics, Dresden, Germany, August 29-September 1, 2006, Revised Selected Papers
Yazar 
Lehner, Wolfgang. editor. Meyer, Norbert. editor. Streit, Achim. editor. Stewart, Craig. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-72337-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
377. 
Theory and Applications of Models of Computation 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007. Proceedings için kapak resmi
Theory and Applications of Models of Computation 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007. Proceedings
Yazar 
Cai, Jin-Yi. editor. Cooper, S. Barry. editor. Zhu, Hong. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-72504-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
378. 
Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings için kapak resmi
Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings
Yazar 
Arge, Lars. editor. Cachin, Christian. editor. Jurdziński, Tomasz. editor. Tarlecki, Andrzej. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-73420-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
379. 
Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings için kapak resmi
Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings
Yazar 
Leivant, Daniel. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-73445-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
380. 
Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components için kapak resmi
Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components
Yazar 
Nicolescu, G. editor. Jerraya, A. A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-6153-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
381. 
High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers için kapak resmi
High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers
Yazar 
Daydé, Michel. editor. Palma, José M. L. M. editor. Coutinho, Álvaro L. G. A. editor. Pacitti, Esther. editor. Lopes, João Correia. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-71351-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
382. 
Petri Nets and Other Models of Concurrency – ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings için kapak resmi
Petri Nets and Other Models of Concurrency – ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings
Yazar 
Kleijn, Jetty. editor. Yakovlev, Alex. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-73094-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
383. 
Modelling Distributed Systems için kapak resmi
Modelling Distributed Systems
Yazar 
Fokkink, Wan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-73938-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
384. 
The Calculus of Computation Decision Procedures with Applications to Verification için kapak resmi
The Calculus of Computation Decision Procedures with Applications to Verification
Yazar 
Bradley, Aaron R. author. Manna, Zohar. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-74113-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç