Arama Sonuçları Logic. - Daraltılmış: Engineering.

Separation Logic for High-level Synthesis

2026-07-21T17:11:31Z

by Winterstein, Felix. author.
http://dx.doi.org/10.1007/978-3-319-53222-6
Format: Elektronik Kaynak

Non-logic Devices in Logic Processes

2026-07-21T17:11:31Z

by Ma, Yanjun. author.
http://dx.doi.org/10.1007/978-3-319-48339-9
Format: Elektronik Kaynak

New Approaches for Memristive Logic Computations

2026-07-21T17:11:31Z

by Aljafar, Muayad Jaafar, author.
http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10825749
Format: Kitap

Digital Systems From Logic Gates to Processors

2026-07-21T17:11:31Z

by Deschamps, Jean-Pierre. author.
http://dx.doi.org/10.1007/978-3-319-41198-9
Format: Elektronik Kaynak

New Data Structures and Algorithms for Logic Synthesis and Verification

2026-07-21T17:11:31Z

by Amaru, Luca Gaetano. author.
http://dx.doi.org/10.1007/978-3-319-43174-1
Format: Elektronik Kaynak

Introduction to Logic Circuits & Logic Design with Verilog

2026-07-21T17:11:31Z

by LaMeres, Brock J. author.
http://dx.doi.org/10.1007/978-3-319-53883-9
Format: Elektronik Kaynak

On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy Logic

2026-07-21T17:11:31Z

by Trillas, Enric. author.
http://dx.doi.org/10.1007/978-3-319-56053-3
Format: Elektronik Kaynak

Introduction to Logic Circuits & Logic Design with VHDL

2026-07-21T17:11:31Z

by LaMeres, Brock J. author.
http://dx.doi.org/10.1007/978-3-319-34195-8
Format: Elektronik Kaynak

A Platform-Based Approach to Verification and Synthesis of Linear Temporal Logic Specifications

2026-07-21T17:11:31Z

by Iannopollo, Antonio, author.
http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:13423777
Format: Kitap

Fuzzy Logic Based Power-Efficient Real-Time Multi-Core System

2026-07-21T17:11:31Z

by Ahmed, Jameel. author.
http://dx.doi.org/10.1007/978-981-10-3120-5
Format: Elektronik Kaynak

A First Course in Fuzzy Logic, Fuzzy Dynamical Systems, and Biomathematics Theory and Applications

2026-07-21T17:11:31Z

by de Barros, Laécio Carvalho. author.
http://dx.doi.org/10.1007/978-3-662-53324-6
Format: Elektronik Kaynak

Fuzzy Logic for Image Processing A Gentle Introduction Using Java

2026-07-21T17:11:31Z

by Caponetti, Laura. author.
http://dx.doi.org/10.1007/978-3-319-44130-6
Format: Elektronik Kaynak

Quantitative Logic and Soft Computing 2016 Proceedings of the 4th International Conference on Quantitative Logic and Soft Computing (QLSC2016) held at Hangzhou, China, 14-17 October, 2016

2026-07-21T17:11:31Z

by Fan, Tai-He. editor.
http://dx.doi.org/10.1007/978-3-319-46206-6
Format: Elektronik Kaynak

Electromigration Inside Logic Cells Modeling, Analyzing and Mitigating Signal Electromigration in NanoCMOS

2026-07-21T17:11:31Z

by Posser, Gracieli. author.
http://dx.doi.org/10.1007/978-3-319-48899-8
Format: Elektronik Kaynak

Edge Detection Methods Based on Generalized Type-2 Fuzzy Logic

2026-07-21T17:11:31Z

by Gonzalez, Claudia I. author.
http://dx.doi.org/10.1007/978-3-319-53994-2
Format: Elektronik Kaynak

Fundamentals of Electronic Systems Design

2026-07-21T17:11:31Z

by Lienig, Jens. author.
http://dx.doi.org/10.1007/978-3-319-55840-0
Format: Elektronik Kaynak

Intuitionistic Fuzzy Logics

2026-07-21T17:11:31Z

by T. Atanassov, Krassimir. author.
http://dx.doi.org/10.1007/978-3-319-48953-7
Format: Elektronik Kaynak

From Variability Tolerance to Approximate Computing in Parallel Integrated Architectures and Accelerators

2026-07-21T17:11:31Z

