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: Neil D. Jones 20 träffar

Titel Författare År Språk
1 Program flow analysis - theory and applications cop. 1981 Engelska
2 Partial evaluation and automatic program generation Neil D. Jones 1993 Engelska
3 Computability and complexity - from a programming perspective Neil D. Jones cop. 1997 Engelska
4 Partial evaluation and mixed computation - proceedings of the IFIP TC2 Workshop on Partial Evaluation and Mixed Computation, Gammel Avernæs, Denmark, 18-24 October, 1987 IFIP TC2 Workshop on Partial Evaluation and Mixed Computation (1987 : Gammel Avernæs) 1988 Engelska
5 Tempo - a unified treatment of binding time and parameter passing concepts in programming languages Neil D. Jones 1978 Engelska
6 Semantics-directed compiler generation - proceedings of a workshop, Aarhus, Denmark, January 14-18, 1980 1980 Engelska
7 Programs as data objects - proceedings of a workshop, Copenhagen, Denmark, October 17-19, 1985 cop. 1986 Engelska
8 ESOP '90 - proceedings European Symposium on Programming 1990) København : cop. 1990 Engelska
9-10 Logic, language and computation - Festschrift in honor of Satoru Takasu (flera utgåvor) cop. 1994 Engelska
11-12 The essence of computation - complexity, analysis, transformation : essays dedicated to Neil D. Jones (flera utgåvor) cop. 2002 Engelska
13 Semantics-Directed Compiler Generation Neil D. Jones uuuu-uuuu Okänt
14 Computability and Complexity: From a Programming Perspective (Foundations of computing) Neil D. Jones 1997 Okänt
15 ESOP '90 European Symposium on Programming 1990 Engelska
16 Verification, Model Checking, and Abstract Interpretation - 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings Neil D. Jones 2009 Engelska
17 POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages Neil D. Jones uuuu-uuuu Okänt
18 TEMPO: A Unified Treatment of Binding Time and Parameter Passing Concepts in Programming Languages Neil D. Jones uuuu-uuuu Okänt
19 Computability theory. - an introduction Neil D. Jones 1973 Engelska
20 Computability theory : an introduction / Neil D. Jones Neil D. Jones uuuu-uuuu Okänt

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.