Concepts, techniques, and models of computer programming

Main
Computers - Other
Concepts, techniques, and models of...

Concepts, techniques, and models of computer programming

by Peter Van Roy, Seif Haridi.

5.0 / 5.0

دا کتاب تاسو ته څنګه خواښه شوه؟

د بار شوي فایل کیفیت څه دئ؟

تر څو چې د کتاب کیفیت آزمایښو وکړئ، بار ئې کړئ

د بار شوو فایلونو کیفیتی څه دئ؟

درجه (قاطیغوری(:

Computers - Other

کال:

2004

خپرندویه اداره:

MIT Press

ژبه:

english

صفحه:

931

ISBN 10:

0262257165

ISBN 13:

9780262257169

فایل:

PDF, 9.89 MB

IPFS:

,

english, 2004

په آن لاین ډول لوستل

کاپی کول (pdf, 9.89 MB)

ته بدلون په کار دي

ته بدلون ناکام شو

ممکن تاسی علاقمند شی

Harold Abelson and Gerald Jay Sussman with Julie Sussman adapted by Martin Henz and Tobias Wrigstad — Structure and Interpretation of Computer Programs (JavaScript Adaptation)

Jiming Sun, Marc Jones, Stefan Reinauer, Vincent Zimmer — Embedded Firmware Solutions. Development Best Practices for the Internet of Things

Luxolo Kuhlane — An Overview of Ethereum Layer 2 Scaling Solutions

Texas Instruments — Ti-83 Graphing Calculator Guidebook

Unknown — JavaScript设计模式

Henry S. Warren — Hacker's Delight

Peter Van Roy — Concepts, Techniques, and Models of Computer Programming

Benjamin C. Pierce & Benjamin C. (professor Pierce, University Of Pennsylvania) — Types and Programming Languages

Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi — How to Design Programs: An Introduction to Programming and Computing

Dona M. Wong — The Wall Street Journal Guide to Information Graphics

Chris Ziegler — Palm Pre For Dummies

Robert Nystrom — Crafting Interpreters

Gustavo A. A. Santana — VMware NSX® Network Virtualization Fundamentals

Max Pumperla, Edward Oakes, Richard Liaw — Learning Ray (Fifth Early Release)

Peter P. Rohde — The Quantum Internet: The Second Quantum Revolution

Sam Gliksman — iPad in Education For Dummies

Bill Hughes — Samsung Galaxy S5 For Dummies

Dan Gookin — Android Tablets For Dummies

Eric Butow — Samsung Gear S2 For Dummies

Dan Gookin — Android Tablets For Dummies

John Whitington — PDF Explained: The ISO Standard for Document Exchange

Preston Gralla — Droid X: The Missing Manual

Ben Shneiderman — Twin-Win research : breakthrough theories and validated solutions for societal benefit

R. Anandan — Frontiers in Quantum Computing: New Research

Shane Gliser — Creating Mobile Apps with jQuery Mobile

Michael Heydt — Python Web Scraping Cookbook: Over 90 proven recipes to get you scraping with Python, micro services, Docker and AWS

Kabacoff, Robert — R in Action: Data Analysis and Graphics with R

Mariano Gómez Luque; Aristide Gómez Luque — 12 Arquitectos contemporáneos

Amal Ahmed — Programming Languages and Systems

Luís Caires — Programming Languages and Systems

Paul Hudak — Conception, Evolution and Application of Functional Programming Languages

Varela C.A. — Programming distributed computing systems: a foundational approach

Peter Van-Roy & Seif Haridi & Seif (chief Scientist Haridi, Swedish Inst Of Computer Science) — Concepts, Techniques, and Models of Computer Programming

Yves Bertot, Gérard Huet, Jean-Jacques Lévy, Gordon Plotkin — From Semantics to Computer Science: Essays in Honour of Gilles Kahn

Mattson, Timothy G.; Rasmussen, Craig E.; Sottile, Matthew J — Introduction to Concurrency in Programming Languages

Matthew J. Sottile, Timothy G. Mattson, Craig E Rasmussen — Introduction to Concurrency in Programming Languages

Dr Maribel Fernández (auth.) — Models of computation: An introduction to computability theory

Luís Caires — Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Anthony Widjaja Lin — Programming Languages and Systems: 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings

Peter Müller — Programming Languages and Systems

Fritz Henglein (editor), Sharon Shoham (editor), Yakir Vizel (editor) — Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, ... (Lecture Notes in Computer Science, 12597)

Ralf Hinze, Janis Voigtländer (eds.) — Mathematics of Program Construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings

مهمي جملي