UniCat-Search

Union Catalogue of Belgian Libraries

English | Nederlands | Français

Feedback

About UniCat

Help

News

Narrow your search

Library

KU Leuven (5)

UHasselt (1)

UNamur (1)

Resource type

dissertation (5)

book (2)

Language

English (7)

Year

From To

1989 (7)

Listing 1 - 7 of 7
Sort by

Book

Applied formal methods for correct VLSI design
Authors: Claesen, Luc J. M. --- IMEC-IFIP international workshop on applied formal methods for correct VLSI design
Year: 1989 Publisher: Leuven: IMEC,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Book

Applied formal methods for correct VLSI design: proceedings of the IMEC-IFIP international workshop, Houthalen, Belgium 13-16 November 1989
Authors: Claesen, Luc J.M. --- IMEC-IFIP International Workshop on Applied Formal Methods for Correct VLSI Design
Year: 1989 Publisher: Amsterdam Elsevier

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Artificial intelligence. Robotics. Simulation. Graphics

Dissertation

Laser beam processing of silicon : aspects of laser annealing and study of laser recrystallization for silicon-on-insulator material and devices.
Authors: Wouters, Dirk --- KUL. Faculteit toegepaste wetenschappen. Departement elektrotechniek - ESAT - INSYS : integrated systems --- IMEC.
Year: 1989 Publisher: Leuven KU Leuven. Faculteit Ingenieurswetenschappen

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Dissertation

Characteristics and reliability of thin oxide floating gate memory transistors and their supporting programming circuits.
Authors: Witters, Johan. --- KUL. Faculteit toegepaste wetenschappen. Departement elektrotechniek - ESAT - INSYS : integrated systems --- IMEC.
Year: 1989 Publisher: Leuven KU Leuven. Faculteit Ingenieurswetenschappen

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Dissertation

Electrical correctness verification of MOS digital circuits using expert system and symbolic analysis techniques.
Authors: Bolsens, Ivo --- KUL. Faculteit toegepaste wetenschappen. Departement elektrotechniek - ESAT - INSYS : integrated systems --- IMEC.
Year: 1989 Publisher: Leuven KU Leuven. Faculteit Ingenieurswetenschappen

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Dissertation

Silicon oxidation : modelling, characterization and strategic considerations.
Authors: Ling, Zhi-min --- KUL. Faculteit toegepaste wetenschappen. Departement elektrotechniek - ESAT --- IMEC.
Year: 1989 Publisher: Leuven KU Leuven. Faculteit Ingenieurswetenschappen

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Dissertation

Hydrogenated amorphous silicon by homogeneous chemical vapour deposition.
Authors: Qian, Zhaoming --- KUL. Faculteit toegepaste wetenschappen. Departement elektrotechniek - ESAT - INSYS : integrated systems --- IMEC.
Year: 1989 Publisher: Leuven KU Leuven. Faculteit Ingenieurswetenschappen

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Listing 1 - 7 of 7
Sort by