Validation Verification Knowledge Based (25 results)

Title
Refine with Advanced Search

Refine your search

  • Books (25)

to

Custom price range (US$)

to

  • Language: English

    Published by Wiley, 1991

    0471930180 / 9780471930181

    • Softcover

    Seller: Goodwill of Silicon Valley, SAN JOSE, CA, U.S.A.Goodwill of Silicon Valley

    4-star seller
    Contact seller

    Condition: Used - Good

    US$ 43.93

    US$ 3.99 shipping 
    Ships within U.S.A.

    Quantity: 1 available

    Condition: good. Supports Goodwill of Silicon Valley job training programs. The cover and pages are in Good condition! Any other included accessories are also in Good condition showing use. Use can include some highlighting and writing, page and cover creases as well as other types visible wear.

  • Language: English

    Published by Springer, 2010

    1441951075 / 9781441951076

    • Softcover

    Seller: California Books, Miami, FL, U.S.A.California Books

    4-star seller
    Contact seller

    Condition: New

    US$ 260.00

     Free Shipping 
    Ships within U.S.A.

    Quantity: Over 20 available

    Condition: New.

  • Language: English

    Published by Springer Us, 1999

    0792386450 / 9780792386452

    • Hardcover

    Seller: Buchpark, Trebbin, GermanyBuchpark

    5-star seller
    Contact seller

    Condition: Used - Fine

    US$ 141.52

    US$ 120.37 shipping 
    Ships from Germany to U.S.A.

    Quantity: 1 available

    Condition: Sehr gut. Zustand: Sehr gut | Seiten: 366 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

  • Language: English

    Published by Springer, 2010

    1441951075 / 9781441951076

    • Softcover

    Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

    5-star seller
    Contact seller

    Condition: New

    US$ 260.30

    US$ 15.09 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: Over 20 available

    Condition: New. In English.

  • Language: English

    Published by Springer, 1999

    0792386450 / 9780792386452

    • Hardcover

    Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

    5-star seller
    Contact seller

    Condition: New

    US$ 260.28

    US$ 20.05 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: Over 20 available

    Condition: New.

  • Language: English

    Published by Springer, 1999

    0792386450 / 9780792386452

    • Hardcover

    Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

    5-star seller
    Contact seller

    Condition: Used - As new

    US$ 273.14

    US$ 2.64 shipping 
    Ships within U.S.A.

    Quantity: Over 20 available

    Condition: As New. Unread book in perfect condition.

  • Language: English

    Published by Springer, 1999

    0792386450 / 9780792386452

    • Hardcover

    Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

    5-star seller
    Contact seller

    Condition: New

    US$ 275.56

    US$ 2.64 shipping 
    Ships within U.S.A.

    Quantity: Over 20 available

    Condition: New.

  • Language: English

    Published by Springer, 1999

    0792386450 / 9780792386452

    • Hardcover

    Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

    5-star seller
    Contact seller

    Condition: New

    US$ 286.73

    US$ 15.09 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: Over 20 available

    Condition: New. In English.

  • More images

    Language: English

    Published by Humana, 2010

    1441951075 / 9781441951076

    • Softcover

    Seller: preigu, Osnabrück, Germanypreigu

    5-star seller
    Contact seller

    Condition: New

    US$ 218.38

    US$ 80.25 shipping 
    Ships from Germany to U.S.A.

    Quantity: 5 available

    Taschenbuch. Condition: Neu. Validation and Verification of Knowledge Based Systems | Theory, Tools and Practice | Anca Vermesan (u. a.) | Taschenbuch | xiv | Englisch | 2010 | Humana | EAN 9781441951076 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

  • Language: English

    Published by Springer, 1999

    0792386450 / 9780792386452

    • Hardcover

    Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

    5-star seller
    Contact seller

    Condition: Used - As new

    US$ 288.38

    US$ 20.05 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: Over 20 available

    Condition: As New. Unread book in perfect condition.

  • Language: English

    Published by Springer, 2010

    1441951075 / 9781441951076

    • Softcover

    Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle

    4-star seller
    Contact seller

    Condition: New

    US$ 313.42

    US$ 3.99 shipping 
    Ships within U.S.A.

    Quantity: 4 available

    Condition: New. pp. 382.

  • Language: English

    Published by Springer US, 1999

    0792386450 / 9780792386452

    • Hardcover

    Seller: moluna, Greven, Germanymoluna

    5-star seller
    Contact seller

    Condition: New

    US$ 291.54

    US$ 56.16 shipping 
    Ships from Germany to U.S.A.

    Quantity: Over 20 available

    Gebunden. Condition: New. Knowledge-based (KB) technology is being applied to complex problem-solving and critical tasks in many application domains. Concerns have naturally arisen as to the dependability of knowledge-based systems (KBS). As with any software, attention to quality a.

  • Language: English

    Published by Springer, 1999

    0792386450 / 9780792386452

    • Hardcover

    Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle

    4-star seller
    Contact seller

    Condition: New

    US$ 350.56

    US$ 3.99 shipping 
    Ships within U.S.A.

    Quantity: 4 available

    Condition: New. pp. 388.

  • Language: English

    Published by Springer US, 1999

    1441951075 / 9781441951076

    • Softcover

    Seller: Revaluation Books, Exeter, United KingdomRevaluation Books

    5-star seller
    Contact seller

    Condition: New

    US$ 350.09

    US$ 16.71 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: 2 available

    Paperback. Condition: Brand New. 384 pages. 9.25x6.10x0.86 inches. In Stock.

  • Language: English

    Published by Springer, Humana, 2010

    1441951075 / 9781441951076

    • Softcover

    Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH

    5-star seller
    Contact seller

    Condition: New

    US$ 351.49

    US$ 34.96 shipping 
    Ships from Germany to U.S.A.

    Quantity: 1 available

    Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Knowledge-based (KB) technology is being applied to complex problem-solving and critical tasks in many application domains. Concerns have naturally arisen as to the dependability of knowledge-based systems (KBS). As with any software, attention to quality and safety must be paid throughout development of a KBS and rigorous verification and validation (V&V) techniques must be employed. Research in V&V of KBS has emerged as a distinct field only in the last decade and is intended to address issues associated with quality and safety aspects of KBS and to credit such applications with the same degree of dependability as conventional applications. In recent years, V&V of KBS has been the topic of annual workshops associated with the main AI conferences, such as AAAI, IJACI and ECAI. Validation and Verification of Knowledge Based Systems contains a collection of papers, dealing with all aspects of KBS V&V, presented at the Fifth European Symposium on Verificationand Validation of Knowledge Based Systems and Components (EUROVAV'99 -which was held in Oslo in the summer of 1999, and was sponsored by Det Norske Veritas and the British Computer Society's Specialist Group on Expert Systems (SGES).

  • Language: English

    Published by Springer Us Sep 1999, 1999

    0792386450 / 9780792386452

    • Hardcover

    Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH

    5-star seller
    Contact seller

    Condition: New

    US$ 371.52

    US$ 34.96 shipping 
    Ships from Germany to U.S.A.

    Quantity: 2 available

    Buch. Condition: Neu. Neuware - Knowledge-based (KB) technology is being applied to complex problem-solving and critical tasks in many application domains. Concerns have naturally arisen as to the dependability of knowledge-based systems (KBS). As with any software, attention to quality and safety must be paid throughout development of a KBS and rigorous verification and validation (V&V) techniques must be employed. Research in V&V of KBS has emerged as a distinct field only in the last decade and is intended to address issues associated with quality and safety aspects of KBS and to credit such applications with the same degree of dependability as conventional applications. In recent years, V&V of KBS has been the topic of annual workshops associated with the main AI conferences, such as AAAI, IJACI and ECAI. Validation and Verification of Knowledge Based Systems contains a collection of papers, dealing with all aspects of KBS V&V, presented at the Fifth European Symposium on Verificationand Validation of Knowledge Based Systems and Components (EUROVAV'99 -which was held in Oslo in the summer of 1999, and was sponsored by Det Norske Veritas and the British Computer Society's Specialist Group on Expert Systems (SGES).

  • Language: English

    Published by Springer, 2010

    1441951075 / 9781441951076

    • Softcover

    Seller: Mispah books, Redhill, SURRE, United KingdomMispah books

    4-star seller
    Contact seller

    Condition: Used - As new

    US$ 382.79

    US$ 33.42 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: 1 available

    Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

  • Language: English

    Published by Springer, 2010

    1441951075 / 9781441951076

    • Softcover
    • Print on Demand

    Seller: Brook Bookstore On Demand, Napoli, NA, ItalyBrook Bookstore On Demand

    5-star seller
    Contact seller

    Condition: New

    US$ 196.35

    US$ 7.80 shipping 
    Ships from Italy to U.S.A.

    Quantity: Over 20 available

    Condition: new. Questo è un articolo print on demand.

  • Language: English

    Published by Springer US, 2010

    1441951075 / 9781441951076

    • Softcover
    • Print on Demand

    Seller: moluna, Greven, Germanymoluna

    5-star seller
    Contact seller

    Condition: New

    US$ 212.62

    US$ 56.16 shipping 
    Ships from Germany to U.S.A.

    Quantity: Over 20 available

    Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Knowledge-based (KB) technology is being applied to complex problem-solving and critical tasks in many application domains. Concerns have naturally arisen as to the dependability of knowledge-based systems (KBS). As with any software, attention to quality a.

  • Language: English

    Published by Springer US Dez 2010, 2010

    1441951075 / 9781441951076

    • Softcover
    • Print on Demand

    Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.

    5-star seller
    Contact seller

    Condition: New

    US$ 252.67

    US$ 26.37 shipping 
    Ships from Germany to U.S.A.

    Quantity: 2 available

    Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Knowledge-based (KB) technology is being applied to complex problem-solving and critical tasks in many application domains. Concerns have naturally arisen as to the dependability of knowledge-based systems (KBS). As with any software, attention to quality and safety must be paid throughout development of a KBS and rigorous verification and validation (V&V) techniques must be employed. Research in V&V of KBS has emerged as a distinct field only in the last decade and is intended to address issues associated with quality and safety aspects of KBS and to credit such applications with the same degree of dependability as conventional applications. In recent years, V&V of KBS has been the topic of annual workshops associated with the main AI conferences, such as AAAI, IJACI and ECAI. Validation and Verification of Knowledge Based Systems contains a collection of papers, dealing with all aspects of KBS V&V, presented at the Fifth European Symposium on Verification and Validation of Knowledge Based Systems and Components (EUROVAV'99 -which was held in Oslo in the summer of 1999, and was sponsored by Det Norske Veritas and the British Computer Society's Specialist Group on Expert Systems (SGES). 384 pp. Englisch.

  • Language: English

    Published by Springer, Humana Dez 2010, 2010

    1441951075 / 9781441951076

    • Softcover
    • Print on Demand

    Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000

    5-star seller
    Contact seller

    Condition: New

    US$ 252.67

    US$ 68.78 shipping 
    Ships from Germany to U.S.A.

    Quantity: 1 available

    Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -KBS First Prototype V&V Process Plan as a Way to Produce Reliable Requirements.- On Principles of Knowledge Validation.- Progressive Instantiation for the Logical Validation of Nonmonotonic KBs.- Computer Algebra based Verification and Knowledge Extraction in RBS. Application to Medical Fitness Criteria.- A Knowledge Based Tool to Validate and Verify an Aion Knowledge Base.- Constraints for Validation of Conceptual Graphs.- PRONTO - Ontology-based Evaluation of Knowledge Based Systems.- Formal Methods for the engineering and certification of safetycritical Knowledge Based Systems.- Design pattern for safety-critical knowledge-based systems.- Organising Knowledge Refinement Operators.- Validation and refinement versus revision.- Illustrating Knowledge Base Restructuring and Verification in a Real World Application.- Incorporating backtracking search with knowledge refinement.- Verification and validation of a multistrategy knowledge-based system.- Validation and Verification of Knowledge-Based Systems for Power System Control Centres.- A priori Verification of Product Models in Mechanical Design.- Verification of Business Processes for a Correspondence Handling Center Using CCS.- User Participation-based Software Certification.- Verification and Validation in Support for Software Certification Methods.- Validation, Verification and Integrity in Knowledge and Data Base Systems: Future Directions.- Intelligent Data and Knowledge Analysis and Verification; Towards a Taxonomy of Specific Problems.- Ontology-based Verification and Validation of Federated Database Systems.- Applicability of Conventional Software Verification and validation to Knowledge Based Components: A Qualitative Assessment.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 384 pp. Englisch.

  • Language: English

    Published by Springer, 2010

    1441951075 / 9781441951076

    • Softcover
    • Print on Demand

    Seller: Majestic Books, Hounslow, United KingdomMajestic Books

    4-star seller
    Contact seller

    Condition: New

    US$ 327.76

    US$ 8.69 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: 4 available

    Condition: New. Print on Demand pp. 382 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

  • Language: English

    Published by Springer, 2010

    1441951075 / 9781441951076

    • Softcover
    • Print on Demand

    Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios

    4-star seller
    Contact seller

    Condition: New

    US$ 351.57

    US$ 11.41 shipping 
    Ships from Germany to U.S.A.

    Quantity: 4 available

    Condition: New. PRINT ON DEMAND pp. 382.

  • Language: English

    Published by Springer, 1999

    0792386450 / 9780792386452

    • Hardcover
    • Print on Demand

    Seller: Majestic Books, Hounslow, United KingdomMajestic Books

    4-star seller
    Contact seller

    Condition: New

    US$ 367.55

    US$ 8.69 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: 4 available

    Condition: New. Print on Demand pp. 388 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.

  • Language: English

    Published by Springer, 1999

    0792386450 / 9780792386452

    • Hardcover
    • Print on Demand

    Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios

    4-star seller
    Contact seller

    Condition: New

    US$ 392.78

    US$ 11.41 shipping 
    Ships from Germany to U.S.A.

    Quantity: 4 available

    Condition: New. PRINT ON DEMAND pp. 388.