Books

  1. Embedded Software: First International Workshop, Emsoft 2001, Tahoe City, Ca, USA, October 8-10, 2001. Proceedings: First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October, 8-10, 2001 - Proceedings (Lecture Notes in Computer Science)
    Embedded Software: First International Workshop, Emsoft 2001, Tahoe City, Ca, USA, October 8-10, 2001. Proceedings: First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October, 8-10, 2001 - Proceedings (Lecture Notes in Computer Science)
  2. Product Focused Software Process Improvement: 5th International Conference, Profes 2004, Kansai Science City, Japan, April 5-8, 2004, Proceedings (Lecture Notes in Computer Science S.)
    Product Focused Software Process Improvement: 5th International Conference, Profes 2004, Kansai Science City, Japan, April 5-8, 2004, Proceedings (Lecture Notes in Computer Science S.)
  3. Interactive Geometry Software Cinderella: Tutorial and Reference
    Interactive Geometry Software Cinderella: Tutorial and Reference
  4. Simulation and Visualization on the Grid: Parallelldatorcentrum, Kungl Tekniska Heogskolan, Seventh Annual Conference, Stockholm, Sweden, December 1999 : Proceedings (Lecture Notes in Computational Science & Engineering S.)
    Simulation and Visualization on the Grid: Parallelldatorcentrum, Kungl Tekniska Heogskolan, Seventh Annual Conference, Stockholm, Sweden, December 1999 : Proceedings (Lecture Notes in Computational Science & Engineering S.)
  5. Formal Object-oriented Development (Formal Approaches to Computing & Information Technology S.)
    Formal Object-oriented Development (Formal Approaches to Computing & Information Technology S.)
  6. Quality of Service in Multiservice IP Networks: International Workshop, QoS-IP 2001, Rome, Italy, January 24-26, 2001 Proceedings (Lecture Notes in Computer Science)
    Quality of Service in Multiservice IP Networks: International Workshop, QoS-IP 2001, Rome, Italy, January 24-26, 2001 Proceedings (Lecture Notes in Computer Science)
  7. New Approaches in Software Measurement: 10th International Workshop, IWSM 2000, Berlin, Germany, October 4-6, 2000 Proceedings (Lecture Notes in Computer Science)
    New Approaches in Software Measurement: 10th International Workshop, IWSM 2000, Berlin, Germany, October 4-6, 2000 Proceedings (Lecture Notes in Computer Science)
  8. Languages, Compilers and Tools for Embedded Systems: ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000, Proceedings (Lecture Notes in Computer Science)
    Languages, Compilers and Tools for Embedded Systems: ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000, Proceedings (Lecture Notes in Computer Science)
  9. Programming Languages and Systems: 10th European Symposium on Programming, Esop 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2001 Genova, Italy, April 2-6, 2001 Proceedings: ESOP 2001 - 10th European Symposium on Programming, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings (Lecture Notes in Computer Science)
    Programming Languages and Systems: 10th European Symposium on Programming, Esop 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2001 Genova, Italy, April 2-6, 2001 Proceedings: ESOP 2001 - 10th European Symposium on Programming, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings (Lecture Notes in Computer Science)
  10. Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 - Proceedings (Lecture Notes in Computer Science)
    Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 - Proceedings (Lecture Notes in Computer Science)
  11. Innovative Internet Computing Systems: International Workshop, IICS 2001 Ilmenau, Germany, June 21-22, 2001, Proceedings (Lecture Notes in Computer Science)
    Innovative Internet Computing Systems: International Workshop, IICS 2001 Ilmenau, Germany, June 21-22, 2001, Proceedings (Lecture Notes in Computer Science)
  12. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use: v. 1 (Monographs in Theoretical Computer Science - an EATCS Series)
    Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use: v. 1 (Monographs in Theoretical Computer Science - an EATCS Series)
  13. Specification in B: An Introduction Using the B Toolkit
    Specification in B: An Introduction Using the B Toolkit
  14. Psp(SM): A Self-Improvement Process for Software Engineers
    Psp(SM): A Self-Improvement Process for Software Engineers
  15. International Symposium on Requirements Engineering: RE '99 4th
    International Symposium on Requirements Engineering: RE '99 4th
  16. 1999 International Symposium on Database Engineering and Applications (Ideas '99)
    1999 International Symposium on Database Engineering and Applications (Ideas '99)
  17. 25th Euromicro '99 Conference
    25th Euromicro '99 Conference
  18. Experimental Algorithmics: From Algorithm Design to Robust and Efficient Software (Lecture Notes in Computer Science)
    Experimental Algorithmics: From Algorithm Design to Robust and Efficient Software (Lecture Notes in Computer Science)
  19. Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, Tacas 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2003, Warsaw, Poland, April 7-11, 2003, Proceedings (Lecture Notes in Computer Science)
    Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, Tacas 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2003, Warsaw, Poland, April 7-11, 2003, Proceedings (Lecture Notes in Computer Science)
  20. Classification, Clustering, and Data Mining Applications: Proceedings of the Meeting of the International Federation of Classification Societies (Ifcs), Illinois Institute of Technology, Chicago, 15-18 July 2004 (Studies in Classification, Data Analysis & Knowledge Organization)
    Classification, Clustering, and Data Mining Applications: Proceedings of the Meeting of the International Federation of Classification Societies (Ifcs), Illinois Institute of Technology, Chicago, 15-18 July 2004 (Studies in Classification, Data Analysis & Knowledge Organization)
  21. Agents and Computational Autonomy: Potential, Risks, and Solutions (Lecture Notes in Computer Science S.)
    Agents and Computational Autonomy: Potential, Risks, and Solutions (Lecture Notes in Computer Science S.)
  22. Extreme Programming and Agile Methods: Proceedings of the 4th Conference (Lecture Notes in Computer Science S.)
    Extreme Programming and Agile Methods: Proceedings of the 4th Conference (Lecture Notes in Computer Science S.)
  23. Database and XML Technologies: Proceedings of the Second International XML Database Symposium (Lecture Notes in Computer Science S.)
    Database and XML Technologies: Proceedings of the Second International XML Database Symposium (Lecture Notes in Computer Science S.)
  24. Information Networking. Networking Technologies for Broadband and Mobile Networks: Revised Selected Papers of the International Conference Icoin 2004, Busan, Korea, February 18-20, 2004 (Lecture Notes in Computer Science S.)
    Information Networking. Networking Technologies for Broadband and Mobile Networks: Revised Selected Papers of the International Conference Icoin 2004, Busan, Korea, February 18-20, 2004 (Lecture Notes in Computer Science S.)
  25. Software Design Methodology
    Software Design Methodology
Embedded Software: First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings (Lecture Notes in Computer Science)
Average customer rating: Not rated
    		Embedded Software: First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings (Lecture Notes in Computer Science)

    Manufacturer: Springer
    ProductGroup: Book
    Binding: Paperback

    Embedded SystemsEmbedded Systems | Microprocessors & System Design | Hardware | Computers & Internet | Subjects | Books
    Software DevelopmentSoftware Development | Software Design | Programming | Computers & Internet | Subjects | Books
    GeneralGeneral | Programming | Computers & Internet | Subjects | Books
    Software EngineeringSoftware Engineering | Computer Science | Computers & Internet | Subjects | Books | Design Tools & Techniques | General | Information Systems | Methodology | Multimedia Information Systems
    GeneralGeneral | Computers & Internet | Subjects | Books
    GeneralGeneral | Operating Systems | Computers & Internet | Subjects | Books
    GeneralGeneral | Software | Computers & Internet | Subjects | Books
    GeneralGeneral | Medicine | Subjects | Books
    MathematicsMathematics | Professional Science | Professional & Technical | Subjects | Books | Applied | Chaos & Systems | Geometry & Topology | Mathematical Analysis | Mathematical Physics | Number Systems | Pure Mathematics | Transformations | Trigonometry
    All Amazon UpgradeAll Amazon Upgrade | Amazon Upgrade | Stores | Books
    Computers & InternetComputers & Internet | Amazon Upgrade | Stores | Books
    MedicineMedicine | Amazon Upgrade | Stores | Books
    Professional & TechnicalProfessional & Technical | Amazon Upgrade | Stores | Books
    Qualifying Textbooks - Spring 2007Qualifying Textbooks - Spring 2007 | Stores | Books
    Software DevelopmentSoftware Development | Design & Development | Software Books | Custom Stores | Stores | Software
    GeneralGeneral | Software Books | Custom Stores | Stores | Software
    ASIN: 3540426736

    Book Description

    With the omnipresence of micro devices in our daily lifes embedded software has gained tremendous importance in both science and industry.This volume contains 34 invited papers from the First International Workshop on Embedded Systems. They present latest research results from different areas of computer science that are traditionally distinct but relevant to embedded software development (such as, for example, component based design, functional programming, real-time Java, resource and storage allocation, verification). Each paper focuses on one topic, showing the inter-relationship and application to the design and implementation of embedded software systems.

    Books:

    1. Hardware/Software Co-Design: Principles and Practice
    2. Dr. Dobb's Java Development Tools and Techniques (Programmer's Resource)
    3. Successful Evolution of Software Systems (Software Engineering S.)
    4. Embedded Software: First International Workshop, Emsoft 2001, Tahoe City, Ca, USA, October 8-10, 2001. Proceedings: First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October, 8-10, 2001 - Proceedings (Lecture Notes in Computer Science)
    5. Software Evolution and Reuse (Research Reports ESPRIT: Project 9809 SER)
    6. Writing Mobile Code: Essential Software Engineering for Building Mobile Applications
    7. SDL '97: Time for Testing - SDL, MSC and Trends - Proceedings of the 8th SDL Forum, Evry, France, 23-26 September, 1997
    8. Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science: An EATCS S.)
    9. "Multi Pack Oo Software Engg
    10. Visual Basic for Testers

    Books