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
- A. Smith Media
- 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
- Alanna Maldonado
- Alaric Hemingway
- Aldera
- Algorithms
- Ali Cehreli
- Alpha Books
- Am Press
- AMA
- Amazon Digital Services LLC - Kdp
- Ambra Verlag
- American Academic Publisher
- American Mathematical Society
- Anchor Academic Publishing
- Andre Golard
- Andrews UK Limited
- Angel Love
- Annabooks, LLC.
- Anson Street Press
- Any Book That Inspires a Division of Twelve:
- Apophis Enterprises LLC
- Applied Research & Design
- Apress
- Archer Paul
- Architeg, Inc.
- Arcler Press
- Arcturus Editions
- Arizona Business Alliance
- Artech House Publishers
- Arthur M. Doweyko
- Artima Inc
- Asian Culture Press
- Association for Computing Machinery
- Astra Young Readers
- Athabasca University Press
- Atique Mindscape Publishing
- Atlantic
- Atlantic Publishers & Distributors (P) Ltd
- Atropos Press
- Auerbach Publications
- Authorhouse
- Authorhouse UK
- Av2
- AV Akademikerverlag
- Azhar Sario Dubai
- Baby Professor
- Bachelor + Master Publishing
- Badger 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
- 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
- A. Smith Media
- 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
- Alanna Maldonado
- Alaric Hemingway
- Aldera
- Algorithms
- Ali Cehreli
- Alpha Books
- Am Press
- AMA
- Amazon Digital Services LLC - Kdp
- Ambra Verlag
- American Academic Publisher
- American Mathematical Society
- Anchor Academic Publishing
- Andre Golard
- Andrews UK Limited
- Angel Love
- Annabooks, LLC.
- Anson Street Press
- Any Book That Inspires a Division of Twelve:
- Apophis Enterprises LLC
- Apple Acad
- Apple Academic Press
- Applied Research & Design
- Apress
- Archer Paul
- Architeg, Inc.
- Arcler Press
- Arcturus Editions
- Arizona Business Alliance
- Artech House Publishers
- Arthur M. Doweyko
- Artima Inc
- Asian Culture Press
- Association for Computing Machinery
- Astra Young Readers
- Athabasca University Press
- Atique Mindscape Publishing
- Atlantic
- Atlantis Press
- Atropos Press
- Auerbach P
- Auerbach Publications
- Authorhouse
- Authorhouse UK
- Av2
- AV Akademikerverlag
- Azhar Sario Dubai
- Baby Professor
- Bachelor + Master Publishing
- Badger 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
- 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
- Ajith Abraham
- Alan Grid
- Alexander Cane
- Ali Kaveh
- Alice Schwartz
- Amara Hawthorn
- Amit Kumar
- Ana I. Pereira
- Andrew Adamatzky
- Andy Vickler
- Anshuman Mishra
- Anthony Bonato
- Anthony Brabazon
- Bob Mather
- Booker Blunt
- Carlos Cotta
- Charlie Masterson
- Christian Maurer
- Christodoulos A. Floudas
- Computer Programming Academy
- Davis Miller
- Diego Oliva
- Ding-Zhu Du
- Donald Knuth
- 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
- Greyson Chesterfield
- Hans Petter Langtangen
- Huazhong Liu
- Ivan Zelinka
- Jamie Flux
- Jiuwen Cao
- John A. Trangenstein
- Joyce Farrell
- Kameron Hussain
- Klaus Jansen
- Krzysztof R. Apt
- Leszek Rutkowski
- Lucien Sina
- Manfred Broy
- Maxwell Vector
- Michael T. Goodrich
- Michel Raynal
- Miguel Farmer
- Mike McGrath
- Mohamed Skander Daas
- Narasimha Karumanchi
- Niklaus Wirth
- Nilanjan Dey
- Oscar Castillo
- Panos M. Pardalos
- Patricia Melin
- Paul Deitel
- Phil Bagge
- Radek Silhavy
- Rafael Sanders
- Raymond Chiong
- Reactive Publishing
- Reema Thareja
- Richard Bird
- Rick Riolo
- Robert C. Matthews
- Robert Sedgewick
- Roberto Cruz Acosta
- Rolf Drechsler
- Roman Wyrzykowski
- Sam Key
- Samuel Hack
- Sandeep Kumar
- Seyedali Mirjalili
- Siddhartha Bhattacharyya
- Sqlpy Wizard
- Srikanta Patnaik
- Stefka Fidanova
- Steve Jones
- Steven F. Lott
- Tarek Sobh
- Theophilus Edet
- Thompson Carter
- Tianqing Zhu
- Tim Roughgarden
- Utpal Banerjee
- Veljko Milutinovic
- Weili Wu
- Witold Pedrycz
- Wolfgang Banzhaf
- X. Y. Wang
- Xin-She Yang
- Yang Hu
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
