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ç
Eylem Seç
3826 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1405. 
Computer Applications for Modeling, Simulation, and Automobile International Conferences, MAS and ASNT 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings için kapak resmi
Computer Applications for Modeling, Simulation, and Automobile International Conferences, MAS and ASNT 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings
Yazar 
Kim, Tai-hoon. editor. Ramos, Carlos. editor. Abawajy, Jemal. editor. Kang, Byeong-Ho. editor. Ślęzak, Dominik. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35248-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1406. 
Ubiquitous Computing and Ambient Intelligence 6th International Conference, UCAmI 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012. Proceedings için kapak resmi
Ubiquitous Computing and Ambient Intelligence 6th International Conference, UCAmI 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012. Proceedings
Yazar 
Bravo, José. editor. López-de-Ipiña, Diego. editor. Moya, Francisco. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35377-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1407. 
Ambient Assisted Living and Home Care 4th International Workshop, IWAAL 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012. Proceedings için kapak resmi
Ambient Assisted Living and Home Care 4th International Workshop, IWAAL 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012. Proceedings
Yazar 
Bravo, José. editor. Hervás, Ramón. editor. Rodríguez, Marcela. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35395-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1408. 
Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings için kapak resmi
Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings
Yazar 
Hawblitzel, Chris. editor. Miller, Dale. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35308-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1409. 
Internet and Network Economics 8th International Workshop, WINE 2012, Liverpool, UK, December 10-12, 2012. Proceedings için kapak resmi
Internet and Network Economics 8th International Workshop, WINE 2012, Liverpool, UK, December 10-12, 2012. Proceedings
Yazar 
Goldberg, Paul W. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35311-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1410. 
Einführung in die Programmierung mit LOGO Lehrbuch für Unterricht und Selbststudium için kapak resmi
Einführung in die Programmierung mit LOGO Lehrbuch für Unterricht und Selbststudium
Yazar 
Hromkovic, Juraj. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-8348-2266-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1411. 
Praktische Informatik - Eine Einführung Lehr- und Arbeitsbuch mit Tafelbildern için kapak resmi
Praktische Informatik - Eine Einführung Lehr- und Arbeitsbuch mit Tafelbildern
Yazar 
Büchel, Gregor. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-8348-2283-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1412. 
Formale Grundlagen der Programmierung için kapak resmi
Formale Grundlagen der Programmierung
Yazar 
Nebel, Markus. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-8348-2296-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1413. 
Specification and Analytical Evaluation of Heterogeneous Dynamic Quorum-Based Data Replication Schemes için kapak resmi
Specification and Analytical Evaluation of Heterogeneous Dynamic Quorum-Based Data Replication Schemes
Yazar 
Storm, Christian. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-8348-2381-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1414. 
Testen von Informationssystemen Integriertes und prozessorientiertes Testen için kapak resmi
Testen von Informationssystemen Integriertes und prozessorientiertes Testen
Yazar 
Pilorget, Lionel. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-8348-8677-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1415. 
Software Language Engineering 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers için kapak resmi
Software Language Engineering 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers
Yazar 
Sloane, Anthony. editor. Aßmann, Uwe. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-28830-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1416. 
NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings için kapak resmi
NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings
Yazar 
Goodloe, Alwyn E. editor. Person, Suzette. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-28891-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç