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: Gilles
3469 träffar
|
Titel |
Författare |
År |
Språk |
| 1161 |
Introduction to the Theory of Programming Languages electronic resource / by Gilles Dowek, Jean-Jacques Lévy
|
Gilles. author. Dowek
|
uuuu-uuuu |
Okänt |
| 1162 |
Principles of Programming Languages electronic resource / by Gilles Dowek
|
Gilles. author. Dowek
|
uuuu-uuuu |
Okänt |
| 1163 |
Proofs and Algorithms electronic resource : An Introduction to Logic and Computability / by Gilles Dowek
|
Gilles. author. Dowek
|
uuuu-uuuu |
Okänt |
| 1164-1165 |
Computation, proof, machine - mathematics enters a new age
(flera utgåvor)
|
Gilles. Dowek
|
2015 |
Engelska |
| 1166 |
Computation, Proof, Machine: Mathematics Enters a New Age
|
Gilles Dowek
|
2015 |
Okänt |
| 1167 |
Computation, proof, machine : mathematics enters a new age / Gilles Dowek, French Institute for Research in Computer Science and Automation (INRIA) translated from the French by Pierre Guillot and Marion Roman. electronic resource
|
Gilles Dowek
|
uuuu-uuuu |
Okänt |
| 1168 |
"Higher-order algebra, logic, and term rewriting : second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers"
|
Gilles Dowek
|
1996 |
Okänt |
| 1169 |
Introduction to the Theory of Programming Languages
|
Gilles. Dowek
|
2011 |
Engelska |
| 1170 |
Introduction to the Theory of Programming Languages
|
Gilles Dowek
|
2011 |
Okänt |
| 1171 |
Principles of Programming Languages
|
Gilles. Dowek
|
2009 |
Engelska |
| 1172 |
Principles of Programming Languages
|
Gilles Dowek
|
2009 |
Okänt |
| 1173 |
Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages Theory and Practice
|
Gilles Dowek
|
2016 |
Engelska |
| 1174 |
Proofs and Algorithms - An Introduction to Logic and Computability
|
Gilles. Dowek
|
2011 |
Engelska |
| 1175 |
Proofs and Algorithms
|
Gilles Dowek
|
2011 |
Okänt |
| 1176 |
Rewriting and Typed Lambda Calculi - Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings
|
Gilles. Dowek
|
2014 |
Engelska |
| 1177 |
Les 500 émissions mythiques de la télévision française
|
Michel. Drucker
|
2012 |
Franska |
| 1178 |
Canton de la Roche-sur-Yon
|
Y. Du Guerny
|
1959 |
Franska |
| 1179 |
Recipes from the châteaux of the Loire
|
Gilles. Du Pontavice
|
©1998 |
Engelska |
| 1180 |
Du système linguistique aux actions langagières - mélanges en l'honneur d'Alain Berrendonner
|
|
c2011 |
Franska |
Förra sidan
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
Nästa sida
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.