Search results for “[subject: programming-algorithms]”
Filters
- ACM Books
- Wiley
- 17 Books Ltd
- 17 Books Publishing
- 64 Ink
- 1423 Interests LLC
- 3ichael 7ambert
- A K PETERS
- A K Peters
- Aaip
- AB Publisher LLC
- Abbott Properties
- Abdelfattah Ragab
- Abdul Ahad Ansari
- Abfurtado.Com.Br
- Ability First Limited
- Abiprod Pty Ltd
- Ablex Publishing Corporation
- Abrazol Publishing
- Academic Press
- Academiques
- ACM
- Acorn Books
- ADavis Publishing
- Addison-Wesley Professional
- Adesh Silva
- After Midnight Publishing
- Agencia Brasileira Do ISBN
- Aiden Phillips
- ALA Editions
- ALA Neal-Schuman
- Alan Grid
- Alaric Hemingway
- Aldera
- Algorithms
- Ali Cehreli
- Alpha Books
- Am Press
- AMA
- Amazon Digital Services LLC - Kdp
- American Academic Publisher
- American Mathematical Society
- Anchor Academic Publishing
- Andre Golard
- Andrews UK Limited
- Annabooks, LLC.
- Anson Street Press
- Apophis Enterprises LLC
- Applied Research & Design
- Apress
- Archer Paul
- Architeg, Inc.
- Arcler Press
- Arcturus Editions
- Artech House Publishers
- Arthur M. Doweyko
- Artima Inc
- Asian Culture Press
- Association for Computing Machinery
- Athabasca University Press
- Atique Mindscape Publishing
- Atlantic
- Atlantic Publishers & Distributors (P) Ltd
- Atropos Press
- Auerbach Publications
- Authorhouse
- Authorhouse UK
- Av2
- Azhar Sario Dubai
- Baby Professor
- Bachelor + Master Publishing
- Barcharts, Inc
- Barrons Educational Series
- Bartlett Publishing
- Basic Books
- BCS, the Chartered Institute for It
- Bedford Books
- Beelectronic
- Bellwether Media Inc.
- Bentham Science Publishers
- Bento Books, Inc.
- Bergeron-Woodley Company, LLC
- Biblebyte Books
- Bibliogov
- Biblioscholar
- Big Mac Publishers
- Big Nerd Ranch Guides
- Billding Software
- Birkhauser
- Bloomsbury Education
- Bloomsbury Publishing (UK)
- Bloomsbury SIGMA
- Bob Mather
- Bod - Books on Demand
- Book Bound Studios
- Bookbaby
- BookLife Publishing
- Books on Demand
- Booksurge Publishing
- BPB Publications
- ACM Books
- Wiley
- 17 Books Ltd
- 17 Books Publishing
- 64 Ink
- 1423 Interests LLC
- 3ichael 7ambert
- A K PETERS
- A K Peters/CRC Press
- Aaip
- AB Publisher LLC
- Abbott Properties
- Abdelfattah Ragab
- Abdul Ahad Ansari
- Abfurtado.Com.Br
- Ability First Limited
- Abiprod Pty Ltd
- Ablex Publishing Corporation
- Abrazol Publishing
- Acad Pr
- Academic Press
- Academiques
- ACM
- Acorn Books
- ADavis Publishing
- Addison-Wesley
- Addison-Wesley Professional
- AddisWesle
- Adesh Silva
- After Midnight Publishing
- Agencia Brasileira Do ISBN
- Aiden Phillips
- ALA Editions
- ALA Neal-Schuman
- Alan Grid
- Alaric Hemingway
- Aldera
- Algorithms
- Ali Cehreli
- Alpha Books
- Am Press
- AMA
- Amazon Digital Services LLC - Kdp
- American Academic Publisher
- American Mathematical Society
- Anchor Academic Publishing
- Andre Golard
- Andrews UK Limited
- Annabooks, LLC.
- Anson Street Press
- Apophis Enterprises LLC
- Apple Acad
- Apple Academic Press
- Applied Research & Design
- Apress
- Archer Paul
- Architeg, Inc.
- Arcler Press
- Arcturus Editions
- Artech House Publishers
- Arthur M. Doweyko
- Artima Inc
- Asian Culture Press
- Association for Computing Machinery
- Athabasca University Press
- Atique Mindscape Publishing
- Atlantic
- Atlantis Press
- Atropos Press
- Auerbach P
- Auerbach Publications
- Authorhouse
- Authorhouse UK
- Av2
- Azhar Sario Dubai
- Baby Professor
- Bachelor + Master Publishing
- Barcharts, Inc
- Barrons Educational Series
- Bartlett Publishing
- Basic Books
- BCS, the Chartered Institute for It
- Bedford Books
- Beelectronic
- Bellwether Media Inc.
- Bentham Science Publishers
- Bento Books, Inc.
- Bergeron-Woodley Company, LLC
- Biblebyte Books
- Bibliogov
- Biblioscholar
- Big Mac Publishers
- Big Nerd Ranch Guides
- Billding Software
- Birkhauser
- Birkhäuser
- Birkhauser Basel
- Birkhauser Boston
- Bloomsbury Education
- BPB Publications
- Architecture & Interior Designs
- Bio-Science and Agriculture
- Business Management
- Communication, Mass Media and Journalism
- Computer Science and Information Technology
- Earth-Science/Environment
- Economics
- Education & Psychology
- Engineering
- English Literature
- Food Science & Technology
- General Books
- Graphic Design & Animation
- History
- Law and Criminology
- Library & Information Science
- Mathematics and Statistics
- Medical, Nursing and Health Sciences
- Music, Theatre & Films
- Physics and Astronomy
- Religion and Philosophy
- A. de Quattro
- A. Kaveh
- Adam Slowik
- Ajith Abraham
- Alan Grid
- Alexander Cane
- Alexander J. Zaslavski
- Alexander Meduna
- Ali Kaveh
- Alice Schwartz
- Amara Hawthorn
- Amit Kumar
- Andrew Adamatzky
- Andy Vickler
- Anshuman Mishra
- Anthony Bonato
- Anthony Brabazon
- Aristides Bouras
- Bob Mather
- Booker Blunt
- Carlos Cotta
- Charlie Masterson
- Charu C. Aggarwal
- Christian Maurer
- Christodoulos A. Floudas
- Cliff B. Jones
- Computer Programming Academy
- D. Jude Hemanth
- David Matuszek
- Davis Miller
- Diego Oliva
- Ding-Zhu Du
- Donald Knuth
- E. S. Gopi
- Elian Greystone
- Enrique Alba
- Erik Cuevas
- Evripidis Bampis
- Fedor V. Fomin
- Felicia Toliver
- Flávia Gonçalves Fernandes
- Flemming Nielson
- Frank Dehne
- Frank Werner
- G. Arockia Sahaya Sheela
- Giorgio Ausiello
- Hans Petter Langtangen
- Huazhong Liu
- Ivo Balbaert
- Jagdish Chand Bansal
- Jamie Flux
- Jiuwen Cao
- John A. Trangenstein
- Josep Diaz
- Joyce Farrell
- Kameron Hussain
- Klaus Jansen
- Krzysztof R. Apt
- Larry Jones
- Leo Code
- Leszek Rutkowski
- Lucien Sina
- Manfred Broy
- Matthew D. Passmore
- Maxwell Vector
- Miguel Farmer
- Mike McGrath
- Mohamed Skander Daas
- Narasimha Karumanchi
- Nilanjan Dey
- Oscar Castillo
- Panos M. Pardalos
- Patricia Melin
- Phil Bagge
- Radek Silhavy
- Rafael Sanders
- Reactive Publishing
- Reema Thareja
- Rick Riolo
- Robert C. Matthews
- Robert Sedgewick
- Roberto Cruz Acosta
- Roman Wyrzykowski
- Sam Key
- Seyedali Mirjalili
- Sqlpy Wizard
- Stefka Fidanova
- Steve Jones
- Tarek Sobh
- Theophilus Edet
- Thompson Carter
- Tim Roughgarden
- Utpal Banerjee
- Veljko Milutinovic
- Weili Wu
- Witold Pedrycz
- Wolfgang Banzhaf
- Xin-She Yang
- Yang Hu
- Zahir Tari
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
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
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
