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: Manuel Hermenegildo
30 träffar
|
Titel |
Författare |
År |
Språk |
21 |
Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 1720, 2002 Proceedings
|
Manuel Hermenegildo
|
uuuu-uuuu |
Okänt |
22 |
Analysis and Visualization Tools for Constraint Programming
|
Pierre Deransart
|
2000 |
Engelska |
23 |
Programming Language Implementation and Logic Programming - 6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings
|
PLILP '94 PLILP '94
|
1994 |
Engelska |
24 |
Programming language implementation and logic programming - 6th international symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 : proceedings
|
International Symposium on Programming Language Implemantation and Logic Programming 1994) Madrid :
|
cop. 1994 |
Engelska |
25 |
Programming Language Implementation and Logic Programming
|
PLILP '94
|
1994 |
Engelska |
26 |
Programming languages: implementations, logics and programs
|
|
cop. 1995 |
Engelska |
27 |
Programming Languages: Implementations, Logics and Programs
|
PLILP '95
|
1995 |
Engelska |
28 |
Prolog: The Next 50 Years
|
|
2023 |
Okänt |
29-30 |
Static analysis - 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings
(flera utgåvor)
|
International Static Analysis Symposium 2002 : Madrid)
|
cop. 2002 |
Engelska |
Förra sidan
1
2
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.