X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Book
    Book
    The essence of computation : complexity, analysis, transformation ; essays dedicated to Neil D. Jones (2003)
    Berlin u.a. :Springer,
    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-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    HU Berlin get availability status
    EUV Frankfurt get availability status
    BTU Cottbus get availability status
  • 2
    Online Resource
    Online Resource
    The Essence of Computation : Complexity, Analysis, Transformation (2002)
    Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg
    Details
    UID:
    gbv_1649189346
    Format: Online-Ressource
    ISBN: 9783540363774 , 3540003266
    Series Statement: Lecture Notes in Computer Science 2566
    Content: By presenting state-of-the-art aspects of the theory of computation, this book commemorates the 60th birthday of Neil D. Jones, whose scientific career parallels the evolution of computation theory itself. The 20 reviewed research papers presented together with a brief survey of the work of Neil D. Jones were written by scientists who have worked with him, in the roles of student, colleague, and, in one case, mentor. In accordance with the Festschrift's subtitle, the papers are organized in parts on computational complexity, program analysis, and program transformation
    Note: Includes bibliographical references and index
    Additional Edition: ISBN 9783540003267
    Additional Edition: Buchausg. u.d.T. The essence of computation Berlin : Springer, 2002 ISBN 3540003266
    Language: English
    Subjects: Computer Science
    RVK:
    SS 4800
    Keywords: Berechnungstheorie ; Programmierung ; Programmanalyse ; Programmtransformation ; Berechnungskomplexität ; Berechnungskomplexität ; Programmanalyse ; Programmtransformation ; Aufsatzsammlung
    DOI: 10.1007/3-540-36377-7
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    URL: Inhaltsverzeichnis
    URL: Kapitel 1
    URL: Inhaltstext
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
    UB Potsdam
  • 3
    Book
    Book
    The essence of computation : complexity, analysis, transformation ; essays dedicated to Neil D. Jones (2002)
    Berlin : Springer
    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
    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-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    UB Potsdam get availability status
  • 4
    Online Resource
    Online Resource
    The Essence of Computation : Complexity, Analysis, Transformation (2002)
    Berlin, Heidelberg :Springer Berlin Heidelberg,
    Details
    UID:
    almahu_9947920543102882
    Format: XIV, 478 p. , online resource.
    ISBN: 9783540363774
    Series Statement: Lecture Notes in Computer Science, 2566
    Content: By presenting state-of-the-art aspects of the theory of computation, this book commemorates the 60th birthday of Neil D. Jones, whose scientific career parallels the evolution of computation theory itself. The 20 reviewed research papers presented together with a brief survey of the work of Neil D. Jones were written by scientists who have worked with him, in the roles of student, colleague, and, in one case, mentor. In accordance with the Festschrift's subtitle, the papers are organized in parts on computational complexity, program analysis, and program transformation.
    Note: Computational Complexity -- General Size-Change Termination and Lexicographic Descent -- Comparing Star and Pancake Networks -- Synchronization of Finite Automata: Contributions to an Old Problem -- Lambda Calculi and Linear Speedups -- Program Analysis -- Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software -- Meta-circular Abstract Interpretation in Prolog -- Flow Analysis: Games and Nets -- On Extracting Static Semantics -- Foundations of the Bandera Abstraction Tools -- Types in Program Analysis -- Flow Logic: A Multi-paradigmatic Approach to Static Analysis -- Structure-Preserving Binary Relations for Program Abstraction -- Program Transformation -- Principles of Inverse Computation and the Universal Resolving Algorithm -- A Symmetric Approach to Compilation and Decompilation -- The Abstraction and Instantiation of String-Matching Programs -- WSDFU: Program Transformation System Based on Generalized Partial Computation -- Homeomorphic Embedding for Online Termination of Symbolic Methods -- Simple Driving Techniques -- Demonstrating Lambda Calculus Reduction -- From Type Inference to Configuration.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9783540003267
    Language: English
    DOI: 10.1007/3-540-36377-7
    URL: http://dx.doi.org/10.1007/3-540-36377-7
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    HU Berlin
  • 5
    Online Resource
    Online Resource
    The Essence of Computation : Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones (2002)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    almahu_9948621438702882
    Format: XIV, 478 p. , online resource.
    Edition: 1st ed. 2002.
    ISBN: 9783540363774
    Series Statement: Lecture Notes in Computer Science, 2566
    Content: By presenting state-of-the-art aspects of the theory of computation, this book commemorates the 60th birthday of Neil D. Jones, whose scientific career parallels the evolution of computation theory itself. The 20 reviewed research papers presented together with a brief survey of the work of Neil D. Jones were written by scientists who have worked with him, in the roles of student, colleague, and, in one case, mentor. In accordance with the Festschrift's subtitle, the papers are organized in parts on computational complexity, program analysis, and program transformation.
    Note: Computational Complexity -- General Size-Change Termination and Lexicographic Descent -- Comparing Star and Pancake Networks -- Synchronization of Finite Automata: Contributions to an Old Problem -- Lambda Calculi and Linear Speedups -- Program Analysis -- Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software -- Meta-circular Abstract Interpretation in Prolog -- Flow Analysis: Games and Nets -- On Extracting Static Semantics -- Foundations of the Bandera Abstraction Tools -- Types in Program Analysis -- Flow Logic: A Multi-paradigmatic Approach to Static Analysis -- Structure-Preserving Binary Relations for Program Abstraction -- Program Transformation -- Principles of Inverse Computation and the Universal Resolving Algorithm -- A Symmetric Approach to Compilation and Decompilation -- The Abstraction and Instantiation of String-Matching Programs -- WSDFU: Program Transformation System Based on Generalized Partial Computation -- Homeomorphic Embedding for Online Termination of Symbolic Methods -- Simple Driving Techniques -- Demonstrating Lambda Calculus Reduction -- From Type Inference to Configuration.
    In: Springer Nature eBook
    Additional Edition: Printed edition: ISBN 9783662177518
    Additional Edition: Printed edition: ISBN 9783540003267
    Language: English
    DOI: 10.1007/3-540-36377-7
    URL: https://doi.org/10.1007/3-540-36377-7
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    HU Berlin
Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.
Did you mean 3540002626?
Did you mean 3540002367?
Did you mean 3540000267?
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages