COMPUTERS / Programming / General
Showing results 1-10 of 28
Filter Results OPEN +
Certified Programming with Dependent Types
Certified Programming with Dependent Types
A Pragmatic Introduction to the Coq Proof Assistant
ISBN: 9780262545747
A handbook to the Coq software for writing and checking mathematical proofs, with a practical engineering focus.
The Elements of Computing Systems, second edition
The Elements of Computing Systems
Building a Modern Computer from First Principles
ISBN: 9780262539807
A new and extensively revised edition of a popular textbook used in universities, coding boot camps, hacker clubs, and online courses.
Exploratory Programming for the Arts and Humanities, second edition
Exploratory Programming for the Arts and Humanities
ISBN: 9780262044608
A new edition of a book for anyone who wants to learn programming to explore and create, with exercises and projects to help readers learn by doing.
Software Design for Flexibility
Software Design for Flexibility
How to Avoid Programming Yourself into a Corner
ISBN: 9780262045490
Strategies for building systems that can be adapted for new situations with only minor programming modifications.
Critical Code Studies
ISBN: 9780262043656
An argument that we must read code for more than what it does—we must consider what it means.
The Little Typer
ISBN: 9780262536431
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.
How to Design Programs, second edition
How to Design Programs
An Introduction to Programming and Computing
ISBN: 9780262534802
A completely revised edition, offering new design recipes for interactive programs and support for images as plain values, testing, event-driven programming, and even distributed programming.
Elements of Causal Inference
Foundations and Learning Algorithms
ISBN: 9780262037310
A concise and self-contained introduction to causal inference, increasingly important in data science and machine learning.
Programming for the Puzzled
Learn to Program While Solving Puzzles
ISBN: 9780262534307
Learning programming with one of “the coolest applications around”: algorithmic puzzles ranging from scheduling selfie time to verifying the six degrees of separation hypothesis.
Coding Literacy
How Computer Programming Is Changing Writing
ISBN: 9780262036245
How the theoretical tools of literacy help us understand programming in its historical, social and conceptual contexts.
Certified Programming with Dependent Types
Certified Programming with Dependent Types
A Pragmatic Introduction to the Coq Proof Assistant
ISBN: 9780262545747
A handbook to the Coq software for writing and checking mathematical proofs, with a practical engineering focus.
The Elements of Computing Systems, second edition
The Elements of Computing Systems
Building a Modern Computer from First Principles
ISBN: 9780262539807
A new and extensively revised edition of a popular textbook used in universities, coding boot camps, hacker clubs, and online courses.
Exploratory Programming for the Arts and Humanities, second edition
Exploratory Programming for the Arts and Humanities
ISBN: 9780262044608
A new edition of a book for anyone who wants to learn programming to explore and create, with exercises and projects to help readers learn by doing.
Software Design for Flexibility
Software Design for Flexibility
How to Avoid Programming Yourself into a Corner
ISBN: 9780262045490
Strategies for building systems that can be adapted for new situations with only minor programming modifications.
Critical Code Studies
ISBN: 9780262043656
An argument that we must read code for more than what it does—we must consider what it means.
The Little Typer
ISBN: 9780262536431
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.
How to Design Programs, second edition
How to Design Programs
An Introduction to Programming and Computing
ISBN: 9780262534802
A completely revised edition, offering new design recipes for interactive programs and support for images as plain values, testing, event-driven programming, and even distributed programming.
Elements of Causal Inference
Foundations and Learning Algorithms
ISBN: 9780262037310
A concise and self-contained introduction to causal inference, increasingly important in data science and machine learning.
Programming for the Puzzled
Learn to Program While Solving Puzzles
ISBN: 9780262534307
Learning programming with one of “the coolest applications around”: algorithmic puzzles ranging from scheduling selfie time to verifying the six degrees of separation hypothesis.
Coding Literacy
How Computer Programming Is Changing Writing
ISBN: 9780262036245
How the theoretical tools of literacy help us understand programming in its historical, social and conceptual contexts.