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

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

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 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 Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

pdf

Author: Jens Palsberg (auth.) Jens Palsberg (eds.)
Language: English
Year: 2009

00

27.01.2024

2

0

book Reasoning Web. Semantic Technologies for Information Systems: 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures

Reasoning Web. Semantic Technologies for Information Systems: 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures

pdf

Author: Franz Baader (auth.) Sergio Tessaris Enrico Franconi Thomas Eiter Claudio Gutierrez Siegfried Handschuh Marie-Christine Rousset Renate A. Schmidt (eds.)
Language: English
Year: 2009

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

0

0

book Relational and Algebraic Methods in Computer Science: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings

Relational and Algebraic Methods in Computer Science: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings

pdf

Author: Bernhard Möller (auth.) Harrie de Swart (eds.)
Language: English
Year: 2011

00

27.01.2024

1

0

book Relations and Kleene Algebra in Computer Science: 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceed

Relations and Kleene Algebra in Computer Science: 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceed

pdf

Author: Rohit Parikh (auth.) Rudolf Berghammer Ali Mohamed Jaoua Bernhard Möller (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book Provable Security: Third International Conference, ProvSec 2009, Guangzhou, China, November 11-13, 2009. Proceedings

Provable Security: Third International Conference, ProvSec 2009, Guangzhou, China, November 11-13, 2009. Proceedings

pdf

Author: Alexander W. Dent (auth.) Josef Pieprzyk Fangguo Zhang (eds.)
Language: English
Year: 2009

00

27.01.2024

1

0

book Principles of Distributed Systems: 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings

Principles of Distributed Systems: 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings

pdf

Author: Nao Fujinaga Hirotaka Ono Shuji Kijima Masafumi Yamashita (auth.) Chenyang Lu Toshimitsu Masuzawa Mohamed Mosbah (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Pairing-Based Cryptography – Pairing 2009: Third International Conference Palo Alto, CA, USA, August 12-14, 2009 Proceedings

Pairing-Based Cryptography – Pairing 2009: Third International Conference Palo Alto, CA, USA, August 12-14, 2009 Proceedings

pdf

Author: David Jao Kayo Yoshida (auth.) Hovav Shacham Brent Waters (eds.)
Language: English
Year: 2009

00

27.01.2024

1

0