Тема, жанр, tags: Symbolic and Algebraic Manipulation » Page 49 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Symbolic and Algebraic Manipulation » Page 49

book Comparative Genomics: International Workshop, RECOMB-CG 2009, Budapest, Hungary, September 27-29, 2009. Proceedings

Comparative Genomics: International Workshop, RECOMB-CG 2009, Budapest, Hungary, September 27-29, 2009. Proceedings

pdf

Author: Eric Tannier (auth.) Francesca D. Ciccarelli István Miklós (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book WALCOM: Algorithms and Computation: 4th International Workshop, WALCOM 2010, Dhaka, Bangladesh, February 10-12, 2010. Proceedings

WALCOM: Algorithms and Computation: 4th International Workshop, WALCOM 2010, Dhaka, Bangladesh, February 10-12, 2010. Proceedings

pdf

Author: Jacob Fox Fabrizio Frati János Pach Rom Pinchasi (auth.) Md. Saidur Rahman Satoshi Fujita (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Selected Areas in Cryptography: 16th Annual International Workshop, SAC 2009, Calgary, Alberta, Canada, August 13-14, 2009, Revised Selected Papers

Selected Areas in Cryptography: 16th Annual International Workshop, SAC 2009, Calgary, Alberta, Canada, August 13-14, 2009, Revised Selected Papers

pdf

Author: Sebastiaan Indesteege Florian Mendel Bart Preneel Martin Schläffer (auth.) Michael J. Jacobson Jr. Vincent Rijmen Reihaneh Safavi-Naini (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book Logic, Language and Meaning: 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers

Logic, Language and Meaning: 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers

pdf

Author: Petra Hendriks (auth.) Maria Aloni Harald Bastiaanse Tikitu de Jager Katrin Schulz (eds.)
Language: English
Year: 2010

00

27.01.2024

1

0

book Computer Algebra in Scientific Computing: 11th International Workshop, CASC 2009, Kobe, Japan, September 13-17, 2009. Proceedings

Computer Algebra in Scientific Computing: 11th International Workshop, CASC 2009, Kobe, Japan, September 13-17, 2009. Proceedings

pdf

Author: S. A. Abramov M. A. Barkatou D. E. Khmelnov (auth.) Vladimir P. Gerdt Ernst W. Mayr Evgenii V. Vorozhtsov (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book Selected Areas in Cryptography: 15th International Workshop, SAC 2008, Sackville, New Brunswick, Canada, August 14-15, Revised Selected Papers

Selected Areas in Cryptography: 15th International Workshop, SAC 2008, Sackville, New Brunswick, Canada, August 14-15, Revised Selected Papers

pdf

Author: Peter Birkner Nicolas Thériault (auth.) Roberto Maria Avanzi Liam Keliher Francesco Sica (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book Graph Drawing: 19th International Symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011, Revised Selected Papers

Graph Drawing: 19th International Symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011, Revised Selected Papers

pdf

Author: Peter Eades Seok-Hee Hong Kazuo Misue (auth.) Marc van Kreveld Bettina Speckmann (eds.)
Language: English
Year: 2012

00

27.01.2024

0

0

book Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

pdf

Author: Alexandre Miquel (auth.) Luke Ong (eds.)
Language: English
Year: 2011

00

27.01.2024

1

0

book Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings

Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings

pdf

Author: Nikolaj Bjørner (auth.) Jean-Pierre Jouannaud Zhong Shao (eds.)
Language: English
Year: 2011

00

27.01.2024

0

0

book Combinatorial Algorithms: 22nd International Workshop, IWOCA 2011, Victoria, BC, Canada, July 20-22, 2011, Revised Selected Papers

Combinatorial Algorithms: 22nd International Workshop, IWOCA 2011, Victoria, BC, Canada, July 20-22, 2011, Revised Selected Papers

pdf

Author: Julio Araujo Jean-Claude Bermond Frédéric Giroire (auth.) Costas S. Iliopoulos William F. Smyth (eds.)
Language: English
Year: 2011

00

27.01.2024

0

0