1
Gepubliceerd in 2007
Inhoudsopgave: ...Datatype-Generic Programming -- Comparing Approaches to Generic Programming in Haskell -- Generic...
Volledige tekst
Elektronisch E-boek
2
door Chen, Chang-New., Chen, Chang-New.
Gepubliceerd in 2006
Onderwerpen: ...Mechanics....
Volledige tekst
Elektronisch E-boek
3
Gepubliceerd in 2014
Inhoudsopgave: ... of Metamorphic Mechanisms, by S. Li, H. Wang, J. Dai, X. Li, Z. Ren and S. Xiu -- Classification of Singularities...
Volledige tekst
Elektronisch E-boek
4
5
Gepubliceerd in 2012
Onderwerpen: ...Mechanics....
Volledige tekst
Elektronisch E-boek
6
Gepubliceerd in 2015
Inhoudsopgave: ... in Cracked Sheet Metals by Optical Grid Method -- A Preliminary Investigation on the Mechanical Behavior...
Volledige tekst
Elektronisch E-boek
7
Gepubliceerd in 2014
Inhoudsopgave: ... -- Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains -- Computing the Topology...
Volledige tekst
Elektronisch E-boek
8
door Steinmann, Paul., Steinmann, Paul.
Gepubliceerd in 2015
Inhoudsopgave: ...Part I Prologue -- Part II Differential Geometry -- Part III Nonlinear Continuum Mechanics -- Part...
Volledige tekst
Elektronisch E-boek
9
Gepubliceerd in 2005
Inhoudsopgave: ... -- Exploiting Generic Aspects of Security Models in Formal Developments -- Verification Support Environment...
Volledige tekst
Elektronisch E-boek
10
Gepubliceerd in 2006
Inhoudsopgave: ... Polygons: An Isoperimetric Problem -- Limit Cycles in Quantum Mechanics -- Cantor Spectrum for Quasi...
Volledige tekst
Elektronisch E-boek
11
Gepubliceerd in 2011
Inhoudsopgave: ... model of computer-aided visual design, by Ewa Grabska and Grażyna Ślusarczyk -- Design agents...
Volledige tekst
Elektronisch E-boek
12
Gepubliceerd in 2010
Inhoudsopgave: ... of Generic Process Shape Types -- A Java Inspired Semantics for Transactions in SOC -- Responsive Choice...
Volledige tekst
Elektronisch E-boek
13
Gepubliceerd in 2015
Inhoudsopgave: ... Systems -- Computational Design Synthesis of Aircraft Configurations with Shape Grammars -- Spectral (Re...
Volledige tekst
Elektronisch E-boek
14
Gepubliceerd in 2007
Inhoudsopgave: ... Computing -- Remarks on Self-organization and Trust in Organic Computing Systems -- Cryptography...
Volledige tekst
Elektronisch E-boek
15
Gepubliceerd in 2010
Inhoudsopgave: ... System -- Human Motion Analysis and Synthesis -- A Generic Approach to Design and Querying of Multi...
Volledige tekst
Elektronisch E-boek
16
Gepubliceerd in 2008
Inhoudsopgave: ... of Wing Vortices -- Studies on Tailplane Stall for a Generic Transport Aircraft Wind Tunnel Model -- URANS...
Volledige tekst
Elektronisch E-boek
17
Gepubliceerd in 2013
Inhoudsopgave: ... Answers with the Answers of a Computer Algebra System -- DML -- Mathematics and the World Wide Web...
Volledige tekst
Elektronisch E-boek
18
Gepubliceerd in 2008
Inhoudsopgave: ... -- Implementation and Evaluation of the Mechanisms for Low Latency Communication on DIMMnet-2 -- Computationally...
Volledige tekst
Elektronisch E-boek
19
Gepubliceerd in 2010
Inhoudsopgave: ... Intelligence -- Sexual Recombination in Self-Organizing Interaction Networks -- Symbiogenesis as a Mechanism...
Volledige tekst
Elektronisch E-boek
20
Gepubliceerd in 2013
Inhoudsopgave: ... -- Contributed Papers -- Exploiting Algebraic Laws to Improve Mechanized Axiomatization -- Positive Fragments...
Volledige tekst
Elektronisch E-boek