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

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

book Dynamic Brain - from Neural Spikes to Behaviors: 12th International Summer School on Neural Networks, Erice, Italy, December 5-12, 2007, Revised Lectures

Dynamic Brain - from Neural Spikes to Behaviors: 12th International Summer School on Neural Networks, Erice, Italy, December 5-12, 2007, Revised Lectures

pdf

Author: Yoko Yamaguchi (auth.) Maria Marinaro Silvia Scarpetta Yoko Yamaguchi (eds.)
Language: English
Year: 2008

00

27.01.2024

0

0

book Electronic Dictionaries and Automata in Computational Linguistics: LITP Spring School on Theoretical Computer Science Saint-Pierre d'Oléron, France, May 25–29, 1987 Proceedings

Electronic Dictionaries and Automata in Computational Linguistics: LITP Spring School on Theoretical Computer Science Saint-Pierre d'Oléron, France, May 25–29, 1987 Proceedings

djvu

Author: Maxime Crochemore (auth.) Maurice Gross Dominique Perrin (eds.)
Language: English
Year: 1989

00

27.01.2024

1

0

book Coding Theory and Applications: Second International Castle Meeting, ICMCTA 2008, Castillo de la Mota, Medina del Campo, Spain, September 15-19, 2008. Proceedings

Coding Theory and Applications: Second International Castle Meeting, ICMCTA 2008, Castillo de la Mota, Medina del Campo, Spain, September 15-19, 2008. Proceedings

pdf

Author: Rudolf Ahlswede Faina I. Solov’eva (auth.) Ángela Barbero (eds.)
Language: English
Year: 2008

00

27.01.2024

0

0

book Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings

Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings

djvu

Author: H. Andréka B. Jónsson I. Németi (auth.) Clifford H. Bergman Roger D. Maddux Don L. Pigozzi (eds.)
Language: English
Year: 1990

00

27.01.2024

0

0

book Information Security Theory and Practice. Smart Devices, Pervasive Systems, and Ubiquitous Networks: Third IFIP WG 11.2 International Workshop, WISTP 2009, Brussels, Belgium, September 1-4, 2009, Proceedings

Information Security Theory and Practice. Smart Devices, Pervasive Systems, and Ubiquitous Networks: Third IFIP WG 11.2 International Workshop, WISTP 2009, Brussels, Belgium, September 1-4, 2009, Proceedings

pdf

Author: Olivier Heen Gilles Guette Thomas Genet (auth.) Olivier Markowitch Angelos Bilas Jaap-Henk Hoepman Chris J. Mitchell Jean-Jacques Quisquater (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book The Mathematics of Language: 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers

The Mathematics of Language: 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers

pdf

Author: Marisa Ferrara Boston John T. Hale Marco Kuhlmann (auth.) Christian Ebert Gerhard Jäger Jens Michaelis (eds.)
Language: English
Year: 2010

00

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

27.01.2024

0

0

book Algebraic Methods II: Theory, Tools and Applications

Algebraic Methods II: Theory, Tools and Applications

pdf

Author: N. W. P. van Diepen H. A. Partsch (auth.) J. A. Bergstra L. M. G. Feijs (eds.)
Language: English
Year: 1991

00

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

27.01.2024

0

0

book Rigorous Software Development: An Introduction to Program Verification

Rigorous Software Development: An Introduction to Program Verification

pdf

Author: José Bacelar Almeida Maria João Frade Jorge Sousa Pinto Simão Melo de Sousa (auth.)
Language: English
Year: 2011

00

27.01.2024

5

0