Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Specification and Verification of Multi-agent Systems
Specification and Verification of Multi-agent Systems

In the last decade, multi-agent systems have both become widely applied and also increasingly complex. The applications include the use of agents as automous decision makers in often safety-critical, dangerous, or high impact scenarios (traffic control, autonomous satellites, computational markets). The complexity arises from the fact...

ISA System Architecture (3rd Edition)
ISA System Architecture (3rd Edition)

*ISA System Architecture describes the hardware architecture of ISA (Industry Standard Architecture), providing a clear, concise explanation of an ISA system in detail. The authors provide a comprehensive treatment of the bus including: **-bus cycles *-addressing *-I/O *-RAM, ROM, and cache memory *-cache architectures *-decode and reset...

Enterprise JavaBeans 3.0 (5th Edition)
Enterprise JavaBeans 3.0 (5th Edition)

This book explains and demonstrates the fundamentals of the EJB 3.0 and Java Persistence programming models. Although EJB makes application development much simpler, it is still a complex technology that requires a great deal of time and study to master. This book provides a straightforward, no-nonsense explanation of the...

Pro JPA 2: Mastering the Java™ Persistence API
Pro JPA 2: Mastering the Java™ Persistence API

Pro JPA 2 introduces, explains, and demonstrates how to use the new Java Persistence API (JPA). JPA provides Java developers with both the knowledge and insight needed to write Java applications that access relational databases through JPA.

Authors Mike Keith and Merrick Schincariol take a...

HTML5 for Publishers
HTML5 for Publishers

HTML5 is revolutionizing the Web, and now it's coming to your ebook reader! With the release of the EPUB 3 specification, HTML5 support is officially a part of the EPUB standard, and publishers are able to take full advantage of HTML5's rich...

EJB Cookbook
EJB Cookbook
All but two recipes in this book are based on the EJB 2.0 specification. The recipes on creating EJB web service endpoints and the EJB timer service are based on the EJB 2.1 specification. In a few chapters, the book covers other technologies or frameworks where appropriate. In fact, this book makes use of XDoclet, log4j, Ant, and Cactus. For...
The Designer's Guide to VHDL, Volume 3, Third Edition (Systems on Silicon)
The Designer's Guide to VHDL, Volume 3, Third Edition (Systems on Silicon)
VHDL may sound like a new Internet language, but it really stands for VHSIC (Very High Speed Integrated Circuit) Hardware Definition Language. VHDL borrows ideas from software engineering (architectural, behavior, and formal models, as well as modular design) and is used to design today's custom integrated circuits, from cell phones to...
Fuzzy Algorithms for Control (International Series in Intelligent Technologies)
Fuzzy Algorithms for Control (International Series in Intelligent Technologies)

Fuzzy Algorithms for Control gives an overview of the research results of a number of European research groups that are active and play a leading role in the field of fuzzy modeling and control. It contains 12 chapters divided into three parts.

Chapters in the first part address the position of fuzzy systems in control...

Bootstrap Yourself with Linux-USB Stack: Design, Develop, Debug, and Validate Embedded USB Systems
Bootstrap Yourself with Linux-USB Stack: Design, Develop, Debug, and Validate Embedded USB Systems

Before starting a new task, you generally do research so you can avoid mistakes. In the computer realm, bootstrap sessions provide a head start and help you minimize mistakes and surprises. As an example, to design a protocol stack, build a bootstrap session so you can understand the protocol specification and the system on which it...

Core CSS: Cascading Style Sheets (2nd Edition)
Core CSS: Cascading Style Sheets (2nd Edition)

The Complete and Comprehensive Web Developer's Guide to Style Sheets

Core CSS, 2nd Edition is a comprehensive guide that shows both beginning and expert Web developers all they need to know to achieve great results with the latest style sheet properties. In this example-rich book, Schengili-Roberts...

Analyzing Computer Systems Performance: With Perl: PDQ
Analyzing Computer Systems Performance: With Perl: PDQ

Analyzing computer system performance is often regarded by most system administrators, IT professionals and software engineers as a black art that is too time consuming to learn and apply. Finally, this book by acclaimed performance analyst Dr. Neil Gunther makes this subject understandable and applicable through programmatic examples. The means...

Reactive Systems: Modelling, Specification and Verification
Reactive Systems: Modelling, Specification and Verification
Formal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. Various methodologies have been developed and incorporated into software tools. An important subclass is distributed systems. There are many books that look at particular methodologies for such systems, e.g. CSP,...
unlimited object storage image
Result Page: 38 37 36 35 34 33 32 31 30 29 28 27 26 25 24 23 22 21 20 
©2021 LearnIT (support@pdfchm.net) - Privacy Policy