Learn IT - Books tags specification

Tolley's Domestic Gas Installation Practice, Fourth Edition: Gas Service Technology Volume 2

Newnes, 2006

This is the second of three volumes of essential reference for those concerned with the installation and servicing of domestic and industrial gas equipment. This volume deals with the various aspects of installing and servicing domestic appliances and associated equipment.

The revised fourth edition is brought fully up to...

Advanced Lectures on Software Engineering: LASER Summer School 2007/2008

Springer, 2010

Software defects lead to enormous costs for the software industry and society as a whole. While testing is useful to find bugs, it is insufficient to show the absence of certain kinds of errors or that a program satisfies its specification. Such high levels of software quality can be achieved by software verification, that is, by proving the...

Enterprise JavaBeans 3.1

O'Reilly, 2010

Learn how to code, package, deploy, and test functional Enterprise JavaBeans with the latest edition of this bestselling guide. Written by the developers of JBoss EJB 3.1, this book not only brings you up to speed on each component type and container service in this implementation, it also provides a workbook with several hands-on...

HyperTransport System Architecture

Addison Wesley, 2003

HyperTransport System Architecture provides a comprehensive, technical guide to HyperTransport technology. It opens with an overview of HT systems, highlighting the technology's fundamental principles, basic architecture, and its many advantages. The book goes on to detail all facets of...

Sams Teach Yourself J2EE in 21 Days

Sams Publishing, 2002

J2EE has become required knowledge for any serious Java developer, but learning this large and complex specification requires a substantial investment of time and energy. Sams Teach Yourself J2EE in 21 Days presents the enterprise Java architecture in accessible, easy-to-comprehend lessons, describing how each J2EE tool solves the challenges of...

Validated Designs for Object-oriented Systems

Springer, 2004

Object-oriented design methods are commonplace in computing systems development, but are often dismissed as 'boxes & arrows'. If systems developers are to gain full advantage from such methods, they should be able to achieve designs that are not merely the subject of heated argument, but can be improved by careful, rigorous &...

Database Modeling and Design: Logical Design, 4th Edition (Data Management Systems)

Morgan Kaufmann, 2005

Database systems and database design technology have undergone significant evolution in recent years. The relational data model and relational database systems dominate business applications; in turn, they are extended by other technologies like data warehousing, OLAP, and data mining. How do you model and design your database application in...

Theory of Finite Automata With an Introduction to Formal Languages

Prentice Hall, 1989

It often seems that mathematicians regularly provide answers well before the rest of the world finds reasons to ask the questions. The operation of the networks of relays used in the first computers is exactly described by Boolean functions. George Boole thereby made his contribution to computer science in the mid-1800s, and Boolean algebra is used...

XSLT Programmer's Reference 2nd Edition

Peer Information Inc, 2001

This compact, relevant, updated version reflects recent changes in the XSLT specification and developments in XSLT parsers. The material on tools and implementations has been revised; so too have all the examples. It also includes a new chapter on writing extension functions.

XML has firmly established itself as the universal...

Java(TM) Language Specification, The (3rd Edition)

Addison Wesley, 2005

Written by the inventors of the technology, The Java™ Language Specification, Third Edition, is the definitive technical reference for the Java™ programming language. If you want to know the precise meaning of the language's constructs, this is the...

Professional XML (Programmer to Programmer)

Wrox Press, 2007

From document type definitions and XQuery to Web services and form development, this book takes you through all of the XML capabilities that companies want to implement today. It not only covers the basics of XML and the XML specification, but also shows you the XML-based applications that are driving the tech industry forward, such as blogging...

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,

...

Result Page: 35 34 33 32 31 30 29 28 27 26 25 24 23 22 21 20 19 18 17