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

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

book Pairing-Based Cryptography – Pairing 2008: Second International Conference, Egham, UK, September 1-3, 2008. Proceedings

Pairing-Based Cryptography – Pairing 2008: Second International Conference, Egham, UK, September 1-3, 2008. Proceedings

pdf

Author: Liqun Chen Paul Morrissey Nigel P. Smart (auth.) Steven D. Galbraith Kenneth G. Paterson (eds.)
Language: English
Year: 2008

00

27.01.2024

1

0

book Intelligent Computer Mathematics: 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings

Intelligent Computer Mathematics: 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings

pdf

Author: Steve Linton (auth.) Serge Autexier John Campbell Julio Rubio Volker Sorge Masakazu Suzuki Freek Wiedijk (eds.)
Language: English
Year: 2008

00

27.01.2024

1

0

book Computational Processing of the Portuguese Language: 8th International Conference, PROPOR 2008 Aveiro, Portugal, September 8-10, 2008 Proceedings

Computational Processing of the Portuguese Language: 8th International Conference, PROPOR 2008 Aveiro, Portugal, September 8-10, 2008 Proceedings

pdf

Author: Carla Lopes Fernando Perdigão (auth.) António Teixeira Vera Lúcia Strube de Lima Luís Caldas de Oliveira Paulo Quaresma (eds.)
Language: English
Year: 2008

00

27.01.2024

1

0

book Algorithmic Number Theory: 8th International Symposium, ANTS-VIII Banff, Canada, May 17-22, 2008 Proceedings

Algorithmic Number Theory: 8th International Symposium, ANTS-VIII Banff, Canada, May 17-22, 2008 Proceedings

pdf

Author: Ernie Croot Andrew Granville Robin Pemantle Prasad Tetali (auth.) Alfred J. van der Poorten Andreas Stein (eds.)
Language: English
Year: 2008

00

27.01.2024

0

0

book Max-Plus Linear Stochastic Systems and Perturbation Analysis

Max-Plus Linear Stochastic Systems and Perturbation Analysis

pdf

Author: Bernd Heidergott (eds.)
Language: English
Year: 2007

00

27.01.2024

1

0

book Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

pdf

Author: Robin Adams (auth.) Jean-Christophe Filliâtre Christine Paulin-Mohring Benjamin Werner (eds.)
Language: English
Year: 2006

00

27.01.2024

1

0

book Artificial Intelligence and Symbolic Computation: 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings

Artificial Intelligence and Symbolic Computation: 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings

pdf

Author: Arjeh M. Cohen (auth.) Jacques Calmet Tetsuo Ida Dongming Wang (eds.)
Language: English
Year: 2006

00

27.01.2024

5

0

book Fundamentals of Algebraic Graph Transformation

Fundamentals of Algebraic Graph Transformation

pdf

Author: Prof. Dr. Hartmut Ehrig Dr. Karsten Ehrig Ulrike Prange Dr. Gabriele Taentzer (auth.)
Language: English
Year: 2006

00

27.01.2024

2

0

book Relational Methods in Computer Science: 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26,

Relational Methods in Computer Science: 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26,

pdf

Author: Georgi Dimov Dimiter Vakarelov (auth.) Wendy MacCaull Michael Winter Ivo Düntsch (eds.)
Language: English
Year: 2006

00

27.01.2024

1

0

book Theory and Applications of Relational Structures as Knowledge Instruments II: International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers

Theory and Applications of Relational Structures as Knowledge Instruments II: International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers

pdf

Author: Agnieszka Rusinowska Rudolf Berghammer (auth.) Harrie de Swart Ewa Orłowska Gunther Schmidt Marc Roubens (eds.)
Language: English
Year: 2006

00

27.01.2024

1

0