Listing 1 - 10 of 439 << page
of 44
>>
Sort by

Book
Constructing combinatorial designs by local search
Author:
ISBN: 9512218577 Year: 1993 Publisher: Espoo Helsinki University of Technology, Department of Computer Science

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Computer science

Scientific computing with automatic result verification
Authors: ---
ISBN: 0120442108 9780120442102 9780080958750 0080958753 1282290169 9781282290167 Year: 1993 Publisher: London Academic Press

Loading...
Export citation

Choose an application

Bookmark

Abstract

A collection of papers on recent progress in the development of numerical applications with automatic result verification. The book includes various applications of enclosure methods to problems in the engineering sciences, such as MHD flow calculations and KKR bandstructure calculations.

Keywords

Computer science


Book
Logic for applications
Authors: ---
ISBN: 0387941290 Year: 1993 Publisher: New York Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Computer science


Book
Proceedings of the third international conference on Lisp users and vendors
Author:
Year: 1993 Publisher: New York, New York : Association for Computing Machinery,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Computer science

Current trends in theoretical computer science : essays and tutorials
Authors: ---
ISBN: 9810214626 Year: 1993 Publisher: Singapore New Jersey London Hong Kong World Scientific

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Computer science

Relations and graphs : discrete mathematics for computer scientists
Authors: ---
ISBN: 3540562540 3642779700 3642779689 9783540562542 Year: 1993 Publisher: Berlin : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Leerboek informatica
Author:
ISBN: 9067893110 Year: 1993 Publisher: Amsterdam Addison-Wesley

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Research and development in expert systems IX : proceedings of Expert Systems 92, the Twelfth Annual Technical Conference of the British Computer Society Specialist group on Expert Systems, London, December 1992
Authors: --- ---
ISBN: 0511569947 Year: 1993 Publisher: Cambridge : Cambridge University Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This volume contains the refereed and invited papers which were presented at Expert Systems 92, the twelfth annual conference of the British Computer Society's Specialist Group on Expert Systems, held in Cambridge in December 1992. Together with its predecessors this is essential reading for those who wish to keep up to date with developments and opportunities in this important field.


Book
Projet informatique de cartographie continue (P.I.C.C.).
Year: 1993 Publisher: MET (Ministère wallon de l'Equipement et des Transports),

Loading...
Export citation

Choose an application

Bookmark

Abstract

User modelling in text generation
Author:
ISBN: 9780861878093 0861878094 Year: 1993 Publisher: London: Pinter,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Listing 1 - 10 of 439 << page
of 44
>>
Sort by