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

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

book Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

pdf

Author: Rocco De Nicola Pierpaolo Degano José Meseguer (auth.) Pierpaolo Degano Rocco De Nicola José Meseguer (eds.)
Language: English
Year: 2008

00

06.02.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

06.02.2024

0

0

book Fast Software Encryption: 16th International Workshop, FSE 2009 Leuven, Belgium, February 22-25, 2009 Revised Selected Papers

Fast Software Encryption: 16th International Workshop, FSE 2009 Leuven, Belgium, February 22-25, 2009 Revised Selected Papers

pdf

Author: Jean-Philippe Aumasson Itai Dinur Willi Meier Adi Shamir (auth.) Orr Dunkelman (eds.)
Language: English
Year: 2009

00

06.02.2024

0

0

book Computational Commutative Algebra 1

Computational Commutative Algebra 1

pdf

Author: Martin Kreuzer Lorenzo Robbiano (auth.)
Language: English
Year: 2000

00

06.02.2024

0

0

book Arithmetic of Finite Fields: Third International Workshop, WAIFI 2010, Istanbul, Turkey, June 27-30, 2010. Proceedings

Arithmetic of Finite Fields: Third International Workshop, WAIFI 2010, Istanbul, Turkey, June 27-30, 2010. Proceedings

pdf

Author: Henning Stichtenoth (auth.) M. Anwar Hasan Tor Helleseth (eds.)
Language: English
Year: 2010

00

06.02.2024

0

0

book Cryptology and Network Security: 9th International Conference, CANS 2010, Kuala Lumpur, Malaysia, December 12-14, 2010. Proceedings

Cryptology and Network Security: 9th International Conference, CANS 2010, Kuala Lumpur, Malaysia, December 12-14, 2010. Proceedings

pdf

Author: Asli Bay Jorge Nakahara Jr. Serge Vaudenay (auth.) Swee-Huay Heng Rebecca N. Wright Bok-Min Goi (eds.)
Language: English
Year: 2010

00

06.02.2024

0

0

book Algebraic and Numeric Biology: 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers

Algebraic and Numeric Biology: 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers

pdf

Author: Murad Banaji (auth.) Katsuhisa Horimoto Masahiko Nakatsui Nikolaj Popov (eds.)
Language: English
Year: 2012

00

06.02.2024

0

0

book Fuzzy Computational Ontologies in Contexts: Formal Models of Knowledge Representation with Membership Degree and Typicality of Objects, and Their Applications

Fuzzy Computational Ontologies in Contexts: Formal Models of Knowledge Representation with Membership Degree and Typicality of Objects, and Their Applications

pdf

Author: Dr. Yi Cai Dr. Ching-man Au Yeung Prof. Ho-fung Leung (auth.)
Language: English
Year: 2012

00

06.02.2024

0

0

book Algebraic Informatics: 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings

Algebraic Informatics: 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings

pdf

Author: Aart Middeldorp Georg Moser Friedrich Neurauter Johannes Waldmann Harald Zankl (auth.) Franz Winkler (eds.)
Language: English
Year: 2011

00

06.02.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

06.02.2024

0

0