Search results for “[Subject: computers-coding-programming]”
Filters
- Dover Publications
- Springer
- 17 Books Publishing
- 3dtech
- 12th Media Services
- A K Peters
- A K PETERS
- Abdelfattah Ragab
- Abiprod Pty Ltd
- Ablex Publishing Corporation
- Abrams Image
- Abrazol Publishing
- Academic Press
- ACM
- ACM Books
- Acorn Books
- Acorn Classics
- ADA Protosmith
- ADavis Publishing
- Addison-Wesley Professional
- Adesh Silva
- Adventure Times Narratives
- Afnil
- Afriyie Publishing
- Agencia Brasileira Do ISBN
- AIAA (American Institute of Aeronautics & Ast
- Aiden Phillips
- ALA Editions
- Aladdin Paperbacks
- Alan Grid
- Alaric Hemingway
- Amazing Books
- Amazon Digital Services LLC - KDP Print US
- American Academy of Pediatrics
- American Book Group-Rama
- American Mathematical Society
- Amicus Ink
- Amicus Learning
- Amplitudo Ltd
- Andrews UK Limited
- Annabooks, LLC.
- Anson Street Press
- Anthea Peries
- Antony Mwau
- Anurag Pandey
- Any Book That Inspires a Division of Twelve:
- APress
- Apress
- Arcler Press
- Arcturus Editions
- Arizona Business Alliance
- Artech House Publishers
- Association for Computing Machinery
- Atlantic Monthly Press
- Atlantic Publishers & Distributors (P) Ltd
- Auerbach Publications
- Authorhouse
- Authorhouse UK
- Av2
- Baby Professor
- Bagatelle Publications
- Barcharts, Inc
- Bartlett Publishing
- Basic Books
- Batsford
- Bellwether Media Inc.
- Bentham Science Publishers
- Bergeron-Woodley Company
- Bergeron-Woodley Company, LLC
- Biblebyte Books
- Bibliogov
- Biblioscholar
- Billding Software
- Binary World Productions SL
- Birkhauser
- Bitmap Books
- Blacknes Guy Books
- Blastoff! Readers
- Bloomsbury Publishing PLC
- Blurb
- Bob Mai
- Bob Mather
- Bod - Books on Demand
- Book Bound Studios
- BookLife Publishing
- Books on Demand
- Booksurge Publishing
- Bosko Books
- Boston Light Press
- Bounce Rank
- Bpb Publications
- BPB Publications
- Brightwalton
- Buch & Netz
- Business Science Reference
- Butterworth-Heinemann
- C. Press/F. Watts Trade
- CABI
- CBS Publishers & Distributors Pvt. Ltd.
- CQ Press
- Dover Publications
- Springer
- 17 Books Publishing
- 3dtech
- 12th Media Services
- A K Peters
- A K PETERS
- A K Peters/CRC Press
- Abdelfattah Ragab
- Abiprod Pty Ltd
- Ablex Publishing Corporation
- Abrams Image
- Abrazol Publishing
- Acad Pr
- Academic Press
- ACM
- ACM Books
- Acorn Books
- Acorn Classics
- ADA Protosmith
- ADavis Publishing
- Addison-Wesley Professional
- AddisWesle
- Adesh Silva
- Adventure Times Narratives
- Afnil
- Afriyie Publishing
- Agencia Brasileira Do ISBN
- AIAA (American Institute of Aeronautics & Ast
- Aiden Phillips
- ALA Editions
- Aladdin Paperbacks
- Alan Grid
- Alaric Hemingway
- Amazing Books
- Amazon Digital Services LLC - KDP Print US
- American Academy of Pediatrics
- American Book Group-Rama
- American Mathematical Society
- Amicus Ink
- Amicus Learning
- Amplitudo Ltd
- Andrews UK Limited
- Annabooks, LLC.
- Anson Street Press
- Anthea Peries
- Antony Mwau
- Anurag Pandey
- Any Book That Inspires a Division of Twelve:
- Apple Academic Press
- APress
- Apress
- Arcler Press
- Arcturus Editions
- Arizona Business Alliance
- Artech House Publishers
- Association for Computing Machinery
- Atlantic
- Atlantic Monthly Press
- Atlantis Press
- Auerbach P
- Auerbach Publications
- Authorhouse
- Authorhouse UK
- Av2
- Baby Professor
- Bagatelle Publications
- Barcharts, Inc
- Bartlett Publishing
- Basic Books
- Batsford
- Bedford
- Bellwether Media Inc.
- Bentham Science Publishers
- Bergeron-Woodley Company
- Bergeron-Woodley Company, LLC
- Biblebyte Books
- Bibliogov
- Biblioscholar
- Billding Software
- Binary World Productions SL
- Birkhauser
- Bitmap Books
- Blacknes Guy Books
- Blastoff! Readers
- Bloomsbury Publishing PLC
- Blurb
- Bob Mai
- Bob Mather
- Bod - Books on Demand
- Book Bound Studios
- BookLife Publishing
- Books on Demand
- Booksurge Publishing
- Bosko Books
- Boston Light Press
- Bounce Rank
- Bpb Publications
- BPB Publications
- Brightwalton
- Bio-Science and Agriculture
- Business Management
- Chemistry
- Computer Science and Information Technology
- Earth-Science/Environment
- Education & Psychology
- Engineering
- English Literature
- General Books
- Graphic Design & Animation
- Library & Information Science
- Mathematics and Statistics
- Medical, Nursing and Health Sciences
- Nutrition and Dietetics
- Physics and Astronomy
- Religion and Philosophy
- Sociology and Anthropology
- Tourism, Travel Guide & Hospitality
- Adam Slowik
- Adesh Silva
- Alan Grid
- Alex Gezerlis
- Alexander Cane
- Anthony J. Dos Reis
- Aristides Bouras
- Axton Nexus
- Ben Stephenson
- Beth Thompson
- Biblebyte Books
- Bill Martens
- Bob Mather
- Booker Blunt
- Caroline Karanja
- Cay Horstmann
- Charlie Masterson
- Chris Roffey
- Christian Morrison
- Claus Richter
- Clive Gifford
- Code Well Academy
- Computer Programming Academy
- Cyberpunk Architects
- D. James Benton
- Damon Parker
- Dan Gookin
- Dan Zhang
- Daniel Bell
- David Kopec
- David Matuszek
- Devon Coder
- Diana Schmidt
- Dines Bjørner
- DK
- Donald Alcock
- Donald Sannella
- Echo Elise Gonzalez
- Einar Smith
- Ekkehard Kaier
- Elian Greystone
- Elizabeth Noll
- Ethem Mining
- Fedor V. Fomin
- Felicia Toliver
- Flávia Gonçalves Fernandes
- Frank Dehne
- Gagniuc
- Georg P. Loczewski
- Gerard O'Regan
- Gerhard Oetzmann
- Greyson Chesterfield
- Herbert Schildt
- Huazhong Liu
- Ira Greenberg
- Jamie Flux
- Jill Sherman
- John Wood
- Juergen Pintaske
- Kameron Hussain
- Kenwright
- Kirsty Holmes
- Larry Jones
- Leen Ammeraal
- Lynn Smith
- M. Rafiquzzaman
- Manfred Broy
- Mark Greenshields
- Matthew D. Passmore
- Max Wainewright
- Michael McMillan
- Mikael Olsson
- Mike McGrath
- Nathan Westwood
- Niklaus Wirth
- Oswald Campesato
- Oxford University Press
- Phil Bagge
- Reactive Publishing
- Reema Thareja
- Reinhard Wilhelm
- Richard Edwards
- Rinesh S. Prajitha C.
- Robert C. Matthews
- Robert Sedgewick
- Roman Wyrzykowski
- Sachi Nandan Mohanty
- Smith
- Sqlpy Wizard
- Steven Halim
- Theophilus Edet
- Thompson Carter
- Tim Roughgarden
- Tim Warren
- Tim Wired
- Tony Gaddis
- Tracy Gardner
- Veljko Milutinovic
- Wolfgang Engel
- Yang Hu
Products
The Temporal Logic of Reactive and Concurrent Systems: Specification
Zohar Manna
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): Zohar Manna • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - Expert SystemsReactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent s...
View full details
Mathematical Theory of Computation
Zohar Manna
Paperback
Current price
₹1,826
Original price
₹2,446
Original price
₹2,446
Original price
₹2,446
(-25%)
₹1,826
Current price
₹1,826
| /
• Author(s): Zohar Manna • Publisher: Dover Publications • Publisher Imprint: Dover Publications • BISAC: Number TheoryAttempting to make into a science the art of verifying computer programs (debugging), the author addresses both practical and t...
View full details
The Temporal Logic of Reactive and Concurrent Systems: Specification
Zohar Manna
Hardcover
Current price
₹8,005
Original price
₹12,314
Original price
₹12,314
Original price
₹12,314
(-35%)
₹8,005
Current price
₹8,005
| /
• Author(s): Zohar Manna • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & DesiReactive systems are computing systems which are interactive, such as real-time systems, ope...
View full details
