Learn IT - Books tags concurrent

Programming F# (Animal Guide)

O'Reilly, 2009

Why learn F#? This multi-paradigm language not only offers you an enormous productivity boost through functional programming, it also lets you develop applications using your existing object-oriented and imperative programming skills. With Programming F#, you'll quickly discover the many advantages of Microsoft's new language, which...

Work Naked: Eight Essential Principles for Peak Performance in the Virtual Workplace

Jossey-Bass, 2001

"Enlightening, enjoyable, and extremely practical, Work Naked offers real clarity about what is wrong with the way most companies work, plus exact directions on how to fix each and every office foolishness. Do what Froggatt says and watch your employee productivity rise." --Scott Shuster, Business Week "High-tech tools (cell...

Programming Clojure (Pragmatic Programmers)

Pragmatic Bookshelf, 2009

Clojure is a dynamic language for the Java Virtual Machine, with a compelling combination of features:

Clojure is elegant. Clojure's clean, careful design lets you write programs that get right to the essence of a problem, without a lot of clutter and ceremony.

Clojure is Lisp...

Java Message Service

O'Reilly, 2009

Java Message Service, Second Edition, is a thorough introduction to the standard API that supports "messaging" -- the software-to-software exchange of crucial data among network computers. You'll learn how JMS can help you solve many architectural challenges, such as integrating dissimilar systems and applications, increasing...

Ada for Software Engineers

Springer, 2009

Ada has become the language of choice for high integrity software systems, and is now used extensively in applications such as transportation, finance, aerospace and heavy industry. This book is aimed at professional software engineers making the transition to Ada, and at students using Ada for advanced undergraduate projects or graduate research....

An Introduction to the Physics of High Energy Accelerators (Wiley Series in Beam Physics and Accelerator Technology)

John Wiley & Sons, 1992

More than 50 years ago the discovery and understanding of radiation led to the idea of a beam of elementary particles. Since then the development of processes for the collection, focusing, and acceleration of such beams has given rise to a growing number of facilities designed to produce a variety of particle beams for a multitude of purposes....

Computer-Aided Design, Engineering, and Manufacturing: Systems Techniques and Applications, Volume V, The Design of Manu

CRC Press, 2000

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...

Principles of Model Checking

MIT Press, 2008

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...

Principles of the Spin Model Checker

Springer, 2008

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

Cambridge University Press, 2007

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

Cambridge University Press, 2008

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...

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

Morgan Kaufmann, 2001

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...

Result Page: 23 22 21 20 19 18 17 16 15 14 13 12 11