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

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

book Logic, Language, Information and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings

Logic, Language, Information and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings

pdf

Author: Rajeev Alur (auth.) Lev D. Beklemishev Ruy de Queiroz (eds.)
Language: English
Year: 2011

00

27.01.2024

0

0

book Algorithmic Number Theory: 9th International Symposium, ANTS-IX, Nancy, France, July 19-23, 2010. Proceedings

Algorithmic Number Theory: 9th International Symposium, ANTS-IX, Nancy, France, July 19-23, 2010. Proceedings

pdf

Author: Henri Darmon (auth.) Guillaume Hanrot François Morain Emmanuel Thomé (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Formal Grammar: 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers

Formal Grammar: 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers

pdf

Author: Tamar Aizikowitz Michael Kaminski (auth.) Philippe de Groote Markus Egg Laura Kallmeyer (eds.)
Language: English
Year: 2011

00

27.01.2024

0

0

book Cut Elimination in Categories

Cut Elimination in Categories

pdf

Author: Kosta Došen
Language: English
Year: 1999

00

27.01.2024

0

0

book Recent Advances in Constraints: 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers

Recent Advances in Constraints: 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers

pdf

Author: Stefano Bistarelli Daniele Pirolandi Francesco Santini (auth.) Javier Larrosa Barry O’Sullivan (eds.)
Language: English
Year: 2011

00

27.01.2024

1

0

book Combinatorial Algorithms: 21st International Workshop, IWOCA 2010, London, UK, July 26-28, 2010, Revised Selected Papers

Combinatorial Algorithms: 21st International Workshop, IWOCA 2010, London, UK, July 26-28, 2010, Revised Selected Papers

pdf

Author: Konrad Dabrowski Vadim Lozin Haiko Müller Dieter Rautenbach (auth.) Costas S. Iliopoulos William F. Smyth (eds.)
Language: English
Year: 2011

00

27.01.2024

0

0

book Combinatorial Algorithms: 21st International Workshop, IWOCA 2010, London, UK, July 26-28, 2010, Revised Selected Papers

Combinatorial Algorithms: 21st International Workshop, IWOCA 2010, London, UK, July 26-28, 2010, Revised Selected Papers

pdf

Author: Konrad Dabrowski Vadim Lozin Haiko Müller Dieter Rautenbach (auth.) Costas S. Iliopoulos William F. Smyth (eds.)
Language: English
Year: 2011

00

27.01.2024

0

0

book Approximate commutative algebra

Approximate commutative algebra

pdf

Author: Martin Kreuzer Hennie Poulisse Lorenzo Robbiano (auth.) Lorenzo Robbiano John Abbott (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Provable Security: Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings

Provable Security: Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings

pdf

Author: Huawei Huang Bo Yang Shenglin Zhu Guozhen Xiao (auth.) Joonsang Baek Feng Bao Kefei Chen Xuejia Lai (eds.)
Language: English
Year: 2008

00

27.01.2024

2

0

book Language and Automata Theory and Applications: Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings

Language and Automata Theory and Applications: Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings

pdf

Author: Frank J. Balbach Thomas Zeugmann (auth.) Adrian Horia Dediu Armand Mihai Ionescu Carlos Martín-Vide (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0