Categories
Animal | Application |Art | Artificial Intelligence | Business | Certification | Commerce | Computer - Hardware | Databases | Electronics | Engineering | Grammar | History | Intelligence | Internet | IT - General | Language | Magazine | Medical | Photographic | Networking| Programming | Security | Uncategorized | WWW
Animal | Application |Art | Artificial Intelligence | Business | Certification | Commerce | Computer - Hardware | Databases | Electronics | Engineering | Grammar | History | Intelligence | Internet | IT - General | Language | Magazine | Medical | Photographic | Networking| Programming | Security | Uncategorized | WWW
Ebook Share » Computers & IT
-
Fetched: July 11th, 2008, 6:22am CEST
Tags: [edit]
Publisher: Springer
Language: English
ISBN: 3540698493
Paperback: 231 pages
Data: Jul 2008
Format: PDF
Description: Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, bridging the gap between theoretical computer science and hardware and software
Full download
Fetched: July 11th, 2008, 6:22am CEST
Tags: [edit]
Publisher: Springer
Language: English
ISBN: 1848001142
Paperback: 342 pages
Data: Jul 2008
Format: PDF
Description: Although geometry has been a flourishing discipline for millennia, most of it has seen either no practical applications or only esoteric ones. Computing is quickly making much of geometry intriguing not only for philosophers and mathematicians, but also for scientists and ...
Full download