Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009:

Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009

Patricia M. Hill, David S. Warren “Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)”

Springer | English | 2009-07-01 | ISBN: 3642028454 | 564 pages | PDF | 6,2 MB

to download follow the link below:

http://rapidshare.com/files/260469811/Logic_Program.rar

Read more...

Algorithmic Number Theory: 6th International Symposium ANTS-VI, Burlington, VT, USA, June 13-18, 2004, Proceedings:

Algorithmic Number Theory: 6th International Symposium ANTS-VI, Burlington, VT, USA, June 13-18, 2004, Proceedings

Product Description

This book constitutes the refereed proceedings of the 6th International Algorithmic Number Theory Symposium, ANTS 2004, held in Burlington, VT, USA, in June 2004.

The 30 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion in the book. Among the topics addressed are zeta functions, elliptic curves, hyperelliptic curves, GCD algorithms, number field computations, complexity, primality testing, Weil and Tate pairings, cryptographic algorithms, function field sieve, algebraic function field mapping, quartic fields, cubic number fields, lattices, discrete logarithms, and public key cryptosystems.

to download follow the link below:

http://rapidshare.com/files/255910566/Algorithmic_number_theory.zip

Read more...