Skip to content

Booksellers & Trade Customers: Sign up for online bulk buying at trade.atlanticbooks.com for wholesale discounts

Booksellers: Create Account on our B2B Portal for wholesale discounts

Search results for “[subject: programming-algorithms]”

Filters

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