UniCat-Search

Union Catalogue of Belgian Libraries

Feedback

About

Help

News

Narrow your search

Library

UGent (50)

UCLouvain (42)

KU Leuven (41)

ULiège (39)

UAntwerpen (38)

UNamur (23)

ULB (20)

VUB (19)

UMons (15)

UHasselt (12)
More...

Resource type

book (50)

Language

English (49)

Dutch (1)

Year

From To

2001 (1)

2000 (1)

1997 (1)

1996 (1)

1993 (2)
More...

Listing 1 - 10 of 50 << page
of 5
>>
Sort by

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

Formal development of programs and proofs : [1987 University of Texas year of programming (YoP)]
Authors: Dijkstra, Edsger Wybe --- University of Texas at Austin.
ISBN: 0201172372 9780201172379 Year: 1990 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
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 Kumar
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

Proceedings of the European conference on Object-oriented programming addendum : systems, languages, and applications: systems, languages, and applications
Authors: Archibald, Jerry L. --- Association for Computing Machinery-Digital Library.
ISBN: 0897914430 9780897914437 Year: 1990 Publisher: ACM

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 --- Object-oriented programming (Computer science) --- Programming --- Congresses --- Information Technology --- Computer Science (Hardware & Networks) --- Electronic digital computers - Programming - Congresses --- Object-oriented programming (Computer science) - Congresses

Catalogue of artificial intelligence tools. 2nd edition.
Author: Bundy, Alan R.
ISBN: 3540168931 364296964X Year: 1986 Publisher: Berlin : Springer-Verlag,

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 --- 681.3*I20 --- Artificial intelligence (AI) in general; cognitive simulation; philosophical foundations --- 681.3*I20 Artificial intelligence (AI) in general; cognitive simulation; philosophical foundations --- Electronic digital computers programming --- Computer programming. --- Artificial intelligence-data processing --- Robotics

Conference record of POPL '00 : the 27th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages : papers presented at the symposium : Boston, Massachusetts, January 19-21, 2000
Authors: ACM SIGPLAN-SIGACT symposium on principles of programming languages. --- Association for computing machinery (Etats-Unis). --- Special group on algorithms and computation theory (Etats-Unis)
ISBN: 1581131259 9781581131253 Year: 2000 Publisher: New York : Association for Computing Machinery,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Programming languages (Electronic computers) --- Computer programming --- Engineering & Applied Sciences --- Computer Science --- Electronic digital computers --- Programming --- Congresses --- Information Technology --- Computer Science (Hardware & Networks) --- Electronic digital computers - Programming - Congresses --- Programming languages (Electronic computers) - Congresses

Object-oriented programming: systems, languages, and applications: OOPSLA ECOOP '90: conference proceedings
Author: Meyrowitz, Norman
ISBN: 0897914112 020152430X 0201524309 9780201524307 9780897914116 Year: 1990 Volume: 25/10 Publisher: New York ACM Press

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Engineering & Applied Sciences --- Computer Science --- Electronic digital computers --- Object-oriented programming (Computer science) --- Programming --- Congresses --- Information Technology --- Computer Science (Hardware & Networks) --- Electronic digital computers - Programming - Congresses --- Object-oriented programming (Computer science) - Congresses

Genetic programming : on the programming of computers by means of natural selection
Author: Koza, John R.
ISBN: 0262111705 9780262111706 Year: 1993 Publisher: Cambridge MIT press

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Programming --- Computer architecture. Operating systems --- Genetic programming (Computer science) --- Programmation génétique (Informatique) --- Genetic programming (Computer science). --- Programmation génétique (Informatique) --- #TELE:MI2 --- Computer programming --- Genetic algorithms --- Electronic digital computers --- Electronic digital computers - Programming.

Structure and interpretation of computer programs
Authors: Abelson, Harold --- Perlis, Alan J. --- Sussman, Gerald Jay --- Sussman, Julie
ISBN: 0262011530 0262510871 9780262011532 0070004846 9780070004849 9780262510875 Year: 1996 Publisher: Cambridge : M.I.T. Press,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Programming --- Computer programming --- LISP (Computer program language) --- Computer programming. --- Programmation (Informatique) --- LISP (Langage de programmation) --- Electronic digital computers --- 681.3*D2 --- 681.3*D3 --- 681.3*I2 --- 681.3*I2 Artificial intelligence. AI --- Artificial intelligence. AI --- 681.3*D3 Programming languages --- Programming languages --- 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Electronic digital computers programming --- Electronic digital computers. Programming --- Common lisp (computer program language)

Listing 1 - 10 of 50 << page
of 5
>>
Sort by