Compilers Computer Science

519 books
Logical Foundations of Computer ScienceSergei Artemov
⏱ 6h 47m

Logical Foundations of Computer Science

Sergei Artemov

2007407 pp.
Programming Language ConceptsPeter Sestoft
⏱ 5h 41m

Programming Language Concepts

Peter Sestoft

2012341 pp.
Software Language Engineering Lecture Notes in Computer ScienceBrian Malloy

Software Language Engineering Lecture Notes in Computer Science

Brian Malloy

2011No page data
Introduction to Assembly Language ProgrammingSivarama P. Dandamudi
⏱ 10h 44m

Introduction to Assembly Language Programming

Sivarama P. Dandamudi

1998644 pp.
Instruction Sequences for Computer ScienceJan A. Bergstra

Instruction Sequences for Computer Science

Jan A. Bergstra

2012No page data
Computer scienceE. K. Blum
⏱ 7h 48m

Computer science

E. K. Blum

2011468 pp.
Implementation and Application of Functional Languages Lecture Notes in Computer ScienceSven-Bodo Scholz

Implementation and Application of Functional Languages Lecture Notes in Computer Science

Sven-Bodo Scholz

2010No page data
Algebraic Foundations in Computer ScienceWerner Kuich
⏱ 6h 15m

Algebraic Foundations in Computer Science

Werner Kuich

2011375 pp.
Mathematical Foundations of Computer Science 1989Antoni Kreczmar
⏱ 10h 5m

Mathematical Foundations of Computer Science 1989

Antoni Kreczmar

1989605 pp.
An Integrated Approach to Software Engineering (Texts in Computer Science)Pankaj Jalote
⏱ 9h 26m

An Integrated Approach to Software Engineering (Texts in Computer Science)

Pankaj Jalote

2005566 pp.
Mathematical Foundations of Computer Science 2002Krzysztof Diks

Mathematical Foundations of Computer Science 2002

Krzysztof Diks

2002No page data
Compiler ConstructionF.L. Bauer
⏱ 10h 38m

Compiler Construction

F.L. Bauer

1977638 pp.
Formal Modeling Actors Open Systems Biological Systems Lecture Notes in Computer ScienceJose Meseguer

Formal Modeling Actors Open Systems Biological Systems Lecture Notes in Computer Science

Jose Meseguer

2011No page data
Languages and compilers for parallel computingWorkshop on Languages and Compilers for Parallel Computing (6th 1993 Portland, Or.)
⏱ 9h 19m

Languages and compilers for parallel computing

Workshop on Languages and Compilers for Parallel Computing (6th 1993 Portland, Or.)

1934559 pp.
Programming language implementation and logic programmingPLILP '90 (1990 Linköping, Sweden)
⏱ 6h 41m

Programming language implementation and logic programming

PLILP '90 (1990 Linköping, Sweden)

1990401 pp.
High Performance Embedded Architectures and Compilers Lecture Notes in Computer Science Theoretical Computer SciAndra(c) Seznec

High Performance Embedded Architectures and Compilers Lecture Notes in Computer Science Theoretical Computer Sci

Andra(c) Seznec

2009No page data
Transactions on HighPerformance Embedded Architectures and Compilers II Lecture Notes in Computer Science Journal SublinePer Stenstram

Transactions on HighPerformance Embedded Architectures and Compilers II Lecture Notes in Computer Science Journal Subline

Per Stenstram

2009No page data
Abstraction, refinement and proof for probabilistic systemsAnnabelle McIver
⏱ 6h 38m

Abstraction, refinement and proof for probabilistic systems

Annabelle McIver

2004398 pp.
Software Engineering 3Dines Bjorner
⏱ 12h 46m

Software Engineering 3

Dines Bjorner

2006766 pp.
Software Engineering 2Dines Bjorner
⏱ 13h 0m

Software Engineering 2

Dines Bjorner

2006780 pp.
Page 1 of 26Next →