Narrow your search

Library

KU Leuven (3)

KBR (2)

UCLouvain (2)

ULiège (2)

UAntwerpen (1)

UHasselt (1)

ULB (1)

VUB (1)


Resource type

book (3)


Language

English (3)


Year
From To Submit

1988 (3)

Listing 1 - 3 of 3
Sort by
Computer science : a modern introduction
Authors: ---
ISBN: 0131659456 Year: 1988 Publisher: Englewood Cliffs, NJ : Prentice-Hall International,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Foundations of software technology and theoretical computer science. Eight conference, Pune, India, December 21-23, 1988
Authors: ---
ISBN: 3540505172 0387505172 3540460306 9780387505176 9783540505174 Year: 1988 Volume: 338 Publisher: Berlin : Springer-Verlag,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This volume contains the proceedings of the 8th Conference on Foundations of Software Technology and Theoretical Computer Science held in Pune, India, on December 21-23, 1988. This internationally well-established Indian conference series provides a forum for actively investigating the interface between theory and practice of Software Science. It also gives an annual occasion for interaction between active research communities in India and abroad. Besides attractive invited papers the volume contains carefully reviewed submitted papers on the following topics: Automata and Formal Languages, Graph Algorithms and Geometric Algorithms, Distributed Computing, Parallel Algorithms, Database Theory, Logic Programming, Programming Methodology, Theory of Algorithms, Semantics and Complexity.

Keywords

Computer science --- Computer software --- Electronic digital computers --- Programming --- 681.3*D31 --- 681.3*F0 --- 681.3*H20 --- 681.3*I23 --- Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- Computerwetenschap--?*F0 --- Computerwetenschap--?*H20 --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*D31 Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- Software engineering. --- Computer network architectures. --- Computer science. --- Computer software. --- Logic design. --- Software Engineering/Programming and Operating Systems. --- Computer System Implementation. --- Computation by Abstract Devices. --- Algorithm Analysis and Problem Complexity. --- Software Engineering. --- Logics and Meanings of Programs. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Software, Computer --- Computer systems --- Informatics --- Science --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Computer software engineering --- Engineering --- Computer software - Congresses --- Electronic digital computers - Programming - Congresses

Algorithm animation
Author:
ISBN: 0262022788 9780262255844 9780262524117 9780262022781 Year: 1988 Volume: vol *5 Publisher: Cambridge, Mass. MIT Press

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Algorithmes --- Algorithms --- Algoritmen --- Computer graphics --- Computergrafiek --- Infographie --- Computer algorithms --- Computer programming --- 681.3*F13 --- 681.3*F2 --- 681.3*F31 --- 681.3*I3 --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Automatic drafting --- Graphic data processing --- Graphics, Computer --- Computer art --- Graphic arts --- Engineering graphics --- Image processing --- Complexity classes: complexity hierarchies; machine-independent complexity; reducibility and completeness; relations among complexity classes; relations among complexity measures (Computation by abstract devices)--See also {681.3*F2} --- Analysis of algorithms and problem complexity--See also {681.3*B6}; {681.3*B7}; {681.3*F13} --- Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- Computer graphics (Computing methodologies) --- Programming --- Digital techniques --- Computer programming. --- Computer algorithms. --- Computer graphics. --- 681.3*I3 Computer graphics (Computing methodologies) --- 681.3*F31 Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- 681.3*F2 Analysis of algorithms and problem complexity--See also {681.3*B6}; {681.3*B7}; {681.3*F13} --- 681.3*F13 Complexity classes: complexity hierarchies; machine-independent complexity; reducibility and completeness; relations among complexity classes; relations among complexity measures (Computation by abstract devices)--See also {681.3*F2} --- Electronic digital computers - Programming. --- Algorithms. --- Program Behavior --- Computer Aided Education --- Algorithm --- Vision --- Graphics

Listing 1 - 3 of 3
Sort by


Copyright ©2024 SemperTool