Filter By
Books (4)
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Computer-based Problem Solving Process by Teodor Rus 9789814663731
RRP: €136.85Booksplease Price: €122.72One side-effect of having made great leaps in computing over the last few decades, is the resulting over-abundance in software tools created to solve the diverse problems. Problem solving with... -
Algebraic Methodology and Software Technology: 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings by Teodor Rus 9783540675303
Booksplease Price: €109.10The AMAST movement was initiated in 1989 with the First International C- ference on Algebraic Methodology and Software Technology (AMAST), held on May 21{23in Iowa City, Iowa,and aimed at setting the... -
Algebraic Methodology and Software Technology: 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings by Armando Martain Haeberer 9783540654629
Booksplease Price: €55.43AMAST's goal is to advance awareness of algebraic and logical methodology as part of the fundamental basis of software technology. Ten years and seven conferences after the start of the AMAST... -
Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings by Jost-Pieter Katoen 9783540660101
Booksplease Price: €55.07TheaimoftheARTS'99workshopistobringtogetherresearchersandpr- titioners interested in the design of real-time and probabilistic systems. It is...