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
- Academic
- Academic Press
- ACM
- Acorn Books
- ADA Protosmith
- Adactin Group Pty Ltd
- ADavis Publishing
- Addison-Wesley Professional
- Adesh Silva
- Adopt & Embrace Pty Ltd
- Adventure Times Narratives
- Aiden Phillips
- ALA Editions
- Alan Grid
- Alaric Hemingway
- 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
- Apress
- Archer Paul
- Arcler Press
- Arcturus Editions
- 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
- Austin Macauley
- Author Jet Press
- Authorhouse
- Authorhouse UK
- Authors Choice Press
- Automation Consulting, LLC
- Av2
- Azurecurve Publishing
- Bachelor + Master Publishing
- Bagatelle Publications
- Balboa Press
- Barcharts, Inc
- Bartlett Publishing
- Basic Books
- 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
- Biblebyte Books
- Bibliogov
- Biblioscholar
- Big Nerd Ranch Guides
- Billding Software
- Birkhauser
- Blastoff! Discovery
- Blastoff! Readers
- Bloomsbury Academic
- Bloomsbury Libraries Unlimited
- Blue Chip Publishing
- 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
- Academic
- Academic Press
- ACM
- Acorn Books
- ADA Protosmith
- Adactin Group Pty Ltd
- ADavis Publishing
- Addison-Wesley
- Addison-Wesley Professional
- Adesh Silva
- Adopt & Embrace Pty Ltd
- Adventure Times Narratives
- Aiden Phillips
- ALA Editions
- Alan Grid
- Alaric Hemingway
- 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
- Apple Academic Press
- Apress
- Archer Paul
- Arcler Press
- Arcturus Editions
- 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
- Austin Macauley
- Author Jet Press
- Authorhouse
- Authorhouse UK
- Authors Choice Press
- Automation Consulting, LLC
- Av2
- Azurecurve Publishing
- Bachelor + Master Publishing
- Bagatelle Publications
- Balboa Press
- Barcharts, Inc
- Bartlett Publishing
- Basic Books
- 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
- Biblebyte Books
- Bibliogov
- Biblioscholar
- Big Nerd Ranch Guides
- Billding Software
- Birkhauser
- BPB Publications
- A. de Quattro
- Aaron Guilmette
- Adam Freeman
- Adesh Silva
- Aiden Phillips
- Alan Grid
- Amara Hawthorn
- Andrew Albert
- Andrew Troelsen
- Andy Vickler
- Anonymous
- Anshuman Mishra
- Aristides Bouras
- Bob Mather
- Booker Blunt
- Boozman Richard
- Caden Hawthorne
- Charlie Masterson
- Dan Gookin
- Davis Miller
- Elian Greystone
- Examreview
- Ez-Ref Courseware
- Felicia Toliver
- Flemming Nielson
- Frahaan Hussain
- Greyson Chesterfield
- Harry Fairhead
- Herbert Schildt
- Information Reso Management Association
- Ivo Balbaert
- Ivor Horton
- Jeremy Gibbons
- Joan Lambert
- John Smiley
- Joyce Farrell
- Juergen Pintaske
- Julitta Korol
- Kalman Toth
- Kameron Hussain
- Kenwright
- Kevin Wilson
- Kiet Huynh
- Krzysztof R. Apt
- Larry Jones
- Lynn Smith
- M. L. Humphrey
- Mark J. Price
- Matthew D. Passmore
- Matthew MacDonald
- Maxwell Vector
- Mekan Hojamammedov
- Michael Hanus
- Michelle N. Halsey
- Mike James
- Mike McGrath
- Nathan Clark
- Nathan Metzler
- Nathan Westwood
- Nita Rutkosky
- Noel Kalicharan
- Oscar R. Frost
- Oscar Toledo Gutierrez
- Paul Deitel
- Paul McFedries
- Peter Bradley
- Peter Schiessl
- Phil Bagge
- Philip Conrod
- Rafael Sanders
- Reema Thareja
- Richard Edwards
- Richard Thomas Edwards
- Rick Riolo
- Robert Burns
- Robert C. Matthews
- Robert Campbell
- Ryan Turner
- Sam Key
- Sandra Cable
- Sarful Hassan
- Shari Eskenas
- Speedy Publishing LLC
- Sqlpy Wizard
- Steve Jones
- Theophilus Edet
- Thomas Mailund
- Thompson Carter
- Tim Warren
- Tony Gaddis
- Vaskaran Sarcar
- Vic Broquard
- Voon Kiong Liew
- 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
