Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Semantische Technologien: Grundlagen. Konzepte. Anwendungen. (German Edition)
Semantische Technologien: Grundlagen. Konzepte. Anwendungen. (German Edition)

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

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)
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)
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
Java Message Service
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
Software Abstractions: Logic, Language, and Analysis

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
Interactive Theorem Proving and Program Development

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
Unleashing Your Leadership Potential: Seven Strategies for Success

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
Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury
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
Information Graphics: A Comprehensive Illustrated Reference

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
Drupal for Education and E-Learning - Second Edition

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
Cognitive Systems: Joint Chinese-German Workshop, Shanghai, China, March 7-11, 2005, Revised Selected Papers
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
Unifying Theories of Programming: Third International Symposium

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 
©2019 LearnIT (support@pdfchm.net) - Privacy Policy