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 Harris
- Adesh Silva
- Alan Grid
- Alexander Cane
- Amara Hawthorn
- Anshuman Mishra
- Anthony J. Dos Reis
- Aristides Bouras
- Biblebyte Books
- Bill Martens
- Bob Mather
- Booker Blunt
- Caroline Karanja
- Cay Horstmann
- Charles Lins
- Charlie Masterson
- Chris Roffey
- Clive Gifford
- Computer Programming Academy
- Cyberpunk Architects
- D. James Benton
- Damon Parker
- Dan Gookin
- Dan Zhang
- Daniel Bell
- David Kopec
- Devon Coder
- Dines Bjørner
- DK
- Echo Elise Gonzalez
- Eddison, Leonard
- Edward R. DeForest
- Ekkehard Kaier
- Elian Greystone
- Elizabeth Noll
- Felicia Toliver
- Flávia Gonçalves Fernandes
- Francis Gurtowski
- Fritz Rudolf Güntsch
- Gagniuc
- Gerard O'Regan
- Gerhard Oetzmann
- Goldink Books
- Haja N. Kadarmideen
- Herbert Schildt
- Huazhong Liu
- Isaac D. Cody
- J. Roger Hindley
- James M. Ortega
- James Tudor
- Jill Sherman
- Joe Suzuki
- Juergen Pintaske
- Julio Sanchez
- Kameron Hussain
- Kenwright
- Kevin Cooper
- Kiki Prottsman
- Kirsty Holmes
- Krzysztof R. Apt
- Logan Pratt
- Lucien Sina
- Lynn Smith
- Marco T. Morazán
- Mark B. Bennet
- Mark Greenshields
- Mark J. Price
- Mark Reed
- Max Wainewright
- Maxime Crochemore
- Maxwell Vector
- Michael A. Champagne
- Michael McGuire
- Michael Metcalf
- Mikael Olsson
- Mike McGrath
- Murali Chemuturi
- National Learning Corporation
- Nicola Bellini
- Niklaus Wirth
- Oswald Campesato
- Oxford University Press
- Panos M. Pardalos
- Phil Bagge
- R. C. Weston
- Rainer Leupers
- Reema Thareja
- Reinhard Wilhelm
- Rinesh S. Prajitha C.
- Robert C. Matthews
- Smith
- Sqlpy Wizard
- Stewart
- Thompson Carter
- Tim Roughgarden
- Timothy Amadi
- Tony Gaddis
- Tracy Gardner
- Wolfgang Engel
- Yang Hu
Products
Semantics and Logics of Computation
Andrew M. Pitts, P. Dybjer, Peter Dybjer
Paperback
Current price
₹5,704
Original price
₹6,845
Original price
₹6,845
Original price
₹6,845
(-17%)
₹5,704
Current price
₹5,704
| /
• Author(s): Andrew M. Pitts | P. Dybjer | Peter Dybjer • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: Programming Languages - GeneralThis accessible and comprehensive volume addresses modern deve...
View full details
Nominal Sets
Andrew M. Pitts
Hardcover
Current price
₹7,605
Original price
₹7,644
Original price
₹7,644
Original price
₹7,644
(-1%)
₹7,605
Current price
₹7,605
| /
• Author(s): Andrew M. Pitts • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: Languages - GeneralNominal sets provide a promising new mathematical analysis of names in formal languages based upon sy...
View full details
