Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(3724)
Gervasi, Osvaldo. editor.
(39)
Taniar, David. editor.
(38)
Apduhan, Bernady O. editor.
(37)
Dongarra, Jack. editor.
(29)
Dil
Yayın Yılı
-
Konu
Computer science.
(2980)
Computer Communication Networks.
(1161)
Artificial intelligence.
(977)
Information systems.
(822)
Logic design.
(742)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
3826 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
25. 
Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings için kapak resmi
Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings
Yazar 
Namjoshi, Kedar S. editor. Yoneda, Tomohiro. editor. Higashino, Teruo. editor. Okamura, Yoshio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-75596-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Software Technologies for Embedded and Ubiquitous Systems 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 2007. Revised Papers için kapak resmi
Software Technologies for Embedded and Ubiquitous Systems 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 2007. Revised Papers
Yazar 
Obermaisser, Roman. editor. Nah, Yunmook. editor. Puschner, Peter. editor. Rammig, Franz J. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-75664-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Stabilization, Safety, and Security of Distributed Systems 9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedings için kapak resmi
Stabilization, Safety, and Security of Distributed Systems 9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedings
Yazar 
Masuzawa, Toshimitsu. editor. Tixeuil, Sébastien. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-76627-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings için kapak resmi
Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings
Yazar 
Shao, Zhong. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-76637-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings için kapak resmi
Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings
Yazar 
Butler, Michael. editor. Hinchey, Michael G. editor. Larrondo-Petrie, María M. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-76650-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Ubiquitous Computing Systems 4th International Symposium, UCS 2007, Tokyo, Japan, November 25-28, 2007. Proceedings için kapak resmi
Ubiquitous Computing Systems 4th International Symposium, UCS 2007, Tokyo, Japan, November 25-28, 2007. Proceedings
Yazar 
Ichikawa, Haruhisa. editor. Cho, We-Duke. editor. Satoh, Ichiro. editor. Youn, Hee Yong. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-76772-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Middleware 2007 ACM/IFIP/USENIX 8th International Middleware Conference, Newport Beach, CA, USA, November 26-30, 2007. Proceedings için kapak resmi
Middleware 2007 ACM/IFIP/USENIX 8th International Middleware Conference, Newport Beach, CA, USA, November 26-30, 2007. Proceedings
Yazar 
Cerqueira, Renato. editor. Campbell, Roy H. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-76778-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Datatype-Generic Programming International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures için kapak resmi
Datatype-Generic Programming International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures
Yazar 
Backhouse, Roland. editor. Gibbons, Jeremy. editor. Hinze, Ralf. editor. Jeuring, Johan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-76786-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Sustainable Internet Third Asian Internet Engineering Conference, AINTEC 2007, Phuket, Thailand, November 27-29, 2007. Proceedings için kapak resmi
Sustainable Internet Third Asian Internet Engineering Conference, AINTEC 2007, Phuket, Thailand, November 27-29, 2007. Proceedings
Yazar 
Fdida, Serge. editor. Sugiura, Kazunori. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-76809-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Early Aspects: Current Challenges and Future Directions 10th International Workshop, Vancouver, Canada, March 13, 2007, Revised Selected Papers için kapak resmi
Early Aspects: Current Challenges and Future Directions 10th International Workshop, Vancouver, Canada, March 13, 2007, Revised Selected Papers
Yazar 
Moreira, Ana. editor. Grundy, John. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-76811-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Advanced Parallel Processing Technologies 7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedings için kapak resmi
Advanced Parallel Processing Technologies 7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedings
Yazar 
Xu, Ming. editor. Zhan, Yinwei. editor. Cao, Jiannong. editor. Liu, Yijun. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-76837-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part I için kapak resmi
On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part I
Yazar 
Meersman, Robert. editor. Tari, Zahir. editor. Herrero, Pilar. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-76888-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets