Sök böcker
Här kan du söka dig fram till bra böcker. Klicka sen på en bok för
att läsa mer om den!
Sökning efter: Peter Clote
11 träffar
|
Titel |
Författare |
År |
Språk |
1 |
Arithmetic, proof theory, and computational complexity
|
|
1993 |
Engelska |
2 |
Boolean functions and computation models
|
Peter Clote
|
2002 |
Engelska |
3 |
Computational molecular biology - an introduction
|
Peter Clote
|
cop. 2000 |
Engelska |
4-5 |
Computer science logic - 14th international workshop, CSL 2000, Fischbachau, Germany, August 21-26, 2000
(flera utgåvor)
|
International Workshop on Computer Science Logic 2000) Fischbachau :
|
cop. 2000 |
Engelska |
6 |
Feasible mathematics II
|
|
1995 |
Engelska |
7 |
Boolean functions and computation models / Peter Clote, Evangelos Kranakis
|
Peter Clote
|
uuuu-uuuu |
Okänt |
8 |
Computational Molecular Biology: An Introduction (Wiley series in mathematical and computational biology)
|
Peter. Clote
|
uuuu-uuuu |
Okänt |
9 |
Feasible Mathematics II
|
Jeffrey B. Remmel
|
1995 |
Okänt |
10 |
Boolean Functions and Computation Models
|
Peter Clote
|
2002 |
Okänt |
11 |
Computer Science Logic - 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings
|
Germany), Workshop on Computer Science Logic 2000 : Fischbachau Workshop on Computer Science Logic
|
2000 |
Engelska |
1
Sökningen görs direkt i Kungl. bibliotekets
söktjänst libris. Libris katalog innehåller
närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken
samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en
tjänst som Boktraven vara möjlig.