ISSN 1661-8211 | 113. Jahrgang | 28. Februar 2013
2013/04 ISSN 1661-8211 | 113. Jahrgang | 28. Februar 2013 Redaktion und Herausgeberin: Schweizerische Nationalbibliothek NB, Hallwylstrasse 15, CH-3003 Bern Erscheinungsweise: halbmonatlich, am 15. und 30. jeden Monats ISSN 1661-8211 © Schweizerische Nationalbibliothek NB, CH-3003 Bern. Alle Rechte vorbehalten 000 Das Schweizer Buch 2013/04 000 Allgemeine Werke, Informatik, Informa- 7 NB 001699781 tionswissenschaft Pradel, Michael. – Program analyses for automatic and precise error detection / by Michael Pradel. – [S.l.] : [s.n.], 2012. – 177 Informatique, information, ouvrages de S. : Ill. ; 21 cm référence Diss. Nr. 20900 ETH Zürich. – Literaturverz. – Engl. Text mit engl. und deut- Informatica, scienza dell'informazione, scher Zusfassung generalità 8 NB 001700444 Informatica, infurmaziun e referenzas Presser, Karl Philippe. – A requirement-oriented data quality generalas model and framework of a food composition database system / by Karl Philippe Presser. – [S.l.] : [s.n.], 2012. – X, 259 S. : Ill. ; 21 Computers, information and general re- cm ference Diss. Nr. 20770 ETH Zürich. – Literaturverz. – Engl. Text mit engl. und deut- scher Zusfassung 9 NB 001699823 Saeedi Bidokhti, Shirin. – Broadcasting and multicasting nested message sets / par Shirin Saeedi Bidokhti. – [S.l.] : [s.n.], 2012. – 004 Informatik XIII, 148 S. : Ill. ; 28 cm Informatique Thèse no 5472 EPF Lausanne. – Literaturverz. – Engl. Text mit engl. und franz. Informatica Zusfassung Data processing and computer science 10 NB 001699784 Schmid, Johannes, 1982-. – Methods for artistic stylization in 3D animation / by Johannes Schmid. – [S.l.] : [s.n.], 2012. – XI, 149 1 NB 001700373 S. : Ill. ; 21 cm Bonnard, Quentin. – Paper interfaces : an HCI approach to geo- Diss. Nr. 20579 ETH Zürich. – Literaturverz. – Engl. Text mit engl.
[Show full text]