17.727 new books

From: Humanist Discussion Group (by way of Willard McCarty willard.mccarty@kcl.ac.uk)
Date: Fri May 07 2004 - 17:01:48 EDT

  • Next message: Humanist Discussion Group (by way of Willard McCarty

                   Humanist Discussion Group, Vol. 17, No. 727.
           Centre for Computing in the Humanities, King's College London
                         Submit to: humanist@princeton.edu

             Date: Thu, 25 Mar 2004 06:34:07 +0000
             From: Willard McCarty <willard.mccarty@kcl.ac.uk>
             Subject: new books

    Volume 3 Number 1 of Software and Systems Modeling is now available on the
    SpringerLink web site at http://springerlink.metapress.com.

    This issue contains:

    In search of effective design abstractions p. 1
    DOI: 10.1007/s10270-004-0052-3
       Experts voice UML 3.0 and the future of modeling p. 4
    DOI: 10.1007/s10270-004-0051-4
       Regular papers
    OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness p. 9
    DOI: 10.1007/s10270-003-0035-9
       Regular paper
    Formalization of UML state machines using temporal logic p. 31
    DOI: 10.1007/s10270-003-0029-7
       Regular paper
    Nesting in Euler Diagrams: syntax, semantics and construction p. 55
    DOI: 10.1007/s10270-003-0036-8
       Regular paper
    The OsMoSys approach to multi-formalism modeling of systems

    International Symposium on History of Machines and Mechanisms
    edited by
    Marco Ceccarelli
    Dipartmento di Meccanica, Strutture, Ambiente e Territorio, University of
    Cassino, Italy

    The HMM2004 International Symposium on History of Machines and Mechanisms
    is the second event of a series that started in 2000 as the main activity
    of the IFToMM Permanent Commission for History of MMS, Mechanism and
    Machine Science. The aim of the HMM Symposium is to be a forum to exchange
    views, opinions, and experiences on the history of MMS from technical
    viewpoints in order to track the past but also to look at future
    developments in MMS. These Proceedings contain about 30 papers by authors
    from all around the world. The papers cover the wide range of the history
    of mechanical engineering. and particularly the history of MMS. The
    contributions address mainly technical aspects of historical developments
    of machines and mechanisms. The history of the IFToMM, the International
    Federation for the Promotion of Mechanism and Machine Science, is also
    outlined through the historical activities of its Commissions. Original
    sources are referenced in the papers so that these Proceedings can be also
    considered a kind of handbook on the history of machines and mechanisms.
    This book is of interest to researchers, graduate students and engineers
    specializing or addressing attention to history of science and technology,
    and particularly on history of MMS.

    Hardbound ISBN: 1-4020-2203-4 Date: May 2004 Pages: 406 pp.
    EUR 150.00 / USD 165.00 / GBP 104.00

    Designing Personalized User Experiences in eCommerce
    edited by
    Clare-Marie Karat
    IBM TJ Watson Research Center, Hawthorne, NY, USA
    Jan O. Blom
    Nokia Research Center, Helsinki, Finland
    John Karat
    IBM TJ Watson Research Center, Hawthorne, NY, USA


    How do you design personalized user experiences that delight and provide
    value to the customers of an eCommerce site? Personalization does not
    guarantee high quality user experience: a personalized user experience has
    the best chance of success if it is developed using a set of best practices
    in HCI. In this book 35 experts from academia, industry and government
    focus on issues in the design of personalized web sites. The topics range
    from the design and evaluation of user interfaces and tools to information
    architecture and computer programming related to commercial web sites. The
    book covers four main areas:
         * Theoretical, Conceptual, and Architectural Frameworks of
         * Research on the Design and Evaluation of Personalized User
    Experiences in Different Domains,
         * Approaches to personalization Through Recommender Systems,
         * Lessons Learned and Future Research Questions.
    This book will be a valuable tool in helping the reader to understand the
    range of factors to take into consideration in designing and building a
    personalized user experience. The authors of each of the chapters identify
    possibilities and alert the reader to issues that can be addressed in the
    beginning of a project by taking a 'big picture' view of designing
    personalized user interfaces. For anyone working or studying in the field
    of HCI, information architecture or eCommerce, this book will provide a
    solid foundation of knowledge and prepare for the challenges ahead.

    Hardbound ISBN: 1-4020-2147-X Date: April 2004 Pages: 360 pp.
    EUR 113.00 / USD 125.00 / GBP 78.00

    Higher Education and the Challenge of Sustainability
    Problematics, Promise, and Practice
    edited by
    Peter Blaze Corcoran
    Florida Gulf Coast University, Fort Myers, USA
    Arjen E.J. Wals
    Wageningen University, The Netherlands

    Sustainability challenges universities around the world to rethink their
    missions and to re-structure their courses, research programs, and life on
    campus. Graduates are increasingly exposed to notions of sustainability,
    which are emotionally, politically, ethically, and scientifically charged.
    They must be able to deal with conflicting norms and values, uncertain
    outcomes and futures, and a changing knowledge base. At the same time they
    will need to be able to contextualize knowledge in an increasingly
    globalized society.

    This book provides a variety of valuable theoretical and practical
    resources for students, teachers, researchers, and administrators who seek
    to integrate sustainability in higher education. Sustainability is not only
    explored as both an outcome and a process of learning, but as a catalyst
    for educational change and institutional innovation. The book raises the
    various problematics related to this inchoate field and provides an
    intellectual history and critical assessment of the prospects for
    institutionalizing sustainability in higher education.
    Special Offer
    Pre-publication offer (hardbound edition) valid until 31 March 2004: EUR
    90.00/USD 99.00/GBP 63.00
    Pre-publication offer (paperback edition) valid until 31 March 2004: EUR
    34.00/USD 38.00/GBP 24.00
    (Please refer to promotional code 738020 when ordering.)

    Hardbound ISBN: 1-4020-2026-0 Date: April 2004 Pages: 382 pp.
    EUR 145.00 / USD 160.00 / GBP 101.00

    Induction and Deduction in the Sciences
    edited by
    Friedrich Stadler
    University of Vienna and Institute Vienna Circle, Austria


    The articles in this volume deal with the main inferential methods that can
    be applied to different kinds of experimental evidence. These contributions
    - accompanied with critical comments - by renowned scholars in the field of
    philosophy of science aim at removing the traditional opposition between
    inductivists and deductivists . They explore the different methods of
    explanation and justification in the sciences in different contexts and
    with different objectives.
    The volume contains contributions on methods of the sciences, especially on
    induction, deduction, abduction, laws, probability and explanation, ranging
    from logic, mathematics, natural to the social sciences. They present a
    highly topical pluralist re-evaluation of methodological and foundational
    procedures and reasoning, e.g. focusing in Bayesianism and Artificial
    They document the second international conference in Vienna on "Induction
    and Deduction in the Sciences" as part of the Scientific Network on
    "Historical and Contemporary Perspectives of Philosophy of Science in
    Europe", funded by the European Science Foundation (ESF).

    Hardbound ISBN: 1-4020-1967-X Date: April 2004 Pages: 359 pp.
    EUR 140.00 / USD 154.00 / GBP 97.00

    Handbook of Philosophical Logic, Second Edition
    edited by
    Dov M. Gabbay
    Dept. of Computer Science, King's College, London, UK
    F. Guenthner
    Zentrum fuer Informations- und Sprachverarbeitung,
    Ludwig-Maximilians-Universitaet, Muenchen, Germany


    The first edition of the Handbook of Philosophical Logic (four volumes) was
    published in the period 1983-1989 and has proven to be an invaluable
    reference work to both students and researchers in formal philosophy,
    language and logic.
    The second edition of the Handbook is intended to comprise some 18 volumes
    and will provide a very up-to-date authoritative, in-depth coverage of all
    major topics in philosophical logic and its applications in many
    cutting-edge fields relating to computer science, language, argumentation, etc.
    The volumes will no longer be as topic-oriented as with the first edition
    because of the way the subject has evolved over the last 15 years or so.
    However the volumes will follow some natural groupings of chapters.
    Audience: Students and researchers whose work or interests involve
    philosophical logic and its applications.
    Special Offer
    A special 15% discount on list prices applies when placing a
    standing/continuation order for all 18 volumes in this series
    (Please refer to promotional code 738020 when ordering.)

         * Editorial Preface; D.M. Gabbay.
         * Modal Logic and Self-Reference; C. Smory=C5=84ski.
         * Diagonalization in Logic and Mathematics; D. Jacquette.
         * Semantics and the Liar Paradox; A. Visser.
         * The Logic of Fiction; J. Woods, P. Alward.
         * Index.

    Hardbound ISBN: 1-4020-1966-1 Date: March 2004 Pages: 338 pp.
    EUR 129.00 / USD 142.00 / GBP 89.00

    This archive was generated by hypermail 2b30 : Fri May 07 2004 - 17:01:50 EDT