Search results for “[Subject: programming-algorithms]”
Filters
- Cambridge University Press
- 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
- ACM Books
- 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
- Cambridge University Press
- 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
- ACM Books
- 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
- Adam Slowik
- Ajith Abraham
- Alan Grid
- Alexander Cane
- Alexander J. Zaslavski
- Alexander Meduna
- Ali Kaveh
- Alice Schwartz
- Amara Hawthorn
- Amit Kumar
- Ana I. Pereira
- Andrew Adamatzky
- Andy Vickler
- Anshuman Mishra
- Anthony Bonato
- Anthony Brabazon
- Aristides Bouras
- Bob Mather
- Booker Blunt
- Boozman Richard
- 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 E. Knuth
- Donald Knuth
- E. S. Gopi
- Echo Elise Gonzalez
- Elian Greystone
- Enrique Alba
- Erik Cuevas
- Evripidis Bampis
- Fedor V. Fomin
- Felicia Toliver
- Flávia Gonçalves Fernandes
- Flemming Nielson
- Francis Gurtowski
- Frank Dehne
- Frank Werner
- Hans Petter Langtangen
- Huazhong Liu
- Ivan Zelinka
- Jagdish Chand Bansal
- Jamie Flux
- Jiuwen Cao
- Joyce Farrell
- Kameron Hussain
- Klaus Jansen
- Krzysztof R. Apt
- Leszek Rutkowski
- Lucien Sina
- Matthew D. Passmore
- Maxwell Vector
- Michel Raynal
- Miguel Farmer
- Mike McGrath
- Mohamed Skander Daas
- Narasimha Karumanchi
- Nilanjan Dey
- Oscar Castillo
- Panos M. Pardalos
- Patricia Melin
- Paul Deitel
- 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
Proof Theory and Logic Programming: Computation as Proof Search
Dale Miller
Hardcover
Current price
₹7,197
Original price
₹7,590
Original price
₹7,590
Original price
₹7,590
(-5%)
₹7,197
Current price
₹7,197
| /
• Author(s): Dale Miller • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: Programming Languages - GeneralThis book offers a principled view of programming, showing how computation arises from logic....
View full details
Programming with Higher-Order Logic
Dale Miller, Gopalan Nadathur
Hardcover
Current price
₹5,899
Original price
₹5,980
Original price
₹5,980
Original price
₹5,980
(-1%)
₹5,899
Current price
₹5,899
| /
• Author(s): Dale Miller | Gopalan Nadathur • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: Programming Languages - GeneralFormal systems that describe computations over syntactic structures occur ...
View full details
