Suche Bilder Maps Play YouTube News Gmail Drive Mehr »
Anmelden
Books Bücher 1 - 10 von 23 in Department of Computer Science, Utrecht University PO Box 80.089, 3508 TB Utrecht,...
" Department of Computer Science, Utrecht University PO Box 80.089, 3508 TB Utrecht, The Netherlands Abstract... "
Computational Geometry: Algorithms and Applications - Seite iv
von Mark de Berg, Mark Overmars - 1997 - 365 Seiten
Eingeschränkte Leseprobe - Über dieses Buch

Advances in Computing and Information - ICCI '90: International Conference ...

Selim G. Akl, F. Fiala - 1990 - 529 Seiten
...Computer Science, Carnegie Mellon University, 1989 Fast Left-Linear Semi-Unification Fritz Henglein Department of Computer Science Utrecht University PO Box 80.089 3508 TB Utrecht The Netherlands Internet: henglein@cs.ruu.nl Keywords: semi-unification, left-linear, P-completeness Abstract Semi-unification...
Eingeschränkte Leseprobe - Über dieses Buch

Programming Language Implementation and Logic Programming: 3rd International ...

Jan Maluszynski, Martin Wirsing - 1991 - 433 Seiten
...Incremental Evaluation of Higher order Attribute Grammars Harald Vogt, Doaitse Swierstra and Matthijs Kuiper Department of Computer Science, Utrecht University PO Box 80.089, 3508 TB Utrecht, The Netherlands E-Mail: {harald,doaitse,matthys} @cs. ruu.nl Abstract This paper presents a new algorithm for the incremental...
Eingeschränkte Leseprobe - Über dieses Buch

Attribute Grammars, Applications and Systems: International Summer School ...

Henk Alblas, Borivoj Melichar - 1991 - 513 Seiten
...Comp. Sc., Cornell Univ., Aug. 1990. Higher Order Attribute Grammars Doaitse Swierstra Harald Vogt* Department of Computer Science, Utrecht University PO Box 80.089, 3508 TB Utrecht, The Netherlands E-Mail: doaitse@cs.ruu.nl, harald@cs.ruu.nl Abstract Higher Order Attribute Grammars (HAGs) are an...
Eingeschränkte Leseprobe - Über dieses Buch

Algorithms and Data Structures: 2nd Workshop, WADS '91, Ottawa, Canada ...

Frank Dehne, Jörg-Rüdiger Sack, Nicola Santoro, Workshop on Algorithms and Data Structures - 1991 - 495 Seiten
...February 1991. Planar Graph Augmentation Problems* (Extended Abstract) Goos Kant Hans L. Bodlaender Dept. of Computer Science, Utrecht University PO Box 80.089, 3508 TB Utrecht, the Netherlands Abstract In this paper we investigate the problem of adding a minimum number of edges to a planar graph...
Eingeschränkte Leseprobe - Über dieses Buch

Theoretical Aspects of Computer Software: International Conference TACS '91 ...

Takayasu Ito, Albert R. Meyer, TACS. - 1991 - 770 Seiten
...Computer Science and Uppsala University Box 1263 164 28 Kista, Sweden bengtOsics.se Joost N. Kok Dept. of Computer Science Utrecht University PO Box 80.089 3508 TB Utrecht, the Netherlands joostOcs .ruu.nl Abstract A dataflow network consists of nodes that communicate by passing data over...
Eingeschränkte Leseprobe - Über dieses Buch

Graph-Theoretic Concepts in Computer Science: 17th International Workshop WG ...

Gunther Schmidt, Rudolf Berghammer - 1992 - 252 Seiten
...chromatic number of an interval graph containing the graph as a subgraph and the node search number of a .Department of Computer Science, Utrecht University, PO Box 80.089, 3508 TB Utrecht, The Netherlands. The research of this author is partially supported by the ESPRIT II Basic Research Actions of the EC...
Eingeschränkte Leseprobe - Über dieses Buch

Algorithm Theory - SWAT '92: Third Scandinavian Workshop on Algorithm Theory ...

Otto Nurmi, Esko Ukkonen - 1992 - 433 Seiten
...Triangulating Planar Graphs While Minimizing the Maximum Degree* Goos Kant Hans L. Bodlaender Dept. of Computer Science, Utrecht University PO Box 80.089, 3508 TB Utrecht, the Netherlands Abstract In this paper we study the problem of triangulating a planar graph ('! while minimizing the...
Eingeschränkte Leseprobe - Über dieses Buch

STACS 93: 10th Annual Symposium on Theoretical Aspects of Computer Science ...

Patrice Enjalbert, Alain Finkel - 1993 - 723 Seiten
...Towards the Formal Design of Self-Stabilizing Distributed Algorithms PJA Lentfert and SD Swicrstra Department of Computer Science, Utrecht University, PO Box 80.089, 3508 TB Utrecht, The Netherlands. Abstract. This article introduces two new logical operators in UNITY. These operators are used to present...
Eingeschränkte Leseprobe - Über dieses Buch

Symbolic and Quantitative Approaches to Reasoning and Uncertainty: European ...

Michael Clarke, Rudolf Kruse - 1993 - 390 Seiten
...tables. Biometrika, 72:537-552, 1983. IDAGs: a Perfect Map for Any Distribution Remco R. Bouckaert Department of Computer Science, Utrecht University, PO Box 80.089, 3508 TB Utrecht, The Netherlands, E-Mail: remcofflcs.ruu.nl Abstract The notion of relevance that is very important in knowledge based...
Eingeschränkte Leseprobe - Über dieses Buch

Automata, Languages and Programming: 20th International Colloquium, ICALP 93 ...

Andrzej Lingas, Rolf Karlsson, Svante Carlsson - 1993 - 697 Seiten
...Treewidth and Pathwidth of Permutation Graphs Hans Bodlaender1 and Ton Kloks1* and Dieter Kratsch2 1 Department of Computer Science, Utrecht University, PO Box 80.089, 3508 TB Utrecht, the Netherlands 2 Fakultat Mathematik, Friedrich-Schiller-Universitat, Universitatshochhaus, O-6900 Jena, Germany Abstract....
Eingeschränkte Leseprobe - Über dieses Buch




  1. Meine Mediathek
  2. Hilfe
  3. Erweiterte Buchsuche