KOBV Portal

Hits per page

hits 1 - 10 | 50 hits

Sorting

Online Resource

An Optimized Translation Process and Its Application to ALGOL 68 (1976)

Branquart, Paul. ; Cardinael, Jean-Pierre. ; Lewi, Johan. ; [et al.]

Berlin, Heidelberg :Springer Berlin Heidelberg,

add to watchlist on the watchlist

Details

UID:

almahu_9947920879302882

Format: XII, 336 p. , online resource.

ISBN: 9783540380832

Series Statement: Lecture Notes in Computer Science, 38

Note: 1. Recall of storage allocation principles -- 2. Study of the static properties of values -- 3. Study of the prevision mechanism -- 1. Lexicographical blocks -- 2. Mode identifiers -- 3. Generators -- 4. Label identifiers -- 5. Non-standard routines with parameters -- 6. Non-standard routines without parameters -- 7. Procedured jumps -- 8. Bounds of mode declarations -- 9. Dynamic replications in formats -- 10. Other terminal constructions -- 11. Kernel invariant constructions -- 12. Confrontations -- 13. Call of standard routines -- 14. Choice constructions -- 15. Collateral clauses -- 16. Miscellaneous -- 17. Other ICIS -- 1. Accesses and machine addresses -- 2. Method of code generation -- 3. Local optimizations -- 4. The loader -- 5. Translation of intermediate code modules -- 6. Further remarks of garbage collection.

In: Springer eBooks

Additional Edition: Printed edition: ISBN 9783540075455

Language: English

Subjects: Computer Science , Economics

RVK:

QH 500

RVK:

SS 4800

DOI: 10.1007/3-540-07545-3

URL: http://dx.doi.org/10.1007/3-540-07545-3

URL: Volltext

URL: Volltext (lizenzpflichtig)

URL: lizenzpflichtig

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

Stabi Berlin

HU Berlin

UB Potsdam

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. ; Muchnick, Steven S. ; SpringerLink 〈Online service〉

Berlin, Heidelberg :Springer Berlin Heidelberg,

add to watchlist on the watchlist

Details

UID:

almahu_9947920855302882

Format: XII, 120 p. , online resource.

ISBN: 9783540356356

Series Statement: Lecture Notes in Computer Science, 66

Note: Examples from TEMPO and some current programming languanges -- Syntax of TEMPO -- Semantics of TEMPO -- Implementation techniques for TEMPO -- Machine efficiency & programmer convenience -- Improvements to increase machine efficiency -- Parameter passing and reference variables -- Binding times in some current programming languages -- Conlusions.

In: Springer eBooks

Additional Edition: Printed edition: ISBN 9783540090854

Language: English

Subjects: Computer Science , Economics

RVK:

QH 500

RVK:

SS 4800

DOI: 10.1007/3-540-09085-1

URL: http://dx.doi.org/10.1007/3-540-09085-1

URL: Volltext

URL: Volltext (lizenzpflichtig)

URL: lizenzpflichtig

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

Stabi Berlin

HU Berlin

UB Potsdam

EUV Frankfurt

HTW Berlin

TH Wildau

BTU Cottbus

Online Resource

Natural Language Communication with Computers (1978)

Bolc, Leonard. [editor.] ; SpringerLink 〈Online service〉

Berlin, Heidelberg :Springer Berlin Heidelberg,

add to watchlist on the watchlist

Details

UID:

almahu_9947920877102882

Format: VII, 292 p. , online resource.

ISBN: 9783540357650

Series Statement: Lecture Notes in Computer Science, 63

Note: A formalism for the description of question answering systems -- Access to data base systems via natural language -- An overview of plidis a problem solving information system with German as query language -- Metamorphosis grammars -- The theory and practice of augmented transition network grammars -- Syntactic analysis of written Polish.

In: Springer eBooks

Additional Edition: Printed edition: ISBN 9783540089117

Language: English

Subjects: Computer Science , Comparative Studies. Non-European Languages/Literatures

RVK:

ES 950

RVK:

SS 4800

Keywords: Aufsatzsammlung

DOI: 10.1007/BFb0031367

URL: http://dx.doi.org/10.1007/BFb0031367

URL: Volltext

URL: Volltext (lizenzpflichtig)

URL: lizenzpflichtig

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

Stabi Berlin

HU Berlin

UB Potsdam

EUV Frankfurt

HTW Berlin

TH Wildau

BTU Cottbus

Online Resource

The Vienna Development Method: The Meta-Language (1978)

Bjørner, Dines. [editor.] ; Jones, Cliff B. [editor.] ; SpringerLink 〈Online service〉

Berlin, Heidelberg :Springer Berlin Heidelberg,

add to watchlist on the watchlist

Details

UID:

almahu_9947920996902882

Format: XX, 384 p. , online resource.

ISBN: 9783540358367

Series Statement: Lecture Notes in Computer Science, 61

Note: On the formalization of programming languages: Early history and main approaches -- Programming in the meta-language: A tutorial -- The meta-language: A reference manual -- Denotational semantics of goto: An exit formulation and its relation to continuations -- A formal definition of ALGOL 60 as described in the 1975 modified report -- Software abstraction principles: Tutorial examples of an operating system command language specification and a PL/I-like on-condition language definition -- References & bibliography.

