Learn IT - Books tags formal

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

Theoretical Computer Science: 6th IFIP WG 2.2 International Conference, TCS 2010, Held as a Part of WCC 2010, Brisbane, Australia, September 20-23, ... in Information and Communication Technology)

Springer, 2010

Thisvolumecontainstheinvitedandregularpaperspresentedat TCS 2010,the 6thIFIP International Conference on Theoretical Computer Science, organised by IFIP Tech- cal Committee 1 (Foundations of Computer Science) and IFIP WG 2.2 (Formal - scriptions of Programming Concepts) in association with SIGACT and EATCS. TCS 2010 was part of the World...

Bug Patterns In Java

Apress, 2002

This book is written for anyone familiar with programming in Java who wants to more effectively prevent, explain, communicate about, or fix bugs. This may include developers from industry, the government, or academia, was well as computer science students. Developers in each of these categories possess a wide range of...

Mobile Satellite Communication Networks

John Wiley & Sons, 2001

Until very recently, geostationary satellites have been used as a sole basis for the provision of mobile satellite services. However, the launch of satellite personal communication services (S-PCS), which make use of non-geostationary satellites, has provided a new dimension to the mobile satellite communications industry. The introduction of S-PCS...

Organization Design: The Collaborative Approach

Butterworth-Heinemann, 2004

Naomi Stanford has produced the consummate guidebook for human resource professionals who are charged with shepherding a complex organization design project through to completion. It is full of useful tools to help manage the tricky but often overlooked softer aspects of organization change programs, such as communication plans, expectation...

Prince2 in Practice, a Practical Approach to Creating Project Management Documents

Van Haren Publishing, 2009

I have been head of the Project Management Office of a financial institution for some time. I am responsible for the organisation and professionalization of projects and programmes. I also take care of the guidance, coaching and training of project managers.

The management of the institution for which I work has chosen PRINCE2® as...

Professional Refactoring in C# & ASP.NET (Wrox Programmer to Programmer)

Wrox Press, 2009

Refactoring is an effective way to quickly uncover problematic code and fix it. In this first book to provide a hands-on approach to refactoring in C# and ASP.NET, you'll discover to apply refactoring techniques to manage and modify your code. Plus, you'll learn how to build a prototype application from scratch and discover how to refactor the...

Advanced Software Testing - Vol. 1: Guide to the ISTQB Advanced Certification as an Advanced Test Analyst (Rockynook Computing)

Rocky Nook, 2008

This book is written for the test analyst who wants to achieve advanced skills in test analysis, design, and execution. With a hands-on, exercise-rich approach, this book teaches you how to define and carry out the tasks required to put a test strategy into action. Learn how to analyze the system, taking into account the user ™s quality...

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