Home Books
Books : Page 85234
Advances in Databases and Information Systems: Proceedings of the Second International Workshop on Advances in Databases and Information Systems (ADBIS’95), Moscow, 27–30 June 1995
- English
- Year: 1996
- Author: Jānis Bārzdiņš, Ilona Etmane, Audris Kalniņš, Kārlis Podnieks (auth.), Dr. Prof. Johann Eder, Dr. of Sci., Prof. Leonid A. Kalinichenko (eds.)
Using Event-B for Critical Device Software Systems
- English
- Year: 2013
- Author: Neeraj Kumar Singh (auth.)
Natural Language and Information Systems: 13th International Conference on Applications of Natural Language to Information Systems, NLDB 2008 London, UK, June 24-27, 2008 Proceedings
- English
- Year: 2008
- Author: Edward Gibson (auth.), Epaminondas Kapetanios, Vijayan Sugumaran, Myra Spiliopoulou (eds.)
Formal reduction and integration of systems of nonlinear differential equations
- English
- Year: 2000
- Author: Eichenmueller G.