Search

نمایش تعداد 1-6 از 6

Transition to chaos in semiconductor superlattice coupled to external resonator

نوع: Conference Paper

نویسنده : Makarov, V.V.; Hramov, A.E.; Koronovskii, A.A.; Maximenko, V.A.; Balanov, A.G.

ناشر: IEEE

سال: 2014

QoS-Aware Dynamic Composition of Web Services Using Numerical Temporal Planning

نوع: Journal Paper

نویسنده : Guobing Zou; Qiang Lu; Yixin Chen; Ruoyun Huang; You Xu; Yang Xiang

ناشر: IEEE

سال: 2014

Reasoning and Verification: State of the Art and Current Trends

نوع: Journal Paper

نویسنده : Beckert, Bernhard; Hahnle, Reiner

ناشر: IEEE

سال: 2014

On Key Relations Preserved by a Weak Near-Unanimity Function

نوع: Conference Paper

نویسنده : Zhuk, D.

ناشر: IEEE

سال: 2014

CM_ISA++: An instruction set for dynamic task scheduling units for more than 1000 cores

نوع: Conference Paper

نویسنده : Arnold, O.; Noethen, B.; Fettweis, G.

ناشر: IEEE

سال: 2014

Copyright Page

نوع: Conference Paper

ناشر: IEEE

سال: 2014

Search

Transition to chaos in semiconductor superlattice coupled to external resonator

QoS-Aware Dynamic Composition of Web Services Using Numerical Temporal Planning

Reasoning and Verification: State of the Art and Current Trends

On Key Relations Preserved by a Weak Near-Unanimity Function

CM_ISA++: An instruction set for dynamic task scheduling units for more than 1000 cores

Copyright Page

نویسنده

ناشر

سال

کلیدواژه

نوع

زبان

نوع محتوا

عنوان ناشر

Search

Filters

Transition to chaos in semiconductor superlattice coupled to external resonator

QoS-Aware Dynamic Composition of Web Services Using Numerical Temporal Planning

Reasoning and Verification: State of the Art and Current Trends

On Key Relations Preserved by a Weak Near-Unanimity Function

CM_ISA++: An instruction set for dynamic task scheduling units for more than 1000 cores

Copyright Page