In: Springer eBooks

Additional Edition: Printed edition: ISBN 9783540087663

Language: English

Subjects: Computer Science , Economics

RVK:

QH 500

RVK:

SS 4800

Keywords: Aufsatzsammlung

DOI: 10.1007/3-540-08766-4

URL: http://dx.doi.org/10.1007/3-540-08766-4

URL: Volltext

URL: Volltext (lizenzpflichtig)

URL: lizenzpflichtig

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

Stabi Berlin

HU Berlin

UB Potsdam

EUV Frankfurt

HTW Berlin

TH Wildau

BTU Cottbus

Online Resource

Analysis of drum and disk storage units (1975)

Fuller, Samuel H. [Verfasser]

Berlin [u.a.] : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV036050229

Format: 1 Online-Ressource (IX, 283 S.)

ISBN: 3540071865 , 0387071865

Series Statement: Lecture notes in computer science 31

Language: English

Subjects: Computer Science , Economics

RVK:

QH 500

RVK:

SS 4800

Keywords: Speicher ; Magnettrommelspeicher ; Magnetplattenspeicher ; Speicher ; Magnetplattenspeicher

DOI: 10.1007/3-540-07186-5

URL: Volltext

URL: Volltext (lizenzpflichtig)

URL: lizenzpflichtig

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

Online Resource

Data base systems : proceedings, 5th Informatik Symposium, IBM Germany, Bad Homburg v.d.H., September 24 - 26, 1975 (1976)

Hasselmeier, Helmut [Sonstige] ; Informatik-Symposium 5 1975 Bad Homburg v. d. Höhe

Berlin [u.a.] : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV036039568

Format: 1 Online-Ressource (VI, 386 S.) , graph. Darst.

ISBN: 3540076123 , 0387076123

Series Statement: Lecture notes in computer science 39

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Datenbanksystem ; Datenbank ; Konferenzschrift ; Konferenzschrift

DOI: 10.1007/3-540-07612-3

URL: Volltext

URL: Volltext (lizenzpflichtig)

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

Online Resource

Symbolic and algebraic computation : EUROSAM '79, an international symposium on symbolic and algebraic manipulation ; Marseille, France, june 1979 (1979)

Ng, Edward W. [Sonstige] ; EUROSAM 2 1979 Marseille

Berlin [u.a.] : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV036034036

Format: 1 Online-Ressource (XIV, 557 S.)

ISBN: 3540095195 , 0387095195

Series Statement: Lecture notes in computer science 72

Language: English

Subjects: Computer Science , Economics

RVK:

QH 500

RVK:

SS 4800

Keywords: Algebraischer Kalkül ; Datenverarbeitung ; Symbolischer Kalkül ; Datenverarbeitung ; Computeralgebra ; Algorithmus ; Konferenzschrift ; Konferenzschrift

DOI: 10.1007/3-540-09519-5

URL: Volltext

URL: Volltext (lizenzpflichtig)

URL: lizenzpflichtig

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

Online Resource

Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference ; Poznań-Kórnik, Poland, September 19 - 23, 1977 (1977)

Karpiński, Marek [Sonstige] 1948- ; International FCT Conference 1 1977 Poznań; Kórnik

Berlin [u.a.] : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV036039511

Format: 1 Online-Ressource (XI, 542 S.)

ISBN: 3540084428 , 0387084428

Series Statement: Lecture notes in computer science 56

Language: English

Subjects: Computer Science , Economics

RVK:

QH 730

RVK:

SS 4800

RVK:

ST 130

Keywords: Berechenbarkeit ; Automatentheorie ; Logik ; Konferenzschrift ; Konferenzschrift

DOI: 10.1007/3-540-08442-8

URL: Volltext

URL: Volltext (lizenzpflichtig)

URL: lizenzpflichtig

Author information: Karpiński, Marek 1948-

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

Online Resource

Graph-grammars and their application to computer science and biology : international workshop ; Bad Honnef, October 30 - November 3, 1978 (1979)

Claus, Volker [Sonstige] 1944-

Berlin [u.a.] : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV036034033

Format: 1 Online-Ressource (VII, 477 S.) , graph. Darst.

ISBN: 354009525X , 038709525X

Series Statement: Lecture notes in computer science 73

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Graph ; Formale Sprache ; Konferenzschrift ; Konferenzschrift

DOI: 10.1007/BFb0025713

URL: Volltext

URL: Volltext (lizenzpflichtig)

URL: lizenzpflichtig

Author information: Claus, Volker 1944-

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

Online Resource

A concurrent Pascal compiler for minicomputers (1977)

Hartmann, Alfred C. [Verfasser]

Berlin [u.a.] : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV036039529

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

ISBN: 3540082409 , 0387082409

Series Statement: Lecture notes in computer science 50

Language: English

Subjects: Computer Science

RVK:

SS 4800

RVK:

ST 265

Keywords: PASCAL ; Compiler ; Minicomputer ; PASCAL ; Compiler ; Hochschulschrift

DOI: 10.1007/3-540-08240-9

URL: Volltext

URL: Volltext (lizenzpflichtig)

URL: lizenzpflichtig

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

hits 1 - 10 | 50 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