The Hungarian Revolution 1956

GO The Hungarian Revolution 1956


Author: Erwin Schmidl, L?szl? Ritter, Peter Dennis
Type: eBook
Language: English
Released: 2006
Publisher: Osprey Publishing
Page Count: 35
Format: pdf
ISBN-10: 184603079X
ISBN-13: 9781846030796
Tags:The Hungarian Revolution 1956, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:
As the first monograph in the field, this state-of-the-art survey provides a rigorous presentation of logic programs as representational and reasoning tools. The authors used this book successfully as a text for a MSc course. The use of logic programming for various types of reasoning, particularly for nonmonotonic reasoning, is thoroughly investigated and illustrated and a variety of knowledge representation formalisms, like default negation, integrity constraints, default rules, etc., are treated in depth. Besides the main text, detailed introductory background and motivational information is included together with a bibliography listing 215 entries as well as the listing of the Prolog interpreter used in the text for running numerous examples.

Practical Switching Power Supply Design

GO Practical Switching Power Supply Design


Author: Martin C. Brown
Type: eBook
Language: English
Released: 1990
Publisher: Academic Press
Page Count: 258
Format: pdf
ISBN-10: 0121370305
ISBN-13: 9780121370305
Tags:Practical Switching Power Supply Design, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:
Dieses Lehrbuch gibt eine Einführung in die Statistische Physik, wie sie an der Universität im Zyklus "Theoretische Physik" angeboten wird. Besonderen Wert hat der Autor auf eine gut lesbare, verständliche und überschaubare Darstellung gelegt. Die einzelnen Schritte sind so ausführlich beschrieben, dass der Leser sie ohne größere Schwierigkeiten nachvollziehen kann. Durch die Aufteilung in Kapitel, die eigenständige Unterrichtseinheiten bilden, und die Art der Darstellung ist das Buch auch für Bachelor- und Master-Studiengänge bestens geeignet. In einer Einführung in die mathematische Statistik werden zunächst das Gesetz der großen Zahl und der zentrale Grenzwertsatz abgeleitet. Die statistischen Grundlagen der "Physik der Wärme" werden sehr ausführlich behandelt. Dabei werden die makroskopischen Größen wie Druck, Temperatur und Entropie mikroskopisch definiert, und die Hauptsätze werden aufgestellt. Auf der Grundlage dieser Hauptsätze führt die Thermodynamik zu allgemeinen Relationen zwischen makroskopischen Größen. Breiten Raum nimmt dann die Anwendung der Statistik auf viele verschiedenartige Systeme ein; zu diesen Systemen gehören ideale und reale Gase, das Elektronengas im Metall, die Gitterschwingungen im Kristall und die elektromagnetische Strahlung in einem Plasma. Im Rahmen einer Einführung in das Gebiet der Phasenübergänge werden unter anderem das van der Waals-Gas, der Ferromagnetismus, die Landau-Theorie und die Skalengesetze behandelt. Schließlich werden noch kurz irreversible Prozesse diskutiert. About the Author Prof. Dr. Torsten Fließbach (*1944) habilitierte sich 1977 an der Technischen Universität München in Theoretischer Kernphysik. Seit 1979 ist er Professor für Theoretische Physik an der Universität Siegen. Fließbachs Lehrbuchreihe zur Theoretischen Physik umfasst die folgenden vier Bände: o Mechanik (Band I) o Elektrodynamik (Band II) o Quantenmechanik (Band III) o Statistische Physik (Band IV) Diese Lehrbuchreihe wird durch das Arbeitsbuch zur Theoretischen Physik von Torsten Fließbach und Hans Walliser ergänzt. Das Arbeitsbuch fasst die zentralen Aussagen der vier Gebiete in kurzen Repetitorien zusammen und präsentiert Musterlösungen zu den in den Lehrbüchern gestellten Aufgaben. Auf vergleichbarem Niveau bewegt sich Fließbachs Einführung in die Allgemeine Relativitätstheorie (5. Auflage 2006).

Final Cut Express HD 3.5 Editing Workshop, Third Edition

GO Final Cut Express HD 3.5 Editing Workshop, Third Edition


Author: Tom Wolsky
Type: eBook
Language: English
Released: 2007
Publisher: Focal Press
Page Count: 367
Format: pdf
ISBN-10: 0240809459
ISBN-13: No
Tags:Final Cut Express HD 3.5 Editing Workshop, Third Edition, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:

Optimal Control Theory for Applications

GO Optimal Control Theory for Applications


Author: NO
Type: eBook
Language: English
Released: 2003
Publisher: Springer (India) Private Limited
Page Count: 400
Format: pdf
ISBN-10: 818128190X
ISBN-13: 9788181281906
Tags:Optimal Control Theory for Applications, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:
This classic of pure mathematics offers a rigorous investigation of Hardy spaces and the invariant subspace problem. Its highly readable treatment of complex functions, harmonic analysis, and functional analysis is suitable for advanced undergraduates and graduate students. The text features 100 challenging exercises. 1962 edition.

Partial differential equations

GO Partial differential equations


Author: Fritz John
Type: eBook
Language: English
Released: 1982
Publisher: AMS001,Springer
Page Count: 259
Format: djvu
ISBN-10: 0387906096
ISBN-13: 9780387906096
Tags:Partial differential equations, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:
This book constitutes the refereed proceedings of the 7th International Algorithmic Number Theory Symposium, ANTS 2006, held in Berlin, July 2006. The book presents 37 revised full papers together with 4 invited papers selected for inclusion. The papers are organized in topical sections on algebraic number theory, analytic and elementary number theory, lattices, curves and varieties over fields of characteristic zero, curves over finite fields and applications, and discrete logarithms.

Time Series Analysis and Its Applications: With R Examples

GO Time Series Analysis and Its Applications: With R Examples


Author: Ross Geoghegan
Type: eBook
Language: English
Released: 2006
Publisher: Springer
Page Count: 589
Format: pdf
ISBN-10: 0387746110
ISBN-13: 9780387746111
Tags:Time Series Analysis and Its Applications: With R Examples, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:

Graphics Programming with Perl

GO Graphics Programming with Perl


Author: Martien Verbruggen
Type: eBook
Language: English
Released: 2002
Publisher: Manning Publications
Page Count: 328
Format: pdf
ISBN-10: 1930110022
ISBN-13: 9781930110021
Tags:Graphics Programming with Perl, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:
In the last three decades, advances in methods for investigating polynomial ideals and their varieties have provided new possibilities for approaching two long-standing problems in the theory of differential equations: the PoincarГ© center problem and the cyclicity problem (the problem of bifurcation of limit cycles from singular trajectories). Using a computational algebra approach, this work addresses the center and cyclicity problems as behaviors of dynamical systems and families of polynomial systems. The text first lays the groundwork for computational algebra and gives the main properties of ideals in polynomial rings and their affine varieties; this isВ followed by a discussionВ regarding the theory of normal forms and stability of differential equations. The center and cyclicity problems are then explored in detail. The book contains numerous examples, pseudocode displays of all the computational algorithms, historical notes, nearly two hundred exercises, and an extensive bibliography. Completely self-contained, it is thus suitableВ mainly as a textbook for a graduate course in the subject but also as a reference for researchers.

Twilight's Child

GO Twilight's Child


Author: Cleo Virginia Andrews
Type: aBook
Language: English
Released: NO
Publisher: No
Page Count: 0
Format: mp3
ISBN-10: No
ISBN-13: No
Tags:Twilight's Child, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:
A new generation of McKettrick men stake claim to their land -- and the women they love . . . Like his celebrated ancestors who tamed the wilds of Arizona, Jesse McKettrick's Indian Rock ties run deep. The triple M Ranch is in his blood, along with the thrill of risk. But with his land at stake, Jesse won't get involved in Cheyenne Bridge's scheme -- despite the temptation she brings. Cheyenne grew up in Indian Rock and left its painful memories behind to become a self-made woman. Now her job is to convince Jesse to sell his property. Jesse's not the kind of man Cheyenne could ever forget, but he's too wild and dangerous for a woman committed to playing it safe. Yet sparks of attraction fly, tempting Cheyenne to lay it all on the line for the passion she sees in Jesse's eyes.

Swebok: Guide to the Software Engineering Body of Knowledge: Trial Version 1.00-May 2001

GO Swebok: Guide to the Software Engineering Body of Knowledge: Trial Version 1.00-May 2001


Author: NO
Type: eBook
Language: English
Released: 2001
Publisher: Institute of Electrical and Electronics Engineers
Page Count: 228
Format: pdf
ISBN-10: 0863413234
ISBN-13: No
Tags:Swebok: Guide to the Software Engineering Body of Knowledge: Trial Version 1.00-May 2001, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:

Mandjurica. : I. specimens of the Solon and the Dagur languages

GO Mandjurica. : I. specimens of the Solon and the Dagur languages


Author: A. O., Ivanovskii
Type: eBook
Language: English
Released: 1982
Publisher: Akademiai Kiado
Page Count: 104
Format: pdf
ISBN-10: 9630532611
ISBN-13: No
Tags:Mandjurica. : I. specimens of the Solon and the Dagur languages, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:

African City History

GO African City History


Author: Freund
Type: eBook
Language: English
Released: NO
Publisher: No
Page Count: 226
Format: pdf
ISBN-10: 0511333994
ISBN-13: 9780511333996
Tags:African City History, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:
Control and Optimization presents a systematic account of optimal control theory in relation to a general approach to optimization that is also applicable in other contexts. It covers a diversity of applications, incorporates a full chapter of worked examples, examines good computing methods, and explores some more recent results on sensitivity and approximation, invex functions in optimization models, and methods for nonsmooth problems.

Multi-scale Quantum Models for Biocatalysis

GO Multi-scale Quantum Models for Biocatalysis


Author: Darrin M. York, Tai-Sung Lee
Type: eBook
Language: English
Released: NO
Publisher: No
Page Count: 425
Format: pdf
ISBN-10: 140209955X
ISBN-13: 9781402099557
Tags:Multi-scale Quantum Models for Biocatalysis, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:

Test Your Numerical Aptitude: How to Assess Your Numeracy Skills and Plan Your Career

GO Test Your Numerical Aptitude: How to Assess Your Numeracy Skills and Plan Your Career


Author: Jim Barrett
Type: eBook
Language: English
Released: 2007
Publisher: Kogan Page
Page Count: 192
Format: pdf
ISBN-10: 0749450649
ISBN-13: 9780749450649
Tags:Test Your Numerical Aptitude: How to Assess Your Numeracy Skills and Plan Your Career, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:
Hundreds of solved examples, exercises, and applications help students gain a firm understanding of the most important topics in the theory and applications of complex variables. Topics include the complex plane, basic properties of analytic functions, analytic functions as mappings, analytic and harmonic functions in applications, and transform methods. Perfect for undergrads/grad students in science, mathematics, engineering. A three-semester course in calculus is sole prerequisite. 1990 ed. Appendices.

Reliability and statistics in geotechnical engineering

GO Reliability and statistics in geotechnical engineering


Author: Gregory Baecher, John Christian
Type: eBook
Language: English
Released: 2003
Publisher: Wiley
Page Count: 619
Format: pdf
ISBN-10: 0471498335
ISBN-13: 9780471498339
Tags:Reliability and statistics in geotechnical engineering, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:

Gas Adsorption Equilibria: Experimental Methods and Adsorptive Isotherms

GO Gas Adsorption Equilibria: Experimental Methods and Adsorptive Isotherms


Author: J?rgen U. Keller, Reiner Staudt
Type: eBook
Language: English
Released: 2004
Publisher: Springer
Page Count: 422
Format: pdf
ISBN-10: 0387235981
ISBN-13: No
Tags:Gas Adsorption Equilibria: Experimental Methods and Adsorptive Isotherms, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:

Consciousness. A Mathematical Treatment of the Global Neuronal Workspace Model

GO Consciousness. A Mathematical Treatment of the Global Neuronal Workspace Model


Author: Rodrick Wallace
Type: eBook
Language: English
Released: 2005
Publisher: Springer
Page Count: 124
Format: pdf
ISBN-10: 0387252428
ISBN-13: 9780387252421
Tags:Consciousness. A Mathematical Treatment of the Global Neuronal Workspace Model, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:
Donald Knuth's influence in computer science ranges from the invention of literate programming to the development of the TeX programming language. One of the foremost figures in the field of mathematical sciences, his papers are widely referenced and stand as milestones of development over a wide range of topics. This volume assembles more than three dozen of Professor Knuth's pioneering contributions to discrete mathematics. It includes a variety of topics in combinatorial mathematics (finite geometries, graph theory, enumeration, partitions, tableaux, matroids, codes); discrete algebra (finite fields, groupoids, closure operators, inequalities, convolutions, Pfaffians); and concrete mathematics (recurrence relations, special numbers and notations, identities, discrete probability). Of particular interest are two fundamental papers in which the evolution of random graphs is studied by means of generating functions. Book Description Donald Knuth's influence in computer science ranges from the invention of literate programming to the development of the TeX programming language. This volume assembles more than three dozen of Professor Knuth's pioneering contributions to discrete mathematics. It includes a variety of topics in combinatorial mathematics, discrete algebra, and concrete mathematics.

Meteors and How to Observe Them

GO Meteors and How to Observe Them


Author: Robert Lunsford
Type: eBook
Language: English
Released: 2008
Publisher: Springer
Page Count: 198
Format: pdf
ISBN-10: 0387094601
ISBN-13: 9780387094601
Tags:Meteors and How to Observe Them, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:
In its discussions of mathematical entities and their elementary properties, this text employs examples from the physical sciences. Its concise treatment covers preliminary results in the integral calculus, distribution theory, Fourier series and transforms, the Laplace transform, the wave and heat conduction equations, and gamma and Bessel functions. 1966 edition.

Laws of Form

GO Laws of Form


Author: Spencer-Brown
Type: eBook
Language: English
Released: 1979
Publisher: Plume
Page Count: 169
Format: pdf
ISBN-10: 0525475443
ISBN-13: 9780525475446
Tags:Laws of Form, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:
This book constitutes the thoroughly refereed post-proceedings of the 19th International Workshop on Implementation and Applications of Functional Languages, IFL 2007, held in Freiburg, Germany in September 2007. The 15 revised full papers presented went through two rounds of reviewing and improvement and were selected from 33 submissions. The papers address all current theoretical and methodological issues on functional and function-based languages such as type checking, contract checking, compilation, parallelism, development and debugging, data structures, parsing as well as various performance related concepts.

Fooled by Randomness: The Hidden Role of Chance in Life and in the Markets

GO Fooled by Randomness: The Hidden Role of Chance in Life and in the Markets