by Rahimi, Abbas. author.
http://dx.doi.org/10.1007/978-3-319-53768-9
Format: Elektronik Kaynak

Testing of Interposer-Based 2.5D Integrated Circuits

2026-07-21T17:11:31Z

by Wang, Ran. author.
http://dx.doi.org/10.1007/978-3-319-54714-5
Format: Elektronik Kaynak

Springer Handbook of Model-Based Science

2026-07-21T17:11:31Z

by Magnani, Lorenzo. editor.
http://dx.doi.org/10.1007/978-3-319-30526-4
Format: Elektronik Kaynak

Next Generation Spin Torque Memories

2026-07-21T17:11:31Z

by Kaushik, Brajesh Kumar. author.
http://dx.doi.org/10.1007/978-981-10-2720-8
Format: Elektronik Kaynak

Electronics for Embedded Systems

2026-07-21T17:11:31Z

by Bindal, Ahmet. author.
http://dx.doi.org/10.1007/978-3-319-39439-8
Format: Elektronik Kaynak

Fundamentals of IP and SoC Security Design, Verification, and Debug

2026-07-21T17:11:31Z

by Bhunia, Swarup. editor.
http://dx.doi.org/10.1007/978-3-319-50057-7
Format: Elektronik Kaynak

Foundations of Hardware IP Protection

2026-07-21T17:11:31Z

by Bossuet, Lilian. editor.
http://dx.doi.org/10.1007/978-3-319-50380-6
Format: Elektronik Kaynak

Formal Methods for Discrete-Time Dynamical Systems

2026-07-21T17:11:31Z

by Belta, Calin. author.
http://dx.doi.org/10.1007/978-3-319-50763-7
Format: Elektronik Kaynak

Uncertainty Modeling Dedicated to Professor Boris Kovalerchuk on his Anniversary

2026-07-21T17:11:31Z

by Kreinovich, Vladik. editor.
http://dx.doi.org/10.1007/978-3-319-51052-1
Format: Elektronik Kaynak

Advances in Intelligent Process-Aware Information Systems Concepts, Methods, and Technologies

2026-07-21T17:11:31Z

by Grambow, Gregor. editor.
http://dx.doi.org/10.1007/978-3-319-52181-7
Format: Elektronik Kaynak

Fault Diagnosis and Fault-Tolerant Control Based on Adaptive Control Approach

2026-07-21T17:11:31Z

by Shen, Qikun. author.
http://dx.doi.org/10.1007/978-3-319-52530-3
Format: Elektronik Kaynak

Optimization of Type-2 Fuzzy Controllers Using the Bee Colony Algorithm

2026-07-21T17:11:31Z

by Amador, Leticia. author.
http://dx.doi.org/10.1007/978-3-319-54295-9
Format: Elektronik Kaynak

Computer-Aided Design of Microfluidic Very Large Scale Integration (mVLSI) Biochips Design Automation, Testing, and Design-for-Testability

2026-07-21T17:11:31Z

by Hu, Kai. author.
http://dx.doi.org/10.1007/978-3-319-56255-1
Format: Elektronik Kaynak

Introduction to Morphogenetic Computing

2026-07-21T17:11:31Z

by Resconi, Germano. author.
http://dx.doi.org/10.1007/978-3-319-57615-2
Format: Elektronik Kaynak

Trends in Software Testing

2026-07-21T17:11:31Z

by Mohanty, Hrushikesha. editor.
http://dx.doi.org/10.1007/978-981-10-1415-4
Format: Elektronik Kaynak

Advances in Computational Intelligence Proceedings of International Conference on Computational Intelligence 2015

2026-07-21T17:11:31Z

by Sahana, Sudip Kumar. editor.
http://dx.doi.org/10.1007/978-981-10-2525-9
Format: Elektronik Kaynak

PLD Based Design with VHDL RTL Design, Synthesis and Implementation

2026-07-21T17:11:31Z

by Taraate, Vaibbhav. author.
http://dx.doi.org/10.1007/978-981-10-3296-7
Format: Elektronik Kaynak

Granular, Soft and Fuzzy Approaches for Intelligent Systems Dedicated to Professor Ronald R. Yager

2026-07-21T17:11:31Z

by Kacprzyk, Janusz. editor.
http://dx.doi.org/10.1007/978-3-319-40314-4
Format: Elektronik Kaynak

Hesitant Fuzzy Methods for Multiple Criteria Decision Analysis

2026-07-21T17:11:31Z

