Stephen Cook

Eric E. Johnson

Jens C. Ostergaard

This up-to-date, comprehensive reference and planner's guide presents an in-depth description of automated HF communications.

Advanced High-frequency Radio Communications

Phuong Nguyen

This book treats bounded arithmetic and propositional proof complexity from the point of view of computational complexity. The first seven chapters include the necessary logical background for the material and are suitable for a graduate course. Associated with each of many complexity classes are both a two-sorted predicate calculus theory, with induction restricted to concepts in the class, and a propositional proof system. The complexity classes range from AC0 for the weakest theory up to the polynomial hierarchy. Each bounded theorem in a theory translates into a family of (quantified) propositional tautologies with polynomial size proofs in the corresponding proof system. The theory proves the soundness of the associated proof system. The result is a uniform treatment of many systems in the literature, including Buss's theories for the polynomial hierarchy and many disparate systems for complexity classes such as AC0, AC0(m), TC0, NC1, L, NL, NC, and P.

Logical Foundations of Proof Complexity

These proceedings contain the refereed papers presented at ECOOP 89. They cover topics of contemporary interest in this increasingly active area of computer science research, from formal methods through software engineering to implementations.

Proceedings of the 1989 European Conference on Object-Oriented Programming

ECOOP'89

Jean-Marc Jezequel

Heinrich Hussman

Five years on from its adoption in 1997 by the Object Management Group (OMG), the Uni?ed Modeling Language is the de facto standard for creating - agrammatic models of software systems. More than 100 books have been written about UML, and it is taught to students throughout the world. The de?nition of UML version 2 is well under way, and should be largely completed within the year. This will not only improve and enhance UML itself, including standard facilities for diagram interchange, but also make it fully integrated with other modeling technologies from the OMG, such as Meta-Object Facility (MOF) and XML Metadata Interchange (XMI). The Object Constraint Language, which has become an important vehicle for communicating detailed insights between UML researchers and practitioners, will have a much expanded speci?cation and be better integrated with the UML. The popularity of UML signi?es the possibility of a shift of immense prop- tions in the practice of software development, at least comparable to the shift from the use of assembly language to “third-generation” or “high-level” p- gramming languages. We dream of describing the behavior of software systems in terms of models, closely related to the needs of the enterprise being served, and being able to routinely translate these models automatically into executing p- grams on distributed computing systems. The OMG is promoting Model-Driven Architecture (MDA) as a signi?cant step towards this vision, and the MDA c- cept has received considerable support within the IT industry.

5th International Conference, Dresden, Germany, September 30 October 4, 2002. Proceedings

UML 2002 - The Unified Modeling Language: Model Engineering, Concepts, and Tools

In the spirit of George McDonald Frasier's legendary antihero Flashman, and updated into a modern setting, this short tale aims to be nothing more than a humorous look at a total Cad who spends his days preying on vulnerable women, only to have his lifestyle backfire one afternoon, putting him into a few minutes of well-deserved danger.

With Apologies to Harry Flashman

The Day I Crashed the Tour

Stuart Russell

This sensational book is the only English-language publication documenting the history of the Wewelsburg Castle, the "SS-School House Wewelsburg," chosen to be the training center for spiritual enlightenment of the Fuehrer's elite Imperial Guard, the SS. Heinrich Himmler, appointed by Adolf Hitler as Reichsfuehrer-SS, became responsible for researching and documenting centuries of Germanic culture, as well as defining the ideology of the Black Corps. Over 200 b/w photographs, numerous illustrations and documents, an exclusive 16-p color section with 31 photographs, and a fold-out with a unique design of the "Twelve Knights of the Round Table." A complete story of the castle's history, architecture, renovation and decor, administration, wartime fate, secrets, and extraordinary esoteric fascination; with Index, Glossary, Reference Notes, and Appendices. Read the facts about what really occurred at the Wewelsburg based on a combined 40 years of research by leading expert Stuart Russell and historian Stephen Cook. Learn of Germany's cultural reawakening, Weltanschauung, the role of the Christian Church, academic studies, scientific evidence, and the personalities involved. The topic has been explored on PBS and the book was featured on The History Channel. To order, or contact us, see www.questknights.com. Kressmann-Backmeyer Publishing, LLC, P.O. Box 1441, Andrews, NC 28901.

Pictorial/documentary : the Wewelsburg Ideological Center of the SS, 1934-1945

Heinrich Himmler's Camelot

The Real Cracker follows the profilers as they advise on five violent crimes, including what is reputedly Britain's most unsolved crime - over a period of ten years, a series of women have been raped at a beauty spot, yet no forensic evidence has ever been discovered. Boon investigates the strange case of 30 women over 80 being raped by a 30-year-old man and the murder of an 87-year-old woman in Sussex. Badock inspects the evidence of the horrific murder of a 23-year-old woman in Kent - police turned to him in order to dismiss her boyfriend from the investigation. As the detective work continues, the psychiatrists advise the police who to look for, who not to look for and how to search for them. Once suspects are arrested they even devise detectives' interview strategies and listen in as suspects are questioned, advising who is guilty and who is not.

Stephen Cook

About

Books

Join the club