Author: Nassim Nicholas Taleb
Type: aBook
Language: English
Released: NO
Publisher: No
Page Count: 0
Format: mp3
ISBN-10: No
ISBN-13: No
Tags:Fooled by Randomness: The Hidden Role of Chance in Life and in the Markets, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:
It is winter, 1991. Inspector Kurt Wallander's team at the Ystad police station face a new challenge: two corpses, frozen together in a gruesome embrace, have been washed ashore on the remote Swedish coastline. The dead men were Eastern European criminals, but what looks like a gangland hit takes on a much more sinister aspect when Wallander travels across the Baltic Sea to Latvia, a nation in the throws of the massive upheaval that will lead to its independence from the Soviet Union. Wallander is thrown into an icy, alien world of police surveillance, veiled threats and lies, coming to understand what it is to live in a nation in which democracy is still a dream. Only his dogged, almost subconscious desire to see justice done will lead him to the shadowy figures he pursues.

Banewreaker

GO Banewreaker


Author: Jacqueline Carey
Type: aBook
Language: English
Released: NO
Publisher: No
Page Count: 0
Format: mp3
ISBN-10: No
ISBN-13: No
Tags:Banewreaker, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:
Pip McCabe, 30, likes to say she doesnt need a man and she doesnt need money... However, her friends and her sisters think she would benefit from a little more of each. But stripy tights, starched pigtails, a bright red nose and an ability to juggle whilst doing the splits only just about pay the bills and seldom lead to romance or romps. Pip, though, takes her clowning very seriously, whether at spoilt kids parties or on the wards of childrens hospitals. She simply doesnt have time for a man, she claims. And her bank balance hovers just above the red, so thats OK. Zac Holmes, 34, has a successful, high-powered career, a fabulous flat and an adored 6-year-old son from a previous relationship. Popular, charming and affluent, Zac feels that no-strings flings suit his lifestyle as much as the pleasing bonuses he earns at work. When Zac and Pip first meet, it is far from love or lust at first sight. What can a clown and an accountant possibly have in common? Against a lively backdrop of parties and parks, hospitals and hotels, the attempt to find out

Lucky's Lady

GO Lucky's Lady


Author: Tami Hoag
Type: aBook
Language: English
Released: NO
Publisher: No
Page Count: 0
Format: mp3
ISBN-10: No
ISBN-13: No
Tags:Lucky's Lady, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:
Lucy Baker walks away from her high-flying legal career when she successfully defends yet another heinous criminal. Almost a year after her life-changing decision, Lucy has never been happier. Leaving New York City for the suburbs, tending her garden and her dog, Lucy is making future plans with her fianc Jonathan St. Clair В and getting acquainted with her neighbors, including the handsome, exasperating one next door, Wylie Wilson. But when FBI special agents confront Lucy with shocking revelations about her fiancs secret double life, everything about her husband-to-be is cast in suspicion. Recovering from a freak accident that has left her with a heightened sense of intuition, and getting closer than she ever dreamed to Wylie, Lucy must determine who to trust В and fast, before someone breaks down her defenses and targets her....

Scientific Case for Creation

GO Scientific Case for Creation


Author: Bert Thompson
Type: eBook
Language: English
Released: 2004
Publisher: Apologetics Press, Inc.
Page Count: 285
Format: pdf
ISBN-10: 0932859631
ISBN-13: 9780932859631
Tags:Scientific Case for Creation, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:
Art gallery theorems and algorithms are so called because they relate to problems involving the visibility of geometrical shapes and their internal surfaces. This book explores generalizations and specializations in these areas. Among the presentations are recently discovered theorems on orthogonal polygons, polygons with holes, exterior visibility, visibility graphs, and visibility in three dimensions. The author formulates many open problems and offers several conjectures, providing arguments which may be followed by anyone familiar with basic graph theory and algorithms. This work may be applied to robotics and artificial intelligence as well as other fields, and will be especially useful to computer scientists working with computational and combinatorial geometry.

DEVELOPING AN INDUSTRIAL CHEMICAL PROCESS

GO DEVELOPING AN INDUSTRIAL CHEMICAL PROCESS


Author: Joseph Mizrahi
Type: eBook
Language: English
Released: 2002
Publisher: CRC Press
Page Count: 229
Format: pdf
ISBN-10: 0849313600
ISBN-13: 9780849313608
Tags:DEVELOPING AN INDUSTRIAL CHEMICAL PROCESS, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:
This volume contains the revised versions of 28 papers presented at the third workshop on Computer Science Logic held in Kaiserslautern, FRG, October 2-6, 1989. These proceedings cover a wide range of topics both from theoretical and applied areas of computer science. More specifically, the papers deal with problems arising at the border of logic and computer science, e.g. in complexity, data base theory, logic programming, artificial intelligece, and temporal logic. The volume should be of interest to all logicians and computer scientists working in the above field.

Advances in Enterprise Engineering II: First NAF Academy Working Conference on Practice-Driven Research on Enterprise Transformation, PRET 2009, held at ... Notes in Business Information Processing)

GO Advances in Enterprise Engineering II: First NAF Academy Working Conference on Practice-Driven Research on Enterprise Transformation, PRET 2009, held at ... Notes in Business Information Processing)


Author: Erik Proper, Frank Harmsen, Jan L.G. Dietz
Type: eBook
Language: English
Released: 2009
Publisher: Springer
Page Count: 222
Format: pdf
ISBN-10: 3642018580
ISBN-13: 9783642018589
Tags:Advances in Enterprise Engineering II: First NAF Academy Working Conference on Practice-Driven Research on Enterprise Transformation, PRET 2009, held at ... Notes in Business Information Processing), tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:
This book constitutes the thoroughly refereed extended postproceedings of the 7th International Workshop on Membrane Computing, WMC 2006, held in Leiden, Netherlands in July 2006. The 27 revised full papers presented together with 7 invited papers went through two rounds of reviewing and improvement. The papers in this volume cover all the main directions of research in membrane computing, ranging from theoretical topics in mathematics and computer science, and to application issues. Special attention was paid to the interaction of membrane computing with biology, focusing both on the biological roots of membrane computing and on applications of membrane computing in biology and medicine.

Approaches to Quantum Gravity

GO Approaches to Quantum Gravity


Author: Daniele Oriti
Type: eBook
Language: English
Released: 2009
Publisher: Cambridge University Press
Page Count: 605
Format: pdf
ISBN-10: 0521860458
ISBN-13: 9780521860451
Tags:Approaches to Quantum Gravity, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:
The theory of quantum gravity promises a revolutionary new understanding of gravity and spacetime, valid from microscopic to cosmological distances. Research in this field involves an exciting blend of rigorous mathematics and bold speculations, foundational questions and technical issues. Containing contributions from leading researchers in this field, this book presents the fundamental issues involved in the construction of a quantum theory of gravity and building up a quantum picture of space and time. It introduces the most current approaches to this problem, and reviews their main achievements. Each part ends in questions and answers, in which the contributors explore the merits and problems of the various approaches. This book provides a complete overview of this field from the frontiers of theoretical physics research for graduate students and researchers. Book Description Containing contributions from leading researchers in this field, this book provides a complete overview of this field from the frontiers of theoretical physics research for graduate students and researchers. It introduces the most current approaches to this problem, and reviews their main achievements.

Computer Aided Verification, 4 conf., CAV '92

GO Computer Aided Verification, 4 conf., CAV '92


Author: David K. Probst, Gregor Von Bochmann
Type: eBook
Language: English
Released: 1993
Publisher: Springer
Page Count: 432
Format: djvu
ISBN-10: 3540564969
ISBN-13: 9783540564966
Tags:Computer Aided Verification, 4 conf., CAV '92, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:
This volume gives the proceedings of the Fourth Workshop on Computer-Aided Verification (CAV '92), held in Montreal, June 29 - July 1, 1992. The objective of this series of workshops is to bring together researchers and practitioners interested in the development and use of methods, tools and theories for the computer-aided verification of concurrent systems. The workshops provide an opportunity for comparing various verification methods and practical tools that can be used to assist the applications designer. Emphasis is placed on new research results and the application of existing results to real verification problems. The volume contains 31 papers selected from 75 submissions. These are organized into parts on reduction techniques, proof checking, symbolic verification, timing verification, partial-order approaches, case studies, model and proof checking, and other approaches. The volume starts with an invited lecture by Leslie Lamport entitled "Computer-hindered verification (humans can do it too)".

Cancun & the Yucatan for Dummies

GO Cancun & the Yucatan for Dummies


Author: David Baird, Victoria Veilleux
Type: eBook
Language: English
Released: 2007
Publisher: Wiley
Page Count: 305
Format: pdf
ISBN-10: 0470120037
ISBN-13: 9780470120033
Tags:Cancun & the Yucatan for Dummies, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:
This book constitutes the refereed proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP 2001, held in Crete, Greece in July 2001.The 80 revised papers presented together with two keynote contributions and four invited papers were carefully reviewed and selected from a total of 208 submissions. The papers are organized in topical sections on algebraic and circuit complexity, algorithm analysis, approximation and optimization, complexity, concurrency, efficient data structures, graph algorithms, language theory, codes and automata, model checking and protocol analysis, networks and routing, reasoning and verification, scheduling, secure computation, specification and deduction, and structural complexity.

Coupled Ocean-Atmosphere Models

GO Coupled Ocean-Atmosphere Models


Author: J.C.J. Nihoul
Type: eBook
Language: English
Released: NO
Publisher: No
Page Count: 793
Format: pdf
ISBN-10: 0444424865
ISBN-13: 9780444424860
Tags:Coupled Ocean-Atmosphere Models, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:
This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, MPC 2008, held in Marseille, France in July 2008. The 18 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 41 submissions. Issues addressed range from algorithmics to support for program construction in programming languages and systems. Topics of special interest are type systems, program analysis and transformation, programming language semantics, program logics.

The Science of Air Concepts and Applications

GO The Science of Air Concepts and Applications


Author: Frank R. Spellman
Type: eBook
Language: English
Released: 2008
Publisher: CRC Press
Page Count: 312
Format: pdf
ISBN-10: 1420075322
ISBN-13: 9781420075328
Tags:The Science of Air Concepts and Applications, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:
This book constitutes the refereed proceedings of the 5th International Workshop on Visualization for Cyber Security held on September 15, 2008, in Cambridge, Massachusetts, USA, in conjunction with the 11th International Symposium on Recent Advances in Intrusion Detection (RAID). The 18 papers presented in this volume were carefully reviewed and selected from 27 submissions. VizSec research has focused on helping human analysts to detect anomalies and patterns, particularly in computer network defence. This year paper focus on bridging the gap between visualization and automation.

Pharmacokinetic-pharmacodynamic modeling and simulation

GO Pharmacokinetic-pharmacodynamic modeling and simulation


Author: Peter L. Bonate, Springerlink
Type: eBook
Language: English
Released: 2005
Publisher: Springer
Page Count: 394
Format: pdf
ISBN-10: 0387271996
ISBN-13: 9780387271996
Tags:Pharmacokinetic-pharmacodynamic modeling and simulation, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:
Famed puzzle expert explains math behind a multitude of mystifying tricks: card tricks, stage "mind reading," coin and match tricks, counting out games, geometric dissections, etc. Probability, sets, theory of numbers clearly explained. Also, more than 400 tricks, guaranteed to work, that you can do. 135 illustrations.

The World from Beginnings to 4000 BCE

GO The World from Beginnings to 4000 BCE


Author: Ian Tattersall
Type: eBook
Language: English
Released: 2005
Publisher: Oxford University Press, USA
Page Count: 159
Format: pdf
ISBN-10: 0195167120
ISBN-13: 9780195167122
Tags:The World from Beginnings to 4000 BCE, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:

Heart of the Storm

GO Heart of the Storm


Author: Lindsey Mckenna
Type: aBook
Language: English
Released: NO
Publisher: No
Page Count: 0
Format: mp3
ISBN-10: No
ISBN-13: No
Tags:Heart of the Storm, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:

Practicing Perfection: Memory and Piano Performance

GO Practicing Perfection: Memory and Piano Performance


Author: Gabriela Imreh, Mary Crawford, Roger Chaffin
Type: eBook
Language: English
Released: 2002
Publisher: Psychology Press
Page Count: 320
Format: pdf
ISBN-10: 0805826106
ISBN-13: 9780805826104
Tags:Practicing Perfection: Memory and Piano Performance, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:

Computer Simulated Plant Design for Waste Minimization Pollution Prevention

GO Computer Simulated Plant Design for Waste Minimization Pollution Prevention


Author: Stan Bumble
Type: eBook
Language: English
Released: 2000
Publisher: CRC Press
Page Count: 177
Format: pdf
ISBN-10: 1566703522
ISBN-13: 9781566703529
Tags:Computer Simulated Plant Design for Waste Minimization Pollution Prevention, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:
Develops a simple non-Euclidean geometry and explores some of its practical applications through graphs, research problems, and exercises. Includes selected answers.

Tool and Cutter Sharpening 38

GO Tool and Cutter Sharpening 38


Author: Harold Hall
Type: eBook
Language: English
Released: 2007
Publisher: Trans-Atlantic Publications, Inc.
Page Count: 68
Format: pdf
ISBN-10: 1854862413
ISBN-13: 9781854862419
Tags:Tool and Cutter Sharpening 38, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:
Hundreds of solved examples, exercises, and applications help students gain a firm understanding of the most important topics in the theory and applications of complex variables. Topics include the complex plane, basic properties of analytic functions, analytic functions as mappings, analytic and harmonic functions in applications, and transform methods. Perfect for undergrads/grad students in science, mathematics, engineering. A three-semester course in calculus is sole prerequisite. 1990 ed. Appendices.

Real Variable Methods in Fourier Analysis

GO Real Variable Methods in Fourier Analysis


Author: Author Unknown
Type: eBook
Language: English
Released: 1981
Publisher: North Holland
Page Count: 407
Format: djvu
ISBN-10: 0444861246
ISBN-13: 9780444861245
Tags:Real Variable Methods in Fourier Analysis, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:
This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Algorithm Engineering and Experimentation, ALENEX 2001, held in Washington, DC, USA in January 2001.The 15 revised full papers presented together with the abstracts of three invited presentations have gone through two rounds of reviewing and revision and were selected from 31 submissions. Among the topics addressed are heuristics for approximation, network optimization, TSP, randomization, sorting, information retrieval, graph computations, tree clustering, scheduling, network algorithms, point set computations, searching, and data mining.

Power of Six Sigma

GO Power of Six Sigma


Author: Subir Chowdhury
Type: eBook
Language: English
Released: 2001
Publisher: Kaplan Business
Page Count: 5
Format: pdf
ISBN-10: 0793144345
ISBN-13: 9780793144341
Tags:Power of Six Sigma, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:
Proceedings of the 11th International Conference on Concurrency Theory, held in University Park, PA, August 22-25, 2000. The scope of the confernce covered all areas of semantics, logics, and verification techniques for concurrent systems, as well as other related topics. Softcover.

The Fly-tying Bible

GO The Fly-tying Bible


Author: Peter Gathercole
Type: eBook
Language: English
Released: 2003
Publisher: Aurum Press Ltd
Page Count: 257
Format: pdf
ISBN-10: 1854108654
ISBN-13: 9781854108654
Tags:The Fly-tying Bible, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:
This tutorial book presents six carefully revised lectures given at the Spring School on Datatype-Generic Programming, SSDGP 2006. This was held in Nottingham, UK, in April 2006. It was colocated with the Symposium on Trends in Functional Programming (TFP 2006), and the Conference of the Types Project (TYPES 2006). All the lectures have been subjected to thorough internal review by the editors and contributors, supported by independent external reviews.

Medieval Scandinavian Armies 1100-1300

GO Medieval Scandinavian Armies 1100-1300


Author: Angus Mcbride, David Lindholm
Type: eBook
Language: English
Released: 2003
Publisher: Osprey Publishing
Page Count: 52
Format: pdf
ISBN-10: 1841765058
ISBN-13: 9781841765051
Tags:Medieval Scandinavian Armies 1100-1300, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:

El Sid And Reconquista 1050-1492

GO El Sid And Reconquista 1050-1492


Author: NO
Type: eBook
Language: English
Released: NO
Publisher: Osprey
Page Count: 48
Format: pdf
ISBN-10: 0850438404
ISBN-13: No
Tags:El Sid And Reconquista 1050-1492, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:

Logic for Programming, Artificial Intelligence, and Reasoning, 14 conf., LPAR 2007

GO Logic for Programming, Artificial Intelligence, and Reasoning, 14 conf., LPAR 2007


Author: Andrei Voronkov, Nachum Dershowitz
Type: eBook
Language: English
Released: 2007
Publisher: Springer
Page Count: 572
Format: pdf
ISBN-10: 3540755586
ISBN-13: 9783540755586
Tags:Logic for Programming, Artificial Intelligence, and Reasoning, 14 conf., LPAR 2007, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:
Motivated by questions about which functions could be represented by Dirichlet series, Harald Bohr founded the theory of almost periodic functions in the 1920s. This beautiful exposition begins with a discussion of periodic functions before addressing the almost periodic case. An appendix discusses almost periodic functions of a complex variable. This is a beautiful exposition of the theory of Almost Periodic Functions written by the creator of that theory; translated by H. Cohn.

Quantum Optics

GO Quantum Optics


Author: John Garrison, Raymond Chiao
Type: eBook
Language: English
Released: 2008
Publisher: Oxford University Press, USA
Page Count: 624
Format: pdf
ISBN-10: No
ISBN-13: 9780198508861
Tags:Quantum Optics, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:
Introduces a wide range of modern physics principles developed in the 20th century. Maintains a consistent level & focuses on key topics of concern today, for a more contemporary approach than other treatments of modern physics. DLC: Physics.

Gauge theory and variational principles

GO Gauge theory and variational principles


Author: David Bleecker
Type: eBook
Language: English
Released: 1981
Publisher: AW
Page Count: 201
Format: djvu
ISBN-10: 201100967
ISBN-13: 9780201100969
Tags:Gauge theory and variational principles, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:
Knitting and life. They're both about beginnings - and endings. That's why it makes sense for Lydia Goetz, owner of A Good Yarn on Seattle's Blossom Street, to offer a class called Knit to Quit. It's for people who want to quit something - or someone! - and start a new phase of their lives.First to join is Phoebe Rylander. She recently ended her engagement to a man who doesn't know the meaning of faithful, and she's trying to get over him. Then there's Alix Turner. She and her husband, Jordan, want a baby, which means she has to quit smoking. And Bryan Hutchinson joins the class because he needs a way to deal with the stress of running his family's business - not to mention the lawsuit brought against him by an unscrupulous lawyer.Life can be as complicated as a knitting pattern. Just ask Anne Marie Roche. She and her adopted daughter, Ellen, finally have the happiness they wished for. And then a stranger comes to her bookstore asking questions.Or ask Lydia herself. Not only is she coping with her increasingly frail mother, but she and Brad have unexpectedly become foster parents to an angry, defiant twelve-year-old.But as Lydia already knows, when life gets difficult and your stitches are snarled, your friends can always help!

Inorganic Chemistry: An Industrial and Environmental Perspective

GO Inorganic Chemistry: An Industrial and Environmental Perspective


Author: T. W. Swaddle
Type: eBook
Language: English
Released: 1997
Publisher: AP
Page Count: 476
Format: djvu
ISBN-10: 0126785503
ISBN-13: 9780126785500
Tags:Inorganic Chemistry: An Industrial and Environmental Perspective, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:

Statistics applied to clinical trials

GO Statistics applied to clinical trials


Author: A.H. Zwinderman, Eugene P. Cleophas, Toine F. Cleophas, Ton J. Cleophas
Type: eBook
Language: English
Released: 2009
Publisher: Springer
Page Count: 550
Format: pdf
ISBN-10: 1402095228
ISBN-13: 9781402095221
Tags:Statistics applied to clinical trials, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:
This text is intended to provide a modern and integrated treatment of the foundations and applications of continuum mechanics. There is a significant increase in interest in continuum mechanics because of its relevance to microscale phenomena. In addition to being tailored for advanced undergraduate students and including numerous examples and exercises, this text also features a chapter on continuum thermodynamics, including entropy production in Newtonian viscous fluid flow and thermoelasticity. Computer solutions and examples are emphasized through the use of the symbolic mathematical computing program Mathematica (r). Book Description This text is intended to provide a modern and integrated treatment of the foundations and applications of continuum mechanics, especially to microscale phenomena. The text includes numerous examples and exercises and a chapter on continuum thermodynamics, including entropy production in Newtonian viscous fluid flow and thermoelasticity. Computer solutions use Mathematica (r).

Securing Windows Server 2008: Prevent Attacks from Outside and Inside Your Organization

GO Securing Windows Server 2008: Prevent Attacks from Outside and Inside Your Organization


Author: Aaron Tiensivu
Type: eBook
Language: English
Released: 2008
Publisher: Syngress
Page Count: 415
Format: pdf
ISBN-10: 1597492809
ISBN-13: 9781597492805
Tags:Securing Windows Server 2008: Prevent Attacks from Outside and Inside Your Organization, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:
This book provides the theory for stratified spaces, along with important examples and applications, that is analogous to the surgery theory for manifolds. In the first expository account of this field, Weinberger provides topologists with a new way of looking at the classification theory of singular spaces with his original results. Divided into three parts, the book begins with an overview of modern high-dimensional manifold theory. Rather than including complete proofs of all theorems, Weinberger demonstrates key constructions, gives convenient formulations, and shows the usefulness of the technology. Part II offers the parallel theory for stratified spaces. Here, the topological category is most completely developed using the methods of "controlled topology." Many examples illustrating the topological invariance and noninvariance of obstructions and characteristic classes are provided. Applications for embeddings and immersions of manifolds, for the geometry of group actions, for algebraic varieties, and for rigidity theorems are found in Part III. This volume will be of interest to topologists, as well as mathematicians in other fields such as differential geometry, operator theory, and algebraic geometry.

Introduction to Biomes

GO Introduction to Biomes


Author: Susan L., Woodward
Type: eBook
Language: English
Released: 2009
Publisher: No
Page Count: 182
Format: pdf
ISBN-10: No
ISBN-13: 9780313338403
Tags:Introduction to Biomes, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:

Tudor Knight

GO Tudor Knight


Author: Christopher Gravett, Graham Turner
Type: eBook
Language: English
Released: 2006
Publisher: Osprey
Page Count: 68
Format: pdf
ISBN-10: 1841769703
ISBN-13: 9781841769707
Tags:Tudor Knight, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:
If you move at high speed, time slows down, space squashes up and you get heavier. Travel fast enough and you could weigh as much as a jumbo jet, be flattened thinner than a CD without feeling a thing-and live forever! As for the angles of a triangle, they do not always have to add up to 180 degrees. And then, of course, there are black holes. These are but a few of the extraordinary consequences of Einstein's theory of relativity. It is now over a hundred years since he made these discoveries, and yet the general public is still largely unaware of them. Filled with illuminating anecdotes and fascinating accounts of experiments, this book aims to introduce the interested lay person to the subject of relativity in a way which is accessible and engaging and at the same time scientifically rigorous. With relatively few mathematical equations--nothing more complicated than the Pythagoras's Theorem--this VSI packs a lot time into very little space, and for anyone who has felt intimidated by Einstein's groundbreaking theory, it offers the perfect place to start. About the Author Russell Stannard is Emeritus Professor of Physics at the Open University. A prolific writer for both adults and children, his books are translated into 20 languages and have been shortlisted for many scientific book prizes. His trilogy of Uncle Albert books introduces children of 10+ to relativity and quantum theory. He is the co-author, with Paul Davies, of The God Experiment.

Heat Convection

GO Heat Convection


Author: T. Kuppan
Type: eBook
Language: English
Released: 2006
Publisher: Springer
Page Count: 443
Format: pdf
ISBN-10: 0824797876
ISBN-13: No
Tags:Heat Convection, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description:
This book constitutes the refereed proceedings of the 19th International Symposium on Algorithms and Computation, ISAAC 2008, held in Gold Coast, Australia in December 2008. The 78 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 229 submissions for inclusion in the book. The papers are organized in topical sections on approximation algorithms, online algorithms, data structure and algorithms, game theory, graph algorithms, fixed parameter tractability, distributed algorithms, database, approximation algorithms, computational biology, computational geometry, complexity, networks, optimization as well as routing.

Genetic Privacy: A Challenge to Medico-Legal Norms

GO Genetic Privacy: A Challenge to Medico-Legal Norms


Author: Graeme Laurie
Type: eBook
Language: English
Released: 2002
Publisher: Cambridge University Press
Page Count: 362
Format: pdf
ISBN-10: 0511019696
ISBN-13: No
Tags:Genetic Privacy: A Challenge to Medico-Legal Norms, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description: