Résultats de rechercheBases de données
29 Résultats trouvés M'abonner aux résultats de recherche
Sélectionner tout
Passer à l'affichage en mode Liste
Passer à l'affichage en mode Miniature
000000000000DEFAULT
Imprimer
1. 
Image de couverture de Separation Logic for High-level Synthesis
Separation Logic for High-level Synthesis
Separation Logic for High-level Synthesis
Auteur 
Winterstein, Felix. author. SpringerLink (Online service)
Numéro de cote topographique requis 
TK7867 -7867.5
ISBN (Numéro international normalisé des livres) 
9783319532226
Full Text Available From Springer Nature Engineering 2017 Packages
Format : 
Ressources électroniques
Disponible:
2. 
Image de couverture de Self-Organized Quantum Dots for Memories Electronic Properties and Carrier Dynamics
Self-Organized Quantum Dots for Memories Electronic Properties and Carrier Dynamics
Self-Organized Quantum Dots for Memories Electronic Properties and Carrier Dynamics
Auteur 
Nowozin, Tobias. author. SpringerLink (Online service)
Numéro de cote topographique requis 
QC610.9 -611.8
ISBN (Numéro international normalisé des livres) 
9783319019703
Full Text Available From Springer Nature Physics and Astronomy 2014 Packages
Format : 
Ressources électroniques
Disponible:
3. 
Image de couverture de Advances in Neuromorphic Hardware Exploiting Emerging Nanoscale Devices
Advances in Neuromorphic Hardware Exploiting Emerging Nanoscale Devices
Advances in Neuromorphic Hardware Exploiting Emerging Nanoscale Devices
Auteur 
Suri, Manan. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
TK7867 -7867.5
ISBN (Numéro international normalisé des livres) 
9788132237037
Full Text Available From Springer Nature Engineering 2017 Packages
Format : 
Ressources électroniques
Disponible:
4. 
Image de couverture de Memories in Wireless Systems
Memories in Wireless Systems
Memories in Wireless Systems
Auteur 
Micheloni, Rino. editor. Campardo, Giovanni. editor. Olivo, Piero. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
TK7867 -7867.5
ISBN (Numéro international normalisé des livres) 
9783540790785
Full Text Available From Springer Nature Engineering 2008 Packages
Format : 
Ressources électroniques
Disponible:
5. 
Image de couverture de Computer-Aided Verification A Special Issue of Formal Methods In System Design on Computer-Aided Verification
Computer-Aided Verification A Special Issue of Formal Methods In System Design on Computer-Aided Verification
Computer-Aided Verification A Special Issue of Formal Methods In System Design on Computer-Aided Verification
Auteur 
Kurshan, Robert. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
TK7867 -7867.5
ISBN (Numéro international normalisé des livres) 
9781461535560
Full Text Available From Springer Nature Engineering Archive Packages
Format : 
Ressources électroniques
Disponible:
6. 
Image de couverture de Applications of Emerging Memory Technology Beyond Storage
Applications of Emerging Memory Technology Beyond Storage
Applications of Emerging Memory Technology Beyond Storage
Auteur 
Suri, Manan. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
TK7867 -7867.5
ISBN (Numéro international normalisé des livres) 
9789811383793
Full Text Available From Springer Nature Engineering 2020 Packages
Format : 
Ressources électroniques
Disponible:
7. 
Image de couverture de Nonlinear Circuits and Systems for Neuro-inspired Robot Control
Nonlinear Circuits and Systems for Neuro-inspired Robot Control
Nonlinear Circuits and Systems for Neuro-inspired Robot Control
Auteur 
Patanè, Luca. author. Strauss, Roland. author. Arena, Paolo. author. SpringerLink (Online service)
Numéro de cote topographique requis 
TK7867 -7867.5
ISBN (Numéro international normalisé des livres) 
9783319733470
Full Text Available From Springer Nature Engineering 2018 Packages
Format : 
Ressources électroniques
Disponible:
8. 
Image de couverture de Scalable Multi-core Architectures Design Methodologies and Tools
Scalable Multi-core Architectures Design Methodologies and Tools
Scalable Multi-core Architectures Design Methodologies and Tools
Auteur 
Soudris, Dimitrios. editor. Jantsch, Axel. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
TK7867 -7867.5
ISBN (Numéro international normalisé des livres) 
9781441967787
Full Text Available From Springer Nature Engineering 2012 Packages
Format : 
Ressources électroniques
Disponible:
9. 
Image de couverture de Asynchronous Operators of Sequential Logic: Venjunction & Sequention Digital Circuit Analysis and Design
Asynchronous Operators of Sequential Logic: Venjunction & Sequention Digital Circuit Analysis and Design
Asynchronous Operators of Sequential Logic: Venjunction & Sequention Digital Circuit Analysis and Design
Auteur 
Vasyukevich, Vadim. author. SpringerLink (Online service)
Numéro de cote topographique requis 
TK7867 -7867.5
ISBN (Numéro international normalisé des livres) 
9783642216114
Full Text Available From Springer Nature Engineering 2011 Packages
Format : 
Ressources électroniques
Disponible:
10. 
Image de couverture de Multicore Processors and Systems
Multicore Processors and Systems
Multicore Processors and Systems
Auteur 
Keckler, Stephen W. editor. Olukotun, Kunle. editor. Hofstee, H. Peter. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
TK7895 .M5
ISBN (Numéro international normalisé des livres) 
9781441902634
Full Text Available From Springer Nature Computer Science 2009 Packages
Format : 
Ressources électroniques
Disponible:
11. 
Image de couverture de Memristor-Based Nanoelectronic Computing Circuits and Architectures Foreword by Leon Chua
Memristor-Based Nanoelectronic Computing Circuits and Architectures Foreword by Leon Chua
Memristor-Based Nanoelectronic Computing Circuits and Architectures Foreword by Leon Chua
Auteur 
Vourkas, Ioannis. author. Sirakoulis, Georgios Ch. author. SpringerLink (Online service)
Numéro de cote topographique requis 
TA352 -356
ISBN (Numéro international normalisé des livres) 
9783319226477
Full Text Available From Springer Nature Engineering 2016 Packages
Format : 
Ressources électroniques
Disponible:
12. 
Image de couverture de Security and Privacy for Implantable Medical Devices
Security and Privacy for Implantable Medical Devices
Security and Privacy for Implantable Medical Devices
Auteur 
Burleson, Wayne. editor. Carrara, Sandro. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
TK7867 -7867.5
ISBN (Numéro international normalisé des livres) 
9781461416746
Full Text Available From Springer Nature Engineering 2014 Packages
Format : 
Ressources électroniques
Disponible:
Sélectionner tout
29 Résultats trouvés M'abonner aux résultats de recherche
Limiter les résultats de recherche
Auteur
SpringerLink (Online service)
(29)
Campardo, Giovanni. editor.
(2)
Suri, Manan. editor.
(2)
Agrawal, Vishwani. author.
(1)
Arena, Paolo. author.
(1)
Langue
Date de publication
Ce graphique montre la distribution des dates de publication à utiliser avec un curseur de plage de dates. Passez au mode d’affichage Années pour une ventilation plus détaillée des résultats de recherche par année.
-
Sujet
Electronic circuits.
(29)
Electrical and Electronic Engineering.
(14)
Electrical engineering.
(14)
Computer-Aided Engineering (CAD, CAE) and Design.
(8)
Computer-aided engineering.
(8)
Type de document
Emplacement
Bibliothèque