UniCat-Search

Union Catalogue of Belgian Libraries

English | Nederlands | Français

Feedback

About UniCat

Help

News

Narrow your search

Library

UCLouvain (90)

KU Leuven (80)

ULiège (75)

ULB (56)

UGent (20)

KBR (18)

Odisee (14)

Thomas More Kempen (14)

Thomas More Mechelen (14)

UCLL (14)
More...

Resource type

book (99)

periodical (1)

Language

English (98)

French (1)

Year

From To

2014 (1)

2013 (1)

2010 (1)

2009 (4)

2007 (3)
More...

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

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.

Multi

ACM SIGPLAN notices.
Authors: Thiemann, Peter --- Association for Computing Machinery-Digital Library.
ISSN: 15232867 ISBN: 158113455X 9781581134551 Year: 1991 Volume: 37/3 Publisher: New York, NY : ACM (= 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
Computer programming --- Information Technology --- Computer Science (Hardware & Networks) --- Computer programming - Congresses

Programming languages and systems - ESOP'96 . 6th european symposium on programming, Linköping, Sweden, April 1996 (proceedings)
Author: Nielson, Hanne Riis
ISBN: 3540610553 9783540610557 Year: 1996 Volume: 1058 Publisher: Berlin [etc.] : Springer-Verlag,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Computer programming --- Programming languages (Electronic computers) --- Congresses. --- Electronic digital computers --- Programming --- Congresses --- Computer programming - Congresses --- Programming languages (Electronic computers) - Congresses.

Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Authors: Sethi, Ravi --- Association for Computing Machinery-Digital Library.
ISBN: 0897914538 9780897914536 Year: 1992 Publisher: ACM

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

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

Conference record of POPL '95 : 22nd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages : papers presented at the symposium : San Francisco, California, January 22-25, 1995
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: 0897916921 9780897916929 Year: 1995 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
Information Technology --- Computer Science (Hardware & Networks) --- Programming languages (Electronic computers) --- Computer programming --- Programming languages (Electronic computers) - Congresses --- Computer programming - Congresses

Conference record of POPL '97 : the 24th ACM SIGPLAN-SIGACT symposium on principles of programming languages : papers presented at the symposium : Paris, France, 15-17 January 1997
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: 0897918533 9780897918534 Year: 1997 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
Information Technology --- Computer Science (Hardware & Networks) --- Programming languages (Electronic computers) --- Computer programming --- Programming languages (Electronic computers) - Congresses --- Computer programming - Congresses

Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Authors: Van Deusen, Mary --- Association for Computing Machinery-Digital Library.
ISBN: 0897915607 0897915615 9780897915618 9780897915601 Year: 1993 Publisher: ACM

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

Book

Formal languages, automata and numeration systems 1 : introduction to combinatorics on words
Author: Rigo, Michel
ISBN: 1119008220 1119008204 1119008212 Year: 2014 Publisher: Hoboken : John Wiley & Sons, Inc.,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract
Formal Languages, Automaton and Numeration Systems presents readers with a review of research related to formal language theory, combinatorics on words or numeration systems, such as Words, DLT (Developments in Language Theory), ICALP, MFCS (Mathematical Foundation of Computer Science), Mons Theoretical Computer Science Days, Numeration, CANT (Combinatorics, Automata and Number Theory).Combinatorics on words deals with problems that can be stated in a non-commutative monoid, such as subword complexity of finite or infinite words, construction and properties of infinite words, unavoidable regul

Keywords
Machine theory. --- Formal languages. --- Computer programming. --- Computational linguistics. --- Computer programming -- Congresses. --- Formal languages -- Congresses. --- Machine theory -- Congresses.

Book

Programmation : proceedings of the 2nd International Symposium on programming : Paris April, 13-15 1976
Author: Robinet, B.
ISBN: 2040051856 9782040051853 Year: 1977 Publisher: Paris Bordas

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Computer programming --- -Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Congresses --- Programming --- Congresses. --- -Congresses --- Computer programming - Congresses

Partial evaluation and mixed computation : Proceedings of the IFIP TC2 workshop on partial evaluation and mixed computation gammel avernaes, Denmark, 18-24, october 1987
Authors: Bjørner, D. --- Ershov, Andrei Petrovich --- Jones, Neil D. --- IFIP TC2 workshop on partial evaluation and mixed computation :
ISBN: 0444704914 9780444704917 Year: 1987 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
Automatic programming (Computer science) --- Computer programming --- Compiling (Electronic computers) --- Congresses --- Computer programming - Congresses --- Compiling (Electronic computers) - Congresses --- Automatic programming (Computer science) - Congresses

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