Search results for “[Subject: programming-microsoft]”
Filters
- ACM Books
- Wiley
- 8080 Books
- 17 Books Publishing
- 3dtech
- 64 Ink
- 50minutes.com (Pl)
- 1st Book Library
- 12th Media Services
- 978-1-7753126-1-1
- 978-1-7773545-1-0
- 978-83-966847-2-1
- A1 Entities, Inc.
- A K Peters
- A K PETERS
- Aaip
- Abbott Properties
- Abdelfattah Ragab
- Ability First Limited
- Abiprod Pty Ltd
- Ablex Publishing Corporation
- Academic
- Academic Press
- ACM
- Acorn Books
- ADA Protosmith
- Adactin Group Pty Ltd
- ADavis Publishing
- Addison-Wesley Professional
- Adesh Silva
- Adobe Developer Library
- Adopt & Embrace Pty Ltd
- Adventure Times Narratives
- AEI Press
- Aiden Phillips
- ALA Editions
- Alan Grid
- Alaric Hemingway
- Alexander Kenan
- Alfonso Floyd
- Ali Cehreli
- Amazon Digital Services LLC - Kdp
- Ambrosius Publishing
- American Academic Publisher
- American Book Group - Ra-Ma
- American Book Group-Rama
- American Library Association
- Amicus Ink
- Amicus Learning
- Anatiposi Verlag
- Anchor Academic Publishing
- Andrews UK Limited
- Andrzej Wojtowicz
- Annabooks, LLC.
- Anson Street Press
- Anurag Anurag
- Anurag Pandey
- Appacore, LLC
- Apress
- Archer Paul
- Arcler Press
- Arcturus Editions
- Aries Publishing
- Arkose Press
- Artech House Publishers
- Artima Inc
- Arvind Kumar
- Ascent, Center for Technical Knowledge
- Asian Culture Press
- Association for Computing Machinery
- Atlantic Monthly Press
- Atlantic Publishers & Distributors (P) Ltd
- Auris
- Austin Macauley
- Author Jet Press
- Authorhouse
- Authorhouse UK
- Authors Choice Press
- Automation Consulting, LLC
- Av2
- Azurecurve Publishing
- Bachelor + Master Publishing
- Backupbrain
- Bagatelle Publications
- Balboa Press
- Barcharts, Inc
- Bartlett Publishing
- Basic Books
- Baso
- BCS, the Chartered Institute for It
- Bedford Books
- Beelectronic
- Belleyre Books
- Bellwether Media Inc.
- Ben Watson
- Bentham Science Publishers
- Bergeron-Woodley Company
- Bergeron-Woodley Company, LLC
- Bert Daniels
- BPB Publications
- ACM Books
- Wiley
- 8080 Books
- 17 Books Publishing
- 3dtech
- 64 Ink
- 50minutes.com (Pl)
- 1st Book Library
- 12th Media Services
- 978-1-7753126-1-1
- 978-1-7773545-1-0
- 978-83-966847-2-1
- A1 Entities, Inc.
- A K PETERS
- A K Peters/CRC Press
- Aaip
- Abbott Properties
- Abdelfattah Ragab
- Ability First Limited
- Abiprod Pty Ltd
- Ablex Publishing Corporation
- Academic
- Academic Press
- ACM
- Acorn Books
- ADA Protosmith
- Adactin Group Pty Ltd
- ADavis Publishing
- Addison-Wesley
- Addison-Wesley Professional
- AddisWesle
- Adesh Silva
- Adobe Developer Library
- Adopt & Embrace Pty Ltd
- Adventure Times Narratives
- AEI Press
- Aiden Phillips
- ALA Editions
- Alan Grid
- Alaric Hemingway
- Alexander Kenan
- Alfonso Floyd
- Ali Cehreli
- Amazon Digital Services LLC - Kdp
- Ambrosius Publishing
- American Academic Publisher
- American Book Group - Ra-Ma
- American Book Group-Rama
- American Library Association
- Amicus Ink
- Amicus Learning
- Anatiposi Verlag
- Anchor Academic Publishing
- Andrews UK Limited
- Andrzej Wojtowicz
- Annabooks, LLC.
- Anson Street Press
- Anurag Anurag
- Anurag Pandey
- Appacore, LLC
- Apple Academic Press
- Apress
- Archer Paul
- Arcler Press
- Arcturus Editions
- Aries Publishing
- Arkose Press
- Artech House Publishers
- Artima Inc
- Arvind Kumar
- Ascent, Center for Technical Knowledge
- Asian Culture Press
- Association for Computing Machinery
- Atlantic
- Atlantic Monthly Press
- Atlantis Press
- Auerbach P
- Auerbach Publications
- Auris
- Austin Macauley
- Author Jet Press
- Authorhouse
- Authorhouse UK
- Authors Choice Press
- Automation Consulting, LLC
- Av2
- Azurecurve Publishing
- Bachelor + Master Publishing
- Backupbrain
- Bagatelle Publications
- Balboa Press
- Barcharts, Inc
- Bartlett Publishing
- Basic Books
- Baso
- BCS, the Chartered Institute for It
- Bedford Books
- Beelectronic
- Belleyre Books
- BPB Publications
- Architecture & Interior Designs
- Bio-Science and Agriculture
- Business Management
- Career Counselling
- Communication, Mass Media and Journalism
- Computer Science and Information Technology
- Dictionary, Thesaurus, Encyclopedia & Atlas
- Education & Psychology
- Engineering
- General Books
- Graphic Design & Animation
- Mathematics and Statistics
- Physics and Astronomy
- A. de Quattro
- Aaron Guilmette
- Adam Freeman
- Ajit Singh
- Alan Grid
- Amara Hawthorn
- Andrew Albert
- Andrew Troelsen
- Andy Vickler
- Anjana Virmani
- Anonymous
- Anshuman Mishra
- Aristides Bouras
- Bob Mather
- Booker Blunt
- Boozman Richard
- Caden Hawthorne
- Caleb Ross
- Charlie Masterson
- Christian Ullenboom
- Computer Programming Academy
- Craig Zacker
- Dan Gookin
- David Beskeen
- Davis Miller
- Elian Greystone
- Ez-Ref Courseware
- Felicia Toliver
- Flemming Nielson
- Frahaan Hussain
- Greyson Chesterfield
- Harry Fairhead
- Herbert Schildt
- Ian Grieve
- Information Reso Management Association
- Innoware Pjp
- Ivo Balbaert
- Ivor Horton
- James Kelley
- James Tudor
- Jarrel E
- Jeremy Gibbons
- Jesse Liberty
- Joan Lambert
- John Paul Mueller
- John Smiley
- Juergen Pintaske
- Julitta Korol
- Kalman Toth
- Kameron Hussain
- Kevin Wilson
- Kiet Huynh
- Larry Jones
- Lynn Smith
- M. L. Humphrey
- Mark J. Price
- Matthew D. Passmore
- Matthew MacDonald
- Maxwell Vector
- Michelle N. Halsey
- Mike McGrath
- Nathan Clark
- Nathan Metzler
- Nita Rutkosky
- Orin Thomas
- Oscar R. Frost
- Oscar Toledo Gutierrez
- Paul Deitel
- Paul McFedries
- Peter Bradley
- Peter Schiessl
- Peter Weverka
- Phil Bagge
- Philip Conrod
- Rafael Sanders
- Reema Thareja
- Richard Edwards
- Richard Thomas Edwards
- Rick Riolo
- Robert C. Matthews
- Robert Campbell
- Ryan Turner
- Sam Key
- Sarful Hassan
- Shari Eskenas
- Speedy Publishing LLC
- Sqlpy Wizard
- Steve Jones
- Theophilus Edet
- Thompson Carter
- Tony Gaddis
- Vaskaran Sarcar
- Vic Broquard
- Wallace Wang
- William Brown
- William Panek
- Wolfgang Banzhaf
- X. Y. Wang
- Yang Hu
- Ying Bai
Products
Programming Language Foundations
Aaron Stump
Paperback
Current price
₹9,643
Original price
₹12,053
Original price
₹12,053
Original price
₹12,053
(-20%)
₹9,643
Current price
₹9,643
| /
• Author(s): Aaron Stump • Publisher: Wiley • Publisher Imprint: Wiley • BISAC: Programming - GeneralProgramming Language Foundations is a concise text that covers a wide range of topics in the mathematical semantics of programming languages, for...
View full details
Verified Functional Programming in Agda
Aaron Stump
Hardcover
Current price
₹10,458
Original price
₹12,550
Original price
₹12,550
Original price
₹12,550
(-17%)
₹10,458
Current price
₹10,458
| /
• Author(s): Aaron Stump • Publisher: ACM Books • Publisher Imprint: ACM Books • BISAC: Computer ScienceAgda is an advanced programming language based on Type Theory. Agda's type system is expressive enough to support full functional verification...
View full details
Verified Functional Programming in Agda
Aaron Stump
Paperback
Current price
₹8,247
Original price
₹9,897
Original price
₹9,897
Original price
₹9,897
(-17%)
₹8,247
Current price
₹8,247
| /
• Author(s): Aaron Stump • Publisher: ACM Books • Publisher Imprint: ACM Books • BISAC: Computer ScienceAgda is an advanced programming language based on Type Theory. Agda's type system is expressive enough to support full functional verification...
View full details
