Learn IT - Books tags formal

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

Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury

Springer, 2004

The fourth conference in the series of international meetings on Integrated Formal Methods, IFM, was held in Canterbury, UK, 4–7 April 2004. The conference was organized by the Computing Laboratory at the University of Kent, whose main campus is just outside the ancient town of Canterbury, part of the county of Kent.

Kent is...

Information Graphics: A Comprehensive Illustrated Reference

Oxford University Press, 1996

This book addresses charts, graphs, maps, diagrams, and tables used in all areas; however, its major focus is on their uses for operational purposes.

To many people, information graphics are the images frequently used in presentations at formal meetings or the stylized charts and graphs used in newspapers and magazines.

...

Drupal for Education and E-Learning - Second Edition

Packt Publishing, 2013

You don't need to be a techie to build a community-based website for your school. With this guide to Drupal you'll be able to create an online learning and sharing space for your students and colleagues, quickly and easily.

Overview

Create a powerful tool for communication among teachers,...

Cognitive Systems: Joint Chinese-German Workshop, Shanghai, China, March 7-11, 2005, Revised Selected Papers

Springer, 2007

This book constitutes the thoroughly refereed post-proceedings of the Joint Chinese-German Workshop on Cognitive Systems held in Shanghai in March 2005.

The 13 revised papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The workshop served to present the current state of the art in the new...

Unifying Theories of Programming: Third International Symposium

Springer, 2010

This book constitutes the refereed proceedings of the Third International Symposium on Unifying Theories of Programming, UTP 2010, held in Shanghai, China, in November 2010, in conjunction with the 12th International Conference on Formal Engineering Methods, ICFEM 2010. The 12 revised full papers presented together with 3 invited talks were...

Result Page: 57 56 55 54 53 52 51 50 49 48 47 46 45 44 43 42 41