KOBV Portal

Hits per page

hits 1 - 10 | 35 hits

Sorting

Online Resource

Logic, language and computation : Festschrift in honor of Satoru Takasu (1994)

Jones, Neil D. [Sonstige] 1941- ; Takasu, Satoru 1931-

Berlin u.a. : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV035718130

Format: 1 Online-Ressource (XII, 269 S. , graph. Darst.)

ISBN: 3540579354 , 0387579354

Series Statement: Lecture notes in computer science 792

Language: English

Subjects: Computer Science , Mathematics

RVK:

SE 330

RVK:

SS 4800

Keywords: Theoretische Informatik ; Aufsatzsammlung ; Festschrift ; Aufsatzsammlung

DOI: 10.1007/BFb0032390

URL: Volltext

URL: Volltext (lizenzpflichtig)

URL: lizenzpflichtig

URL: Inhaltstext

Author information: Jones, Neil D. 1941-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

Stabi Berlin

UB Potsdam

EUV Frankfurt

HTW Berlin

TH Wildau

BTU Cottbus

Book

Computability and complexity : from a programming perspective (1997)

Jones, Neil D. 1941-

Cambridge, Mass. [u.a.] :MIT Pr.,

add to watchlist on the watchlist

Details

UID:

almahu_BV011394436

Format: XVI, 466 S. : graph. Darst.

ISBN: 0-262-10064-9

Series Statement: Foundations of computing

Language: English

Subjects: Computer Science

RVK:

ST 130

RVK:

ST 134

Keywords: Berechnungstheorie ; Komplexitätstheorie

URL: Inhaltstext

Author information: Jones, Neil D. 1941-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Stabi Berlin

HU Berlin

UB Potsdam

BTU Cottbus

TU Berlin

Online Resource

Semantics-directed compiler generation : proceedings of a workshop ; Aarhus, Denmark, January 14 - 18, 1980 (1980)

Jones, Neil D. [Sonstige] 1941- ; Workshop on Semantics Directed Compiler Generation 1980 Århus

Berlin [u.a.] : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV036033860

Format: 1 Online-Ressource (IV, 489 S.)

ISBN: 3540102507 , 0387102507

Series Statement: Lecture notes in computer science 94

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Compiler ; Compiler ; Semantik ; Programmiersprache ; Semantik ; Konferenzschrift

DOI: 10.1007/3-540-10250-7

URL: Volltext

Author information: Jones, Neil D. 1941-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

EUV Frankfurt

HTW Berlin

TH Wildau

BTU Cottbus

Online Resource

TEMPO : a unified treatment of binding time and parameter passing concepts in programming languages (1978)

Jones, Neil D. [Verfasser] 1941- ; Muchnick, Steven S. [Verfasser]

Berlin [u.a.] : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV036039484

Format: 1 Online-Ressource (IX, 118 S.) , graph. Darst.

ISBN: 3540090851 , 0387090851

Series Statement: Lecture notes in computer science 66

Language: English

Subjects: Computer Science , Economics

RVK:

QH 500

RVK:

SS 4800

Keywords: TEMPO ; Programmiersprache ; Theorie

DOI: 10.1007/3-540-09085-1

URL: Volltext

Author information: Jones, Neil D. 1941-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

EUV Frankfurt

HTW Berlin

TH Wildau

BTU Cottbus

Book

The essence of computation : complexity, analysis, transformation ; essays dedicated to Neil D. Jones (2003)

Mogensen, Torben Æ., 1960- ; Jones, Neil D., 1941-

Berlin u.a. :Springer,

add to watchlist on the watchlist

Details

UID:

almahu_BV015470610

Format: XIV, 471 S. : Ill.

ISBN: 3-540-00326-6

Series Statement: Lecture notes in computer science 2566

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Berechnungstheorie ; Programmierung ; Programmanalyse ; Programmtransformation ; Berechnungskomplexität ; Aufsatzsammlung ; Festschrift ; Aufsatzsammlung ; Festschrift

Author information: Jones, Neil D., 1941-

Author information: Mogensen, Torben Æ., 1960-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

HU Berlin

EUV Frankfurt

BTU Cottbus

Book

Verification, model checking, and abstract interpretation : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18 - 20, 2009 ; proceedings (2009)

Jones, Neil D., 1941- ; VMCAI 10 2009 Savannah, Ga.

