Books in category Computers – Expert Systems

  • Leveraging Applications of Formal Methods

    Leveraging Applications of Formal Methods
    Tiziana Maragria, Bernhard Steffen

    This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, held in Paphos, Cyprus in October/November 2004.

  • Trends in Enterprise Application Architecture

    Trends in Enterprise Application Architecture
    Dirk Draheim, Gerald Weber

    This book constitutes the thoroughly refereed postproceedings of the 2nd International Conference on Trends in Enterprise Application Architecture, TEAA 2006.

  • Embedded Software and Systems

    Embedded Software and Systems
    Yann-Hang Lee, Heung-Nam Kim, Jong Kim, Yongwan Park, Laurence T. Yang, Sung Won Kim

    This book constitutes the refereed proceedings of the Third International Conference on Embedded Software and Systems, ICESS 2007, held in Daegu, Korea, May 2007.

  • AI 88

    AI ’88
    Christopher J. Barter, Michael J. Brooks

    The broad objective of this conference series is to bring business, industry and researchers together to consider the current activities and future potential of artificial intelligence, encompassing both practical and theoretical issues.

  • Artificial Neural Networks in Medicine and Biology

    Artificial Neural Networks in Medicine and Biology
    H. Malmgren, M. Borga, L. Niklasson

    This book contains the proceedings of the conference ANNIMAB-l, held 13-16 May 2000 in Goteborg, Sweden.

  • Autonomous Sensor Networks

    Autonomous Sensor Networks
    Daniel Filippini

    This volume surveys recent research on autonomous sensor networks from the perspective of enabling technologies that support medical, environmental and military applications.

  • Specification and Design Methodology for Real Time Embedded Systems

    Specification and Design Methodology for Real-Time Embedded Systems
    Randall S. Janka

    Paralleling this is very active basic and applied research to investigate and move forward rational and effective methodologies for accomplishing digital design, especially in the field of hardware/software codesign.

  • Interactions with Search Systems

    Interactions with Search Systems
    Ryen W. White

    This book describes advances in technology, data availability, and searcher expectations around next-generation search engines.

  • Pervasive Healthcare Computing

    Pervasive Healthcare Computing
    Upkar Varshney

    This book is written primarily for university faculty and graduate students in the field of healthcare technologies, and industry professionals involved in healthcare IT research, design, and development.

  • The SPARC Technical Papers

    The SPARC Technical Papers
    Ben J. Catanzaro

    With the SPARC (Scalable Processor ARChitecture) architecture and system software as the underlying foundation, Sun Microsys terns is delivering a new model of computing-easy workgroup computing-to enhance the way people work, automating …

1 2 3 4 5 Next >