mathematik software  (642 Angebote unter 17.404.330 Artikeln)

Logiken und Monitorkonstruktionen für asynchrone Prozesse

This book constitutes the refereed proceedings of the 30th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2011, held in Naples, Italy, in September 2011. The 34 fu...

15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part II

15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part IV

15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part III

Sprachdesign und Programmiertechnik

Graphikfähige Taschenrechner (GTR) werden wegen ihres günstigen Preis Leistungs-Verhältnisses und ihrer Handlichkeit zunehmend in die Schul-und Hochschulausbildung integriert. Derartige Rechner bie...

This book constitutes thoroughly refereed post-conference proceedings of the workshops of the 16th International Conference on Parallel Computing, Euro-Par 2010, held in Ischia, Italy, in August/Se...

Transition Systems and CCS

This volume contains selected papers from the symposium "New Results and NewTrends in Computer Science" held in Graz, Austria, June 20-21, 1991. The symposium was organized to give a wide-ranging o...

Wiso Prüfungsvorbereitung Wirtschafts- und Sozialkunde Prüfung

Broadly organized around the theme of applied Fourier analysis, the treatment covers classical applications in partial differential equations and boundary value problems, and a substantial number o...

ISCA 2010 International Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19-23, 2010, Revised Selected Papers

Second International Conference, SSR 2015, Tokyo, Japan, December 15-16, 2015, Proceedings

Broadly organized around the theme of applied Fourier analysis, the treatment covers classical applications in partial differential equations and boundary value problems, and a substantial number o...