UniCat-Search

Union Catalogue of Belgian Libraries

English | Nederlands | Français

Feedback

About UniCat

Help

News

Narrow your search

Library

KU Leuven (68)

UCLouvain (66)

ULiège (59)

UAntwerpen (53)

UGent (49)

UNamur (37)

ULB (30)

KBR (25)

UMons (18)

VUB (16)
More...

Resource type

book (94)

dissertation (1)

Language

English (87)

French (6)

German (1)

Year

From To

2004 (1)

2002 (1)

2001 (2)

2000 (1)

1997 (1)
More...

Listing 1 - 10 of 94 << page
of 10
>>
Sort by

Binding time : six studies in programming technology & milieu
Author: Halpern, Mark
ISBN: 0893916919 Year: 1990 Publisher: Norwood, NJ Ablex Pub. Co.

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Electronic digital computers - Programming.

Tools and notions for program construction : an advanced course
Author: Néel, D.
ISBN: 0521248019 9780521248013 Year: 1982 Publisher: Cambridge : Cambridge university press,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Computer programming. --- Computer programming --- Electronic digital computers- programming

Book

Structured computer organization
Author: Tanenbaum, Andrew
ISBN: 0138546053 9780138546052 Year: 1984 Publisher: Englewood Cliffs (N.J.): Prentice Hall,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Ordinateurs --- Electronic digital computers --- Computer organizaton --- Architecture --- Programming --- Electronic digital computers programming --- Ordinateurs - Architecture --- Electronic digital computers - Programming --- Computer organization --- Computer programming.

Book

The art of computer programming.. 1, Fundamental algorithms
Author: Knuth, Donald Ervin
ISBN: 0201038013 9780201038019 Year: 1969 Publisher: Reading: Addison-Wesley,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Electronic digital computers --- Computer programming --- Computer algorithms. --- Computer algorithms --- Programming --- algoritmen --- programmeren --- Electronic digital computers - Programming

Formal development of programs and proofs
Author: Dijkstra, Edsger Wybe
ISBN: 0201172372 9780201172379 Year: 1990 Publisher: Reading, Mass.: Addison-Wesley,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Computer programming --- Congresses. --- Electronic digital computers programming --- Computer programming - Congresses --- Computer programming.

Book

Control flow and data flow : concepts of distributed programming : proceedings of the NATO advanced study institute on control flow and data flow, concepts of distributed programming held at Marktoberdorf, Federal republic of Germany, July 31 - August 12, 1984
Authors: Broy, Manfred --- NATO advanced study institute on control flow and data flow, concepts of distributed programming :
ISBN: 3540170820 364282921X 3540139192 Year: 1986 Publisher: Berlin : Springer-Verl.,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Electronic data processing distributed processing --- Electronic digital computers programming --- Electronic data processing --- Computer programming. --- Distributed processing.

Book

Fundamentals of Computer Algorithms
Authors: Horowitz, Ellis --- Sahni, Sartaj
ISBN: 0273013246 9780273013242 Year: 1978 Publisher: London: Pitman,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Electronic digital computers --- Algorithms --- Programming --- Algoritmen. --- Algorithms. --- Computer programming. --- Electronic digital computers - Programming

Book

The temporal logic of reactive and concurrent systems
Authors: Manna, Zohar --- Pnueli, Amir
Year: 1992 Publisher: New York Berlin London Springer

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Logic [Symbolic and mathematical ] --- Electronic digital computers - Programming. --- Logic, Symbolic and mathematical.

Book

Automated reasoning : introduction and applications
Authors: Wos, Larry --- Overbeek, Ross --- Lusk, Ewing --- Boyle, Jim
Year: 1992 Publisher: New York McGraw-Hill

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Automatic theorem proving --- Artificial intelligence --- Automatic theorem proving. --- Artificial intelligence. --- Electronic digital computers - Programming.

Book

Programmation du système IBM 360
Authors: Opler, Ascher --- Computer usage company --- Centre d'analyse et de programmation (Paris)
Year: 1966 Publisher: Paris : Dunod,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Informatique --- Computer science. --- Computers, digital (ibm 360) --- Electronic digital computers-programming --- Ibm 360 (ordinateur) --- Programmation

Listing 1 - 10 of 94 << page
of 10
>>
Sort by