1
Udgivet 2007
Indholdsfortegnelse: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Få fuldtekst
Electronisk eBog
2
Udgivet 2015
Indholdsfortegnelse: ... and Chomsky Languages in Array P System -- Sorting Using Spiking Neural P Systems with Anti-Spikes and Rules...
Få fuldtekst
Electronisk eBog
3
Udgivet 2007
Indholdsfortegnelse: ...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...
Få fuldtekst
Electronisk eBog
4
Udgivet 2006
Indholdsfortegnelse: ... and DNA -- A Supramolecular Approach to Metal Array Programming Using Artificial DNA -- Multicomponent...
Få fuldtekst
Electronisk eBog
5
Udgivet 2005
Indholdsfortegnelse: ... Architecture Cyclops64 -- TCP-ABC: From Multiple TCP Connections to Atomic Broadcasting -- A Parallel File...
Få fuldtekst
Electronisk eBog
6
Udgivet 2006
Indholdsfortegnelse: ... Knowledge Extraction -- A Flexible Intelligent Associative Knowledge Structure of Reticular Activating...
Få fuldtekst
Electronisk eBog
7
Udgivet 2012
Indholdsfortegnelse: ... Algorithm Based on Atmosphere Scatters Approximation Model -- Design of a Data-Oriented PID Controller...
Få fuldtekst
Electronisk eBog
8
Udgivet 2012
Indholdsfortegnelse: ... -- Price Forecasting Using Dynamic Assessment of Market Conditions and Agent’s Bidding Behavior.- Non...
Få fuldtekst
Electronisk eBog
9
Udgivet 2002
Indholdsfortegnelse: ... -- Probing CFTR Channel Structure and Function Using the Substituted-Cysteine-Accessibility Method -- Methods...
Få fuldtekst
Electronisk eBog