Znalezione w sieci
The Craft of Programming
Data: 2011-09-23, Autor: John C. Reynolds - Prentice Hall, 1981, Dział: Programowanie
The modern computer is so powerful that a casual knowledge of programming suffices for most of its users. However, a variety of circumstances can abruptly require a much deeper understanding: the need to structure a program carefully to avoid being overwhelmed by its complexity, the need to insure reliability beyond what can he achieved by debugging, or the need to utilize computing resources efficiently. Beyond such practical considerations, there is an inherent intellectual satisfaction in mastering the fundamental concepts of programming. The aim of this book is to provide such mastery concept by concept. For example, the reader is expected to understand proofs of correctness and order-of-magnitude time requirements for simple integer algorithms - such as log n exponentiation - before the concept of arrays is introduced. A similarly thorough understanding of array manipulating algorithms is expected before the introduction of procedures.
WięcejOpen Source Development with CVS, 3rd Edition
Data: 2011-09-23, Autor: Karl Fogel, Moshe Bar - Paraglyph, 2003, Dział: Programowanie
The popular first edition was one of the first books available on development and implementation of open source software using CVS. The second edition explains how CVS affects the architecture and design of applications, and has been enhanced with more value-added material covering strategies, third-party tools, scalability, client access limits, and overall server administration for CVS
WięcejInductive Logic Programming: Techniques and Applications
Data: 2011-09-23, Autor: Nada Lavrac, Saso Dzeroski - Prentice Hall, 1994, Dział: Programowanie
This book is an introduction to inductive logic programming (ILP), a research field at the intersection of machine learning and logic programming, which aims at a formal framework as well as practical algorithms for inductively learning relational descriptions in the form of logic programs. The book covers empirical inductive logic programming, one of the two major subfields of ILP, which has shown its application potential in the following areas: knowledge acquisition, inductive program synthesis, inductive data engineering, and knowledge discovery in databases. The book is intended for knowledge engineers concerned with the automatic synthesis of knowledge bases for expert systems, software engineers who could profit from inductive programming tools, researchers in system development and database methodology, interested in techniques for knowledge discovery in databases and inductive data engineering, and researchers and graduates in artificial intelligence, machine learning, logic programming, software engineering and database methodology.
WięcejConcepts, Techniques, and Models of Computer Programming
Data: 2011-09-23, Autor: Peter Van Roy, Seif Haridi - The MIT Press, 2004, Dział: Programowanie
This innovative text presents computer programming as a unified discipline in a way that is both practical and scientifically sound. The book focuses on techniques of lasting value and explains them precisely in terms of a simple abstract machine. The book presents all major programming paradigms in a uniform framework that shows their deep relationships and how and where to use them together. After an introduction to programming concepts, the book presents both well-known and lesser-known computation models ("programming paradigms"). Each model has its own set of techniques and each is included on the basis of its usefulness in practice. The general models include declarative programming, declarative concurrency, message-passing concurrency, explicit state, object-oriented programming, shared-state concurrency, and relational programming. Specialized models include graphical user interface programming, distributed programming, and constraint programming. Each model is based on its kernel language -- a simple core language that consists of a small number of programmer- significant elements. The kernel languages are introduced progressively, adding concepts one by one, thus showing the deep relationships between different models. The kernel languages are defined precisely in terms of a simple abstract machine. Because a wide variety of languages and programming paradigms can be modeled by a small set of closely related kernel languages, this approach allows programmer and student to grasp the underlying unity of programming. The book has many program fragments and exercises, all of which can be run on the Mozart Programming System, an Open Source software package that features an interactive incremental development environment.
WięcejComputer Science: Abstraction to Implementation
Data: 2011-09-23, Autor: Robert M. Keller - Harvey Mudd College, 2001, Dział: ProgramowanieThis book is intended for a broad second course in computer science, one emphasizing principles wherever it seems possible at this level. While this course builds and amplifies what the student already knows about programming, it is not limited to programming. Instead, it attempts to use various programming models to explicate principles of computational systems.
Więcej