Creator: T. S. E. Maibaum
Publication date: 1995-06-15
Dewey code: 004
List Price: $289.00
Price: $267.59
Review Handbook of Logic in Computer Science: Volume 3: Semantic Structures / Oxford University Press, USA:Logic is now widely recognized as one of the foundational disciplines of computing, and its applications reach almost every aspect of the subject, from software engineering and hardware to programming languages and AI. The Handbook of Logic in Computer Science is a multi-volume work covering all the major areas of application of logic to theoretical computer science. The handbook comprises six volumes, each containing five or six chapters giving an in-depth overview of one of the major topics in field. It is the result of many years of cooperative effort by some of the most eminent frontline researchers in the field, and will no doubt be the standard reference work in logic and theoretical computer science for years to come. Volume 3: Semantic Structures covers all the fundamental topics of semantics in logic and computation. The extensive chapters are the result of several years of coordinated research, and each have a thematic perspective. Together, they offer the reader the latest in research work, and the book will be indispensable to anyone seriously involved in the subject.
Creator: Scott Stevens
Edition: 1
Publication date: 1998-12-31
Dewey code: 005.73
List Price: $279.00
Price: $223.20
Review Database Semantics: Semantic Issues in Multimedia Systems / Springer:Database Semantics: Semantic Issues in Multimedia Systems reflects the state of the art of emerging research on the meaning of multimedia information, as presented during IFIP's Eighth Data Semantics Working Conference (DS-8), organized by its Working Group 2. 6 on Databases, and held at Rotorua, New Zealand, in January 1999. DS-8 was planned as an active forum for researchers and practitioners focusing on those issues that involve the semantics of the information represented, stored, and manipulated by multimedia systems. Depending on the topic and state of research, issues may be covered either deeply theoretically or quite practically, or even both. These proceedings contain twenty-one papers carefully selected by an International Programme Committee and organized in six thematic areas: + Video Data Modelling and Use; + Image Databases; + Applications of Multimedia Systems; + Multimedia Modeling in General; + Multimedia Information Retrieval; + Semantics and Metadata. For almost every area, important topics and issues include: + data modeling and query languages for media such as audio, video, and images; + methodological aspects of multimedia database design; + intelligent multimedia information retrieval; + knowledge discovery and data mining in multimedia information; + multimedia user interfaces. Three visionary keynote addresses, by famous experts Ramesh Jain, Hermann Maurer and Masao Sakauchi, set the stage for discussion and future directions for the field. The collection of papers that resulted now offers a glimpse of the excitement and enthusiasm from DS-8. Database Semantics: Semantic Issues in Multimedia Systems is suitable as a secondary text for a graduate-level course on database systems, multimedia systems, or information retrieval systems and as a reference for practitioners and researchers in industry.
Creator: Roland R. Wagner
Publication date: 2002-09
Dewey code: 005
List Price: $229.00
Price: $229.00
Review 13th International Workshop on Database and Expert Systems Applications: 2-6 September 2002 : Aix-En-Provence, France: Proceedings / Ieee:
Creator: Tetsuo Tomiyama
Edition: 1
Publication date: 1996-05-31
Dewey code: 670
List Price: $229.00
Price: $183.20
Review Knowledge Intensive CAD: Volume 1 (v. 1) / Springer:Knowledge-Intensive CAD clarifies and elaborates the concepts of knowledge-intensive design and CAD. In today's advanced manufacturing environment, CAD systems should not only assist designers and engineers during product design, but also in design information for use in later stages of the process such as production, distribution and operation. This book focuses on the sharing of knowledge across life-cycle stages and organizational boundaries.
Authors
- Italy) International Workshop on Database and Expert Systems Applications (10th : 1999 : Florence
Edition: 1999 & 10th Inte
Publication date: 1999-08
Dewey code: 005.74
List Price: $180.00
Price: $180.00
Review Tenth International Workshop on Database and Expert Systems Applications: September 1-3, 1999 Florence, Italy : Proceedings / Institute of Electrical & Electronics Enginee:
Authors
- Russia) International Workshop on Advances in Databases and Information Systems (2nd : 1995 : Moscow
Publication date: 1996-05
Dewey code: 005.74
List Price: $79.95
Price: $176.41
Review Advances in Databases and Information Systems: Proceedings of the Second International Workshop on Advances in Databases and Information Systems (Adbis ... 27-30 June 1995 (Workshops in Computing) / Springer-Verlag Telos:This book constitutes the refereed proceedings of the 5th East European Conference on Advances in Databases and Information Systems, ADBIS 2001, held in Vilnius, Lithuania, in September 2001. The 25 revised full papers presented together with one invited paper and two abstracts of invited talks were carefully reviewed and selected from 82 submissions. The papers are organized in topical sections on query optimization, multimedia and multilingual information systems, spatiotemporal aspects of databases, data mining, transaction processing, conceptual modeling and information systems specification, active databases, query methods, XML, and information systems design.
Creator: Jack Minker
Edition: 1
Publication date: 2000-12-31
Dewey code: 006.3
List Price: $279.00
Price: $209.15
Review Logic-Based Artificial Intelligence (The Kluwer International Series in Engineering and Computer Science Volume 597) / Springer:This landmark volume represents the culmination of over 40 years of research in the use of logic as a basis for representing and manipulating problems in the field of artificial intelligence. The use of logic as a basis for commonsense reasoning was started by John McCarthy in 1959. The collection consists of both original research and surveys of almost every subject that uses logic in AI, contributed by leading scientists, and grew out of preliminary work presented at the Workshop on Logic-Based Artificial Intelligence held in Washington, DC, June 1999. All papers have been extensively refereed and revised. The introductory article presents background on research that has transpired since 1959 and discusses the significance of each chapter in this context. The topics covered in the book are commonsense reasoning, knowledge representation, nonmonotonic reasoning, logic for causation and actions, planning and problem solving, cognitive robotics, logic for agents and actions, inductive reasoning, possibilistic logic, logic and beliefs, logic and language, computational logic, knowledge base system implementations, and applications of theorem proving and logic programming. Logic-Based Artificial Intelligence is invaluable to graduate students and researchers in artificial intelligence, and advanced methods for database and knowledge base systems. Logic-Based Artificial Intelligence will also be of interest to those applying theorem proving methods to problems in program and hardware verification, to those who deal with large knowledge base systems, those developing cognitive robotics, and for those interested in the solution of McCarthy's 1959 "oldest planning problem in AI: getting from home to the airport".
Authors
- International Conference on Data Engineering
Dewey code: 005
List Price: $186.00
Price: $186.00
Review 17th International Conference on Data Engineering: 2-6 April 2001, Heidelberg, Germany / IEEE Computer Society Press:The conference on which this book is based presents research results; exposes practising engineers to evolving research, tools, and practices for evaluation; exposes the research community to the problems of applications of data engineering; and promotes the exchange of technologies.
Publication date: 2004-08-30
Dewey code: 371
List Price: $17.95
Price: $175.90
Review Student Lecture Companion: A Note-Taking Guide : Databases Illuminated / Jones & Bartlett Pub:
Publication date: 1997-07
Dewey code: 005.7565
Price: $79.50
Review The Developer's Handbook to DB2 for Common Servers (Mcgraw-Hill Series on Database Warehousing and Data Management) / McGraw-Hill Companies:Reviewed for accuracy by a team of IBM analysts and DB2 specialists, this authoritative, one-stop reference to development DB2/2 and DB2/6000 applications is the only comprehensive and up-to-date sourcebook on the latest versions of the red-hot database software that doubled its sales in the past year. Author Roger E. Sanders provides complete source code examples in this logically organized, impressively sized volume. He covers the underlying database architecture, application development fundamentals, and the latest tools for developing object-oriented DB2/2 and DB2/6000 database applications.
Edition: 1st
Publication date: 2001-11-09
Dewey code: 005.276
Price: $45.00
Review Usabilidad, Disenos De Sitios Web / Prentice Hall PTR:
Authors
- INTERNATIONAL SYMPOSIUM ON DATABASE SYST
Dewey code: 005.7565
List Price: $175.00
Price: $175.00
Review Eighth International Conference on Database Systems for Advanced Applications (Dasfaa 2003): Kyoto, Japan 26-28 2003 : Proceedings / Institute of Electrical & Electronics Enginee:
Authors
- Lakshmi Prayaga
- Hamsa Suri
Publication date: 2004-02-05
Dewey code: 005.758
Price: $188.82
Review Programming the Web with ColdFusion MX 6.1 Using XHTML (Web Developer Series) / Career Education:Programming the Web with Cold Fusion is the latest addition to the Web Developer Series. This text has been written in a textbook fashion at an introductory level for ColdFusion MX students. Learning is facilitated with examples and exercises in each chapter. Students are encouraged to try out examples in the classroom and observe results right away. Careful attention has been placed on concepts where novice programmers encounter most difficulty. This textbook makes an ideal reference after a student has joined the workforce as a ColdFusion programmer.
Publication date: 2002-05
Dewey code: 005
List Price: $177.00
Price: $177.00
Review Object-Oriented Real-Time Distributed Computing (Isorc 2002), 5th IEEE International Symposium / Ieee:This text contains information on database and information systems presented at the 5th IEEE international symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2002).
Publication date: 1994
Review Database programming and concepts / Stipes Publishing:
Authors
- Michael Fisher
- Howard Barringer
- Graham Gough
Publication date: 1999-12-16
Dewey code: 005.1015113
List Price: $259.00
Price: $243.92
Review Advances in Temporal Logic (APPLIED LOGIC SERIES Volume 16) / Springer:Time is a fascinating subject that has captured mankind's imagination from ancient times to the present. It has been, and continues to be studied across a wide range of disciplines, from the natural sciences to philosophy and logic. More than two decades ago, Pnueli in a seminal work showed the value of temporal logic in the specification and verification of computer programs. Today, a strong, vibrant international research community exists in the broad community of computer science and AI. This volume presents a number of articles from leading researchers containing state-of-the-art results in such areas as pure temporal/modal logic, specification and verification, temporal databases, temporal aspects in AI, tense and aspect in natural language, and temporal theorem proving. Earlier versions of some of the articles were given at the most recent International Conference on Temporal Logic, University of Manchester, UK. Readership: Any student of the area - postgraduate, postdoctoral or even research professor - will find the book most valuable. Computing professionals requiring state-of-the-art knowledge in the area will appreciate the volume for its leading results and its links to other relevant literature.
Publication date: 2000-05-01
Dewey code: 006.33
Review Knowledge-Based System / Academic Press Inc.,U.S.:
Authors
- Mark Klein
- Thomas Ralya
- Ray Obenza
- Bill Pollak
- Michael González Harbour
Publication date: 1993-08-31
Dewey code: 005.2
List Price: $227.00
Price: $181.60
Review A Practitioner's Handbook for Real-Time Analysis: Guide to Rate Monotonic Analysis for Real-Time Systems (Electronic Materials: Science & Technology) / Springer:Guide to rate monotomic analysis for real-time systems. Contains a collection of quantitative methods that enable real-time system developers to understand, analyze, and predict the timing behavior of many real-time systems. DLC: Real-time data processing.
Edition: 1
Publication date: 1995-02-09
Dewey code: 005.756
Price: $44.00
Review Foundations of Semantic Databases / Prentice Hall PTR:Providing a comprehensive theory of data modelling, this book explains the important concepts and principles with real-life examples showing how to apply it directly in practical applications. Topics covered include: a wide variety of functional requirements and query specification capabilities; a formal treatment of the semantics of the data; static and dynamic constraints and business rules; operations on tables, databases, and database universes; data dictionaries and their semantics; and comparisons of incidental properties and structural properties throughout the book. The book is aimed at professional database users such as designers, administrators and programmers, as well as specialists involved in data processing.
Publication date: 1980-07
Dewey code: 001.642
Price: $19.95
Review Codasyl Data Base Management Systems: Design Fundamentals / Q E D Pub Co:
| Models & Brands:
Handbook of Logic in Computer Science: Volume 3: Semantic Structures, Database Semantics: Semantic Issues in Multimedia Systems, 13th International Workshop on Database and Expert Systems Applications: 2-6 September 2002 : Aix-En-Provence, France: Proceedings, Knowledge Intensive CAD: Volume 1 (v. 1), Tenth International Workshop on Database and Expert Systems Applications: September 1-3, 1999 Florence, Italy : Proceedings, Advances in Databases and Information Systems: Proceedings of the Second International Workshop on Advances in Databases and Information Systems (Adbis ... 27-30 June 1995 (Workshops in Computing), Logic-Based Artificial Intelligence (The Kluwer International Series in Engineering and Computer Science Volume 597), 17th International Conference on Data Engineering: 2-6 April 2001, Heidelberg, Germany, Student Lecture Companion: A Note-Taking Guide : Databases Illuminated, The Developer's Handbook to DB2 for Common Servers (Mcgraw-Hill Series on Database Warehousing and Data Management), Usabilidad, Disenos De Sitios Web, Eighth International Conference on Database Systems for Advanced Applications (Dasfaa 2003): Kyoto, Japan 26-28 2003 : Proceedings, Programming the Web with ColdFusion MX 6.1 Using XHTML (Web Developer Series), Object-Oriented Real-Time Distributed Computing (Isorc 2002), 5th IEEE International Symposium, Database programming and concepts, Advances in Temporal Logic (APPLIED LOGIC SERIES Volume 16), Knowledge-Based System, A Practitioner's Handbook for Real-Time Analysis: Guide to Rate Monotonic Analysis for Real-Time Systems (Electronic Materials: Science & Technology), Foundations of Semantic Databases, Codasyl Data Base Management Systems: Design FundamentalsTop headlines: Hirsh: Democracy's Strange Bedfellows: The champions of democracy often share an overly romantic view of how quickly it can flower in hostile soil. ›16:56 11 Oct, Thu Pinched Americans hit the gym, but seek deals: People squeezed by the economic crisis are still paying for gym memberships and diet centers, but health clubs are having to hold down their fees to keep customers coming in. ›23:59 8 Jan, Thu Ansen on Lars and the Real Girl: Its not smutty, its not snide, its not creepybut what is it? ›16:02 12 Oct, Fri U.N.: One-third of Gaza casualties are kids: Palestinian children are dying at a heavy rate in the Israeli-Hamas fighting about one of every three persons killed, according to Gaza statistics. ›12:31 Capital Sources: Cutting the Cocaine Flow: The White House trumpets success in the drug war, even as it prepares a big new aid program. Is it real, or is it politics? ›21:26 5 Oct, Fri American set on fire by Afghan dies: An anthropologist embedded with the U.S. Army in Afghanistan to help soldiers understand local customs has died more than two months after she was doused with fuel and set on fire. ›20:39 Low on cash, French Quarter may stink again: Since Hurricane Katrina, the beer-soaked, urine-splashed, puke-puddled French Quarter of old has been scrubbed clean. But tough financial times means it may not get sanitized now. ›21:33 Q&A: Hip Size and Breast Cancer Risk: A new study shows that having a mom with wide hips could be a risk factor for breast cancer. ›15:16 8 Oct, Mon Want to eat better in 2009? 5 foods to try now: When it comes to eating, most of us are creatures of habit. Get out of your diet slump and try these five unusual nutritional foods now. ›13:18 Top 10 Sports Cars on MSN Autos: The most popular sports cars on MSN Autos, based on visits to the site's vehicle pages. ›07:00 18 Oct, Thu Are you smart? Take our weekly news quiz: How much do you remember about the week in news? Take msnbc.com's weekly quiz and find out what you can recall. ›19:43 20 Mar, Thu Quiz: Who was top money-making movie star in '08?: Test your red-carpet savvy with our weekly quiz ›16:02 17 Dec, Wed Burmese Battle Spiritual and Economic Ills: Businesses are struggling, prices are rising and residents are facing a spiritual crisis. An on-scene report from post-protest Rangoon. ›18:10 11 Oct, Thu Russia set to resume gas supplies if pact OK'd: Russia's Gazprom said it could restart gas shipments to Europe on Friday if an agreement can be signed allowing an EU-led monitoring mission to track gas flows through Ukrainian pipelines. ›02:23 Seeking Common Ground on Abortion: Can evangelicals and liberals come together over abortion, gay rights, and the role of religion in public life? ›14:35 10 Oct, Wed FDA backs Vytorin after finishing study review: The Food and Drug Administration says patients should not stop taking Vytorin or other cholesterol-lowering drugs, based on its review of a controversial study. ›21:13 8 Jan, Thu Consumer group blasts FDA melamine decision: A Food and Drug Administration decision to allow U.S.-manufactured infant formula contaminated with melamine onto store shelves is medically risky, a consumer group says. ›22:29 7 movies that glamorize business travel: Portfolio.com's Joe Brancatelli suggests you take some time to relax, fire up the flat screen in the living room and find the angles in his favorite business-travel movies of all time. ›16:38 8 Jan, Thu Preview: 2008 Toyota Land Cruiser: Toyota's iconic machine gets more grunt, a smoother ride and sweeter duds. ›07:00 18 Oct, Thu by Lawrence Ulrich: MSN Autos columnist Lawrence Ulrich talks turkey about the 10 worst cars of recent memory. ›07:00 31 Oct, Wed Slide show: The week in celebrity sightings: Ashlee, Pete and many more celebs ring in the New Year, Lindsay heads to the beach, Cloris is rosey and more. ›12:28 6 Jan, Tue Tourists rescued after Costa Rica quake: Helicopters plucked tourists from a destroyed, mountaintop resort as the death toll from Costa Ricas magnitude-6.1 earthquake was at least 9 victims, the Red Cross said Friday. ›20:49 Books Q&A: The Real Charles Schulz: 'Peanuts' creator Charles Schulz emerges as insecure and an emotionally distant father and husband in a new biography and documentary. ›22:32 9 Oct, Tue Video: U.N. suspends food delivery in Gaza: Jan. 8: International pressure continued to build for a ceasefire as aid groups accused Israel of violating international law by not caring for and evacuating the wounded. NBC's Martin Fletcher reports.(Nightly News) ›23:52 8 Jan, Thu |