by Zhang, Xiaolu. author.
http://dx.doi.org/10.1007/978-3-319-42001-1
Format: Elektronik Kaynak

Designing with Computational Intelligence

2026-07-21T17:11:31Z

by Nedjah, Nadia. editor.
http://dx.doi.org/10.1007/978-3-319-44735-3
Format: Elektronik Kaynak

Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach

2026-07-21T17:11:31Z

by Zhan, Naijun. author.
http://dx.doi.org/10.1007/978-3-319-47016-0
Format: Elektronik Kaynak

Development of an Intelligent Control System for Integrated Airframe-propulsion Control of Aircrafts

2026-07-21T17:11:31Z

by Terrell, Kevin E., author.
http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10787002
Format: Kitap

Hardware Protection through Obfuscation

2026-07-21T17:11:31Z

by Forte, Domenic. editor.
http://dx.doi.org/10.1007/978-3-319-49019-9
Format: Elektronik Kaynak

Uncertain Rule-Based Fuzzy Systems Introduction and New Directions, 2nd Edition

2026-07-21T17:11:31Z

by Mendel, Jerry M. author.
http://dx.doi.org/10.1007/978-3-319-51370-6
Format: Elektronik Kaynak

Fractional Order Control and Synchronization of Chaotic Systems

2026-07-21T17:11:31Z

by Azar, Ahmad Taher. editor.
http://dx.doi.org/10.1007/978-3-319-50249-6
Format: Elektronik Kaynak

Robot Operating System (ROS) The Complete Reference (Volume 2)

2026-07-21T17:11:31Z

by Koubaa, Anis. editor.
http://dx.doi.org/10.1007/978-3-319-54927-9
Format: Elektronik Kaynak

Green IT Engineering: Components, Networks and Systems Implementation

2026-07-21T17:11:31Z

by Kharchenko, Vyacheslav. editor.
http://dx.doi.org/10.1007/978-3-319-55595-9
Format: Elektronik Kaynak

Proceedings of 2nd International Conference on Intelligent Computing and Applications ICICA 2015

2026-07-21T17:11:31Z

by Deiva Sundari, P. editor.
http://dx.doi.org/10.1007/978-981-10-1645-5
Format: Elektronik Kaynak

Proceedings of Sixth International Conference on Soft Computing for Problem Solving SocProS 2016, Volume 1

2026-07-21T17:11:31Z

by Deep, Kusum. editor.
http://dx.doi.org/10.1007/978-981-10-3322-3
Format: Elektronik Kaynak

Proceedings of Sixth International Conference on Soft Computing for Problem Solving SocProS 2016, Volume 2

2026-07-21T17:11:31Z

by Deep, Kusum. editor.
http://dx.doi.org/10.1007/978-981-10-3325-4
Format: Elektronik Kaynak

Advances in Complex Societal, Environmental and Engineered Systems

2026-07-21T17:11:31Z

by Nemiche, Mohamed. editor.
http://dx.doi.org/10.1007/978-3-319-46164-9
Format: Elektronik Kaynak

Nature-Inspired Design of Hybrid Intelligent Systems

2026-07-21T17:11:31Z

by Melin, Patricia. editor.
http://dx.doi.org/10.1007/978-3-319-47054-2
Format: Elektronik Kaynak

Biometric Security and Privacy Opportunities & Challenges in The Big Data Era

2026-07-21T17:11:31Z

by Jiang, Richard. editor.
http://dx.doi.org/10.1007/978-3-319-47301-7
Format: Elektronik Kaynak

High-Frequency Bidirectional DC-DC Converters for Electric Vehicle Applications

2026-07-21T17:11:31Z

by He, Peiwen, author. (orcid)0000-0001-9453-7957
http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10790691
Format: Kitap

Towards Swarm-based Design: Distributed and Materially-tunable Digital Fabrication across Scales

2026-07-21T17:11:31Z

by Kayser, Markus, author.
http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10902452
Format: Kitap

Intelligent Decision Support Systems for Sustainable Computing Paradigms and Applications

2026-07-21T17:11:31Z

by Sangaiah, Arun Kumar. editor.
http://dx.doi.org/10.1007/978-3-319-53153-3
Format: Elektronik Kaynak

Business Resilience System (BRS): Driven Through Boolean, Fuzzy Logics and Cloud Computation Real and Near Real Time Analysis and Decision Making System

