Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(188)
Mayr, Ernst W. editor.
(8)
Vorozhtsov, Evgenii V. editor.
(8)
Gerdt, Vladimir P. editor.
(5)
Koepf, Wolfram. editor.
(4)
Dil
Yayın Yılı
-
2009
(37)
2008
(26)
2011
(26)
2012
(20)
2013
(18)
Konu
Algebra -- Data processing.
(188)
Computational complexity.
(89)
Computer software.
(74)
Logic design.
(65)
Artificial intelligence.
(52)
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ç
188 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
25. 
Formal Grammar 15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011, Revised Selected Papers için kapak resmi
Formal Grammar 15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011, Revised Selected Papers
Yazar 
Groote, Philippe. editor. Nederhof, Mark-Jan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-32024-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Computational Methods in Systems Biology 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings için kapak resmi
Computational Methods in Systems Biology 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings
Yazar 
Gilbert, David. editor. Heiner, Monika. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-33636-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Sets, Logic and Maths for Computing için kapak resmi
Sets, Logic and Maths for Computing
Yazar 
Makinson, David. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-2500-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Guide to Computational Geometry Processing Foundations, Algorithms, and Methods için kapak resmi
Guide to Computational Geometry Processing Foundations, Algorithms, and Methods
Yazar 
Bærentzen, Jakob Andreas. author. Gravesen, Jens. author. Anton, François. author. Aanæs, Henrik. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-4075-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Graph Drawing 19th International Symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011, Revised Selected Papers için kapak resmi
Graph Drawing 19th International Symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011, Revised Selected Papers
Yazar 
Kreveld, Marc. editor. Speckmann, Bettina. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-25878-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Algebraic and Numeric Biology 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers için kapak resmi
Algebraic and Numeric Biology 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers
Yazar 
Horimoto, Katsuhisa. editor. Nakatsui, Masahiko. editor. Popov, Nikolaj. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-28067-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Logic, Language, Information and Computation 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings için kapak resmi
Logic, Language, Information and Computation 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings
Yazar 
Ong, Luke. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-32621-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Computer Algebra in Scientific Computing 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012. Proceedings için kapak resmi
Computer Algebra in Scientific Computing 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012. Proceedings
Yazar 
Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-32973-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings için kapak resmi
Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings
Yazar 
Kahl, Wolfram. editor. Griffin, Timothy G. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-33314-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Research in Cryptology 4th Western European Workshop, WEWoRC 2011, Weimar, Germany, July 20-22, 2011, Revised Selected Papers için kapak resmi
Research in Cryptology 4th Western European Workshop, WEWoRC 2011, Weimar, Germany, July 20-22, 2011, Revised Selected Papers
Yazar 
Armknecht, Frederik. editor. Lucks, Stefan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-34159-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
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:
36. 
Principles of Distributed Systems 16th International Conference, OPODIS 2012, Rome, Italy, December 18-20, 2012. Proceedings için kapak resmi
Principles of Distributed Systems 16th International Conference, OPODIS 2012, Rome, Italy, December 18-20, 2012. Proceedings
Yazar 
Baldoni, Roberto. editor. Flocchini, Paola. editor. Binoy, Ravindran. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35476-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç