top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Digitaltechnik [[electronic resource] ] : Grundlagen, VHDL, FPGAs, Mikrocontroller / / von Winfried Gehrke, Marco Winzker, Klaus Urbanski, Roland Woitowitz
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
Opac: Controlla la disponibilità qui
Distributed Algorithms for Message-Passing Systems [[electronic resource] /] / by Michel Raynal
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
Opac: Controlla la disponibilità qui
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
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
Opac: Controlla la disponibilità qui
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
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
Opac: Controlla la disponibilità qui
Electromagnetic Information Leakage and Countermeasure Technique [[electronic resource] ] : Translated by Liu Jinming, Liu Ying, Zhang Zidong, Liu Tao / / by Taikang Liu, Yongmei Li
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
Opac: Controlla la disponibilità qui
Embedded Multimedia Security Systems [[electronic resource] ] : Algorithms and Architectures / / by Amit Pande, Joseph Zambreno
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
Opac: Controlla la disponibilità qui
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
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
Opac: Controlla la disponibilità qui
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
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
Opac: Controlla la disponibilità qui
Evolvable Hardware [[electronic resource] ] : From Practice to Application / / by Martin A. Trefzer, Andy M. Tyrrell
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
Opac: Controlla la disponibilità qui
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
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
Opac: Controlla la disponibilità qui