Søgning på underkategorier- og emner:
This book presents the proceedings of the Distributed Ada '89 Symposium... Læs mere
This book presents the rationale behind the design and development of the programming language Ada. The materials incorporating corrections to... Læs mere
In this book is presented the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types.
The authors describe here a framework in which the type notation of functional languages is extended to include a distinguishing notation for run-times and compile-times. Consequently the ability to specify code and verify program correctness can be improved.
The book covers the topic of concurrent programming using Concurrent ML (CML), an extension of the functional language Standard ML. The book is a practical 'how-to' book... Læs mere
Written by acknowledged experts, for advanced students and researchers in mathematical logic and computer science, this volume provides a detailed, self-contained coverage of... Læs mere
This 1998 book is a beginner's guide to problem solving with computers that shows how to quickly prototype a program for a particular... Læs mere
This book is for an undergraduate course on data structures, presenting the basic principles of OOP and GUI programming with Java. By integrating the... Læs mere
This 2004 book provides students and professional programmers with a concise yet comprehensive view of the role memory plays in all aspects of programming and... Læs mere
This is the only book that focuses on an in-depth discussion of the Ada tasking model. Following from the authors' earlier title Concurrency in Ada, this book discusses both the new Ada 2005 language and the recent advances in real-time programming technique.
The first comprehensive tutorial and reference for C# implementation of data structures and algorithms found in the .NET Framework library, in addition to those... Læs mere
The book explains the concept of open source technology through the implementation of various open source platforms with focus on description and implementation of the smart algorithms in a practical scenario.