2026-07-21T17:11:31Z

by Zohuri, Bahman. author.
http://dx.doi.org/10.1007/978-3-319-53417-6
Format: Elektronik Kaynak

Agent and Multi-Agent Systems: Technology and Applications 11th KES International Conference, KES-AMSTA 2017 Vilamoura, Algarve, Portugal, June 2017 Proceedings

2026-07-21T17:11:31Z

by Jezic, Gordan. editor.
http://dx.doi.org/10.1007/978-3-319-59394-4
Format: Elektronik Kaynak

Proceedings of the International Conference on Nano-electronics, Circuits & Communication Systems

2026-07-21T17:11:31Z

by Nath, Vijay. editor.
http://dx.doi.org/10.1007/978-981-10-2999-8
Format: Elektronik Kaynak

Advances in Unconventional Computing Volume 2: Prototypes, Models and Algorithms

2026-07-21T17:11:31Z

by Adamatzky, Andrew. editor.
http://dx.doi.org/10.1007/978-3-319-33921-4
Format: Elektronik Kaynak

Advances in Unconventional Computing Volume 1: Theory

2026-07-21T17:11:31Z

by Adamatzky, Andrew. editor.
http://dx.doi.org/10.1007/978-3-319-33924-5
Format: Elektronik Kaynak

The Fundamentals of Computational Intelligence: System Approach

2026-07-21T17:11:31Z

by Zgurovsky, Mikhail Z. author.
http://dx.doi.org/10.1007/978-3-319-35162-9
Format: Elektronik Kaynak

Graph-Based Modelling in Engineering

2026-07-21T17:11:31Z

by Zawiślak, Stanisław. editor.
http://dx.doi.org/10.1007/978-3-319-39020-8
Format: Elektronik Kaynak

Recent Contributions in Intelligent Systems

2026-07-21T17:11:31Z

by Sgurev, Vassil. editor.
http://dx.doi.org/10.1007/978-3-319-41438-6
Format: Elektronik Kaynak

A World with Robots International Conference on Robot Ethics: ICRE 2015

2026-07-21T17:11:31Z

by Aldinhas Ferreira, Maria Isabel. editor.
http://dx.doi.org/10.1007/978-3-319-46667-5
Format: Elektronik Kaynak

Computational Intelligence International Joint Conference, IJCCI 2015 Lisbon, Portugal, November 12-14, 2015, Revised Selected Papers

2026-07-21T17:11:31Z

by Merelo, Juan Julián. editor.
http://dx.doi.org/10.1007/978-3-319-48506-5
Format: Elektronik Kaynak

The hands-on XBEE lab manual experiments that teach you XBEE wirelesss communications

2026-07-21T17:11:31Z

by Titus, Jonathan A.
ScienceDirect http://www.sciencedirect.com/science/book/9780123914040
Format: Elektronik Kaynak

Shock & Vibration, Aircraft/Aerospace, Energy Harvesting, Acoustics & Optics, Volume 9 Proceedings of the 35th IMAC, A Conference and Exposition on Structural Dynamics 2017

2026-07-21T17:11:31Z

by Harvie, Julie M. editor.
http://dx.doi.org/10.1007/978-3-319-54735-0
Format: Elektronik Kaynak

Proceedings of the International Conference on Data Engineering and Communication Technology ICDECT 2016, Volume 2

2026-07-21T17:11:31Z

by Satapathy, Suresh Chandra. editor.
http://dx.doi.org/10.1007/978-981-10-1678-3
Format: Elektronik Kaynak

Innovative Design and Development Practices in Aerospace and Automotive Engineering I-DAD, February 22 - 24, 2016

2026-07-21T17:11:31Z

by Bajpai, Ram P. editor.
http://dx.doi.org/10.1007/978-981-10-1771-1
Format: Elektronik Kaynak

Proceedings of the 5th International Conference on Frontiers in Intelligent Computing: Theory and Applications FICTA 2016, Volume 1

2026-07-21T17:11:31Z

by Satapathy, Suresh Chandra. editor.
http://dx.doi.org/10.1007/978-981-10-3153-3
Format: Elektronik Kaynak

Proceeding of International Conference on Intelligent Communication, Control and Devices ICICCD 2016

2026-07-21T17:11:31Z

by Singh, Rajesh. editor.
http://dx.doi.org/10.1007/978-981-10-1708-7
Format: Elektronik Kaynak