Learn IT - Books tags formal

The Standard ML Basis Library

Cambridge University Press, 2002

SML is an influential programming language that represents many state-of-the-art aspects of language design in a form usable for everyday programming. The language is in use worldwide, with applications ranging from network communication to theorem proving. The definition for SML's standard library, this work concisely describes the types and...

Mathematical Relationships in Education: Identities and Participation (Routledge Research in Education)

Routledge, 2009

This book brings together scholars working in the field of mathematics education to examine the ways in which learners form particular relationships with mathematics in the context of formal schooling. While demand for the mathematically literate citizen increases, many learners continue to reject mathematics and experience it as excluding and...

Adventures in Coding

John Wiley & Sons, 2016

Learn to code the "fun" way with eleven real projects for true beginners!

Adventures in Coding" is written specifically for young people who want to learn how to code, but don't know where to begin. No experience? No problem! This book starts from the very beginning to take you from newbie to app-builder in...

Formal Techniques for Networked and Distributed Systems (IFIP International Federation for Information Processing)

Springer, 2001

This book presents the latest worldwide results in theory and practice of formal techniques for networked and distributed systems. The theme of the book is addressed by specialized papers in the following areas:

Formal Methods in Software Development,

Process Algebra,

Timed Automata,

...

Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Lecture Notes in Computer Science)

Springer, 2008

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

Psychological Types (Collected Works of C.G. Jung Vol.6)

Princeton Press, 1976

One of the most important of Jung's longer works, and probably the most famous of his books, Psychological Types appeared in German in 1921 after a "fallow period" of eight years during which Jung had published little. He called it "the fruit of nearly twenty years' work in the domain of practical psychology," and in...

Beginning Oracle Database 11g Administration: From Novice to Professional (Beginning from Novice to Professional)

Apress, 2009

This book, written by veteran Oracle database administrator Iggy Fernandez, a regular on the Oracle conference circuit and the editor of NoCOUG Journal, is a manageable introduction to key Oracle database administration topics including planning, installation, monitoring, troubleshooting, maintenance, and backups, to name...

Computer Aided Design and Design Automation (The Circuits and Filters Handbook)

CRC Press, 2009

> Volume 5 of the Handbook of Circuits and Filters, Third Edition focuses on computer-aided design and design automation. In the first part of the book, international contributors address topics such as modeling of circuit performances, symbolic analysis methods, numerical analysis methods, design by optimization,...

Supervisory Control of Concurrent Systems: A Petri Net Structural Approach (Systems & Control: Foundations & Applications)

Birkhauser, 2006

Increasing complexity in engineering projects raises difficult challenges in industry and requires effective tools for correct-by-construction design or design verification. This book addresses the design of such tools for correct-by-construction synthesis of supervisors for systems and specifications represented in the discrete-event framework....

Computer-Aided Design of User Interfaces IV: Proceedings of the Fifth International Conference on Computer-Aided Design of User Interfaces CADUI '2004

Springer, 2005

Computer-Aided Design of User Interfaces IV gathers the latest research of experts, research teams and leading organisations involved in computer-aided design of user interactive applications supported by software, with specific attention for platform-independent user interfaces and context-sensitive or aware applications. This...

Pro Tools 101 Official Courseware, Version 9.0

Course Technology PTR, 2011

PRO TOOLS 101 OFFICIAL COURSEWARE takes a comprehensive approach to learning the fundamentals of Pro Tools systems. Now updated for Pro Tools 9 software, this new edition from the definitive authority on Pro Tools covers everything you need to know to complete a Pro Tools project. Learn to build sessions that include multitrack recordings of...

Scientific Engineering of Distributed Java Applications.: Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, ... Papers (Lecture Notes in Computer Science)

Springer, 2008

FIDJI 2003 was an international forum for researchers and practitioners in- rested in the advances in, and applications of, software engineering for distri- ted applicationdevelopment. Concerningthe technologies,the workshopfocused on “Java-related” technologies. It was an opportunity to present and observe the latest research,...

Result Page: 43 42 41 40 39 38 37 36 35 34 33 32 31 30 29 28 27 26 25