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

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

book Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings

Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings

pdf

Author: Nikolaj Bjørner Leonardo de Moura (auth.) Joël Ouaknine Frits W. Vaandrager (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book Cryptography and Coding: 12th IMA International Conference, Cryptography and Coding 2009, Cirencester, UK, December 15-17, 2009. Proceedings

Cryptography and Coding: 12th IMA International Conference, Cryptography and Coding 2009, Cirencester, UK, December 15-17, 2009. Proceedings

pdf

Author: Azadeh Khaleghi Danilo Silva Frank R. Kschischang (auth.) Matthew G. Parker (eds.)
Language: English
Year: 2009

00

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

27.01.2024

0

0

book Cryptographic Hardware and Embedded Systems - CHES 2009: 11th International Workshop Lausanne, Switzerland, September 6-9, 2009 Proceedings

Cryptographic Hardware and Embedded Systems - CHES 2009: 11th International Workshop Lausanne, Switzerland, September 6-9, 2009 Proceedings

pdf

Author: Emilia Käsper Peter Schwabe (auth.) Christophe Clavier Kris Gaj (eds.)
Language: English
Year: 2009

00

27.01.2024

2

0

book Computer Science Logic: 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings

Computer Science Logic: 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings

pdf

Author: Mikołaj Bojańczyk (auth.) Erich Grädel Reinhard Kahle (eds.)
Language: English
Year: 2009

00

27.01.2024

2

0

book Computer Algebra in Scientific Computing: 12th International Workshop, CASC 2010, Tsakhkadzor, Armenia, September 6-12, 2010. Proceedings

Computer Algebra in Scientific Computing: 12th International Workshop, CASC 2010, Tsakhkadzor, Armenia, September 6-12, 2010. Proceedings

pdf

Author: Sergey Abrahamyan (auth.) Vladimir P. Gerdt Wolfram Koepf Ernst W. Mayr Evgenii V. Vorozhtsov (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Computer Algebra in Scientific Computing: 13th International Workshop, CASC 2011, Kassel, Germany, September 5-9, 2011. Proceedings

Computer Algebra in Scientific Computing: 13th International Workshop, CASC 2011, Kassel, Germany, September 5-9, 2011. Proceedings

pdf

Author: Sergey Abrahamyan Melsik Kyureghyan (auth.) Vladimir P. Gerdt Wolfram Koepf Ernst W. Mayr Evgenii V. Vorozhtsov (eds.)
Language: English
Year: 2011

00

27.01.2024

0

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 Computer Algebra in Scientific Computing: 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005. Proceedings

Computer Algebra in Scientific Computing: 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005. Proceedings

pdf

Author: S. A. Abramov M. Bronstein D. E. Khmelnov (auth.) Victor G. Ganzha Ernst W. Mayr Evgenii V. Vorozhtsov (eds.)
Language: English
Year: 2005

00

27.01.2024

1

0

book Computer Algebra in Scientific Computing: 11th International Workshop, CASC 2009, Kobe, Japan, September 13-17, 2009. Proceedings

Computer Algebra in Scientific Computing: 11th International Workshop, CASC 2009, Kobe, Japan, September 13-17, 2009. Proceedings

pdf

Author: S. A. Abramov M. A. Barkatou D. E. Khmelnov (auth.) Vladimir P. Gerdt Ernst W. Mayr Evgenii V. Vorozhtsov (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0