Search results for “[Subject: computers-coding-programming]”
Filters
- ACM Books
- Cambridge University Press
- MIT Press
- Springer
- 8080 Books
- 17 Books Publishing
- 3dtech
- 64 Ink
- 1423 Interests LLC
- 1st Book Library
- 5starcooks
- 12th Media Services
- 3ichael 7ambert
- 978-83-966847-2-1
- A K Peters
- A K PETERS
- Aaip
- AB Publisher LLC
- Abbott Properties
- ABDO & Daughters
- Ability First Limited
- Abiprod Pty Ltd
- Ablex Publishing Corporation
- Abrams Image
- Abrazol Publishing
- Academic Press
- Accessibility Dot Net, Inc.
- ACM
- Acorn Books
- Acorn Classics
- ADA Protosmith
- Adam Hott
- ADavis Publishing
- Addison-Wesley Professional
- Adesh Silva
- Admslc
- Adobe Developer Library
- Adobe Press
- Adventure Times Narratives
- Afriyie Publishing
- Agencia Brasileira Do ISBN
- Aiden Phillips
- Akhira
- ALA Editions
- ALA Neal-Schuman
- Aladdin Paperbacks
- Alan Grid
- Alaric Hemingway
- Alephsphere Publishing
- Alexander Kenan
- Alfonso Floyd
- Ali Cehreli
- AMA
- Amazing Books
- Amberley Publishing
- Ambrosius Publishing
- American Academic Publisher
- American Book Group - Ra-Ma
- American Book Group-Rama
- American College of Obstetricians and Gynecol
- American Library Association
- American Medical Association Press
- American Society of Civil Engineers
- American Society of Mechanical Engineers
- Amicus
- Amicus Ink
- Amicus Learning
- Anchor Academic Publishing
- Andrews UK Limited
- Andrzej Wojtowicz
- Angkor
- Annabooks, LLC.
- Anson Street Press
- Anthea Peries
- Anurag Anurag
- Anurag Pandey
- Any Book That Inspires a Division of Twelve:
- Appjungle.Net LLC
- Apple Academic Press
- Applecored.Net
- APress
- Apress
- April Peter
- Archer Paul
- Arcler Press
- Arcturus Editions
- Arcturus Publishing Ltd
- Arief Muinnudin
- Arizona Business Alliance
- Arm Education Media
- Artech House Publishers
- Artima Inc
- Ascended Ideas
- Asian Culture Press
- Association for Computing Machinery
- Atlantic
- Atlantic Monthly Press
- Atlantic Publishers & Distributors (P) Ltd
- Atropos Press
- Auerbach Publications
- ACM Books
- Cambridge University Press
- MIT Press
- Springer
- 8080 Books
- 17 Books Publishing
- 3dtech
- 64 Ink
- 1423 Interests LLC
- 1st Book Library
- 5starcooks
- 12th Media Services
- 3ichael 7ambert
- 978-83-966847-2-1
- A K Peters
- A K PETERS
- A K Peters/CRC Press
- Aaip
- AB Publisher LLC
- Abbott Properties
- ABDO & Daughters
- Ability First Limited
- Abiprod Pty Ltd
- Ablex Publishing Corporation
- Abrams Image
- Abrazol Publishing
- Acad Pr
- Academic Press
- Accessibility Dot Net, Inc.
- ACM
- Acorn Books
- Acorn Classics
- ADA Protosmith
- Adam Hott
- ADavis Publishing
- Addison-Wesley
- Addison-Wesley Professional
- AddisWesle
- Adesh Silva
- Admslc
- Adobe Developer Library
- Adobe Press
- Adventure Times Narratives
- Afriyie Publishing
- Agencia Brasileira Do ISBN
- Aiden Phillips
- Akhira
- ALA Editions
- ALA Neal-Schuman
- Aladdin Paperbacks
- Alan Grid
- Alaric Hemingway
- Alephsphere Publishing
- Alexander Kenan
- Alfonso Floyd
- Ali Cehreli
- AMA
- Amazing Books
- Amberley Publishing
- Ambrosius Publishing
- American Academic Publisher
- American Book Group - Ra-Ma
- American Book Group-Rama
- American College of Obstetricians and Gynecol
- American Library Association
- American Medical Association Press
- American Society of Civil Engineers
- American Society of Mechanical Engineers
- Amicus
- Amicus Ink
- Amicus Learning
- Anchor Academic Publishing
- Andrews UK Limited
- Andrzej Wojtowicz
- Angkor
- Annabooks, LLC.
- Anson Street Press
- Anthea Peries
- Anurag Anurag
- Anurag Pandey
- Any Book That Inspires a Division of Twelve:
- Appjungle.Net LLC
- Apple Academic Press
- Applecored.Net
- APress
- Apress
- April Peter
- Archer Paul
- Arcler Press
- Arcturus Editions
- Arcturus Publishing Ltd
- Arief Muinnudin
- Arizona Business Alliance
- Arm Education Media
- Artech House Publishers
- Artima Inc
- Ascended Ideas
- Asian Culture Press
- Association for Computing Machinery
- Atlantic
- Architecture & Interior Designs
- Bio-Science and Agriculture
- Business Management
- Communication, Mass Media and Journalism
- Computer Science and Information Technology
- Creative Writing, Fiction
- Dictionary, Thesaurus, Encyclopedia & Atlas
- Earth-Science/Environment
- Education & Psychology
- Engineering
- English Literature
- General Books
- Graphic Design & Animation
- History
- Library & Information Science
- Mathematics and Statistics
- Medical, Nursing and Health Sciences
- Physics and Astronomy
- Religion and Philosophy
- Tourism, Travel Guide & Hospitality
- A. de Quattro
- Ajit Singh
- Al Sweigart
- Alan Grid
- Alexander Cane
- Amara Hawthorn
- Andrew Adamatzky
- Andy Vickler
- Anshuman Mishra
- Atif Memon
- Bill Martens
- Bob Mather
- Booker Blunt
- Cay Horstmann
- Cesar Herrera
- Charlie Masterson
- Christian Ullenboom
- Cliff B. Jones
- Clive Gifford
- Computer Programming Academy
- Cyberpunk Architects
- David Matuszek
- Dines Bjørner
- DK
- Echo Elise González
- Ekkehard Kaier
- Elian Greystone
- Felicia Toliver
- Gareth Thomas
- Gerard O'Regan
- Greyson Chesterfield
- Haider Koele
- Harry Fairhead
- Herbert Schildt
- Huazhong Liu
- Information Reso Management Association
- Ivo Balbaert
- James J. Park
- James Tudor
- Jamie Flux
- Jill Sherman
- Joel Murach
- John Paul Mueller
- John Smiley
- John Vince
- Juergen Pintaske
- Julio Sanchez
- Julitta Korol
- Kameron Hussain
- Kenwright
- Klaus Miesenberger
- Kohei Arai
- Krzysztof R. Apt
- Larry Jones
- Lucien Sina
- Manfred Broy
- Marvin Zelkowitz
- Matthew D. Passmore
- Max Wainewright
- Maxwell Reed
- Maxwell Vector
- Michael Hanus
- Miguel Farmer
- Mikael Olsson
- Mike James
- Mike McGrath
- Nathan Metzler
- Noel Kalicharan
- Oscar R. Frost
- Oscar Toledo Gutierrez
- Oswald Campesato
- Paul Deitel
- Phil Bagge
- Pythquill Publishing
- Radek Silhavy
- Rafael Sanders
- Rajaraman V.
- Reema Thareja
- Richard Edwards
- Rick Riolo
- Robert C. Matthews
- Robert Campbell
- Robin Nixon
- Roger Lee
- Ryan Turner
- Sam Key
- Source Code Society
- Sqlpy Wizard
- Steve Jones
- Sufyan Bin Uzayr
- Suyel Namasudra
- Tarek Sobh
- Theophilus Edet
- Thompson Carter
- Tony Gaddis
- Vaskaran Sarcar
- Vic Broquard
- X. Y. Wang
- Yang Hu
- Ying Bai
Products
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt
Hardcover
• Author(s): Krzysztof R. Apt • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic DesignFrom the Back CoverComputer programs are an indispensable part of many of the systems we rely upon in our daily lives, and the proper functioni...
View full detailsThe Logic Programming Paradigm: A 25-Year Perspective
Krzysztof R. Apt
Paperback
• Author(s): Krzysztof R. Apt • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralLogic Programming was founded 25 years ago. This exciting new text reveals both the evolution of this programming paradigm...
View full detailsLogic Programming Languages: Constraints, Functions, and Objects
Krzysztof R. Apt, J. W. de Bakker, J. M. Rutten
Paperback
• Author(s): Krzysztof R. Apt | J. W. de Bakker | J. M. Rutten • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Logic DesignThis collection of current research on logic programming languages presents results from a three-year, ESPRI...
View full detailsMeta-Logics and Logic Programming
Krzysztof R. Apt, Franco Turini
Paperback
• Author(s): Krzysztof R. Apt | Franco Turini • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Intelligence (AI) & SemanticsInvestigating meta-programming within the logic programming paradigm, Meta-Logics and Logic Programming ...
View full detailsLectures in Game Theory for Computer Scientists
Krzysztof R. Apt, Erich Grädel
Hardcover
• Author(s): Krzysztof R. Apt | Erich Grädel • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: Programming Languages - GeneralGames provide mathematical models for interaction. Numerous tasks in comp...
View full detailsVerification of Sequential and Concurrent Programs
Krzysztof R. Apt
Paperback
• Author(s): Krzysztof R. Apt • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic DesignFrom the Back CoverComputer programs are an indispensable part of many of the systems we rely upon in our daily lives, and the proper functioni...
View full details