Digitaltechnik [[electronic resource] ] : Grundlagen, VHDL, FPGAs, Mikrocontroller / / von Winfried Gehrke, Marco Winzker, Klaus Urbanski, Roland Woitowitz |
Autore | Gehrke Winfried |
Edizione | [7th ed. 2016.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Vieweg, , 2016 |
Descrizione fisica | 1 online resource (XXIII, 560 S. 315 Abb.) |
Disciplina | 621.381 |
Collana | Springer-Lehrbuch |
Soggetto topico |
Electronics
Microelectronics Electrical engineering Computer hardware Electronics and Microelectronics, Instrumentation Communications Engineering, Networks Computer Hardware |
ISBN | 3-662-49731-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Nota di contenuto | Einführung -- Digitale Codierung von Informationen -- Einführung in VHDL -- Kombinatorische Schaltungen -- Sequentielle Schaltungen -- Schaltungsstrukturen -- Realisierung digitaler Schaltungen -- VHDL Vertiefung -- Programmierbare Logik -- Halbleitertechnik -- Speicher -- Analog-Digital- und Digital-Analog-Umsetzer -- Grundlagen der Mikroprozessortechnik -- Mikrocontroller. |
Record Nr. | UNINA-9910483427103321 |
Gehrke Winfried | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Vieweg, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Distributed Algorithms for Message-Passing Systems [[electronic resource] /] / by Michel Raynal |
Autore | Raynal Michel |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XXXI, 500 p.) |
Disciplina | 004.36 |
Soggetto topico |
Computers
Computer communication systems Computer programming Computer hardware Theory of Computation Computer Communication Networks Programming Techniques Computer Hardware |
ISBN | 3-642-38123-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Part I Distributed Graph Algorithms -- Chap. 1 Base Definitions and Network Traversal Algorithms -- Chap. 2 Distributed Graph Algorithms -- Chap. 3 An Algorithmic Framework to Compute Global Functions on a Process Graph -- Chap. 4 Leader Election Algorithms -- Chap. 5 Mobile Objects Navigating a Network -- Part II Logical Time and Global States in Distributed Systems -- Chap. 6 Nature of Distributed Computations and the Concept of a Global State -- Chap. 7 Logical Time in Asynchronous Distributed Systems -- Chap. 8 Asynchronous Distributed Checkpointing -- Chap. 9 Simulating Synchrony on Top of Asynchronous Systems -- Part III Mutual Exclusion and Resource Allocation -- Chap. 10 Permission-Based Mutual Exclusion Algorithms -- Chap. 11 Distributed Resource Allocation -- Part IV High-Level Communication Abstractions -- Chap. 12 Order Constraints on Message Delivery -- Chap. 13 Rendezvous and Synchronous Communication -- Part V Detection of Properties on Distributed Executions -- Chap. 14 Distributed Termination Detection -- Chap. 15 Distributed Deadlock Detection -- Part VI Distributed Shared Memory -- Chap. 16 Atomic Consistency (Linearizability) -- Chap. 17 Sequential Consistency -- Afterword -- Bibliography -- Index. |
Record Nr. | UNINA-9910437956803321 |
Raynal Michel | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
DNA Computing [[electronic resource] ] : 7th International Workshop on DNA-Based Computers, DNA7, Tampa, FL, USA, June 10-13, 2001, Revised Papers / / edited by Natasa Jonoska, Nadriaan C. Seeman |
Edizione | [1st ed. 2002.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Descrizione fisica | 1 online resource (XI, 392 p.) |
Disciplina | 511.3 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer hardware
Mathematical logic Computers Algorithms Artificial intelligence Bioinformatics Computer Hardware Mathematical Logic and Foundations Computation by Abstract Devices Algorithm Analysis and Problem Complexity Artificial Intelligence |
ISBN | 3-540-48017-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Experimental Tools -- An Object Oriented Simulation of Real Occurring Molecular Biological Processes for DNA Computing and Its Experimental Verification -- Towards Optimization of PCR Protocol in DNA Computing -- DNASequenceGenerator: A Program for the Construction of DNA Sequences -- DNA Computing in Microreactors -- Cascadable Hybridisation Transfer of Specific DNA between Microreactor Selection Modules -- Theoretical Tools -- Coding Properties of DNA Languages -- Boundary Components of Thickened Graphs -- Probabilistic Computational Models -- Population Computation and Majority Inference in Test Tube -- DNA Starts to Learn Poker -- PNA-mediated Whiplash PCR -- Computer Simulation and Sequence Design -- Biomolecular Computation in Virtual Test Tubes -- Developing Support System for Sequence Design in DNA Computing -- The Fidelity of the Tag-Antitag System -- PUNCH: An Evolutionary Algorithm for Optimizing Bit Set Selection -- Algorithms -- Solving Knapsack Problems in a Sticker Based Model -- A Clause String DNA Algorithm for SAT -- A Proposal of DNA Computing on Beads with Application to SAT Problems -- Experimental Solutions -- Aqueous Solutions of Algorithmic Problems: Emphasizing Knights on a 3 × 3 -- Solutions of Shortest Path Problems by Concentration Control -- Another Realization of Aqueous Computing with Peptide Nucleic Acid -- Experimental Confirmation of the Basic Principles of Length-only Discrimination -- Experimental Construction of Very Large Scale DNA Databases with Associative Search Capability -- Nano-tech Devices -- Operation of a Purified DNA Nanoactuator -- DNA Scissors -- Biomimetic Tools -- A Realization of Information Gate by Using Enterococcus faecalis Pheromone System -- Patterns of Micronuclear Genes in Ciliates -- Peptide Computing - Universality and Complexity -- Programmed Mutagenesis Is a Universal Model of Computation -- New Computing Models -- Horn Clause Computation by Self-assembly of DNA Molecules -- DNA-based Parallel Computation of Simple Arithmetic -- Splicing Systems and Membranes -- On P Systems with Global Rules -- Computing with Membranes: Variants with an Enhanced Membrane Handling -- Towards an Electronic Implementation of Membrane Computing: A Formal Description of Non-deterministic Evolution in Transition P Systems -- Insertion-Deletion P Systems -- A Universal Time-Varying Distributed H System of Degree 1 -- A Note on Graph Splicing Languages. |
Record Nr. | UNINA-9910143905303321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
DNA Computing [[electronic resource] ] : 7th International Workshop on DNA-Based Computers, DNA7, Tampa, FL, USA, June 10-13, 2001, Revised Papers / / edited by Natasa Jonoska, Nadriaan C. Seeman |
Edizione | [1st ed. 2002.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Descrizione fisica | 1 online resource (XI, 392 p.) |
Disciplina | 511.3 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer hardware
Mathematical logic Computers Algorithms Artificial intelligence Bioinformatics Computer Hardware Mathematical Logic and Foundations Computation by Abstract Devices Algorithm Analysis and Problem Complexity Artificial Intelligence |
ISBN | 3-540-48017-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Experimental Tools -- An Object Oriented Simulation of Real Occurring Molecular Biological Processes for DNA Computing and Its Experimental Verification -- Towards Optimization of PCR Protocol in DNA Computing -- DNASequenceGenerator: A Program for the Construction of DNA Sequences -- DNA Computing in Microreactors -- Cascadable Hybridisation Transfer of Specific DNA between Microreactor Selection Modules -- Theoretical Tools -- Coding Properties of DNA Languages -- Boundary Components of Thickened Graphs -- Probabilistic Computational Models -- Population Computation and Majority Inference in Test Tube -- DNA Starts to Learn Poker -- PNA-mediated Whiplash PCR -- Computer Simulation and Sequence Design -- Biomolecular Computation in Virtual Test Tubes -- Developing Support System for Sequence Design in DNA Computing -- The Fidelity of the Tag-Antitag System -- PUNCH: An Evolutionary Algorithm for Optimizing Bit Set Selection -- Algorithms -- Solving Knapsack Problems in a Sticker Based Model -- A Clause String DNA Algorithm for SAT -- A Proposal of DNA Computing on Beads with Application to SAT Problems -- Experimental Solutions -- Aqueous Solutions of Algorithmic Problems: Emphasizing Knights on a 3 × 3 -- Solutions of Shortest Path Problems by Concentration Control -- Another Realization of Aqueous Computing with Peptide Nucleic Acid -- Experimental Confirmation of the Basic Principles of Length-only Discrimination -- Experimental Construction of Very Large Scale DNA Databases with Associative Search Capability -- Nano-tech Devices -- Operation of a Purified DNA Nanoactuator -- DNA Scissors -- Biomimetic Tools -- A Realization of Information Gate by Using Enterococcus faecalis Pheromone System -- Patterns of Micronuclear Genes in Ciliates -- Peptide Computing - Universality and Complexity -- Programmed Mutagenesis Is a Universal Model of Computation -- New Computing Models -- Horn Clause Computation by Self-assembly of DNA Molecules -- DNA-based Parallel Computation of Simple Arithmetic -- Splicing Systems and Membranes -- On P Systems with Global Rules -- Computing with Membranes: Variants with an Enhanced Membrane Handling -- Towards an Electronic Implementation of Membrane Computing: A Formal Description of Non-deterministic Evolution in Transition P Systems -- Insertion-Deletion P Systems -- A Universal Time-Varying Distributed H System of Degree 1 -- A Note on Graph Splicing Languages. |
Record Nr. | UNISA-996465990603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Electromagnetic Information Leakage and Countermeasure Technique [[electronic resource] ] : Translated by Liu Jinming, Liu Ying, Zhang Zidong, Liu Tao / / by Taikang Liu, Yongmei Li |
Autore | Liu Taikang |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XIX, 246 p. 179 illus., 64 illus. in color.) |
Disciplina | 621.3 |
Soggetto topico |
Microwaves
Optical engineering Computer hardware Data structures (Computer science) System safety Microwaves, RF and Optical Engineering Computer Hardware Data Structures and Information Theory Security Science and Technology |
ISBN | 981-10-4352-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction -- Introduction EM information fundamental and leakage mechanism -- EM information interception and reproduction -- EM information leakage countermeasure technique -- EM information leakage countermeasure material -- Computer EM information leakage and countermeasure -- EM information Data processing -- EM information leakage testing -- Standards of EM information leakage and countermeasure. |
Record Nr. | UNINA-9910337600503321 |
Liu Taikang | ||
Singapore : , : Springer Singapore : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Embedded Multimedia Security Systems [[electronic resource] ] : Algorithms and Architectures / / by Amit Pande, Joseph Zambreno |
Autore | Pande Amit |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | London : , : Springer London : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (152 p.) |
Disciplina |
005.8
621.39 |
Soggetto topico |
Optical data processing
Multimedia information systems Computer hardware Data encryption (Computer science) Signal processing Image processing Speech processing systems Electronic circuits Image Processing and Computer Vision Multimedia Information Systems Computer Hardware Cryptology Signal, Image and Speech Processing Circuits and Systems |
ISBN |
1-283-62227-0
9786613934727 1-4471-4459-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Part I: Multimedia Systems -- Introduction -- Advances in Multimedia Encryption -- Securing Multimedia Content using Joint Compression and Encryption -- Part II: Examples -- Polymorphic Wavelet Transform -- The Secure Wavelet Transform -- Chaotic Filter Banks -- Chaotic Arithmetic Coding -- Conclusion. |
Record Nr. | UNINA-9910437568803321 |
Pande Amit | ||
London : , : Springer London : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Engineering Psychology and Cognitive Ergonomics [[electronic resource] ] : 16th International Conference, EPCE 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings / / edited by Don Harris |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XX, 440 p. 146 illus., 110 illus. in color.) |
Disciplina | 620.0042 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
User interfaces (Computer systems) Computer organization Computer security Computer hardware Artificial Intelligence User Interfaces and Human Computer Interaction Computer Systems Organization and Communication Networks Systems and Data Security Computer Hardware |
ISBN | 3-030-22507-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Mental workload and performance -- Visual cognition -- Cognitive psychology in aviation and space -- Group collaboration and decision making. |
Record Nr. | UNINA-9910349312903321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Engineering Psychology and Cognitive Ergonomics [[electronic resource] ] : 16th International Conference, EPCE 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings / / edited by Don Harris |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XX, 440 p. 146 illus., 110 illus. in color.) |
Disciplina | 620.0042 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
User interfaces (Computer systems) Computer organization Computer security Computer hardware Artificial Intelligence User Interfaces and Human Computer Interaction Computer Systems Organization and Communication Networks Systems and Data Security Computer Hardware |
ISBN | 3-030-22507-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Mental workload and performance -- Visual cognition -- Cognitive psychology in aviation and space -- Group collaboration and decision making. |
Record Nr. | UNISA-996466348803316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Evolvable Hardware [[electronic resource] ] : From Practice to Application / / by Martin A. Trefzer, Andy M. Tyrrell |
Autore | Trefzer Martin A |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XXVII, 411 p. 187 illus., 78 illus. in color.) |
Disciplina | 006.3823 |
Collana | Natural Computing Series |
Soggetto topico |
Artificial intelligence
Computational intelligence Algorithms Computer hardware Artificial Intelligence Computational Intelligence Algorithm Analysis and Problem Complexity Computer Hardware |
ISBN | 3-662-44616-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Evolution, Development & Evolvable Hardware -- Devices and Architectures for Evolutionary Hardware -- Representations and Algorithms -- Measurement and Fitness Function -- Overcoming Variability Through Transistor Reconfiguration: Evolvable Hardware on the PAnDA Architecture -- Functional Equivalence Checking for Evolution of Complex Digital Circuits -- Fault Tolerant Applications -- Principles and Applications of Polymorphic Circuits -- A Developmental Image Compression Technique Using Gene Regulatory Networks -- Medical Applications of Evolvable Hardware -- Metamorphic Systems: A Schema for Adaptive Autonomous Systems -- Hierarchical Networks-on-Chip Architecture for Neuromorphic Hardware -- Evolvable Robot Hardware -- Developmental Evolvable Hardware -- App. A, Evolvable Hardware Practice. |
Record Nr. | UNINA-9910734097803321 |
Trefzer Martin A | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Evolvable Systems: From Biology to Hardware [[electronic resource] ] : Third International Conference, ICES 2000, Edinburgh, Scotland, UK, April 17-19, 2000 Proceedings / / edited by Julian F. Miller, Adrian Thompson, Peter Thomson, Terence C. Fogarty |
Edizione | [1st ed. 2000.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
Descrizione fisica | 1 online resource (X, 290 p.) |
Disciplina | 005.1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Artificial intelligence
Computer engineering Computer hardware Computers Bioinformatics Computational biology Artificial Intelligence Computer Engineering Computer Hardware Computation by Abstract Devices Computer Appl. in Life Sciences |
ISBN | 3-540-46406-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Automatic Synthesis, Placement, and Routing of an Amplifier Circuit by Means of Genetic Programming -- Immunotronics : Hardware Fault Tolerance Inspired by the Immune System -- Ant Colony System for the Design of Combinational Logic Circuits -- Evolving Cellular Automata for Self-Testing Hardware -- Dynamic Optimisation of Non-linear Feed-Forward Circuits -- From the Sea to the Sidewalk: The Evolution of Hexapod Walking Gaits by a Genetic Algorithm -- Experiments in Evolvable Filter Design using Pulse Based Programmable Analogue VLSI Models -- The Intrinsic Evolution of Virtex Devices Through Internet Reconfigurable Logic -- Evolution of Controllers from a High-Level Simulator to a High DOF Robot -- The Evolution of 3-d C.A. to Perform a Collective Behavior Task -- Initial Evaluation of an Evolvable Microwave Circuit -- Towards an Artificial Pinna for a Narrow-Band Biomimetic Sonarhead -- Towards a Silicon Primordial Soup: A Fast Approach to Hardware Evolution with a VLSI Transistor Array -- Understanding Inherent Qualities of Evolved Circuits: Evolutionary History as a Predictor of Fault Tolerance -- Comparison between Three Heuristic Algorithms to Repair a Large-Scale MIMD Computer -- A Hardware Implementation of an Embryonic Architecture Using Virtex® FPGAs -- Everything on the Chip: A Hardware-Based Self-Contained Spatially-Structured Genetic Algorithm for Signal Processing -- Evolutionary Techniques in Physical Robotics -- Biology Meets Electronics: the Path to a Bio-Inspired FPGA -- The Design and Implementation of Custom Architectures for Evolvable Hardware Using Off-the-Shelf Programmable Devices -- Mixtrinsic Evolution -- Evolution of Robustness in an Electronics Design -- Circuit Evolution and Visualisation -- Evolutionary Robots with Fast Adaptive Behavior in New Environments -- The Advantages of Landscape Neutrality in Digital Circuit Evolution -- Genetic Algorithm-Based Design Methodology for Pattern Recognition Hardware -- A Flexible Model of a CMOS Field Programmable Transistor Array Targeted for Hardware Evolution. |
Record Nr. | UNINA-9910143633503321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|