Cover Image

Validating and verifying knowledge -Based systems

Main Author:	Gupta, Uma (Author)
Format:	Book
Language:	English
Subjects:	Ηλεκτρονικοί υπολογιστές

Similar Items

Uncertainty models for knowledge-based systems/
by: Goodman, Irwin R.
Published: (1985)

Authoring-systems software-based training/
by: Milheim, William D.
Published: (1994)

FoxBase +/Mac Simplified/
by: Masterson, Michael
Published: (1990)

Comparison of databases with experimentally verified miRNA targets= Σύγκριση βάσεων δεδομένων με πειραματικά επιβεβαιωμένους στόχους miRNA/
by: Αλαμπάνου, Αγγελική Γ.
Published: (2014)

Ασύρματη ασφάλεια και location-based services : ένα νέο μοντέλο ηλεκτρονικών υπηρεσιών για την διαχείριση εφοδιαστικών αλυσίδων /
by: Γκουτσίδης, Ζήσης-Γεώργιος
Published: (2008)

Future computer and information systems The uses of the text generation computer and information systems
by: Ishikaua, Akira
Published: (1986)

Realization of TSC checkers for M-OUT-OF-N codes based on optimal imput partitions
by: Γαϊτάνης, Νικόλαος
Published: (1982)

Design of a low speed modern system
by: Δρης, Εμμανουήλ Α.
Published: (1981)

Mesh Parameterizaton for Feature-based Mesh Editing Applications
by: Αθανασιάδης, Θεόδωρος
Published: (2013)

Location-based services/
Published: (2004)

Liskin's dBase IV 1.1 : programming book /
by: Liskin, Miriam
Published: (1991)

Development of a wireless sensor mote based on MSP430 micro-controller/
by: Τουτζιάρης, Αγγελος Π.
Published: (2014)

From itemsets through trajectories to location based services= Από τα στοιχειοσύνολα και τις τροχιές κινούμενων αντικειμένων στις υπηρεσίες θέσης : a knowledge hiding privacy approach: μια προσέγγιση προστασίας της ιδιωτικότητας μέσω απόκρυψης γνώσης/
by: Γκουλαλάς-Διβάνης, Άρης
Published: (2009)

Operating systems /
by: NUTT, Gary
Published: (2004)

dBase το ελληνικό βιβλίο η διαχείριση αρχείων για_ IBM PC/XT/AT & compatibles : και CP/M computers Amstrad, Osborne, Apple II
Published: (1986)

Inside hypercard II : course for programming with hypertalk
by: KITZA, Wolfgang
Published: (1989)

Report of the seminar-cum-study tour on load dispatch techniques and application of computer technology to power system engineering problems
Published: (1970)

Operating systems: a modern perspective/
by: Nutt, Gary
Published: (2000)

Programming and verifying asynchronous systems/
by: Κοτρώνης, Γιάννης, 1952-
Published: (1982)

Guide to operating systems/
by: PALMER, Michael
Published: (2007)

ACM transactions on programming languages and systems
Published: (1979)

ACM transactions on programming languages and systems
Published: (1979)

Operating systems review a publication of the association for computing machinery special interest group on operating systems

Specification and runtime checking of timing constraints in distributed event-based applications = Προσδιορισμός και έλεγχος κατά τη διάρκεια της εκτέλεσης χρονικών περιορισμών σε κατανεμημένες εφαρμογές με γεγονότα /
by: Γρηγορόπουλος, Αθανάσιος Σ.
Published: (2015)

Graphical communication principles : a prelude to cad /
by: Foster, Robert Jay
Published: (1991)

Κατανεμημένα συστήματα Αρχές και υποδείγματα
by: Tanenbaum, Andrew S. (1944-)
Published: (2005)

Υψηλής απόδοσης υπηρεσίες διαδικτύου για επιστημονικούς υπολογισμούς/
by: Κατσόγιαννου, Γρηγορία
Published: (2010)

Σημειώσεις δομής & προγραμματισμού υπολογιστών/
by: Λιναρδής, Π.
Published: (1991)

Υποστήριξη αποδοτικής δημιουργίας μικρο-πρακτόρων σε ετερογενή Ασύρματα Δίκτυα Αισθητήρων= Supporting efficient micro-agent creation in heterogeneous Wireless Sensor Networks/
by: Γρηγορόπουλος, Αθανάσιος Σ.
Published: (2013)

Αρχιτεκτονική συσκευών FPD - μελέτη υλοποίησης κυκλώματος στοίβας IP σε FPGA/
by: Κορρές, Ελευθέριος
Published: (2010)

Design and implementation of scalable FFT processor architecture for OFDM based communications systems /
by: Μάντη, Κυριάκος.
Published: (2015)

Design and implementation of scalable FFT processor architecture for OFDM based communications systems /
by: Μάντη, Κυριάκος.
Published: (2015)

Computer data-base organization/
by: Martin, James, 1933-
Published: (1977)

Software systems architecture: working with stakeholders using viewpoints and perspectives/
by: ROZANSKI, Nick
Published: (2005)

The Elements of computing systems: building a modern computer from first principles/
by: NISAN, Noam
Published: (2005)

Research and development in Expert Systems III: proceedings of Expert Systems '86, the sixth Annual Technical Conference of the British Computer Society Specialist Group on Exert Systems, Brighton, 15-18 Dec. 1986/
Published: (1987)

Operating systems and services ; edited by R. Raijkumar
Published: (1999)

Content-based scientometrics /
by: Μάρκου, Μαρία Ε.
Published: (2015)

Content-based scientometrics /
by: Μάρκου, Μαρία Ε.
Published: (2015)

The Unix system/
by: Bourne, Stephen R., 1944-
Published: (1983)

Cannot write session to /tmp/vufind_sessions/sess_hm91bc1smjm3mffs61pcamlaa0