Erscheinungsjahr
Medientyp
Datenquelle
Format
Lizenz
Sprache
-
Computing Science. A Comparison of Formalisms for Modelling and Analysis of Dynamic Reconfiguration of Dependable Systems
NTIS | 2015|Verlag: Newcastle upon Tyne Univ. (England). -
Computing Science. Bitcoin: Perils of an Unregulated Global P2P Currency
NTIS | 2015|Verlag: Newcastle upon Tyne Univ. (England). -
Computing Science. Determining User Passwords From Partial Information
NTIS | 2015|Verlag: Newcastle upon Tyne Univ. (England). -
Computing Science. Trace-Driven Simulation for Energy Consumption in High Throughput Computing Systems
NTIS | 2015|Verlag: Newcastle upon Tyne Univ. (England). -
Computing Science. A Formal Specification and Prototyping Language for Multi-Core System Management
NTIS | 2015|Verlag: Newcastle upon Tyne Univ. (England). -
Computing Science. Tackling Separation Via Abstraction (with Proofs)
NTIS | 2015|Verlag: Newcastle upon Tyne Univ. (England). -
Computing Science. Efficient Encoding of Instructions of ARM Cortex M0+ Processor
NTIS | 2015|Verlag: Newcastle upon Tyne Univ. (England). -
Computing Science. A Reactive Architecture for Cloud-Based System Engineering
NTIS | 2015|Verlag: Newcastle upon Tyne Univ. (England). -
Computing Science. Experiments with Odroid-XU3 Board
NTIS | 2015|Verlag: Newcastle upon Tyne Univ. (England). -
Computing Science. On Cloud-Based Software Processes
NTIS | 2015|Verlag: Newcastle upon Tyne Univ. (England). -
Computing Science. Power-Proportional Modelling Fidelity
NTIS | 2015|Verlag: Newcastle upon Tyne Univ. (England). -
Computing Science. Formal Modelling of Railway Safety and Capacity
NTIS | 2015|Verlag: Newcastle upon Tyne Univ. (England). -
Computing Science. Crowdsourcing and CCTV: The Effect of Interface, Financial Bonus and Video Type
NTIS | 2015|Verlag: Newcastle upon Tyne Univ. (England). -
Computing Science. Comparison of a Cost-Effective Virtual Cloud Cluster with an Existing Campus Cluster
NTIS | 2015|Verlag: Newcastle upon Tyne Univ. (England). -
Computing Science. A Tool for the Automatic Verification of BPMN Choreographies
NTIS | 2015|Verlag: Newcastle upon Tyne Univ. (England). -
Computing Science. Analysis of the Dynamics of Temporal Relationships of Neural Activities using Optical Imaging Data
NTIS | 2015|Verlag: Newcastle upon Tyne Univ. (England). -
Computing Science. Designing Atomic Business Functions
NTIS | 2015|Verlag: Newcastle upon Tyne Univ. (England). -
Computing Science. The Impact of Consistency on System Latency in Fault Tolerant Internet Computing
NTIS | 2015|Verlag: Newcastle upon Tyne Univ. (England). -
Computing Science. Dynamic Testing and Deployment of a Contract Monitoring Service
NTIS | 2015|Verlag: Newcastle upon Tyne Univ. (England).
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.