UniCat-Search

Union Catalogue of Belgian Libraries

English | Nederlands | Français

Feedback

About UniCat

Help

News

Narrow your search

Library

KU Leuven (42)

UGent (3)

KBR (2)

UCLouvain (2)

UHasselt (2)

ULB (2)

ULiège (2)

UMons (2)

UNamur (2)

AP (1)
More...

Resource type

dissertation (35)

book (19)

digital (1)

Language

Dutch (27)

English (26)

Undetermined (2)

Year

From To

2020 (2)

2019 (1)

2018 (5)

2017 (8)

2016 (6)
More...

Listing 1 - 10 of 55 << page
of 6
>>
Sort by

Book

Applied formal methods for correct VLSI design
Author: Claesen, Luc
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

Formal VLSI correctness verification
Author: Claesen, Luc
ISBN: 0444886885 Year: 1990 Publisher: Amsterdam North-Holland

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Integrated circuits --- Verification --- Very large scale integration --- Computer-aided design

Book

Applied formal methods for correct VLSI design
Author: Claesen, Luc
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
Author: Claesen, Luc J.M.
Year: 1989 Publisher: Amsterdam Elsevier science publishers

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 on applied formal methods for correct VLSI design, Congress Center "Hengelhoef", Houthalen, Belgium 13-16 November 1989
Author: Claesen, Luc J.M.
Year: 1989 Publisher: Amsterdam Elsevier Science

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Book

Computer hardware description languages and their applications
Authors: Agnew, David. --- Claesen, Luc
ISBN: 0444816410 Year: 1993 Publisher: Amsterdam North-Holland

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Dissertation

Husserl over het fantasiebewustzijn : een fenomenologisch onderzoek
Authors: Claesen, Luc --- KUL. Hoger instituut voor wijsbegeerte.
Year: 1993

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Book

Higher order logic theorem proving and its applications
Authors: Gordon, Michael John Caldwell --- Claesen, Luc J. M.
Year: 1992 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

Book

Higher order logic theorem proving and its applications
Authors: Claesen, Luc J.M. --- Gordon, Michael J.C.
Year: 1992 Publisher: Leuven Interuniversity Micro-Electronics Center. IMEC

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Dissertation

Regionale synchronisatie in gesitueerde multie-agent systemen
Authors: Claesen, Luc --- Holvoet, T. --- KUL. Faculteit toegepaste wetenschappen. Departement computerwetenschappen.
Year: 2004

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Listing 1 - 10 of 55 << page
of 6
>>
Sort by