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

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

book Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings

Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings

pdf

Author: Greg Morrisett (auth.) Chris Hawblitzel Dale Miller (eds.)
Language: English
Year: 2012

00

27.01.2024

0

0

book Languages Alive: Essays Dedicated to Jürgen Dassow on the Occasion of His 65th Birthday

Languages Alive: Essays Dedicated to Jürgen Dassow on the Occasion of His 65th Birthday

pdf

Author: M. Sakthi Balan Helmut Jürgensen (auth.) Henning Bordihn Martin Kutrib Bianca Truthe (eds.)
Language: English
Year: 2012

00

27.01.2024

3

0

book Computer Algebra in Scientific Computing: 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012. Proceedings

Computer Algebra in Scientific Computing: 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012. Proceedings

pdf

Author: S. A. Abramov M. Petkovšek (auth.) Vladimir P. Gerdt Wolfram Koepf Ernst W. Mayr Evgenii V. Vorozhtsov (eds.)
Language: English
Year: 2012

00

27.01.2024

0

0

book Intelligent Computer Mathematics: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, J

Intelligent Computer Mathematics: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, J

pdf

Author: Jesse Alama Lionel Mamane Josef Urban (auth.) Johan Jeuring John A. Campbell Jacques Carette Gabriel Dos Reis Petr Sojka Makarius Wenzel Volker Sorge (eds.)
Language: English
Year: 2012

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 Functional and Constraint Logic Programming: 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings

Functional and Constraint Logic Programming: 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings

pdf

Author: Bernd Braßel Michael Hanus Björn Peemöller Fabian Reck (auth.) Herbert Kuchen (eds.)
Language: English
Year: 2011

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 Algorithmic Decision Theory: First International Conference, ADT 2009, Venice, Italy, October 20-23, 2009. Proceedings

Algorithmic Decision Theory: First International Conference, ADT 2009, Venice, Italy, October 20-23, 2009. Proceedings

pdf

Author: Gabriella Pigozzi Marija Slavkovik Leendert van der Torre (auth.) Francesca Rossi Alexis Tsoukias (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings

Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings

pdf

Author: Xavier Leroy (auth.) Franz Baader (eds.)
Language: English
Year: 2007

00

27.01.2024

0

0

book Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

pdf

Author: Robin Adams Zhaohui Luo (auth.) Thorsten Altenkirch Conor McBride (eds.)
Language: English
Year: 2007

00

27.01.2024

1

0