Filters
- Cambridge University Press
- Springer
- 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
- BPB Publications
- Cambridge University Press
- Springer
- 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
- 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
- Adam Slowik
- Adrian-Horia Dediu
- Ajith Abraham
- Alan Grid
- Alexander Cane
- Alexander Meduna
- Alfio Quarteroni
- Ali Kaveh
- Amara Hawthorn
- Amit Kumar
- Ana I. Pereira
- Andrew Adamatzky
- Andy Vickler
- Anshuman Mishra
- Anthony Bonato
- Anthony Brabazon
- Bob Mather
- Booker Blunt
- Boozman Richard
- Carlos Cotta
- Charlie Masterson
- Charu C. Aggarwal
- Cliff B. Jones
- Computer Programming Academy
- David Matuszek
- Diego Oliva
- Dietmar Herrmann
- Ding-Zhu Du
- E. S. Gopi
- Echo Elise Gonzalez
- Elian Greystone
- Enrique Alba
- Erik Cuevas
- Fedor V. Fomin
- Felicia Toliver
- Flávia Gonçalves Fernandes
- Flemming Nielson
- Frank Dehne
- Frank Werner
- G. Arockia Sahaya Sheela
- Giuseppe Bonaccorso
- Hans Petter Langtangen
- Herbert Edelsbrunner
- Huazhong Liu
- Ivo Balbaert
- Jagdish Chand Bansal
- Jean-Marc Adamo
- Jiuwen Cao
- John J. Grefenstette
- Joyce Farrell
- Kameron Hussain
- Krzysztof R. Apt
- Leo Code
- Leszek Rutkowski
- Lucien Sina
- Marius Iulian Mihailescu
- Matthew D. Passmore
- Michael Filimowicz
- Michel Raynal
- Miguel Farmer
- Mike McGrath
- Mohamed Skander Daas
- Naveed A. Sherwani
- Niklaus Wirth
- Nilanjan Dey
- Oscar Castillo
- Pandian Vasant
- Panos M. Pardalos
- Patricia Melin
- Patrick Siarry
- Phil Bagge
- Radek Silhavy
- Rafael Sanders
- Raymond Chiong
- Reema Thareja
- Richard Boozman
- Rick Riolo
- Rob Botwright
- Robert Burns
- Robert C. Matthews
- Rolf Drechsler
- Roman Wyrzykowski
- Sam Key
- Seyedali Mirjalili
- Stefka Fidanova
- Steve Jones
- Steven F. Lott
- Tarek Sobh
- Theophilus Edet
- Thompson Carter
- Tim Roughgarden
- Timothy Masters
- Utpal Banerjee
- Veljko Milutinovic
- Weili Wu
- Witold Pedrycz
- Wolfgang Banzhaf
- Xin-She Yang
- Yang Hu
Products
Principles of Programming Languages
Gilles Dowek
Paperback
Current price
₹3,198
Original price
₹3,838
Original price
₹3,838
Original price
₹3,838
(-17%)
₹3,198
Current price
₹3,198
| /
• Author(s): Gilles Dowek • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralBy introducing the principles of programming languages, using the Java language as a support, Gilles Dowek prov...
View full details
Proofs and Algorithms: An Introduction to Logic and Computability
Gilles Dowek
Paperback
Current price
₹2,544
Original price
₹3,913
Original price
₹3,913
Original price
₹3,913
(-35%)
₹2,544
Current price
₹2,544
| /
• Author(s): Gilles Dowek • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverProofs and Algorithms: An Introduction to Logic and ComputabilityLogic is a branch of philosophy, mathematics and computer s...
View full details
Computation, Proof, Machine
Gilles Dowek, Pierre Guillot, Marion Roman
Hardcover
Current price
₹11,032
Original price
₹11,310
Original price
₹11,310
Original price
₹11,310
(-2%)
₹11,032
Current price
₹11,032
| /
• Author(s): Gilles Dowek | Pierre Guillot | Marion Roman • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: History & PhilosophyComputation is revolutionizing our world, even the inner world of t...
View full details
Introduction to the Theory of Programming Languages
Gilles Dowek
Paperback
Current price
₹2,544
Original price
₹3,913
Original price
₹3,913
Original price
₹3,913
(-35%)
₹2,544
Current price
₹2,544
| /
• Author(s): Gilles Dowek • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverThe design and implementation of programming languages, from Fortran and Cobol to Caml and Java, has been one of the key dev...
View full details
Rewriting and Typed Lambda Calculi: Joint International Conferences, Rta and Tlca 2014, Held as Part of the Vienna Summer of Logic, Vsl 2014, Vienna,
Gilles Dowek
Paperback
Current price
₹3,639
Original price
₹5,597
Original price
₹5,597
Original price
₹5,597
(-35%)
₹3,639
Current price
₹3,639
| /
• Author(s): Gilles Dowek • Publisher: Springer • Publisher Imprint: Springer • BISAC: LogicThis book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriting Techniques and Applications, RTA 2014, and 12th Int...
View full details
