Title: Logic and Language: Studies dedicated to Professor Rudolf Carnap on the Occasion of his Seventieth Birthday, Author: B.H. Kazemier
Title: Logischer Entwurf digitaler Systeme Beispiele und Übungen, Author: H. Liebig
Title: The Origins of Digital Computers: Selected Papers, Author: B. Randell
Title: Taschenrechnerarithmetik mit erhöhter Genauigkeit (TI-59/HP-41C), Author: Peter G. Poloczek
Title: Computersysteme - Aufbau und Funktionsweise, Author: H. Schauer
Title: P-Functions and Boolean Matrix Factorization: A Unified Approach for Wired, Programmed and Microprogrammed Implementations of Discrete Algorithms, Author: A. Thayse
Title: Logic Minimization Algorithms for VLSI Synthesis, Author: Robert K. Brayton
Title: Trace Theory and VLSI Design, Author: Jan L.A. van de Snepscheut
Title: Logic Programming: A Classified Bibliography, Author: I. Balbin
Title: Concepts in User Interfaces: A Reference Model for Command and Response Languages, Author: David Beech
Title: Fehlerdiagnose f�r Schaltnetze aus Modulen mit partiell injektiven Pfadfunktionen, Author: Michael Marhïfer
Title: Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems: 3. Internationale GI/ITG/GMA-Fachtagung / 3rd International GI/ITG/GMA Conference Bremerhaven, 9.-11. September 1987, Author: Fevzi Belli
Title: Signaturanalyse: Theoretische Grundlagen und Probleme; Ausblick auf Anwendungen, Author: Lutz Voelkel
Title: Visualisierung von Umweltdaten in Supercomputersystemen: 1. Fachtagung Karlsruhe, 8. November 1989 Proceedings, Author: Arndt Bode
Title: Termination Proofs for Logic Programs, Author: Lutz Plümer
Title: Programming Language Implementation and Logic Programming: International Workshop PLILP `90, Link�ping, Sweden, August 20-22, 1990. Proceedings, Author: Pierre Deransart
Title: Graph-Based Proof Procedures for Horn Clauses, Author: RAATZ
Title: Extensions of Logic Programming: International Workshop, Tübingen, FRG, December 8-10, 1989. Proceedings, Author: Peter Schroeder-Heister
Title: Logics in AI: European Workshop JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings, Author: Jan van Eijck
Title: Integrating Functional and Temporal Domains in Logic Design: The False Path Problem and Its Implications, Author: Patrick C. McGeer

Pagination Links