Limit Search Results
Author
SpringerLink (Online service)
(76)
Borzemski, Leszek. editor. (orcid)0000-0001-5307-3818
(4)
Grzech, Adam. editor.
(4)
Wilimowska, Zofia. editor.
(4)
Świątek, Jerzy. editor. (orcid)0000-0002-4986-8092
(4)
Language
Subject
Computer architecture.
(56)
Microprocessors.
(45)
Processor Architectures.
(45)
Electronic Circuits and Systems.
(34)
Electronic circuits.
(34)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
80 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Automatic Methods for the Refinement of System Models From the Specification to the Implementation
Automatic Methods for the Refinement of System Models From the Specification to the Implementation
Author 
Seiter, Julia. author. Wille, Robert. author. Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-41480-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Advanced Parallel Processing Technologies 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings
Advanced Parallel Processing Technologies 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings
Author 
Dou, Yong. editor. Lin, Haixiang. editor. Sun, Guangyu. editor. Wu, Junjie. editor. (orcid)0000-0001-5951-8988 Heras, Dora. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67952-5
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Automatic Analog IC Sizing and Optimization Constrained with PVT Corners and Layout Effects
Automatic Analog IC Sizing and Optimization Constrained with PVT Corners and Layout Effects
Author 
Lourenço, Nuno. author. Martins, Ricardo. author. (orcid)0000-0002-8251-1415 Horta, Nuno. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42037-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach
Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach
Author 
Zhan, Naijun. author. Wang, Shuling. author. (orcid)0000-0002-2798-2660 Zhao, Hengjun. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47016-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV Special Issue on Consistency and Inconsistency in Data-Centric Applications
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV Special Issue on Consistency and Inconsistency in Data-Centric Applications
Author 
Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Decker, Hendrik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-55947-5
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Morphological Analysis of Cultural DNA Tools for Decoding Culture-Embedded Forms
Morphological Analysis of Cultural DNA Tools for Decoding Culture-Embedded Forms
Author 
Lee, Ji-Hyun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-2329-3
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Advanced Information Systems Engineering Workshops CAISE 2017 International Workshops, Essen, Germany, June 12-16, 2017, Proceedings
Advanced Information Systems Engineering Workshops CAISE 2017 International Workshops, Essen, Germany, June 12-16, 2017, Proceedings
Author 
Metzger, Andreas. editor. Persson, Anne. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-60048-2
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Programming Language Concepts
Programming Language Concepts
Author 
Sestoft, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-60789-4
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Transactions on Computational Science XXIX
Transactions on Computational Science XXIX
Author 
Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-54563-8
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Information Systems Architecture and Technology: Proceedings of 37th International Conference on Information Systems Architecture and Technology - ISAT 2016 - Part IV
Information Systems Architecture and Technology: Proceedings of 37th International Conference on Information Systems Architecture and Technology - ISAT 2016 - Part IV
Author 
Wilimowska, Zofia. editor. Borzemski, Leszek. editor. (orcid)0000-0001-5307-3818 Grzech, Adam. editor. Świątek, Jerzy. editor. (orcid)0000-0002-4986-8092 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46592-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for From Variability Tolerance to Approximate Computing in Parallel Integrated Architectures and Accelerators
From Variability Tolerance to Approximate Computing in Parallel Integrated Architectures and Accelerators
Author 
Rahimi, Abbas. author. Benini, Luca. author. Gupta, Rajesh K. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-53768-9
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Fuzzy Logic Based Power-Efficient Real-Time Multi-Core System
Fuzzy Logic Based Power-Efficient Real-Time Multi-Core System
Author 
Ahmed, Jameel. author. Siyal, Mohammed Yakoob. author. Najam, Shaheryar. author. Najam, Zohaib. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-3120-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action