(Izdošanas datums: 13-Nov-2013, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642646089)
Proceedings originating from the NATO Advanced Research Workshop on Intelligent Learning Environments: the Case of Geometry, held in Grenoble, France, November 13-16, 1989...Lasīt vairāk
(Izdošanas datums: 25-Oct-2012, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642633508)
The advent of fast and sophisticated computer graphics has brought dynamic and interactive images under the control of professional mathematicians and mathematics teachers. This volume in the NATO Special Programme on Advanced Educational Technology...Lasīt vairāk
(Izdošanas datums: 21-Dec-2011, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642767197)
The NATO Advanced Study Institute on Computer algorithms for solving linear algebraic equations: the state of the art was held September 9-21, 1990, at II Ciocco, Barga, Italy. It was attended by 68 students (among them many well known specialists...Lasīt vairāk
(Izdošanas datums: 26-Sep-2011, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642648496)
Advanced research on the description of distributed systems and on design calculi for software and hardware is presented in this volume. Distinguished researchers give an overview of the latest state of the art....Lasīt vairāk
(Izdošanas datums: 18-Jun-1996, Hardback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540609476)
Deductive program design aims at methods that guide and support the development of programs by techniques of deduction. Deduction is a well-known subject of study in logical theories. However, the application of deductive techniques in program design...Lasīt vairāk
