Search results for “[Subject: logic-design]”
Filters
- CABI
- Cambridge University Press
- Cambridge UP
- Idea Group,U.S.
- IGI Global
- Jubilee Bridges
- OUP Oxford
- Springer Verlag
- T&F
- Taylor & Francis Group
- Taylor & Francis Ltd
- Wiley
- World Scientific Pub
- 5m Publishing
- 5starcooks
- 12th Media Services
- 360 Total Solution Limited
- A K Peters
- A K PETERS
- A.O.K. Publishing
- Aaron Brummet
- ABC-CLIO
- Abdenal Carvalho
- Abhiram Indrarajan
- Ablex Publishing Corporation
- ABRAMS
- Academic
- Academic Medical Press (Division of Academic
- Academic Press
- Academic Studies Press
- Achieve2day
- ACM
- Activibooks
- Activity Crusades
- Addison Press
- Addison-Wesley Professional
- Advanced Reasoning Forum
- Agenda Publishing
- Aj Carmichael
- Akasha Classics
- 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 Geophysical Union
- American Library Association
- American Literatures Initiative
- American Medical Publishers
- American Mystery Classics
- 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
- Apex Test Prep
- 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
- Assoc of College & Research Libraries
- Associacao Brasileira de Psicanalise - Abraps
- ASTD
- Atlantic Monthly Press
- Atlantic Publishers & Distributors (P) Ltd
- Atlas Vista Publisher
- Auerbach Publications
- Austin Macauley
- Authorhouse
- Authorhouse UK
- Authors Crib
- AV Akademikerverlag
- Auerbach P
- CABI
- Cambridge
- Cambridge University Press
- CRC Press
- CRC/CH
- Idea Group,U.S.
- IGI Global
- Jubilee Bridges
- Mar Dekker
- OUP Oxford
- Routledge
- Springer
- Springer V
- Springer Verlag
- Taylor & Francis Ltd
- Wiley
- Wiley-Blac
- Wiley-VCH
- World Sc.
- 5m Publishing
- 5starcooks
- 12th Media Services
- 360 Total Solution Limited
- A K PETERS
- A K Peters/CRC Press
- A.O.K. Publishing
- Aaron Brummet
- ABC-CLIO
- Abdenal Carvalho
- Abhiram Indrarajan
- Ablex Publishing Corporation
- ABRAMS
- Acad Pr
- Academic
- Academic Medical Press (Division of Academic
- Academic Press
- Academic Studies Press
- Achieve2day
- ACM
- Activibooks
- Activity Crusades
- Addison Press
- Addison-Wesley Professional
- Advanced Reasoning Forum
- Agenda Publishing
- Aj Carmichael
- Akasha Classics
- 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 Geophysical Union
- American Institute of Physics
- American Library Association
- American Literatures Initiative
- American Medical Publishers
- American Mystery Classics
- American Pancreatic Association
- American Psychiatric Publishing
- AmericanGU
- 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
- Apex Test Prep
- Apple Acad
- 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
- ASTD
- AV Akademikerverlag
- Archaeology
- Architecture & Interior Designs
- Bio-Science and Agriculture
- Business Management
- Chemistry
- Communication, Mass Media and Journalism
- Computer Science and Information Technology
- Creative Writing, Fiction
- Dictionary, Thesaurus, Encyclopedia & Atlas
- Earth-Science/Environment
- Economics
- Education & Psychology
- Encyclopaedias and References
- Engineering
- English Literature
- Fashion & Textile
- Fine Arts
- Fisheries & Aquaculture
- Food Science & Technology
- Gardening
- General Books
- Graphic Design & Animation
- 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
- Career Counselling
- Children Books
- Cookery & Food Services
- Foreign Languages
- Magic & Alchemy
- Abbadi
- Adrian Horridge
- Ahmet Bindal (
- Alsmadi
- Bandyopadhyay
- Bernadette Bouchon-Meunier
- Biju Issac
- Chao Wang
- Chitat Chong
- Chris A. Vissers
- David Chinnery
- Derek A. Linkens
- Gabbay
- Han
- Heinz
- HOGAN
- Igor Schagaev
- Jagannathan Kanniah
- Jiangzhou Wang
- Jim Davies
- Karl M. Fant
- Keshav Kaushik
- Kounev
- Kurgalin
- Lee Chao
- Linda Rising
- Marco T. Morazán
- Miroslaw Staron
- Mohamed Fayad
- Mourad Chabane Oussalah
- O'Regan
- Oded Goldreich
- Paul Johannesson
- Rachel Beth Egenhoefer
- Sao-Jie Chen
- Stone
- Sufyan bin Uzayr
- Thomas Hempel
- Tong Li
- Toufik Taibi
- Tran Quoc Khanh
- Warren J. Gross
- Witold Pedrycz
- Yi Chen
-  سمعان
- بوزين
- ካሣሁ Kassahun Alemu
- 孙成刚
- 殷海光
- A Nagoor Kani
- A Student
- A. a. Koios
- A. A. Long
- A. Alexiadou
- A. Arnold
- A. Baudisch
- A. C. Grayling
- A. C. Phillips
- A. Chrudzimski
- A. D. Rätselwelt
- A. Demandre
- A. Ershov
- A. G. Hamilton
- A. G. Kusraev
- A. G. Pinus
- A. G. Wedderspoon
- A. Grear
- A. H. Agajanian
- A. J. Haas
- A. J. Moulson
- A. John Pendlebury
- A. K. Saxena
- A. Kasher
- A. Khinchin
- A. L. Ralescu
- A. Lincoln Barker
- A. Lover of Truth Citizen of Glasgow
- A. M. Donald
- A. Menne
- A. Mohamed Emary
- A. Moment to Dream
- A. N. Prior
- A. Nag
- A. P. Schaffarczyk
- A. Ross Johnson
- A. S. Tritton
- A. S. Troelstra
- A. Wolf
- A.A. Hodgson
- A.C. Newton
- A.M. Alonso-Zarza
- A.M. Viens
- A.R. Kapuscinski
- A.S. Kechris
- A.S. Tritton
- Aaron Aquilina
- Aaron Brummet
- ACT
- ANDERSON
- AVI Sion
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 detailsArchitectural Design: Conception and Specification of Interactive Systems
Chris A. Vissers, Luís Ferreira Pires, Dick A.C. Quartel
Hardcover
• Author(s): Chris A. Vissers | Luís Ferreira Pires | Dick A.C. Quartel • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Computer Science and Information Technology • BISAC: Software Development & Engineering - Project Ma...
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 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 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 detailsThink in 4D: Design brilliant user experiences and valuable digital products
Heinz, Erica
Hardcover
• Author(s): Heinz | Erica • Publisher: MIXIUK • Publisher Imprint: MIXIUK • Subject: Computer Science and Information Technology • BISAC: Internet - Web DesignThink in 4D is a book about product experience design: how to think holistically, crea...
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 detailsGranular Computing: Analysis and Design of Intelligent Systems
Witold Pedrycz
Hardcover
• Author(s): Witold Pedrycz • Publisher: Taylor & Francis • Publisher Imprint: CRC Press • Subject: Computer Science and Information Technology • BISAC: Artificial Intelligence - GeneralInformation granules, as encountered in natural language...
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 detailsComputer Science Reconsidered: The Invocation Model of Process Expression
Karl M. Fant
Hardcover
• Author(s): Karl M. Fant • Publisher: Wiley • Publisher Imprint: Wiley-Blac • Subject: Computer Science and Information Technology • BISAC: Computer ScienceFrom the Back CoverA groundbreaking, seminal work that challenges the theoretical foundat...
View full detailsSoftware Design Patterns
Sufyan bin Uzayr
Hardcover
• Author(s): Sufyan bin Uzayr • Publisher: Taylor & Francis Ltd • Publisher Imprint: Taylor & Francis Ltd • Subject: Computer Science and Information Technology • BISAC: ComputersSoftware Design Patterns are reusable solutions to software...
View full detailsRoutledge Handbook of Sustainable Design
Rachel Beth Egenhoefer
Hardcover
• Author(s): Rachel Beth Egenhoefer • Publisher: Taylor & Francis • Publisher Imprint: Routledge • Subject: Computer Science and Information Technology • BISAC: Sustainability & Green DesignThe Routledge Handbook of Sustainable Design con...
View full detailsDesign Patterns In Communications Software
Linda Rising, Douglas C. Schmidt
Hardcover
• Author(s): Linda Rising | Douglas C. Schmidt • Publisher: Cambridge UP • Publisher Imprint: Cambridge • Subject: Computer Science and Information Technology • BISAC: Software Development & Engineering - GeneralThis definitive compendium of ...
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 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 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 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 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 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 detailsUsability Of Speech Dialog Systems: Listening to the Target Audience
Thomas Hempel
Hardcover
• Author(s): Thomas Hempel • Publisher: Springer Verlag • Publisher Imprint: Springer V • Subject: Computer Science and Information Technology • BISAC: User InterfacesFrom the Back Cover Even economically successful automatic speech dialog system...
View full detailsSoftware Architecture
Mourad Chabane Oussalah
Hardcover
• Author(s): Mourad Chabane Oussalah • Publisher: Wiley • Publisher Imprint: Wiley-ISTE • Subject: Computer Science and Information Technology • BISAC: Computer ArchitectureOver the past 20 years, software architectures have significantly contrib...
View full detailsStochastic Computing: Techniques and Applications
Warren J. Gross
Hardcover
• Author(s): Warren J. Gross • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Computer Science and Information Technology • BISAC: Electronics - Circuits - GeneralThis book covers the history and recent developments of stocha...
View full detailsAdvanced Smart Computing Technologies in Cybersecurity and Forensics
Keshav Kaushik
Hardcover
• Author(s): Keshav Kaushik • Publisher: Taylor & Francis • Publisher Imprint: CRC Press • Subject: Computer Science and Information Technology • BISAC: Security - Cryptography & EncryptionThis book addresses the topics related to artific...
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 details