English
Deutsch
Français
简体中文
繁體中文
Categories
-- Database/SQL
-- Multimedia
-- Internet/Networking
-- Operating System
-- Programming
-- Security/Hacking
-- Science/Engineering
-- Web/HTML/CSS/Ajax
-- Unix/Linux
-- Windows
-- Mac OS X
-- Office
-- Perl/PHP/Python
-- C/C++/C#
-- .NET
-- Java
-- Hardware
-- Game Development
-- Embedded Systems
-- Graphics and Design
-- Network Programming
Study
Novel
Nonfiction
Health
Tutorial
Entertainment
Business
Magazine
Arts & Design
Audiobooks & Video Training
Cultures & Languages
Family & Home
Law & Politics
Lyrics & Music
Software Related
eBook Torrents
Uncategorized
Share With Friends
Archive by Date
2012-08-05
2012-08-04
2012-08-03
2012-08-02
2012-08-01
2012-07-31
2012-07-30
2012-07-29
2012-07-28
Search Tag
Newest
"Multiplexed Networks for Embedded Systems: CAN, LIN, Flexray, Safe-by-Wire..." by Dominique Paret (Repost)
Dino Esposito, "Building Web Solutions with ASP.Net and ADO.NET" (Repost)
Learning Core Audio: A Hands-On Guide to Audio Programming for Mac and iOS
Power Performance - Multimedia Storytelling for Journalism and Public Relations
pluralsight-training.net SQL Server: Transact-SQL Basic Data Retrieval [2012, ENG]
pluralsight-training.net SQL Server: Collecting and Analyzing Trace Data [2012, ENG]
Pluralsight.net - Introduction to Nancy-JWARE
Technical Structured Programming with C++
Technical Getting Started with LaTeX by David R. Wilkins
Windows A Third Window - Natural Life beyond Newton and Darwin
PLURALSIGHT.NET WINDOWS 8 METRO CONNECTED APPS-JGTiSO
PLURALSIGHT.NET WINDOWS 8 METRO APPLICATION DATA-JGTiSO
PLURALSIGHT.NET BUILDING WINDOWS 8 METRO APPS WITH C PLUS PLUS AND XAML-JGTiSO
PLURALSIGHT.NET BUILDING WINDOWS 8 METRO APPS WITH C SHARP AND XAML-JGTiSO
PLURALSIGHT.NET INTRODUCTION TO BUILDING WINDOWS 8 METRO APPLICATIONS-JGTiSO
Multimedia over IP and Wireless Networks - Compression, Networking, and Systems
Interactive Distributed Multimedia Systems and Telecommunication Services
The Art of Hardware Architecture - Design Methods and Techniques for Digital Circuits
Pro/ENGINEER WILDFIRE 5.0 Tutorial and MultiMedia CD
Useful Links
Technical Termination Proofs for Logic Programs (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
Posted on 2010-04-07
|  |
ISBN: 3540528377 Publisher: Springer Author: Lutz Plümer Description: Termination proofs constitute a crucial part of program verification. Much research about termination has been done in the context of term rewriting systems. But until now there was little hope that termination proofs for nontrivial programs could Download:
Rating:
2.5 out of 5 by Book123 |
| Download Links | |
| Server | Status |
|---|---|
| Direct Download Link 1 | Alive |
| Direct Download Link 2 | Alive |
| Download Link (Download Link 1) | Alive |
| Download Link (Download Link 1) | Alive |
|
Buy This Book at Best Price >> | |
Related Articles
 | Science/Engineering Case-Based Reasoning Technology: From Foundations to Applications (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) ===Artificial Intelligence相关链接===[2007/0922][2007/0910][2007/0901][2007/0901][2007/0830]Case-Based Reasoning Technology: From Foundations to Applications (Lecture Notes in Artificial Intelligence) Publisher: Springer-Verlag TelosNumb ... |
 | Technical Automated Deduction in Equational Logic and Cubic Curves (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) ISBN: 3540613986 Publisher: Springer Author: William McCune, R. PadmanabhanDescription:This monograph is the result of the cooperation of a mathematician working in universal algebra and geometry, and a computer scientist working in automat ... |
 | Mathematics Inductive Logic Programming: 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) Author: Publisher: Springer (2004)Binding: Paperback, 361 pagespricer: $72.00ISBN-10: 3540229418editorialreviewsThis book constitutes the refereed proceedings of the 14th International Conference on Inductive Logic Programming, ILP 2004, he ... |
 | Mathematics RoboCup 2003: Robot Soccer World Cup VII (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) Author: Publisher: Springer (2004)Binding: Paperback, 767 pagespricer: $119.00ISBN-10: 3540224432editorialreviewsThis book constitutes the seventh official archival publication devoted to RoboCup. It documents the achievements presented at ... |
 | Developing Industrial Case-Based Reasoning Applications: The INRECA Methodology (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) Author: Michel Manago, Mehmet G?ker, Sean Breen, Klaus-Dieter Althoff, Ralph Bergmann, Ralph Traph?ner, Stefan WessPublisher: Springer (2004)Binding: Paperback, 236 pagespricer: $54.95ISBN-10: 3540207376editorialreviews In just few years ... |
 | Cultures & Languages Model Generation for Natural Language Interpretation and Analysis (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) Author: Karsten KonradPublisher: Springer (2004)Binding: Paperback, 166 pagespricer: $47.00ISBN-10: 3540210695editorialreviewsMathematical theorem proving has undergone an impressive development during the last two decades, resulting in a v ... |
Comments (0)
