Narrow your search

Library

ULiège (2)

KU Leuven (1)

ULB (1)


Resource type

book (2)


Language

English (1)

French (1)


Year
From To Submit

2003 (2)

Listing 1 - 2 of 2
Sort by

Book
Informatique industrielle : logique combinatoire et séquentielle : méthodes, outils et réalisations
Author:
ISBN: 2729814256 Year: 2003 Publisher: Paris : Ellipses,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Tools and Algorithms for the Construction and Analysis of Systems : 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
Authors: --- --- ---
ISBN: 3540008985 354036577X Year: 2003 Volume: 2619 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

System design --- Computer software --- Systèmes, Conception de --- Logiciels --- Congresses --- Development --- Congrès --- Développement --- Computer Science --- Engineering & Applied Sciences --- Systèmes, Conception de --- Congrès --- Développement --- Computer science. --- Computer communication systems. --- Software engineering. --- Computers. --- Algorithms. --- Computer logic. --- Computer Science. --- Theory of Computation. --- Software Engineering/Programming and Operating Systems. --- Logics and Meanings of Programs. --- Computer Communication Networks. --- Software Engineering. --- Algorithm Analysis and Problem Complexity. --- Information theory. --- Logic design. --- Computer software. --- Software, Computer --- Computer systems --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer software engineering --- Engineering --- Communication theory --- Communication --- Cybernetics --- Algorism --- Algebra --- Arithmetic --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- Computer science logic --- Logic, Symbolic and mathematical --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Calculators --- Cyberspace --- Foundations --- Distributed processing --- Congresses.

Listing 1 - 2 of 2
Sort by