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

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

book Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report

Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report

djvu

Author: Bernhard Möller Helmut A. Partsch Stephen A. Schuman (auth.) Bernhard Möller Helmut Partsch Steve Schuman (eds.)
Language: English
Year: 1993

00

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

26.01.2024

7

0

book Developments in Language Theory: 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings

Developments in Language Theory: 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings

pdf

Author: Volker Diekert Manfred Kufleitner (auth.) Tero Harju Juhani Karhumäki Arto Lepistö (eds.)
Language: English
Year: 2007

00

26.01.2024

0

0

book Developments in Language Theory: 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008. Proceedings

Developments in Language Theory: 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008. Proceedings

pdf

Author: Zoltán Ésik (auth.) Masami Ito Masafumi Toyama (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0

book Computer Mathematics: 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers

Computer Mathematics: 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers

pdf

Author: Hyeong In Choi Rida T. Farouki Chang Yong Han Hwan Pyo Moon (auth.) Deepak Kapur (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0

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

26.01.2024

0

0

book Comparative Genomics: International Workshop, RECOMB-CG 2008, Paris, France, October 13-15, 2008. Proceedings

Comparative Genomics: International Workshop, RECOMB-CG 2008, Paris, France, October 13-15, 2008. Proceedings

pdf

Author: Jean-Philippe Doyon Cedric Chauve Sylvie Hamel (auth.) Craig E. Nelson Stéphane Vialette (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0

book Computational Neuroscience: Cortical Dynamics: 8th International Summer School on Neural Nets, Erice, Italy, October 31-November 6, 2003, Revised Lectures

Computational Neuroscience: Cortical Dynamics: 8th International Summer School on Neural Nets, Erice, Italy, October 31-November 6, 2003, Revised Lectures

pdf

Author: Bruce P. Graham (auth.) Péter Érdi Anna Esposito Maria Marinaro Silvia Scarpetta (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Computational Processing of the Portuguese Language: 8th International Conference, PROPOR 2008 Aveiro, Portugal, September 8-10, 2008 Proceedings

Computational Processing of the Portuguese Language: 8th International Conference, PROPOR 2008 Aveiro, Portugal, September 8-10, 2008 Proceedings

pdf

Author: Carla Lopes Fernando Perdigão (auth.) António Teixeira Vera Lúcia Strube de Lima Luís Caldas de Oliveira Paulo Quaresma (eds.)
Language: English
Year: 2008

00

26.01.2024

1

0

book Computer Algebra in Scientific Computing: 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007. Proceedings

Computer Algebra in Scientific Computing: 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007. Proceedings

pdf

Author: S. A. Abramov M. Petkovšek (auth.) Victor G. Ganzha Ernst W. Mayr Evgenii V. Vorozhtsov (eds.)
Language: English
Year: 2007

00

26.01.2024

0

0