Learn IT - Books tags formal

Distributed Algorithms (The Morgan Kaufmann Series in Data Management Systems)

Morgan Kaufmann, 1997

In Distributed Algorithms, Nancy Lynch provides a blueprint for designing, implementing, and analyzing distributed algorithms. She directs her book at a wide audience, including students, programmers, system designers, and researchers.

Distributed Algorithms contains the most significant algorithms and impossibility...

Molecular Computation Models: Unconventional Approaches

Idea Group Publishing, 2005

With the increasing complexity of software systems and their widespread growth into many aspects of our lives, the need to search for new models, paradigms, and ultimately, technologies, to manage this problem is evident. The way nature solves various problems through processes evolving during billions of years was always an inspiration to many...

The Syntax and Semantics of Noun Modifiers and the Theory of Universal Grammar: A Korean Perspective (Studies in Natural Language and Linguistic Theory (96))

Springer, 2019

This book takes Korean as a basis to provide a detailed universal Determiner Phrase (DP) structure. Adnominal adjectival expressions are apparently optional noun dependents but their syntax and semantics have been shown to provide an important window on the internal structure of DP. By carefully examining data from Korean, an understudied...

Complete Guide to OneNote

Apress, 2003

Complete Guide to OneNote is aimed at making users more productive by helping them organize what are today ephemeral and disconnected scraps of personal information gathered prior to the creation of a formal work product.

This comprehensive reference explains this new category of software and its user paradigm, including...

Semantische Technologien: Grundlagen. Konzepte. Anwendungen. (German Edition)

Spektrum Akademischer, 2011

Dieses Lehrbuch bietet eine umfassende Einführung in Grundlagen, Potentiale und Anwendungen Semantischer Technologien. Es richtet sich an Studierende der Infor¬matik und angrenzender Fächer sowie an Entwickler, die Seman¬tische Technologien am Arbeitsplatz oder in verteilten Applikationen nutzen möchten. Mit seiner an...

Relational and Algebraic Methods in Computer Science: 13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-21, 2012, Proceedings (Lecture Notes in Computer Science)

Springer, 2012

This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 13, held in Cambridge, UK, in September 2012. The 23 revised full papers presented were carefully selected from 39 submissions in the general area of relational and...

Relations and Kleene Algebra in Computer Science: 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th . . . ... Issues) (Lecture Notes in Computer Science)

Springer, 2010

The book constitutes the joint refereed proceedings of the 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and the 6th International Conference on Applications of Kleene Algebras, AKA 2009, held in Doha, Qatar in November 2009. The 22 revised full papers presented together with 2 invited papers were...

Java Message Service

O'Reilly, 2000

The Java Message Service (JMS) provides a way for the components of a distributed application to talk asynchronously, or for welding together legacy enterprise systems. Think of it as application-to-application e-mail. Unlike COM, JMS uses one or more JMS servers to handle the messages on a store-and-forward basis, so that the loss of one or more...

Software Abstractions: Logic, Language, and Analysis

MIT Press, 2012

As a programmer working for Logica UK in London in the mid-1980’s, I became a passionate advocate of formal methods. Extrapolating from small successes with VDM and JSP, I was sure that widespread use of formal methods would bring an end to the software crisis.

One approach especially intrigued me. John Guttag and Jim...

Interactive Theorem Proving and Program Development

Springer, 2004

A practical introduction to the development of proofs and certified programs using Coq.

An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.

...

Unleashing Your Leadership Potential: Seven Strategies for Success

Rowman & Littlefield Publishers, 2009

Unleashing Your Leadership Potential provides the means to unleash the unique capital of leadership inherent in each of us, making it possible for teams, organizations, and society to improve the lives of others while we improve our own. Luc's leadership model is based on case studies and interviews with leaders, providing insights...

Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test

Springer, 2018

This book describes reliable and efficient design automation techniques for the design and implementation of an approximate computing system. The authors address the important facets of approximate computing hardware design - from formal verification and error guarantees to synthesis and test of approximation systems. They provide...

Result Page: 59 58 57 56 55 54 53 52 51 50 49 48 47 46 45 44