Программирование / Компьютеры и сети

О книге: Framework-based web development is practically a requirement these days. Fortunately for the PHP community there are plenty of PHP-based frameworks to choose from, including the powerful Zend Framework. “Easy PHP Websites with the Zend Framework” is the most up-to-date guide to the Zend Framework, covering all of the topics which will help you build websites with amazing speed and efficiency.

This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification activities for different types of software systems and at different stages of developing software systems. Topics and features: provides a wide coverage of formal specification techniques and a clear writing style, supported by end-of-chapter bibliographic notes for further reading; presents a logical structure, with sections devoted to specification fundamentals, basics of formalism, logic, set theory and relations, property-oriented specification methods, and model-based specification techniques; contains end-of-chapter exercises and numerous case studies, with potential course outlines suggested in the Preface; covers Object-Z, B-Method, and Calculus...

The size of technically producible integrated circuits increases continuously. But the ability to design and verify these circuits does not keep up with this development. Therefore today's design flow has to be improved to achieve a higher productivity. In Robustness and Usability in Modern Design Flows the current design methodology and verification methodology are analyzed, a number of deficiencies are identified and solutions suggested. Improvements in the methodology as well as in the underlying algorithms are proposed.

An in-depth presentation of preliminary concepts makes the book self-contained. Based on this foundation major design problems are targeted. In particular, a complete tool flow for Synthesis for Testability of SystemC descriptions is presented. The resulting circuits are completely testable and test pattern generation in polynomial time is possible. Verification iss...

Presentation of background material of wireless communications, traffic modeling and traffic engineering techniques.

Provides descriptions of upcoming features such as IP multimedia subsystems, multimedia broadcast/multicast services and Push-to-Talk over Cellular (PoC) for 3G networks

Including problems at the end of each chapter

Written for lecturers, graduate students and system designers

О книге: Android Programming Tutorials show you what you can do with Android, through a series of 40 individual exercises. Android Programming Tutorials gives you hands-on instruction in how to build sophisticated Android applications, using many of the technologies outlined in CommonsWare’s other Android books. These exercises lead you through the basics of creating Android applications, all the way through many fun Android features like Internet access, location tracking, maps, integrated WebKit browsers, cameras, accelerometers, home screen widgets, and much more.

All over the world sport plays a prominent role in society: as a leisure activity for many, as an ingredient of culture, as a business and as a matter of national prestige in such major events as the World Cup in soccer or the Olympic Games. Hence, it is not surprising that science has entered the realm of sports, and, in particular, that computer simulation has become highly relevant in recent years.

Want to build your own robots, turn your ideas into prototypes, control devices with a computer, or make your own cell phone applications? It's a snap with this book and the Arduino open source electronic prototyping platform. Get started with six fun projects and achieve impressive results quickly.

Fur Frank Bongers ist die Webprogrammierung wie fur den Fisch das Wasser: er braucht es zum Uberleben und bewegt sich darin muhe- und schwerelos -- nach seinem erfolgreichen Einstieg in TYPO3 4.0. Installation, Grundlagen, TypoScript und dem Spezialhandbuch XSLT 2.0 - Das umfassende Handbuch zu XSLT 2.0, XPath 2.0 und Saxon 7 wendet er sich jetzt mit XHTML, HTML und CSS - Handbuch und Referenz den Grundlagen zu und zeigt, dass man auch viel beschriebene Themen erfolgreich anpacken kann, wenn man dies auf dem neusten Stand und mit dem Schuss Motivation macht, die Bongers Bucher von anderen dieser Art unterscheiden.

Bongers geht das auf XHTML, HTML und CSS basierende Webdesign von mehreren Richtungen an und bietet mit seinem mehr als 1000-Seiten Briket nicht nur ein Handbuch fur modernes Seitenlayout und standardkonforme Websites bis hin zur Barrierefreiheit, Accessibility und Design fur...

For introductory courses in Java Programming/CS 1 and for Intermediate/Advanced Java Programming courses. The Deitels' groundbreaking How to Program series offers unparalleled breadth and depth of object-oriented programming concepts and intermediate-level topics for further study. This survey of Java programming contains an extensive OOD/UML 2 case study on developing an automated teller machine. The Seventh Edition has been extensively fine-tuned and is completely up-to-date with Sun Microsystems, Inc.'s latest Java release-Java Standard Edition (Java SE) 6.

This book is primarily a practical reference book for professional XSLT developers. It assumes no previous knowledge of the language, and many developers have used it as their first introduction to XSLT; however, it is not structured as a tutorial, and there are other books on XSLT that provide a gentler approach for beginners.

The book does assume a basic knowledge of XML, HTML, and the architecture of the Web, and it is written for experienced programmers. There's no assumption that you know any particular language such as Java or Visual Basic, just that you recognize the concepts that all programming languages have in common.

The book is suitable both for XSLT 1.0 users upgrading to XSLT 2.0, and for newcomers to XSLT. The book is also equally suitable whether you work in the Java or .NET world.

As befits a reference book, a key aim is that the coverage should be comprehensive and ...