Result 1 to 20 of 222 total
Mathematical instruction in the context of reality, culture and professionality of teachers. Festschrift for Gabriele Kaiser. (Mathematikunterricht im Kontext von Realität, Kultur und Lehrerprofessionalität. Festschrift für Gabriele Kaiser.) (German ;English)
Heidelberg: Springer Spektrum (ISBN 978-3-8348-2388-5/pbk; 978-3-8348-2389-2/ebook). xii, 405~p. EUR~59.95; SFR~75.00; \sterling~50.00; \$~79.95 (2012).
1
Constructive side-channel analysis and secure design. Third international workshop, COSADE 2012, Darmstadt, Germany, May 3‒4, 2012. Proceedings. (English)
Lecture Notes in Computer Science 7275. Berlin: Springer (ISBN 978-3-642-29911-7/pbk). x, 265 p. \$~72.00 (2012).
2
An automated semantic-based approach for creating tasks from Matlab Simulink models. (English)
Salaün, Gwen (ed.) et al., Formal methods for industrial critical systems. 16th international workshop, FMICS 2011, Trento, Italy, August 29‒30, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24430-8/pbk). Lecture Notes in Computer Science 6959, 149-164 (2011).
3
Algebraic foundations in computer science. Essays dedicated to Symeon Bozapalidis on the occasion of his retirement. (English)
Lecture Notes in Computer Science 7020. Berlin: Springer (ISBN 978-3-642-24896-2/pbk). x, 363~p. EUR~57.78 (2011).
4
Tunable static inference for generic universe types. (English)
Mezini, Mira (ed.), ECOOP 2011 ‒ object-oriented programming. 25th European conference, Lancaster, UK, July 25‒29, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22654-0/pbk). Lecture Notes in Computer Science 6813, 333-357 (2011).
5
Hastings’s additivity counterexample via Dvoretzky’s theorem. (English)
Commun. Math. Phys. 305, No. 1, 85-97 (2011).
6
The preference SQL system - an overview. (English)
Bull. Tech. Comm. Data Eng. 34, No. 2, 11-18 (2011).
7
An automated semantic-based approach for creating tasks from MATLAB simulink models (English)
FMICS, 149-164 (2011).
8
Intelligente lokalisierung von gegenständen mit complex event processing (English)
BTW Workshops, 33-42 (2011).
9
Tunable static inference for generic universe types (English)
ECOOP, 333-357 (2011).
10
Ontologies and semantic technologies for intelligence. (English)
Frontiers in Artificial Intelligence and Applications 213. Amsterdam: IOS Press (ISBN 978-1-60750-580-8/hbk; 978-1-60750-581-5/ebook). vii, 227~p. EUR~110.00; \$~160.00 (2010).
11
ROMANSY 18 ‒ robot design, dynamics and control. Proceedings of the eighteenth CISM-IFToMM symposium, Udine, Italy, July 5‒8, 2010. (English)
CISM Courses and Lectures 524. Wien: Springer (ISBN 978-3-7091-0276-3/hbk). xii, 491~p. EUR~179.00/net; SFR~257.00; \sterling~161.50 (2010).
12
Statistical evidence for ancestral correlation patterns (English)
Biosystems 100, No. 3, 215-224 (2010).
13
io-port 50257858 Wimböck, Thomas;
Borst, Christoph;
Albu-Schäffer, Alin;
Ott, Christian;
Schmidt, Florian;
Fuchs, Matthias;
Friedl, Werner;
Eiberger, Oliver;
Baumann, Andreas;
Beyer, Alexander;
Hirzinger, Gerd
Dlrs zweihändiger humanoide justin: systementwurf, integration und regelung (DLR’s two-handed humanoid justin: system design, integration and control) (English)
Automatisierungstechnik 58, No. 11, 622-629 (2010).
14
Mobis 2010: modellierung betrieblicher informationssysteme - modellgestütztes management, 15.-17. September 2010 in Dresden, Germany (English)
LNI: MobIS 171 (2010).
15
Semantic multimedia. 4th international conference on semantic and digital media technologies, SAMT 2009, Graz, Austria, December 2‒4, 2009. Proceedings. (English)
Lecture Notes in Computer Science 5887. Berlin: Springer (ISBN 978-3-642-10542-5/pbk). xiii, 197~p. EUR~49.22 (2009).
16
A simulation of an economic, self-organising resource allocation approach for application layer networks. (English)
Comput. Netw. 53, No. 10, 1760-1770 (2009).
17
Handbook of weighted automata. (English)
Monographs in Theoretical Computer Science. An EATCS Series. Berlin: Springer (ISBN 978-3-642-01491-8/hbk; 978-3-642-01492-5/ebook). xvii, 608~p. EUR~119.95/net; \sterling~108.00; SFR~199.50 (2009).
18
Bipartite states of low rank are almost surely entangled. (English)
J. Phys. A, Math. Theor. 42, No. 9, Article ID 095303, 15 p. (2009).
19
Techniques and examples for the 3D reconstruction of complex scattering situations using terrasar-X (English)
IGARSS (3), 900-903 (2009).
20
Result 1 to 20 of 222 total
Start
Contact
Print
General Help
