Search results for “[subject: logic-design]”
Filters
- CABI
- Cambridge University Press
- Cambridge UP
- Elsevier
- Idea Group,U.S.
- IGI Global
- OUP Oxford
- Springer Verlag
- T&F
- Taylor & Francis Group
- Wiley
- World Scientific Pub
- 5m Publishing
- 5starcooks
- 12th Media Services
- 360 Total Solution Limited
- A K Peters
- A K PETERS
- Aaron Brummet
- ABC-CLIO
- Abhiram Indrarajan
- Ablex Publishing Corporation
- ABRAMS
- Academic
- Academic Press
- Academic Studies Press
- Academy Press
- Achieve2day
- ACM
- Activibooks
- Activibooks for Kids
- Activity Crusades
- Addison-Wesley Professional
- Advanced Analytics, LLC
- Advanced Reasoning Forum
- Agenda Publishing
- AIP
- Aj Carmichael
- ALA Editions
- ALA Techsource an Imprint of American Library
- Alaric Hemingway
- Alicia Editions
- Allan Seguin
- Allworth
- Alpaca Books
- Amanda Symonds
- Amazon Digital Services LLC - Kdp
- Amazon Digital Services LLC - KDP Print US
- American Library Association
- American Medical Publishers
- American Pancreatic Association
- American Psychiatric Publishing
- AmericanGeophysicalU
- Ammar Adil
- Anatiposi Verlag
- Anchor Academic Publishing
- Andesite Press
- Andrews UK Limited
- Andy Foster
- Anmol Publications Pvt Ltd
- Anson Street Press
- Anthem Press
- Anthology Editions
- Anu Press
- Aperture
- Applewood Books
- Apress
- Arborrhythms
- ARC Humanities Press
- Archangel Ink
- Archway Publishing
- Arcler Press
- Arcturus Editions
- Arcturus Publishing Ltd
- Areteem Institute
- Argo Brothers Inc
- Arkose Press
- Art Heritage
- Artech House Publishers
- Artisan Publishers
- ASCD
- Ascent, Center for Technical Knowledge
- Aspen Publishing
- Assoc of College & Research Libraries
- Associacao Brasileira de Psicanalise - Abraps
- Atlantic Monthly Press
- Atlantic Publishers & Distributors (P) Ltd
- Atlas Vista Publisher
- Auerbach Publications
- Austin Macauley
- Authorhouse
- Authorhouse UK
- Authors Crib
- Automatic Press / VIP
- AV Akademikerverlag
- Avocado Books
- Azizam Publications
- Baby Professor
- BPB Publications
- BSAVA
- Auerbach P
- CABI
- Cambridge
- Cambridge University Press
- CRC Press
- CRC/CH
- Elsevier
- Humana
- Idea Group,U.S.
- IGI Global
- Mar Dekker
- OUP Oxford
- Springer
- Springer V
- Springer Verlag
- Wiley
- Wiley-Blac
- Wiley-ISTE
- World Sc.
- 5m Publishing
- 5starcooks
- 12th Media Services
- 360 Total Solution Limited
- A K PETERS
- A K Peters/CRC Press
- Aaron Brummet
- ABC-CLIO
- Abhiram Indrarajan
- Ablex Publishing Corporation
- ABRAMS
- Acad Pr
- Academic
- Academic Press
- Academic Studies Press
- Academy Press
- Achieve2day
- ACM
- Activibooks
- Activibooks for Kids
- Activity Crusades
- Addison-Wesley Professional
- Advanced Analytics, LLC
- Advanced Reasoning Forum
- Agenda Publishing
- Aj Carmichael
- ALA Editions
- ALA Techsource an Imprint of American Library
- Alaric Hemingway
- Alicia Editions
- Allan Seguin
- Allworth
- Alpaca Books
- Amanda Symonds
- Amazon Digital Services LLC - Kdp
- Amazon Digital Services LLC - KDP Print US
- American Institute of Physics
- American Library Association
- American Medical Publishers
- American Pancreatic Association
- American Psychiatric Publishing
- AmericanGU
- AmerInstPh
- Ammar Adil
- Anatiposi Verlag
- Anchor Academic Publishing
- Andesite Press
- Andrews UK Limited
- Andy Foster
- Anmol Publications Pvt Ltd
- Anson Street Press
- Anthem Press
- Anthology Editions
- Anu Press
- Aperture
- Apple Academic Press
- Applewood Books
- Apress
- Arborrhythms
- ARC Humanities Press
- Archangel Ink
- Archway Publishing
- Arcler Press
- Arcturus Editions
- Arcturus Publishing Ltd
- Areteem Institute
- Argo Brothers Inc
- Arkose Press
- Art Heritage
- Artech House Publishers
- Artisan Publishers
- ASCD
- Ascent, Center for Technical Knowledge
- Ashgate
- ASM
- Aspen Publishing
- Assoc of College & Research Libraries
- Associacao Brasileira de Psicanalise - Abraps
- Atlantic
- Atlantic Monthly Press
- AV Akademikerverlag
- Archaeology
- Architecture & Interior Designs
- Bio-Science and Agriculture
- Business Management
- Career Counselling
- Chemistry
- Communication, Mass Media and Journalism
- Computer Science and Information Technology
- Creative Writing, Fiction
- Dictionary, Thesaurus, Encyclopedia & Atlas
- Earth-Science/Environment
- Economics
- Education & Psychology
- Engineering
- English Literature
- Fashion & Textile
- Fisheries & Aquaculture
- Food Science & Technology
- Gardening
- General Books
- Health, Physical Fitness and Yoga
- History
- Law and Criminology
- Library & Information Science
- Mathematics and Statistics
- Medical, Nursing and Health Sciences
- Military and Police Studies
- Music, Theatre & Films
- Nutrition and Dietetics
- Photography
- Physics and Astronomy
- Politics and Current Affairs
- Religion and Philosophy
- Sociology and Anthropology
- Sports and Physical Fitness
- Tourism, Travel Guide & Hospitality
- Veterinary
- Writing/Research Methods
- Children Books
- Cookery & Food Services
- Encyclopaedias and References
- Foreign Languages
- Graphic Design & Animation
- Magic & Alchemy
- Abbadi
- Adrian Horridge
- Ahmet Bindal (
- Alsmadi
- Bandyopadhyay
- Bernadette Bouchon-Meunier
- Biju Issac
- Carr
- Chao Wang
- Chitat Chong
- Claude Jard
- Colin R. Tosh
- David Chinnery
- David J. Livingstone
- Derek A. Linkens
- Frederic Landragin
- Gabbay
- HOGAN
- Igor Schagaev
- Jagannathan Kanniah
- Jim Davies
- Kounev
- Kurgalin
- Lee Chao
- Marco T. Morazán
- Maxa Jean-Aime
- Miroslaw Staron
- Mohamed Fayad
- O'Regan
- Oded Goldreich
- Paul Johannesson
- Sao-Jie Chen
- Srinivas Akella
- Stone
- Tong Li
- Toufik Taibi
-  سمعان
- ካሣሁ Kassahun Alemu
- 孙成刚
- 宁向英
- 殷海光
- A. a. Koios
- A. A. Long
- A. Abdelkarim
- A. Alexiadou
- A. Arnold
- A. Baudisch
- A. Berkelaar
- A. Brunstein
- A. C. Grayling
- A. C. Phillips
- A. Chatterjee
- A. Chrudzimski
- A. D. Rätselwelt
- A. De Vos
- A. Demandre
- A. Ershov
- A. G. Hamilton
- A. G. Kusraev
- A. G. Pinus
- A. G. Wedderspoon
- A. Gaydon
- A. Heyting
- A. Hoy
- A. J. Haas
- A. J. Moulson
- A. John Pendlebury
- A. Joseph Layon
- A. Kasher
- A. Khinchin
- A. L. Ralescu
- A. Lincoln Barker
- A. Lover of Truth Citizen of Glasgow
- A. M. Donald
- A. Mancewicz
- A. Mansker
- A. Menne
- A. Mohamed Emary
- A. Moment to Dream
- A. Moret
- A. N. Prior
- A. Nag
- A. P. Schaffarczyk
- A. Read
- A. S. Milton
- A. S. Tritton
- A. S. Troelstra
- A. T. Mallier
- A. Walsh
- A. Wolf
- A. Yeatman
- A.C. Newton
- A.J. Ludlam
- A.M. Alonso-Zarza
- A.M. Viens
- A.R. Kapuscinski
- A.S. Kechris
- ACIA - Arctic Climate Impact Assessment
- ACT
- AHMAD
Products
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logical Foundations
Gabbay
Hardcover
• Author(s): Gabbay • Publisher: OUP Oxford • Publisher Imprint: OUP Oxford • Subject: Computer Science and Information Technology • BISAC: ComputersLogic is now widely recognized to be one of the foundational disciplines of computing with applic...
View full detailsA Practical Guide to Database Design
HOGAN
Hardcover
• Author(s): HOGAN • Publisher: Taylor & Francis • Publisher Imprint: Chapman Hall • Subject: Computer Science and Information Technology • BISAC: Data Science - Data AnalyticsFully updated and expanded from the previous edition, A Practical ...
View full detailsMathematical Foundations of Software Engineering: A Practical Guide to Essentials
O'Regan
Hardcover
• Author(s): O'Regan • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Computer Science and Information Technology • BISAC: Data Science - GeneralFrom the Back CoverThis essential textbook presents an introduction to the mathe...
View full detailsCloud Database Development And Management
Lee Chao
Hardcover
• Author(s): Lee Chao • Publisher: Taylor & Francis • Publisher Imprint: Auerbach P • Subject: Computer Science and Information Technology • BISAC: Database Administration & ManagementAlthough today's job market requires IT professionals ...
View full detailsDecision Support System
Bandyopadhyay, Susmita
Hardcover
• Author(s): Bandyopadhyay | Susmita • Publisher: Taylor & Francis • Publisher Imprint: CRC Press • Subject: Computer Science and Information Technology • BISAC: Information ManagementThis book presents different tools and techniques used for...
View full detailsCase Studies In Secure Computing: Achievements and Trends
Biju Issac, Nauman Israr
Hardcover
• Author(s): Biju Issac | Nauman Israr • Publisher: Taylor & Francis • Publisher Imprint: Auerbach P • Subject: Computer Science and Information Technology • BISAC: Security - GeneralIn today's age of wireless and mobile computing, network an...
View full detailsUncertainty And Intelligent Information Systems
Bernadette Bouchon-Meunier, Christophe Marsala, Maria Rifqi
Hardcover
• Author(s): Bernadette Bouchon-Meunier | Christophe Marsala | Maria Rifqi • Publisher: World Scientific Pub • Publisher Imprint: World Sc. • Subject: Computer Science and Information Technology • BISAC: Artificial Intelligence - GeneralIntellige...
View full detailsComputational Prospects Of Infinity - Part Ii: Presented Talks
Chitat Chong, Others
Hardcover
• Author(s): Chitat Chong | Others • Publisher: World Scientific Pub • Publisher Imprint: World Sc. • Subject: Computer Science and Information Technology • BISAC: LogicThis volume is a collection of written versions of the talks given at the Wor...
View full detailsAn Introduction to Design Science
Paul Johannesson
Hardcover
• Author(s): Paul Johannesson • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Computer Science and Information Technology • BISAC: Software Development & Engineering - GeneralFrom the Back CoverThis book is an introducto...
View full detailsFundamentals of Computer Architecture and Design
Ahmet Bindal (
Hardcover
• Author(s): Ahmet Bindal ( • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Computer Science and Information Technology • BISAC: Electronics - Circuits - GeneralAbout the Book This textbook provides semester-length coverage ...
View full detailsClosing The Power Gap Between Asic & Custom: Tools and Techniques for Low Power Design
David Chinnery, Kurt Keutzer
Hardcover
• Author(s): David Chinnery | Kurt Keutzer • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Computer Science and Information Technology • BISAC: ElectricalFrom the Back CoverThis book carefully details design tools and techni...
View full detailsAnimated Program Design: Intermediate Program Design Using Video Game Development
Marco T. Morazán
Hardcover
• Author(s): Marco T. Morazán • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Computer Science and Information Technology • BISAC: Software Development & Engineering - GeneralFrom the Back CoverThis textbook presents a s...
View full detailsSoftware Design for Resilient Computer Systems
Igor Schagaev, Thomas Kaegi-Trachsel
Hardcover
• Author(s): Igor Schagaev | Thomas Kaegi-Trachsel • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Computer Science and Information Technology • BISAC: TelecommunicationsFrom the Back CoverThis book addresses the question of...
View full detailsMan-Machine Dialogue: Design and Challenges
Frederic Landragin
Hardcover
• Author(s): Frederic Landragin • Publisher: Wiley • Publisher Imprint: Wiley-ISTE • Subject: Computer Science and Information Technology • BISAC: Electronics - GeneralFrom the Back CoverThis book summarizes the main problems posed by the design ...
View full detailsDesign-Pattern Formalization Techniques
Toufik Taibi
Hardcover
• Author(s): Toufik Taibi • Publisher: IGI Global • Publisher Imprint: IGI Global • Subject: Computer Science and Information Technology • BISAC: Programming - GeneralAbout the Book Many formal approaches for pattern specification are emerging as...
View full detailsHardware Software Co-Design Of A Multimedia Soc Platform
Sao-Jie Chen, Guang-Huei Lin, Yu-Hen Hu
Hardcover
• Author(s): Sao-Jie Chen | Guang-Huei Lin | Yu-Hen Hu • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Computer Science and Information Technology • BISAC: Hardware - Personal Computers - GeneralFrom the Back CoverSystem on ...
View full detailsPractical Robot Design: Game Playing Robots
Jagannathan Kanniah, M. Fikret Ercan, Carlos A. Acosta Calderon
Hardcover
• Author(s): Jagannathan Kanniah | M. Fikret Ercan | Carlos A. Acosta Calderon • Publisher: Taylor & Francis • Publisher Imprint: CRC Press • Subject: Computer Science and Information Technology • BISAC: ElectricalDesigned for beginners, unde...
View full detailsAdvanced Automated Software Testing: Frameworks for Refined Practice
Alsmadi
Hardcover
• Author(s): Alsmadi • Publisher: Idea Group,U.S. • Publisher Imprint: Idea Group,U.S. • Subject: Computer Science and Information Technology • BISAC: ComputersSoftware testing is needed to assess the quality of developed software. However, it co...
View full detailsCad For Control Systems
Derek A. Linkens
Hardcover
• Author(s): Derek A. Linkens • Publisher: Taylor & Francis • Publisher Imprint: CRC Press • Subject: Computer Science and Information Technology • BISAC: RoboticsAbout the Book This comprehensive collection brings together current informatio...
View full detailsSoftware Patterns, Knowledge Maps, And Domain Analysis
Mohamed Fayad, Huascar A. Sanchez, Srikanth G.K. Hegde
Hardcover
• Author(s): Mohamed Fayad | Huascar A. Sanchez | Srikanth G.K. Hegde • Publisher: Taylor & Francis • Publisher Imprint: Auerbach P • Subject: Computer Science and Information Technology • BISAC: Engineering (General)Software design patterns ...
View full detailsAutomotive Software Architectures: An Introduction
Miroslaw Staron
Hardcover
• Author(s): Miroslaw Staron • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Computer Science and Information Technology • BISAC: Software Development & Engineering - GeneralFrom the Back CoverThis book introduces the co...
View full detailsReconfigurable And Adaptive Computing: Theory and Applications
Chao Wang
Hardcover
• Author(s): Chao Wang • Publisher: Taylor & Francis • Publisher Imprint: Chapman Hall • Subject: Computer Science and Information Technology • BISAC: Computer EngineeringReconfigurable computing techniques and adaptive systems are some of th...
View full detailsComputational Complexity
Oded Goldreich
Hardcover
• Author(s): Oded Goldreich • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • Subject: Computer Science and Information Technology • BISAC: ComputersThis book offers a comprehensive perspective to modern to...
View full detailsAlgorithms for Functional Programming-
Stone
Hardcover
• Author(s): Stone • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Computer Science and Information Technology • BISAC: Programming - AlgorithmsAbout the Book This book presents a variety of widely used algorithms, expressin...
View full detailsAlgorithmic Foundation Of Robotics Vii: Selected Contributions of the Seventh Interl. Workshop on the Algorithmic Foundations of Robotics
Srinivas Akella, Nancy M. Amato, Wesley Huang
Hardcover
• Author(s): Srinivas Akella | Nancy M. Amato | Wesley Huang • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Engineering • BISAC: RoboticsFrom the Back CoverAlgorithms are a fundamental component of robotic systems: they con...
View full detailsMachine Learning Crash Course For Engineers
Hardcover
• Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Computer Science and Information Technology • BISAC: Artificial Intelligence - GeneralMachine Learning Crash Course for Engineers is a reader-friendly introductory guide to m...
View full detailsThe Discrete Math Workbook: A Companion Manual Using Python
Kurgalin, Sergei
Hardcover
• Author(s): Kurgalin | Sergei • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Computer Science and Information Technology • BISAC: Data Science - GeneralFrom the Back CoverThis practically-focused study guide introduces the...
View full detailsSpecification And Proof In Real Time Csp
Jim Davies
Hardcover
• Author(s): Jim Davies • Publisher: Cambridge UP • Publisher Imprint: Cambridge • Subject: Computer Science and Information Technology • BISAC: Data Science - GeneralAbout the Book Computing systems are becoming highly complex, harder to underst...
View full detailsThe Discovery of a Visual System: The Honeybee
Adrian Horridge
Hardcover
• Author(s): Adrian Horridge • Publisher: CABI • Publisher Imprint: CABI • Subject: Computer Science and Information Technology • BISAC: Life Sciences - Zoology - InvertebratesThis book is the only account of what honeybees actually see. Bees det...
View full detailsAn Approach To Modelling Software Evolution Processes
Tong Li
Hardcover
• Author(s): Tong Li • Publisher: Springer Verlag • Publisher Imprint: Springer V • Subject: Computer Science and Information Technology • BISAC: Software Development & Engineering - GeneralAn Approach to Modelling Software Evolution Processe...
View full detailsModelling Perception With Artificial Neural Networks
Colin R. Tosh
Hardcover
• Author(s): Colin R. Tosh • Publisher: Cambridge UP • Publisher Imprint: Cambridge • Subject: Computer Science and Information Technology • BISAC: NeuroscienceAbout the Book Studies of the evolution of animal signals and sensory behaviour have m...
View full detailsCloud Management And Security
Abbadi
Hardcover
• Author(s): Abbadi • Publisher: Wiley • Publisher Imprint: Wiley • Subject: Computer Science and Information Technology • BISAC: TelecommunicationsAbout the Book Written by an expert with over 15 years' experience in the field, this book establi...
View full detailsHyperconnectivity: Economical Social And Environmental Challenges
Carr
Hardcover
• Author(s): Carr • Publisher: Wiley • Publisher Imprint: Wiley-ISTE • Subject: Computer Science and Information Technology • BISAC: Information TechnologyThe use of digital information and communication technologies would be the traces of a soci...
View full detailsArtificial Neural Networks: Methods and Applications
David J. Livingstone
Hardcover
• Author(s): David J. Livingstone • Publisher: Springer Verlag • Publisher Imprint: Humana • Subject: Computer Science and Information Technology • BISAC: NeurologyFrom the Back CoverAs an extension of artificial intelligence research, artificial...
View full detailsCommunicating Embedded Systems: Software and Design
Claude Jard, Olivier H. Roux
Hardcover
• Author(s): Claude Jard | Olivier H. Roux • Publisher: Wiley • Publisher Imprint: Wiley-Blac • Subject: Computer Science and Information Technology • BISAC: Computer EngineeringThe increased complexity of embedded systems coupled with quick desi...
View full details