Foundations of Constraints Satisfaction

Foundations of Constraints Satisfaction

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Tsang, Edward (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Ondon Academic Press c1993-95
Θέματα:	Προβλήματα ικανοποίησης περιορισμών CSP ΕΠΕΑΕΚ

Παρόμοια τεκμήρια

ΕΠΙΛΥΣΗ ΠΡΟΒΛΗΜΑΤΟΣ ΧΡΩΜΑΤΙΣΜΟΥ ΧΑΡΤΩΝ (4 COLOR THEOREM) ΜΕ ΧΡΗΣΗ NXT ROBOT ΚΑΙ ΓΛΩΣΣΑ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ LEJOS NXJ ΔΙΠΛΩΜΑΤΙΚΗ ΕΡΓΑΣΙΑ, ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΑΤΡΩΝ, ΤΜΗΥΠ
Έκδοση: (2010)

Advanced low-power digital circuit techniques
ανά: Abu-Khater, Issam S., κ.ά.
Έκδοση: (1997)

Spread spectrum systems with commercial applications
ανά: Dixon, Robert C.
Έκδοση: (1994)

Universal wireless personal communications
ανά: Prasad, Ramjee
Έκδοση: (1998)

Introduction to circuit complexity A uniform approach
ανά: Vollmer, Heribert
Έκδοση: (1999)

Learning DCOM
ανά: Thai, Thuan L.
Έκδοση: (1999)

Linux application development
ανά: Johnson, Michael K., κ.ά.
Έκδοση: (1998)

Foundations of inductive logic programming
ανά: Nienhuys-Cheng, Shan-Hwei, κ.ά.
Έκδοση: (1997)

Broadband Communications
ανά: Kumar, Balaji
Έκδοση: (1998)

DSP First A Multimedia Approach
ανά: McClellan, James H., 1947-, κ.ά.
Έκδοση: (1998)

Modern Control Theory
ανά: Brogan, William L.
Έκδοση: (1991)

Temporal verification of reactive systems Safety
ανά: Manna, Zohar, κ.ά.
Έκδοση: (1995)

Partial-Order methods for the verification of concurrent systems An approach to the state-explosion problem
ανά: Godefroid, Patrice
Έκδοση: (1996)

Quality is still free Making quality certain in uncertain times
ανά: Crosby, Philip B.
Έκδοση: (1996)

Lessons in Estimation Theory for signal Processing, Communications and Control
ανά: Mendel, Jerry M.
Έκδοση: (1995)

The cache memory book
ανά: Handy, Jim
Έκδοση: (1998)

Matrix perturbation theory
ανά: Sun, Ji-guang, κ.ά.
Έκδοση: (1990)

Parallel Programming in Open MP
ανά: Chandra, Rohit, κ.ά.
Έκδοση: (2001)

Parallel Programming Techniques and applications using networked workstations and parallel computers
ανά: Wilkinson, Barry, κ.ά.
Έκδοση: (1999)

Testability concepts for digital ICs The Macrotest approach
ανά: Beenker, F. P., κ.ά.
Έκδοση: (1995)

Advanced Techniques for embedded systems design adn test
Έκδοση: (1998)

Online Algorithms The state of the art [Proceedings} of the Workshop 1996
Έκδοση: (1998)

Numerical linear algebra for high-performance computers
ανά: Dongarra, Jack J., κ.ά.
Έκδοση: (1998)

Virtual Archaeology Great discoveries brought to life through virtual reality
Έκδοση: (1997)

Java threads
Έκδοση: (1999)

Inside the Java virtual machine
ανά: Venners, Bill
Έκδοση: (1998)

Εισαγωγή στα συστήματα βάσεων δεδομένων / C. J. Date ; μετάφραση Τάκης Άλβας.
ανά: Date, C. J.
Έκδοση: (1996)

Foundations of knowledge systems with applications to databases and agents
ανά: Wagner, G., (Gerd), 1957-
Έκδοση: (1998)

Electron beam testing technology
Έκδοση: (1993)

Semantics in databases
Έκδοση: (1998)

New trends in formal languages Control,cooperation and combinatorics
ανά: Paun, Gheorghe, κ.ά.
Έκδοση: (1997)

Handbook of formal languages
Έκδοση: (1997)

Hanbook of formal languages
Έκδοση: (1997)

Handbook of formal languages
Έκδοση: (1997)

Logic synthesis and verification algorithms
ανά: Hatchtel, Gary D., κ.ά.
Έκδοση: (1996)

Modern graph theory
ανά: Bollobas, Bela
Έκδοση: (1998)

A primer in Petri Net design
ανά: Reisig, Wolfgang
Έκδοση: (1992)

Industrial applications of genetic algorithms
Έκδοση: (1999)

Predictive Data Mining A practical guide
ανά: Indurkhya, Nitin, κ.ά.
Έκδοση: (1998)

Jewels of Formal Language Theory
ανά: Salomaa, Arto
Έκδοση: (1981)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών