The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Algebra,Analysis,Symbolic and Algebraic Manipulation,Algorithms » Page 60
Symbolic Integration I: Transcendental Functions
djvu
Author:
Manuel Bronstein (auth.)
Language:
English
Year:
2005
0
0
27.01.2024
0
0
Read online
Principles of Data Mining and Knowledge Discovery: 4th European Conference, PKDD 2000 Lyon, France, September 13–16, 2000 Proceedings
pdf
Author:
Arno J. Knobbe Arno Siebes Hendrik Blockeel Daniël Van Der Wallen (auth.) Djamel A. Zighed Jan Komorowski Jan Żytkow (eds.)
Language:
English
Year:
2000
0
0
27.01.2024
0
0
Read online
Generic Programming: International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27–May 1, 1998 Selected Papers
pdf
Author:
James C. Dehnert Alexander Stepanov (auth.) Mehdi Jazayeri Rüdiger G. K. Loos David R. Musser (eds.)
Language:
English
Year:
2000
0
0
27.01.2024
0
0
Read online
Artificial Intelligence and Symbolic Computation: International Conference AISC 2000 Madrid, Spain, July 17–19,2000 Revised Papers
pdf
Author:
Luis M. Laita Luis de Ledesma Eugenio Roanes-Lozano Alberto Brunori (auth.) John A. Campbell Eugenio Roanes-Lozano (eds.)
Language:
English
Year:
2001
0
0
27.01.2024
0
0
Read online
Artificial Intelligence and Symbolic Computation: International Conference AISC’98 Plattsburg, New York, USA, September 16–18, 1998 Proceedings
pdf
Author:
Luc De Raedt (auth.) Jacques Calmet Jan Plaza (eds.)
Language:
English
Year:
1998
0
0
27.01.2024
0
0
Read online
Algebraic Methodology and Software Technology: 7th International Conference, AMAST’98 Amazonia, Brazil, January 4–8, 1999 Proceedings
pdf
Author:
Zhou Chaochen (auth.) Armando M. Haeberer (eds.)
Language:
English
Year:
1999
0
0
27.01.2024
0
0
Read online
ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings
djvu
Author:
David Lorge Parnas (auth.) Jonathan P. Bowen Michael G. Hinchey (eds.)
Language:
English
Year:
1995
0
0
27.01.2024
0
0
Read online
ZUM '97: The Z Formal Specification Notation: 10th International Conference of Z Users Reading, UK, April 3–4, 1997 Proceedings
djvu
Author:
Constance Heitmeyer (auth.) Jonathan P. Bowen Michael G. Hinchey David Till (eds.)
Language:
English
Year:
1997
0
0
27.01.2024
0
0
Read online
Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings
djvu
Author:
Oege de Moor (auth.) Manuel Hermenegildo S. Doaitse Swierstra (eds.)
Language:
English
Year:
1995
0
0
27.01.2024
0
0
Read online
Instantiation Theory: On the Foundations of Automated Deduction
djvu
Author:
James G. Williams (auth.)
Language:
English
Year:
1991
0
0
27.01.2024
1
0
Read online
1
...
56
57
58
59
60
61
62
63
64
...
75
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через