Berlin [u.a.] :Springer,

add to watchlist on the watchlist

Details

UID:

almahu_BV035407069

Format: XI, 380 S. : , graph. Darst.

ISBN: 3-540-93899-0 , 978-3-540-93899-6

Series Statement: Lecture notes in computer science 5403

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Programmanalyse ; Programmverifikation ; Model Checking ; Abstrakte Interpretation ; Formale Methode ; Konferenzschrift ; Kongress ; Konferenzschrift ; Konferenzschrift

URL: Inhaltsverzeichnis

URL: http://d-nb.info/991655524/04

URL: Inhaltsverzeichnis

Author information: Jones, Neil D., 1941-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

HU Berlin

Berlin VÖBB/ZLB

TU Berlin

Book

Computability theory : an introduction (1973)

Jones, Neil D. 1941-

New York :Academic Pr.,

add to watchlist on the watchlist

Details

UID:

almafu_BV001978924

Format: XIV,154 S.

ISBN: 0-12-390050-6

Series Statement: ACM monograph series

Language: English

Subjects: Computer Science

RVK:

ST 130

RVK:

ST 150

Keywords: Computer ; Theorie ; Berechenbarkeit

Author information: Jones, Neil D. 1941-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Stabi Berlin

FU Berlin

TU Berlin

Book

Partial evaluation and mixed computation : proceedings of the IFIP TC2 Workshop on Partial Evaluation and Mixed Computation Gammel Avernaes, Denmark, 18 - 24 October, 1987 (1988)

Bjørner, Dines 1937- ; Eršov, Andrej P. 1931-1988 ; Jones, Neil D. 1941- ; [et al.]

Amsterdam :North-Holland,

add to watchlist on the watchlist

Details

UID:

almafu_BV002613541

Format: XXIX, 625 S. : , Ill.

ISBN: 0-444-70491-4

Language: English

Subjects: Computer Science

RVK:

SS 1987

Keywords: Programmierung ; Automatische Programmierung ; Compiler ; Software Engineering ; Konferenzschrift ; Konferenzschrift

Author information: Eršov, Andrej P. 1931-1988

Author information: Jones, Neil D. 1941-

Author information: Bjørner, Dines 1937-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

FU Berlin

TU Berlin

Book

Partial evaluation and automatic program generation / (1993)

Jones, Neil D. 1941- ; Gomard, Carsten K. ; Sestoft, Peter 1962-

New York u.a. :Prentice Hall,

add to watchlist on the watchlist

Details

UID:

almafu_BV008213162

Format: XII, 415 S. : graph. Darst.

Edition: 1. publ.

ISBN: 0-13-020249-5

Series Statement: Prentice Hall international series in computer science

Language: English

Subjects: Computer Science

RVK:

ST 230

Author information: Jones, Neil D. 1941-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

FU Berlin

TU Berlin

Book

The essence of computation : complexity, analysis, transformation ; essays dedicated to Neil D. Jones (2002)

Mogensen, Torben Æ. [Hrsg.] 1960- ; Jones, Neil D. [GefeierteR] 1941-

Berlin : Springer

add to watchlist on the watchlist

Details

UID:

gbv_357980301

Format: XIV, 471 S. , graph. Darst.

ISBN: 3540003266

Series Statement: Lecture notes in computer science 2566

Note: Includes bibliographical references and index

Additional Edition: Erscheint auch als Online-Ausgabe Mogensen, Torben Æ The Essence of Computation Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2002 ISBN 9783540363774

Additional Edition: ISBN 3540003266

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Berechnungstheorie ; Programmierung ; Programmanalyse ; Programmtransformation ; Berechnungskomplexität ; Berechnungskomplexität ; Programmanalyse ; Programmtransformation ; Aufsatzsammlung ; Festschrift ; Aufsatzsammlung ; Festschrift ; Aufsatzsammlung

URL: Inhaltsverzeichnis

URL: Kapitel 1

URL: Cover

URL: Inhaltstext

URL: http://www.loc.gov/catdir/enhancements/fy0829/2002042888-d.html

Author information: Jones, Neil D. 1941-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

UB Potsdam

Berlin VÖBB/ZLB

hits 1 - 10 | 35 hits

Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.

Kooperativer Bibliotheksverbund

Berlin Brandenburg