Book titles in this series

  1. Information Search, Integration, and Personalization

    International Workshop, ISIP 2013, Bangkok, Thailand, September 16--18, 2013. Revised Selected Papers

    Editors:
    • Asanee Kawtrakul
    • Dominique Laurent
    • Nicolas Spyratos
    • Yuzuru Tanaka
    • Copyright: 2014

    Available Renditions

    • Soft cover
    • eBook
  2. Trustworthy Computing and Services

    International Conference, ISCTCS 2013, Beijing, China, November 2013, Revised Selected Papers

    Editors:
    • Yuyu Yuan
    • Xu Wu
    • Yueming Lu
    • Copyright: 2014

    Available Renditions

    • Soft cover
    • eBook
  3. Computer Networks

    21st International Conference, CN 2014, Brunów, Poland, June 23-27, 2014. Proceedings

    Editors:
    • Andrzej Kwiecien
    • Piotr Gaj
    • Piotr Stera
    • Copyright: 2014

    Available Renditions

    • Soft cover
    • eBook
  4. ABZ 2014: The Landing Gear Case Study

    Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings

    Editors:
    • Frederic Boniol
    • Virginie Wiels
    • Yamine Ait Ameur
    • Klaus-Dieter Schewe
    • Copyright: 2014

    Available Renditions

    • Soft cover
    • eBook
  5. Requirements Engineering

    First Asia Pacific Requirements Engineering Symposium, APRES 2014, Auckland, New Zealand, April 28-29, 2014, Proceedings

    Editors:
    • Didar Zowghi
    • Zhi Jin
    • Copyright: 2014

    Available Renditions

    • Soft cover
    • eBook
  6. Beyond Databases, Architectures, and Structures

    10th International Conference, BDAS 2014, Ustron, Poland, May 27-30, 2014. Proceedings

    Editors:
    • Stanislaw Kozielski
    • Dariusz Mrozek
    • Pawel Kasprowski
    • Bożena Małysiak-Mrozek
    • Copyright: 2014

    Available Renditions

    • Soft cover
    • eBook
  7. Formal Techniques for Safety-Critical Systems

    Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

    Editors:
    • Cyrille Artho
    • Peter Csaba Ölveczky
    • Copyright: 2014

    Available Renditions

    • Soft cover
    • eBook