The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Symbolic and Algebraic Manipulation » Page 51
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
0
0
27.01.2024
0
0
Read online
Algebraic Foundations in Computer Science: Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement
pdf
Author:
Frank Drewes (auth.) Werner Kuich George Rahonis (eds.)
Language:
English
Year:
2011
0
0
27.01.2024
0
0
Read online
Mathematica®: A Problem-Centered Approach
pdf
Author:
Roozbeh Hazrat (auth.)
Language:
English
Year:
2010
0
0
27.01.2024
2
0
Read online
Logic and Games on Automatic Structures: Playing with Quantifiers and Decompositions
pdf
Author:
Łukasz Kaiser (auth.)
Language:
English
Year:
2011
0
0
27.01.2024
1
0
Read online
Combinatorial Algorithms: 21st International Workshop, IWOCA 2010, London, UK, July 26-28, 2010, Revised Selected Papers
pdf
Author:
Konrad Dabrowski Vadim Lozin Haiko Müller Dieter Rautenbach (auth.) Costas S. Iliopoulos William F. Smyth (eds.)
Language:
English
Year:
2011
0
0
27.01.2024
1
0
Read online
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
0
0
27.01.2024
0
0
Read online
Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3 Steyr, Austria, September 23–25, 1996 Proceedings
djvu
Author:
Dana S. Scott (auth.) Jacques Calmet John A. Campbell Jochen Pfalzgraf (eds.)
Language:
English
Year:
1996
0
0
27.01.2024
0
0
Read online
Integrating Symbolic Mathematical Computation and Artificial Intelligence: Second International Conference, AISMC-2 Cambridge, United Kingdom, August 3–5, 1994 Selected Papers
djvu
Author:
Johannes Ueberberg (auth.) Jacques Calmet John A. Campbell (eds.)
Language:
English
Year:
1995
0
0
27.01.2024
0
0
Read online
Artificial Intelligence and Symbolic Mathematical Computing: International Conference AISMC-1 Karlsruhe, Germany, August 3–6, 1992 Proceedings
djvu
Author:
J. Calmet J. A. Campbell (auth.) Jacques Calmet John A. Campbell (eds.)
Language:
English
Year:
1993
0
0
27.01.2024
0
0
Read online
Probabilistic Methods for Algorithmic Discrete Mathematics
djvu
Author:
Michael Molloy (auth.) Michel Habib Colin McDiarmid Jorge Ramirez-Alfonsin Bruce Reed (eds.)
Language:
English
Year:
1998
0
0
27.01.2024
0
0
Read online
1
...
47
48
49
50
51
52
53
54
55
...
75
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
