Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(153)
Arns, Laura. editor.
(2)
Bebis, George. editor.
(2)
Blum, Christian. editor.
(2)
Boyle, Richard. editor.
(2)
Dil
Konu
Computer software.
(151)
Computer science.
(149)
Computational complexity.
(52)
Computer Communication Networks.
(44)
Artificial intelligence.
(41)
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ç
184 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
37. 
Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
Yazar 
Ramakrishnan, C. R. editor. Rehof, Jakob. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-78800-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
38. 
Large-Scale Scientific Computing 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers için kapak resmi
Large-Scale Scientific Computing 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised 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-540-78827-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
39. 
Research in Computational Molecular Biology 12th Annual International Conference, RECOMB 2008, Singapore, March 30 - April 2, 2008. Proceedings için kapak resmi
Research in Computational Molecular Biology 12th Annual International Conference, RECOMB 2008, Singapore, March 30 - April 2, 2008. Proceedings
Yazar 
Vingron, Martin. editor. Wong, Limsoon. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-78839-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
40. 
Advances in Cryptology – EUROCRYPT 2008 27th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Istanbul, Turkey, April 13-17, 2008. Proceedings için kapak resmi
Advances in Cryptology – EUROCRYPT 2008 27th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Istanbul, Turkey, April 13-17, 2008. Proceedings
Yazar 
Smart, Nigel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-78967-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
41. 
Discrete Geometry for Computer Imagery 14th IAPR International Conference, DGCI 2008, Lyon, France, April 16-18, 2008. Proceedings için kapak resmi
Discrete Geometry for Computer Imagery 14th IAPR International Conference, DGCI 2008, Lyon, France, April 16-18, 2008. Proceedings
Yazar 
Coeurjolly, David. editor. Sivignon, Isabelle. editor. Tougne, Laure. editor. Dupont, Florent. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-79126-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
42. 
Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedings için kapak resmi
Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedings
Yazar 
Agrawal, Manindra. editor. Du, Dingzhu. editor. Duan, Zhenhua. editor. Li, Angsheng. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-79228-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
43. 
Algorithmic Number Theory 8th International Symposium, ANTS-VIII Banff, Canada, May 17-22, 2008 Proceedings için kapak resmi
Algorithmic Number Theory 8th International Symposium, ANTS-VIII Banff, Canada, May 17-22, 2008 Proceedings
Yazar 
Poorten, Alfred J. editor. Stein, Andreas. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-79456-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
44. 
Information Security and Cryptology Third SKLOIS Conference, Inscrypt 2007, Xining, China, August 31 - September 5, 2007, Revised Selected Papers için kapak resmi
Information Security and Cryptology Third SKLOIS Conference, Inscrypt 2007, Xining, China, August 31 - September 5, 2007, Revised Selected Papers
Yazar 
Pei, Dingyi. editor. Yung, Moti. editor. Lin, Dongdai. editor. Wu, Chuankun. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-79499-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
45. 
OpenMP in a New Era of Parallelism 4th International Workshop, IWOMP 2008 West Lafayette, IN, USA, May 12-14, 2008 Proceedings için kapak resmi
OpenMP in a New Era of Parallelism 4th International Workshop, IWOMP 2008 West Lafayette, IN, USA, May 12-14, 2008 Proceedings
Yazar 
Eigenmann, Rudolf. editor. Supinski, Bronis R. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-79561-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
46. 
Computer Science – Theory and Applications Third International Computer Science Symposium in Russia, CSR 2008 Moscow, Russia, June 7-12, 2008 Proceedings için kapak resmi
Computer Science – Theory and Applications Third International Computer Science Symposium in Russia, CSR 2008 Moscow, Russia, June 7-12, 2008 Proceedings
Yazar 
Hirsch, Edward A. editor. Razborov, Alexander A. editor. Semenov, Alexei. editor. Slissenko, Anatol. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-79709-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
47. 
Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings için kapak resmi
Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
Yazar 
Kleine Büning, Hans. editor. Zhao, Xishun. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-79719-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
48. 
Parameterized and Exact Computation Third International Workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008. Proceedings için kapak resmi
Parameterized and Exact Computation Third International Workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008. Proceedings
Yazar 
Grohe, Martin. editor. Niedermeier, Rolf. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-79723-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç