Narrow your search

Library

ULiège (8)

KBR (7)

KU Leuven (4)

UAntwerpen (3)

ULB (3)

UCLouvain (2)

UGent (1)

UHasselt (1)

UMons (1)

UNamur (1)


Resource type

book (9)


Language

English (8)

French (1)


Year
From To Submit

1991 (9)

Listing 1 - 9 of 9
Sort by
Introduction to computer theory
Author:
ISBN: 0471510106 Year: 1991 Publisher: New York, NY ; Chichester : John Wiley,

Biocomputers the next generation from Japan
Authors: ---
ISBN: 0412357704 9780412357701 Year: 1991 Volume: vol *10 Publisher: London Chapman and Hall

Cellular automata : theory and experiment
Author:
ISBN: 0262570866 9780262570862 Year: 1991 Volume: vol *4 Publisher: Cambridge (MA) ; London : M.I.T. Press,

Advances in Petri nets 1991
Author:
ISBN: 3540543988 0387543988 3540476008 Year: 1991 Volume: 524 Publisher: Berlin Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

The main idea behind the series of volumes Advances in Petri Nets is to present to the general computer science community recent results which are the most representative and significant for the development of the area. Thepapers for the volumes are drawn mainly from the annual International Conferences on Applications and Theory of Petri Nets. Selected papers from the latest conference are independently refereed, and revised and extended as necessary. Some further papers submitted directly to the editor are included. Advances in Petri Nets 1991 covers the 11th International Conference on Applications and Theory of Petri Nets held in Paris, France in June 1991. The volume contains the Bibliography of Petri Nets 1990 prepared by H. Pl}nnecke and W. Reisig, with over 4000 entries.

CONCUR '91 : 2nd International conference on concurrency theory
Authors: ---
ISBN: 0387544305 3540544305 3540383573 Year: 1991 Volume: 527 Publisher: Berlin Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

CONCUR'91 is the second international conference on concurrency theory, organized in association with the NFI project Transfer. It is a sequel to the CONCUR'90 conference. Its basic aim is to communicate ongoing work in concurrency theory. This proceedings volume contains 30 papers selected for presentation at the conference (from 71 submitted) together with four invited papers and abstracts of the other invited papers. The papers are organized into sections on process algebras, logics and model checking, applications and specification languages, models and net theory, design and real-time, tools and probabilities, and programming languages. The proceedings of CONCUR'90 are available asVolume 458 of Lecture Notes in Computer Science.

Automata, languages and programming
Author:
ISBN: 0387542337 3540542337 3540475168 Year: 1991 Volume: 510 Publisher: Berlin Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

This volume contains the proceedings of ICALP '91, the 18th annual summer conference sponsored by the European Association for Theoretical Computer Science (EATCS). ICALP stands for International Colloquium on Automata, Languages, and Programming, and this conference series covers all important areas of theoretical computer science, such as: computability, automata, formal languages, data types and structures, theory of databases and knowledge bases, semantics of programming languages, program specification, transformation and verification, foundations of logic and functional programming, theory of logical design and layout, parallel and distributed computation, theory of concurrency, symbolic and algebraic computation, term rewriting systems, computational geometry, cryptography, and theory of robotics.

Keywords

Machine theory --- Automates mathématiques, Théorie des --- Congresses --- Congrès --- 681.3*D1 --- 681.3*E1 --- 681.3*F11 --- 681.3*I23 --- 681.3*I35 --- Programming techniques--See also {681.3*E} --- Data structures: arrays; graphs; lists; tables; trees --- Models of computation: automata; bounded action devices; computability theory; relations among models; self-modifying machines; unbounded-action devices--See also {681.3*F41} --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Computational geometry and object modeling (Computer graphics) --- 681.3*I35 Computational geometry and object modeling (Computer graphics) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*F11 Models of computation: automata; bounded action devices; computability theory; relations among models; self-modifying machines; unbounded-action devices--See also {681.3*F41} --- 681.3*E1 Data structures: arrays; graphs; lists; tables; trees --- 681.3*D1 Programming techniques--See also {681.3*E} --- Automates mathématiques, Théorie des --- Congrès --- Machine theory - Congresses. --- Information theory. --- Computer science. --- Data structures (Computer scienc. --- Combinatorics. --- Computer software. --- Artificial intelligence. --- Theory of Computation. --- Mathematical Logic and Formal Languages. --- Data Structures. --- Algorithm Analysis and Problem Complexity. --- Artificial Intelligence. --- Software, Computer --- Computer systems --- Combinatorics --- Algebra --- Mathematical analysis --- Informatics --- Science --- Communication theory --- Communication --- Cybernetics --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers

Listing 1 - 9 of 9
Sort by