Structures in logic and computer science A selection of essays in honor of A. Ehrenfeucht

Structures in logic and computer science A selection of essays in honor of A. Ehrenfeucht

Εμφάνιση άλλων εκδόσεων (2)

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς:	Mycielski, Jan (Επιμελητής έκδοσης), Rozenberg, Grzegorz (Επιμελητής έκδοσης), Salomaa, Arto (Επιμελητής έκδοσης)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin Springer-Verlag c1997
Σειρά:	Lecture Notes in Computer Science / G. Goos and J. Hartmanis 1261
Θέματα:	Λογικός σχεδιασμός > Επεξεργασία δεδομένων COMPUTER SCIENCE ΕΠΕΑΕΚ

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

Logic synthesis using Synopsys /
ανά: Kurup, Pran
Έκδοση: (1997)

Logic synthesis for low power VLSI designs /
ανά: Iman, Sasan
Έκδοση: (1998)

Synthesis of finite state machines : logic optimization /
Έκδοση: (1997)

Principles of digital design /
ανά: Gajski, Daniel D.
Έκδοση: (1997)

Introduction to computer system performance evaluation
ανά: Kant, K., κ.ά.
Έκδοση: (1992)

Numerical methods for Mathematics, science and engineering
ανά: Mathews, John H., 1943-
Έκδοση: (1992)

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

Practical Genetic Algorithms
ανά: Haupt, Randy L., κ.ά.
Έκδοση: (1998)

IEEE Design and Test of Computers
Έκδοση: (1987)

Digital design
ανά: Mano, M. M.
Έκδοση: (1984)

Digital Design
ανά: Mano, M. M.
Έκδοση: (2002)

Genetic algorithms and engineering design
ανά: Cheng, Runwei, κ.ά.
Έκδοση: (1997)

Genetic algorithms for pattern recognition
Έκδοση: (1996)

Computer structures: principles and examples
ανά: Bell, C. Gordon, κ.ά.
Έκδοση: (1982)

Microsoft Frontpage 98 at a glance
ανά: Nelson, Stephen L.
Έκδοση: (1997)

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

From logic to logic programming
ανά: Doets, Kees
Έκδοση: (1994)

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

Adobe Photoshop 5.5 Classroom in a book
Έκδοση: (1999)

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

Algorithmica An International Journal in Computer Science
Έκδοση: (1986)

The colour image processing handbook
Έκδοση: (1998)

Digital Image Processing
ανά: Gonzalez, Rafael C., κ.ά.
Έκδοση: (1993)

Οδηγός του Adobe Photoshop 5
ανά: Bouton, Barbara, κ.ά.
Έκδοση: (1999)

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

Computer organization and design The hardware/software interface
ανά: Hennessy, John L., κ.ά.
Έκδοση: (1998)

Computer Architecture A designer's text based on q generic RISC
ανά: Feldman, James M., κ.ά.
Έκδοση: (1994)

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)

3D Computer Graphics
ανά: Watt, Alan
Έκδοση: (1993)

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

Understanding and deploying LDAP directory services
ανά: Good, Gordon S., κ.ά.
Έκδοση: (1999)

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

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

Digital logic design /
ανά: Holdsworth, B. (Brian)
Έκδοση: (1984)

The Architecture of Computer Hardware and Systems Software An Information Technology approach
ανά: Englander, Irv
Έκδοση: (1996)

Higher order logic and harware verification
ανά: Melham, T.
Έκδοση: (1993)

Alpha Implementations and Architecture Complete Reference and Guide
ανά: Bhandarkar, Dileep P.
Έκδοση: (1996)

VHDL for logic synthesis /
ανά: Rushton, Andrew
Έκδοση: (1998)

Simulation Modeling and Analysis
ανά: Law, Averill M., κ.ά.
Έκδοση: (2000)

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

Cannot write session to /tmp/vufind_sessions/sess_oti7otpc6i9907kr39skvd8033