UniCat-Search

Union Catalogue of Belgian Libraries

English | Nederlands | Français

Feedback

About UniCat

Help

News

Narrow your search

Library

ULiège (72)

KU Leuven (32)

UGent (26)

ULB (25)

UCLouvain (21)

UAntwerpen (14)

UHasselt (13)

UNamur (10)

Odisee (9)

Thomas More Kempen (8)
More...

Resource type

book (75)

Language

English (54)

French (17)

German (3)

Dutch (1)

Year

From To

2024 (1)

2021 (1)

2020 (1)

2019 (1)

2018 (2)
More...

Listing 1 - 10 of 75 << page
of 8
>>
Sort by

Book

Exercices d'algorithmique
Author: GAILLY, P.-J.
Year: 1981 Publisher: Liège : ULg (Université de Liège),

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Algorithmique

Book

Introduction à l'algorithmique I : théorie
Author: De Marneffe, Pierre-Arnoul
Year: 1998 Publisher: Liège : Centrale des cours de l'A.E.E.S.,

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. --- Algorithmique

Book

Raisonnement géométrique assisté par ordinateur : computer-aided geometric reasoning : 22-26 juin 1987 : suport de cours = course texts
Author: Institut national de recherche en informatique et en automatique (France).
Year: 1987 Publisher: Le Chesnay : INRIA,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Informatique theorique --- Geometrie algorithmique

Book

Decentralised Autonomous Organisation (DAO) : Regulation : Principles and perspectives for the future
Authors: Oliveira, Madalena Perestrelo de --- Garcia Rolo, Anónio
ISBN: 9783161637001 Year: 2024 Publisher: Tübingen: Mohr Siebeck,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Gouvernance algorithmique --- Régularisation

Book

Calculabilité effective et algorithmique théorique
Author: Vollat, Patrick
Year: 1989 Publisher: Paris : Eyrolles,

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. --- Algorithmes --- Algorithmique

Book

Discrete algorithms and complexity : Proceedings of the Japan-US joint seminar [on discrete algorithms and complexity theory], June 4-6, 1986, Kyoto, Japan
Authors: Johnson, David --- Nozaki, Akihiro --- Nishizeki, T. --- Japan-US joint seminar on discrete algorithms and complexity theory :
Year: 1987 Publisher: Orlando : Academic Press,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Algorithmique --- Algorithmes --- Informatique theorique --- Complexite

Book

Combinatorial optimization
Author: Ibaraki, Toshihide
Year: 1990 Publisher: Amsterdam : Elsevier North-Holland,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Analyse combinatoire --- Mathématiques --- Algorithmique

Book

Algorithmique : construction, preuve et évaluation des programmes
Authors: Berlioux, Pierre --- Bizard, Philippe
ISBN: 2040157719 9782040157715 Year: 1985 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
Informatique --- Computer science --- Computer science. --- Algorithmique --- Programmation

Book

Second workshop on computability and complexity in analysis : CCA '96 : August 22-23, 1996, Universität Trier, Germany : extended abstracts
Authors: Ko, Ker-I --- Weihrauch, K. --- Workshop on computability and complexity in analysis.
Year: 1996 Publisher: [Trier] : Universität Trier,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Informatique theorique --- Logique mathematique --- Algorithmique --- Calculabilite --- Complexite

Les bases de la programmation et du génie logiciel
Author: Pierra, Guy
ISBN: 2040207228 Year: 1991 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 theorique --- Informatique --- Algorithmique --- Programmation logique --- Programmation

Listing 1 - 10 of 75 << page
of 8
>>
Sort by