Home | Amazing | Today | Tags | Publishers | Years | Search 
Inferno Programming with Limbo
Inferno Programming with Limbo

Inferno Programming with Limbo is the first complete developer’s guide to programming for the Inferno operating system. Developed at Lucent's Bell Labs, Inferno enables cross-platform, portable, distributed application development that is well suited for networked applications on resource constrained, embedded systems. Limbo is its...

Automated and Algorithmic Debugging: First International Workshop, AADEBUG '93, Link6ping, Sweden, May 3-5, 1993. Proceedings
Automated and Algorithmic Debugging: First International Workshop, AADEBUG '93, Link6ping, Sweden, May 3-5, 1993. Proceedings
This volume contains a selection of the papers which were accepted for presentation at AADEBUG'93, the First International Workshop on Automated and Algorithmic Debugging, held in Link6ping, Sweden, 3-5 May 1993.

The area referred to as automated debugging has seen major developments over the last decade. One especially successful area
...
Preparing for DB2 Near-realtime Business Intelligence
Preparing for DB2 Near-realtime Business Intelligence

In this IBM Redbook we discuss primary processes and various alternatives that prepare you in implementing a DB2 near-realtime business intelligence environment. We discuss architectural alternatives and include overviews of software products that you can use in an implementation. As a primary focus, we tested the capabilities for supporting...

Principles of the Spin Model Checker
Principles of the Spin Model Checker
Principles of Spin is an introductory book, the only requirement is a background in programming. Spin models are written in the Promela language which is easily learned by students and programmers. Spin is easy to install and use.

The Spin model checker is not only a widely used professional tool but it is also a superb tool for teaching...

Constraint Logic Programming using Eclipse
Constraint Logic Programming using Eclipse

Constraint logic programming lies at the intersection of logic programming, optimisation and artificial intelligence. It has proved a successful tool in many areas including production planning, transportation scheduling, numerical analysis and bioinformatics. Eclipse is one of the leading software systems that realise its underlying...

Distributed Computing: Principles, Algorithms, and Systems
Distributed Computing: Principles, Algorithms, and Systems
Designing distributed computing systems is a complex process requiring a solid understanding of the design problems and the theoretical and practical aspects of their solutions. This comprehensive textbook covers the fundamental principles and models underlying the theory, algorithms and systems aspects of distributed computing. Broad and detailed...
Principles of Model Checking
Principles of Model Checking
Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a...
Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Lecture Notes in Computer Science)
Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Lecture Notes in Computer Science)
This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008.

The 28 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 58 submissions. Among the topics covered are all...

Transactional Information Systems: Theory, Algorithms, and the Practice of Concurrency Control (Data Management Systems)
Transactional Information Systems: Theory, Algorithms, and the Practice of Concurrency Control (Data Management Systems)

Transactional Information Systems is the long-awaited, comprehensive work from leading scientists in the transaction processing field. Weikum and Vossen begin with a broad look at the role of transactional technology in today's economic and scientific endeavors, then delve into critical issues faced by all practitioners, presenting...

Computer Architecture And Organization
Computer Architecture And Organization
One does not undertake the task of composing a new textbook lightly. This one has taken more than a year to produce. Furthermore, it does not make the author rich. (It pays better working in a bar!) So why bother?

Having moved to a computer science department from an applied physics environment, I was somewhat shocked at just how little
...
Essential COM (DevelopMentor Series)
Essential COM (DevelopMentor Series)
The Component Object Model (COM) is deep and extremely difficult, making it impossible to grasp the ideas behind this specification quickly or easily. Don Box, the author of Essential COM concedes that it took him six months of reading documentation, writing programs, and experiencing general puzzlement before he had his personal COM...
Computer-Aided Design, Engineering, and Manufacturing: Systems Techniques and Applications, Volume V, The Design of Manu
Computer-Aided Design, Engineering, and Manufacturing: Systems Techniques and Applications, Volume V, The Design of Manu
In the competitive business arena companies must continually strive to create new and better products faster, more efficiently, and more cost effectively than their competitors to gain and keep the competitive advantage. Computer-aided design (CAD), computer-aided engineering (CAE), and computer-aided manufacturing (CAM) are now the industry...
Result Page: 21 20 19 18 17 16 15 14 13 12 11 10 9 8 7 6 5 4 3 
©2024 LearnIT (support@pdfchm.net) - Privacy Policy