2008/09 ISSN 1661-8211 | 108. Jahrgang | 15. Mai 2008 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 2008/09 Thèse no 4030 sc. EPF Lausanne. – Literaturverz. – Engl. Text mit engl. und 000 Allgemeine Werke, Informatik, Informa- deutscher Zusfassung tionswissenschaft 6 NB 001531163 Informatique, information, ouvrages de Cruz Garcia, José Diego de la. – Visual contracts (VCs) : enri- référence ching graphical systemic models to support diagrammatic reaso- ning in system design / par José Diego de la Cruz Garcia. – [S.l.] : Informatica, scienza dell'informazione, [s.n.], 2008. – X, 148 S. : Ill. ; 30 cm generalità Thèse no 3972 sc. EPF Lausanne, 2007. – Literaturverz. – Engl. Text mit engl. Informatica, infurmaziun e referenzas und franz. Zusfassung generalas 7 NB 001531164 Computers, information and general re- Damiani, Maria Luisa. – Access control and privacy in location- ference aware applications / par Maria Luisa Damiani. – [S.l.] : [s.n.], 2008. – XIV, 143 S. : Ill. ; 30 cm Thèse no 3981 sc. EPF Lausanne, 2007. – Literaturverz. – Engl. Text mit engl. und ital. Zusfassung 8 NB 001531226 000 Allgemeine Werke, Wissen, Systeme Fuzzati, Rachele. – A formal approach to fault tolerant distributed consensus / par Rachele Fuzzati. – [S.l.] : [s.n.], 2008. – 202 S. : Généralités, savoir, systèmes Ill. ; 21 cm Generalità, sapere, sistemi Generalitads, savair, sistems Thèse no 3980 sc. EPF Lausanne. – Literaturverz. – Engl. Text mit engl. und ital. Zusfassung General works, knowledge and systems 9 NB 001523900 IOT 2008 (1 : 2008 : Zürich, ZH). – The internet of things : pro- ceedings / First International Conference, IOT 2008, Zurich, Swit- 1 NB 001531172 zerland, March 26-28, 2008 ; ed. by Christian Floerkemeier ... [et Langenberg, Thomas. – Information exchange in user communi- al.]. – Berlin [etc.] : Springer, 2008. – XIII, 378 S. : Ill. ; 24 cm. – ties : a study of individual level determinants and firm level ef- (Lecture notes in computer science, ISSN 0302-9743 ; 4952) fects in the U.S. snowsports industry / par Thomas Langenberg. – [S.l.] : [s.n.], 2007. – X, 184, 5 S. : Ill. ; 30 cm Register. – Literaturverz. – ISBN 978–3–540–78730–3 Thèse no 3844 sc. EPF Lausanne. – Literaturverz. – Engl. Text mit engl. und 10 NB 001531168 deutscher Zusfassung Keller, Mikaela. – Machine learning approaches to text represen- tation using unlabeled data / par Mikaela Keller. – [S.l.] : [s.n.], 2008. – VI, 105 S. : Ill. ; 30 cm 004 Informatik Thèse no 3676 sc. EPF Lausanne, 2006. – Literaturverz. Informatique Informatica 11 NB 001531173 Data processing and computer science Levy, Ron. – The complexity of reliable distributed storage / par Ron Levy. – [S.l.] : [s.n.], 2008. – XI, 116 S. : Ill. ; 30 cm Thèse no 3999 sc. EPF Lausanne. – Literaturverz. – Engl. Text mit engl. und franz. Zusfassung 2 NB 001531589 Bay, Till Gaston Balz. – Hosting distributed software projects : 12 NB 001531175 concepts, framework and the Origo experience / by Till Gaston Malta Schmidt, Rodrigo. – Deferred-update database replication : Balz Bay. – [S.l.] : [s.n.] , 2008. – XIX, 159 S. : Ill. ; 21 cm theory and algorithms / par Rodrigo Malta Schmidt. – [S.l.] : Diss. no. 17611 techn. sc. SFIT Zurich. – Literaturverz. – Engl. Text mit engl. [s.n.], 2008. – XV, 209 S. ; 30 cm und deutscher Zusfassung Thèse no 4022 sc. EPF Lausanne. – Literaturverz. – Engl. Text mit engl. und franz. Zusfassung 3 NB 001532291 Bläser, Luc. – A component language for pointer-free concurrent 13 NB 001531228 programming and its application to simulation / by Luc Bläser. – Markovic, Slaviša. – Model refactoring using transformations / [S.l.] : [s.n.], 2007. – 249 S. : Ill. ; 21 cm + 1 CD-ROM (12 cm) par Slaviša Marković. – [S.l.] : [s.n.], 2008. – XIV, 142 S. : Ill. ; Diss. no. 17480 sc. SFIT Zurich. – Literaturverz. – Engl. Text mit engl. und 21 cm deutscher Zusfassung Thèse no 4031 sc. EPF Lausanne. – Literaturverz. – Engl. Text mit engl. und franz. Zusfassung 4 NB 001525765 Bleuler, Stefan. – Search heuristics for module identification from 14 NB 001531586 biological high-throughput data / Stefan Bleuler. – Aachen : Sha- Nanchen, Stanislas. – Verifying abstract state machines / by ker, 2008. – (Berichte aus der Informatik, ISSN 0945-0807) Stanislas Nanchen. – [S.l.] : [s.n.] , 2007. – XIII, 219 S. : Ill. ; 21 Zugleich: Diss. no. 17386 sc. SFIT Zurich, 2007. – Literaturverz. – Engl. Text cm mit engl. und deutscher Zusfassung. – ISBN 978–3–8322–6928–9 Diss. no. 17489 techn. sc. SFIT Zurich. – Literaturverz. – Engl. Text mit engl. und deutscher Zusfassung 5 NB 001531221 Borgström, Johannes. – Equivalences and calculi for formal 15 NB 001531179 verification of cryptographic protocols / par Johannes Portabella-Clotet, David. – Improving user confidence in decisi- Borgström. – [S.l.] : [s.n.], 2008. – VII, 174 S. : Ill. ; 21 cm on support systems for electronic catalogs / par David Portabella- 1 Le Livre suisse 2008/09 000 Clotet. – [S.l.] : [s.n.], 2008. – XXIII, 156 S. : Ill. ; 30 cm ständig überarb. und aktualisierte Aufl. – Mannheim ; Zürich [etc.] : Dudenverlag, cop. 2008. – 255 S. : Ill. ; 19 cm. – (Duden) Thèse no 3727 sc. EPF Lausanne, 2007. – Literaturverz. – Engl. Text mit engl. und franz. Zusfassung ISBN 978–3–411–71683–8 16 NB 001531230 22 NB 001531689 Richiardi, Jonas. – Probabilistic models for multi-classifier bio- Bröger, Achim. – Meyers erzähltes Kinderlexikon : Sachge- metric authentication using quality measures / par Jonas Richiar- schichten von A bis Z / geschrieben von Achim Bröger ; mit di. – [S.l.] : [s.n.], 2008. – XXV, 215 S. : Ill. ; 21 cm Bildern von Susanne Bräunig ... [et al.]. – 7., neu bearb. Aufl. – Thèse no 3954 sc. EPF Lausanne, 2007. – Literaturverz. – Engl. Text mit engl. Mannheim ; Zürich [etc.] : Meyers Lexikonverlag, cop. 2008. – und franz. Zusfassung 344 S. : Ill. ; 27 cm + 1 Compact Disc (12 cm) Register. – ISBN 978–3–411–07697–0 020 Bibliotheks- und Informationswissenschaften 23 NB 001531502 Bibliothéconomie et sciences de l'information Meyers Jugend-Lexikon / hrsg. und bearb. von Meyers Lexikon- Biblioteconomia e scienza dell'informazione redaktion. – 7., aktualisierte Aufl. – Mannheim ; [Zürich] : Meyers Biblioteconomia e scienza da l'infurmaziun Lexikonverlag, cop. 2008. – 736 S. : Ill. ; 25 cm Library and information sciences ISBN 978–3–411–07807–3 050 Zeitschriften, fortlaufende Sammelwerke 17 NB 001530899 Publications en série d'ordre général Bodmer, Jean-Pierre. – Aus Zürichs Bibliotheksgeschichte : Beiträge von 1964 bis 2007 / Jean-Pierre Bodmer. – [Zürich] : Seriali generali Zentralbibliothek Zürich, cop. 2008. – 367 S. : Ill. ; 21 cm Revistas e serias generalas General serial publications ISBN 978–3–299–00032–6 18 NB 001531100 Egli, Klaus. – Öffentliche Internet-Stationen in Bibliotheken : ein 24 ∞ NB 001485909 Leitfaden / [hrsg. von der Aargauischen Bibliothekskommission] ; Mein Magazin : interaktive Zeitschrift - Leser schreiben für Le- [verf. von Klaus Egli und Marc Véron]. – Solothurn : SAB- ser. – Jg. 1, Nr. 1 (2007)- . – Baden : CAT Medien AG, 2007- . – Verlag ; Bern : Vertrieb: SBD-Bibliotheksservice, 2007. – 47 S. : Bd. : Ill. ; 30 cm Ill. ; 30 cm. – (Eine Publikation der Aargauischen Bibliotheks- kommission) 6x jährl. – ISSN 1662-1603 ISBN 978–3–907832–04–2. ISBN 3–907832–04–3 19 NB 001531899 060 Allgemeine Organisationen, Museumswissen- Internationale Überlieferungsbildung = Constitution du patri- schaft moine international des archives = Establishing of international Organisations générales, muséologie archival traditions / Schweizerisches Bundesarchiv = Archives Organizzazioni generali, museologia fédérales suisses = Archivio federale svizzero ; [Red.: Marc Ho- Organisaziuns generalas, museologia fer]. – Zürich : Chronos-Verlag, cop. 2007. – 114 S. : Ill. ; 30 General organizations and museum science cm. – (Dossier ; 14) Deutsche, engl. und franz. Beitr. mit Zusfassungen in den jeweils anderen Sprachen. – ISBN 978–3–0340–0911–9 (brosch.) : CHF 38.- 25 NB 001532007 20 ∞ NB 001526989 Schnurbein, Georg von. – Nonprofit Governance in Verbänden : Jahresbericht / Schweizerische Nationalbibliothek. – 94 (2007)- Theorie und Umsetzung am Beispiel von Schweizer Wirtschafts- . – Bern : Schweizerische Nationalbibliothek, 2008- . – Bd. : Ill. ; verbänden / Georg von Schnurbein. – 1. Aufl. – Bern [etc.] : 30 cm Haupt, 2008. – XVI, 284 S. : Ill. ; 23 cm Jährl. – Forts. von.: Jahresbericht / Schweizerische Landesbibliothek = ISSN Literaturverz. – ISBN 978–3–258–07302–6 (brosch.) : CHF 59.- 1662-1441. – Andere Ausgabe: Rapport annuel / Bibliothèque nationale suis- se = ISSN 1662-145X. – Andere Ausgabe: Rapporto annuale / Biblioteca nazionale svizzera = ISSN 1662-1468. – Elektronische Ausg. im Internet: Jahresbericht / Schweizerische Nationalbibliothek [Elektronische Ressource] = ISSN 1662-5439. – ISSN 1662-5420 030 Enzyklopädien Encyclopédies générales Opere enciclopediche generali Enciclopedias generalas General encyclopedic works 21 NB 001531644 Allgemeinbildung kompakt : was jeder wissen muss / [red. Lei- tung: Heike Pfersdorff] ; [Red.: Jürgen Hess ... et al.]. – 3., voll- 2 100 Das Schweizer Buch 2008/09 33 NB 001531336 100 Philosophie und Psychologie Philosophisches Wörterbuch / [Hrsg.:] Alois Halder ; mitbegr. Philosophie et psychologie von Max Müller. – Überarb. Neuausg. – Freiburg i.Br. ; Basel Filosofia e psicologia