Search results for “[subject: computers-coding-programming]”
Filters
- Cambridge University Press
- 17 Books Publishing
- 3dtech
- 12th Media Services
- A K Peters
- A K PETERS
- Abiprod Pty Ltd
- Ablex Publishing Corporation
- Abrams Image
- Abrazol Publishing
- Academic Press
- ACM
- ACM Books
- Acorn Books
- Acorn Classics
- ADA Protosmith
- ADavis Publishing
- Addison-Wesley Professional
- Adesh Silva
- Adventure Times Narratives
- Afnil
- Afriyie Publishing
- Agencia Brasileira Do ISBN
- AIAA (American Institute of Aeronautics & Ast
- Aiden Phillips
- ALA Editions
- Aladdin Paperbacks
- Alan Grid
- Alaric Hemingway
- Amazing Books
- Amazon Digital Services LLC - KDP Print US
- American Academy of Pediatrics
- American Book Group-Rama
- Amicus Ink
- Amicus Learning
- Amplitudo Ltd
- Andrews UK Limited
- Annabooks, LLC.
- Anson Street Press
- Anthea Peries
- Antony Mwau
- Anurag Pandey
- Any Book That Inspires a Division of Twelve:
- APress
- Apress
- Arcler Press
- Arcturus Editions
- Arizona Business Alliance
- Artech House Publishers
- Association for Computing Machinery
- Atlantic Monthly Press
- Atlantic Publishers & Distributors (P) Ltd
- Auerbach Publications
- Authorhouse
- Authorhouse UK
- Av2
- Baby Professor
- Barcharts, Inc
- Bartlett Publishing
- Basic Books
- Batsford
- Bellwether Media Inc.
- Bentham Science Publishers
- Bergeron-Woodley Company
- Bergeron-Woodley Company, LLC
- Biblebyte Books
- Bibliogov
- Biblioscholar
- Billding Software
- Binary World Productions SL
- Birkhauser
- Bitmap Books
- Blacknes Guy Books
- Blastoff! Readers
- Bloomsbury Publishing PLC
- Blurb
- Bob Mai
- Bob Mather
- Bod - Books on Demand
- Book Bound Studios
- Books on Demand
- Booksurge Publishing
- Bosko Books
- Boston Light Press
- Bounce Rank
- Bpb Publications
- BPB Publications
- Brightwalton
- Buch & Netz
- Butterworth-Heinemann
- C. Press/F. Watts Trade
- CABI
- Cadcamcae Works
- Cambridge UP
- Candlewick Press (MA)
- Cantata Learning
- CBS Publishers & Distributors Pvt. Ltd.
- CQ Press
- CRC Press
- CSLI Publications
- Cambridge University Press
- 17 Books Publishing
- 3dtech
- 12th Media Services
- A K Peters
- A K PETERS
- A K Peters/CRC Press
- Abiprod Pty Ltd
- Ablex Publishing Corporation
- Abrams Image
- Abrazol Publishing
- Acad Pr
- Academic Press
- ACM
- ACM Books
- Acorn Books
- Acorn Classics
- ADA Protosmith
- ADavis Publishing
- Addison-Wesley Professional
- AddisWesle
- Adesh Silva
- Adventure Times Narratives
- Afnil
- Afriyie Publishing
- Agencia Brasileira Do ISBN
- AIAA (American Institute of Aeronautics & Ast
- Aiden Phillips
- ALA Editions
- Aladdin Paperbacks
- Alan Grid
- Alaric Hemingway
- Amazing Books
- Amazon Digital Services LLC - KDP Print US
- American Academy of Pediatrics
- American Book Group-Rama
- Amicus Ink
- Amicus Learning
- Amplitudo Ltd
- Andrews UK Limited
- Annabooks, LLC.
- Anson Street Press
- Anthea Peries
- Antony Mwau
- Anurag Pandey
- Any Book That Inspires a Division of Twelve:
- Apple Academic Press
- APress
- Apress
- Arcler Press
- Arcturus Editions
- Arizona Business Alliance
- Artech House Publishers
- Association for Computing Machinery
- Atlantic
- Atlantic Monthly Press
- Atlantis Press
- Auerbach P
- Auerbach Publications
- Authorhouse
- Authorhouse UK
- Av2
- Baby Professor
- Barcharts, Inc
- Bartlett Publishing
- Basic Books
- Batsford
- Bedford
- Bellwether Media Inc.
- Bentham Science Publishers
- Bergeron-Woodley Company
- Bergeron-Woodley Company, LLC
- Biblebyte Books
- Bibliogov
- Biblioscholar
- Billding Software
- Binary World Productions SL
- Birkhauser
- Bitmap Books
- Blacknes Guy Books
- Blastoff! Readers
- Bloomsbury Publishing PLC
- Blurb
- Bob Mai
- Bob Mather
- Bod - Books on Demand
- Book Bound Studios
- Books on Demand
- Booksurge Publishing
- Bosko Books
- Boston Light Press
- Bounce Rank
- Bpb Publications
- BPB Publications
- Brightwalton
- Buch & Netz
- But-Hein
- Butterworth-Heinemann
- C. Press/F. Watts Trade
- CABI
- Bio-Science and Agriculture
- Business Management
- Chemistry
- Computer Science and Information Technology
- Earth-Science/Environment
- Education & Psychology
- Engineering
- English Literature
- Fashion & Textile
- General Books
- Graphic Design & Animation
- Library & Information Science
- Mathematics and Statistics
- Medical, Nursing and Health Sciences
- Nutrition and Dietetics
- Physics and Astronomy
- Religion and Philosophy
- Sociology and Anthropology
- Tourism, Travel Guide & Hospitality
- Adam Dodson
- Adam Slowik
- Adesh Silva
- Alan Grid
- Alex Gezerlis
- Alexander Cane
- Anthony J. Dos Reis
- Aristides Bouras
- Axton Nexus
- Ben Stephenson
- Beth Thompson
- Biblebyte Books
- Bill Martens
- Bob Mather
- Booker Blunt
- Brian Thomas
- Caroline Karanja
- Cay Horstmann
- Charlie Masterson
- Christian Morrison
- Claus Richter
- Clive Gifford
- Computer Programming Academy
- Cyberpunk Architects
- D. James Benton
- Damon Parker
- Dan Gookin
- Daniel Bell
- David H. Ahl
- David Kopec
- David Matuszek
- Devon Coder
- Diana Schmidt
- Dines Bjørner
- DK
- Donald Alcock
- Donald Knuth
- Echo Elise Gonzalez
- Eddison, Leonard
- Einar Smith
- Ekkehard Kaier
- Elian Greystone
- Elizabeth Noll
- Felicia Toliver
- Gagniuc
- Georg P. Loczewski
- George S. Tselikis
- Gerard O'Regan
- Gerhard Goos
- Gerhard Oetzmann
- Gerhard Paulin
- Goldink Books
- Gunter Schmitt
- Günther Lamprecht
- Herbert Schildt
- Huazhong Liu
- James Tudor
- Jamie Flux
- Jill Sherman
- Juergen Pintaske
- Kameron Hussain
- Kenwright
- Kirsty Holmes
- Leen Ammeraal
- Lynn Smith
- M. Rafiquzzaman
- Mark Greenshields
- Matthew D. Passmore
- Max Wainewright
- Maxwell Vector
- Michael A. Champagne
- Michael McMillan
- Mikael Olsson
- Mike McGrath
- Niklaus Wirth
- Oswald Campesato
- Oxford University Press
- Peter O'Hearn
- Phil Bagge
- Reema Thareja
- Reinhard Wilhelm
- Rhys Gallagher
- Rinesh S. Prajitha C.
- Robert C. Matthews
- Robert Sedgewick
- Roman Wyrzykowski
- Shari Eskenas
- Smith
- Sqlpy Wizard
- Stewart
- Theophilus Edet
- Thompson Carter
- Tim Warren
- Tim Wired
- Tony Gaddis
- Tracy Gardner
- Veljko Milutinovic
- Wei Lu
- Wolfgang Engel
- Yang Hu
Products
Basic Simple Type Theory
J. Roger Hindley
Paperback
• Author(s): J. Roger Hindley • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: Programming - GeneralType theory is one of the most important tools in the design of higher-level programming languages...
View full detailsBasic Simple Type Theory
J. Roger Hindley, Roger J. Hindley, C. J. Van Rijsbergen
Hardcover
• Author(s): J. Roger Hindley | Roger J. Hindley | C. J. Van Rijsbergen • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: Programming - GeneralType theory is one of the most important tools in the de...
View full detailsLambda-Calculus and Combinators: An Introduction
J. Roger Hindley, Jonathan P. Seldin
Hardcover
• Author(s): J. Roger Hindley | Jonathan P. Seldin • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: LogicCombinatory logic and lambda-calculus, originally devised in the 1920's, have since developed...
View full details