Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(2560)
Kim, Tai-hoon. editor.
(35)
Gervasi, Osvaldo. editor.
(27)
Apduhan, Bernady O. editor.
(25)
Yung, Moti. editor.
(25)
Dil
Yayın Yılı
-
Konu
Computer software.
(2189)
Computer science.
(2063)
Artificial intelligence.
(999)
Computer Communication Networks.
(938)
Software engineering.
(670)
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ç
3211 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1117. 
Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday için kapak resmi
Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
Yazar 
Constable, Robert L. editor. Silva, Alexandra. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-29485-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1118. 
Mobile and Ubiquitous Systems: Computing, Networking, and Services 7th International ICST Conference, MobiQuitous 2010, Sydeny, Australia, December 6-9, 2010, Revised Selected Papers için kapak resmi
Mobile and Ubiquitous Systems: Computing, Networking, and Services 7th International ICST Conference, MobiQuitous 2010, Sydeny, Australia, December 6-9, 2010, Revised Selected Papers
Yazar 
Sénac, Patrick. editor. Ott, Max. editor. Seneviratne, Aruna. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-29154-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1119. 
Wireless Communications and Applications First International Conference, ICWCA 2011, Sanya, China, August 1-3, 2011, Revised Selected Papers için kapak resmi
Wireless Communications and Applications First International Conference, ICWCA 2011, Sanya, China, August 1-3, 2011, Revised Selected Papers
Yazar 
Sénac, Patrick. editor. Ott, Max. editor. Seneviratne, Aruna. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-29157-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1120. 
Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised Selected Papers için kapak resmi
Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised Selected Papers
Yazar 
Lirkov, Ivan. editor. Margenov, Svetozar. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-29843-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1121. 
Runtime Verification Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers için kapak resmi
Runtime Verification Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers
Yazar 
Khurshid, Sarfraz. editor. Sen, Koushik. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-29860-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1122. 
Recent Advances in Reinforcement Learning 9th European Workshop, EWRL 2011, Athens, Greece, September 9-11, 2011, Revised Selected Papers için kapak resmi
Recent Advances in Reinforcement Learning 9th European Workshop, EWRL 2011, Athens, Greece, September 9-11, 2011, Revised Selected Papers
Yazar 
Sanner, Scott. editor. Hutter, Marcus. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-29946-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1123. 
Theory and Applications of Models of Computation 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings için kapak resmi
Theory and Applications of Models of Computation 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings
Yazar 
Agrawal, Manindra. editor. Cooper, S. Barry. editor. Li, Angsheng. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-29952-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1124. 
Research in Computational Molecular Biology 16th Annual International Conference, RECOMB 2012, Barcelona, Spain, April 21-24, 2012. Proceedings için kapak resmi
Research in Computational Molecular Biology 16th Annual International Conference, RECOMB 2012, Barcelona, Spain, April 21-24, 2012. Proceedings
Yazar 
Chor, Benny. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-29627-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1125. 
Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Joint International Conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012. Proceedings için kapak resmi
Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Joint International Conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012. Proceedings
Yazar 
Snoeyink, Jack. editor. Lu, Pinyan. editor. Su, Kaile. editor. Wang, Lusheng. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-29700-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1126. 
Perspectives of Systems Informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers için kapak resmi
Perspectives of Systems Informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers
Yazar 
Clarke, Edmund. editor. Virbitskaite, Irina. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-29709-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1127. 
Recent Advances in Algorithmic Differentiation için kapak resmi
Recent Advances in Algorithmic Differentiation
Yazar 
Forth, Shaun. editor. Hovland, Paul. editor. Phipps, Eric. editor. Utke, Jean. editor. Walther, Andrea. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-30023-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1128. 
NETWORKING 2012 Workshops International IFIP TC 6 Workshops, ETICS, HetsNets, and CompNets, Held at NETWORKING 2012, Prague, Czech Republic, May 25, 2012. Proceedings için kapak resmi
NETWORKING 2012 Workshops International IFIP TC 6 Workshops, ETICS, HetsNets, and CompNets, Held at NETWORKING 2012, Prague, Czech Republic, May 25, 2012. Proceedings
Yazar 
Becvar, Zdenek. editor. Bestak, Robert. editor. Kencl, Lukas. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-30039-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç