Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
A Second Course in Formal Languages and Automata Theory
A Second Course in Formal Languages and Automata Theory
Intended for graduate students and advanced undergraduates in computer science, A Second Course in Formal Languages and Automata Theory treats topics in the theory of computation not usually covered in a first course. After a review of basic concepts, the book covers combinatorics on words, regular languages, context-free languages, parsing and...
The Art of Siege Warfare and Military Architecture from the Classical World to the Middle Ages
The Art of Siege Warfare and Military Architecture from the Classical World to the Middle Ages
The papers in this book present, for the first time, the world of warfare, both defensive and offensive, from the Classical periods to end of the Middle Ages in one collection. These scholarships have attracted ancient writers and generals and nowadays historians, archaeologists and researchers poliorcetics. Military historiography and...
Designing Forms for Microsoft Office InfoPath and Forms Services 2007 (Microsoft .NET Development Series)
Designing Forms for Microsoft Office InfoPath and Forms Services 2007 (Microsoft .NET Development Series)
"Microsoft Office InfoPath represents a revolutionary leap in XML technologies and a new paradigm for gathering business-critical information. I am delighted that Scott Roberts and Hagen Green, two distinguished members of the InfoPath product team, decided to share their experience in this book."

--From the Foreword by Jean...

The Princeton Companion to Mathematics
The Princeton Companion to Mathematics

This is a one-of-a-kind reference for anyone with a serious interest in mathematics. Edited by Timothy Gowers, a recipient of the Fields Medal, it presents nearly two hundred entries, written especially for this book by some of the world's leading mathematicians, that introduce basic mathematical tools and vocabulary; trace the...

Beautiful Data: The Stories Behind Elegant Data Solutions
Beautiful Data: The Stories Behind Elegant Data Solutions
In this insightful book, you'll learn from the best data practitioners in the field just how wide-ranging -- and beautiful -- working with data can be. Join 39 contributors as they explain how they developed simple and elegant solutions on projects ranging from the Mars lander to a Radiohead video.

With Beautiful
...
Formal Methods: Industrial Use from Model to the Code
Formal Methods: Industrial Use from Model to the Code

Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language. It took until the end of the 1990s before formal methods or the B method could be implemented in...

Burdens of Proof: Cryptographic Culture and Evidence Law in the Age of Electronic Documents
Burdens of Proof: Cryptographic Culture and Evidence Law in the Age of Electronic Documents

The gradual disappearance of paper and its familiar evidential qualities affects almost every dimension of contemporary life. From health records to ballots, almost all documents are now digitized at some point of their life cycle, easily copied, altered, and distributed. In Burdens of Proof, Jean-François Blanchette examines...

GPRS for Mobile Internet
GPRS for Mobile Internet
This book helps you understand how the GPRS system is used as a major technology building block for the emerging mobile Internet; the book also provides you with detailed coverage of a wide range of important topics.

This ground-breaking book offers you a comprehensive, in-depth presentation of GPRS (general packet radio service). The...

Synchronization of Parallel Programmes (Studies in computer science)
Synchronization of Parallel Programmes (Studies in computer science)

The use of modular and parallel programming languages, and the development of distributed architectures is having a profound influence on computer programming and systems design; hardware and performance can now conspire to produce much higher operating speeds than could previously be achieved through sequential processing. Executing...

Bioinformatics For Dummies (Math & Science)
Bioinformatics For Dummies (Math & Science)
Search databases and analyze sequences like a pro

Get the most out of your PC and the Web with the right tools

Explore the human genome and analyze DNA — without leaving your desktop! All it takes is the basics of molecular biology and the wealth of information in this friendly guide. You'll discover the...

The Analytic Art (Dover Books on Mathematics)
The Analytic Art (Dover Books on Mathematics)
This historic work consists of several treatises that developed the first consistent, coherent, and systematic conception of algebraic equations. Originally published in 1591, it pioneered the notion of using symbols of one kind (vowels) for unknowns and of another kind (consonants) for known quantities.

Fran90is Viete was born in
...
Disinformation and Fake News
Disinformation and Fake News
This book is a collection of chapters penned by practitioners from around the world on the impact that disinformation and fake news has had in both the online and social sphere.

While much has been said about individual disinformation campaigns in specific countries, this book offers a panoramic view of how these
...
unlimited object storage image
Result Page: 8 7 6 5 4 3 2 1 
©2021 LearnIT (support@pdfchm.net) - Privacy Policy