- 2 402 202 книги
#1
Towards Trustworthy Elections: New Directions in Electronic Voting (LNCS 6000)
David Chaum, Markus Jakobsson, Ronald L. Rivest, Peter Y. A. Ryan, Josh Benaloh, Miroslaw Kutylowski, Ben AdidaКатегория: Техника, Электроника
4.45 Mb
#2
Measurement, Modelling, and Evaluation and Dependability in Fault Tolerance (LNCS 5987)
Echtle
5.82 Mb
#3
Advances in Knowledge Discovery and Data Mining, Part I (LNCS LNAI 6118)
Mohammed J. Zaki, Jeffrey Xu Yu, B. Ravindran, Vikram Pudi
10.62 Mb
#4
Modelling Foundations and Applications (LNCS 6138)
Thomas Kühne, Bran V. Selic, Marie-Pierre Gervais, Francois Terrier
8.69 Mb
#5
Coordination Models and Languages (LNCS 6116), 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings
Dave Clarke, Gul Agha
3.40 Mb
#6
Advances in Geometric Modeling and Processing - 6th International Conference, GMP 2010, Castro Urdiales, Spain, June 16-18, 2010, Proceedings (LNCS 6130)
Bernard Mourrain, Scott Schaefer, Guoliang Xu
8.31 Mb
#7
Advances in Multidisciplinary Retrieval (LNCS 6107)
Hamish Cunningham, Allan Hanbury, Stefan Rüger
2.94 Mb
#8
Architecting Critical Systems (LNCS 6150), First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings
Holger Giese
5.86 Mb
#9
Advances in Knowledge Discovery and Data Mining, Part II (LNCS LNAI 6119)
Mohammed J. Zaki, Jeffrey Xu Yu, B. Ravindran, Vikram Pudi
9.65 Mb
#10
Algorithmic Game Theory: 4th International Symposium, SAGT 2011, Amalfi, Italy, October 17-19, 2011. Proceedings (Lecture Notes in Computer Science LNCS 6982)
Giuseppe Persiano
3.95 Mb
#12
Trends in computer algebra. Proc. Neuenahr 1987 (selected papers)(LNCS 296)
R. JanssenКатегория: Papers, Computer algebra
916 Kb
#13
Trends in computer algebra. Proc. Neuenahr 1987 (selected papers)(LNCS 296).txt
Janssen R. (ed.)Категория: Papers, Computer algebra
65 Kb
#19
Architecting Dependable Systems II LNCS 3069
Rogério de Lemos, Cristina Gacek, Alexander RomanovskyКатегория: Electronical-Computer-Mechanical
21.26 Mb
#21
Collins. Quantifier elimination for real closed fields by CAD (LNCS 33, p. 134, 1975)(L)(T)(25s).djvu
425 Kb
#22
van Hulzen J.A. (ed.) Computer algebra (Proc. EUROCAM-83, LNCS 162, Springer, 1983)(T)(317s).djvu
2.31 Mb
#24
Calmet J. (ed.) Computer algebra (Proc. EUROCAM-82, LNCS 144, Springer, 1982)(T)(311s).djvu
2.45 Mb
#26
Janssen R. (ed.) Trends in computer algebra. Proc. Neuenahr 1987 (selected papers)(LNCS 296)(L)(T)(48s).djvu
916 Kb
#27
Bronstein. Fast reduction of the Risch differential equation (ISSAC88, LNCS 358)(L)(T)(5s).djvu
121 Kb
#28
Bronstein. Algorithm for integration of elementary functions (Eurocal87, LNCS 378)(L)(T)(4s).djvu
137 Kb
#31
Griffin L.D., et al. (eds.) Scale-Space Methods in Computer Vision (LNCS 2695, Springer,2003)(ISBN 354040368X)(T)(828s)_MNw_.djvu
8.14 Mb
#32
Gerhard J. Modular algorithms in symbolic summation and symbolic integration (LNCS 3218, Springer, 2004)(231s).pdf
1.38 Mb
#33
Nikoletseas S.E. (ed.) Experimental and efficient algorithms (LNCS 3503, Springer, 2005)(636s)_CsAl_.pdf
9.89 Mb
#34
Collins. Quantifier elimination for real closed fields by CAD (LNCS 33, p. 134, 1975)(25s).djvu
411 Kb
#37
Janssen R. (ed.) Trends in computer algebra. Proc. Neuenahr 1987 (selected papers)(LNCS 296)(48s).djvu
896 Kb
#38
Bronstein. Fast reduction of the Risch differential equation (ISSAC88, LNCS 358)(5s).djvu
119 Kb