Markedets billigste bøger
Levering: 1 - 2 hverdage

Bøger i Programming and Software Engineering serien

Filter
Filter
Sorter efterSorter Serie rækkefølge
  • - Second Workshop on Blended Learning, WBL 2008, Jinhua, China, August 20-22, 2008, Revised Selected Papers
     
    613,95 kr.

    The Second Workshop of Blended Learning (WBL 2008), as part of the 7th Inter- tional Conference on Web-Based Learning (ICWL 2008), was held in Zhejiang N- mal University, Jinhua, Zhejiang, China during August 20-22, 2008.

  • - ECOOP 2004 Workshop, Oslo, Norway, June 14-18, 2004, Final Reports
     
    572,95 kr.

    This year, for the eighth time, the European Conference on Object-Oriented Programming (ECOOP) series, in cooperation with Springer, is glad to o?er the object-oriented research community the ECOOP 2004 Workshop Reader, a compendium of workshop reports pertaining to the ECOOP 2004 conference, held in Oslo from June 15 to 19, 2004.

  • - Advanced Lectures
     
    869,95 kr.

    The lectures are presented in topical sections on testing of finite state machines, testing of labelled transition systems, model-based test case generation, tools and case studies, standardized test notation and execution architectures, and beyond testing.

  • - 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings
     
    582,95 kr.

    This book constitutes the refereed proceedings of the 9th International Symposium on Practical Aspects of Declarative Languages, PADL 2007, held in Nice, France, in January 2007, co-located with POPL 2007, the Symposium on Principles of Programming Languages.

  • - 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected
     
    585,95 kr.

    Constitutes the thoroughly refereed joint post-proceedings of the two International Workshops on Formal Methods for Industrial Critical Systems, FMICS 2006, and on Parallel and Distributed Methods in Verification, PDMC 2006, held in Bonn, Germany in August 2006 in the course of the 17th International Conference on Concurrency Theory, CONCUR 2006.

  • - 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007, Proceedings
     
    586,95 kr.

    It covers goal-driven requirements engineering (RE), products and product-lines, value-based RE and the value of RE, requirements elicitation, requirements specification, industrial experience of RE, and requirements quality and quality requirements.

  • - 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007, Proceedings
     
    578,95 kr.

    This book constitutes the refereed proceedings of the 8th International Conference on Agile Processes in Software Engineering and eXtreme Programming, XP 2007, held in Como, Italy in June 2007.

  • - 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings
     
    1.147,95 kr.

    It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal methods to analysis or design, extension of one method based upon the inclusion of ideas or concepts from others, and semantic integration or practical application.

  • - Coping with Diversity, 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCi International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I
     
    1.768,95 kr.

    This is the first of a three-volume set that constitutes the refereed proceedings of the 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, held in Beijing, China.

  • - 13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, Proceedings
     
    1.228,95 kr.

    This book constitutes the refereed proceedings of the 13th International Conference on Principles and Practice of Constraint Programming, CP 2007. It contains 51 revised full papers and 14 revised short papers presented together with eight application papers and the abstracts of two invited lectures.

  • - 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings
     
    603,95 kr.

    The 29 revised full papers presented together with seven short papers address theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects;

  • - 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings
     
    583,95 kr.

    This book, complete with online files and updates, covers a hugely important area of study in computing. It constitutes the refereed proceedings of the 10th International Symposium on Practical Aspects of Declarative Languages, PADL 2008, held in San Francisco, CA, USA, in January 2008.

  • - 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers
     
    644,95 kr.

    This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Runtime Verification, RV 2008, held in Budapest, Hungary, in March 2008 as satellite event of ETAPS 2008. The subject covers several technical fields such as runtime verification, runtime checking, runtime monitoring, and security and safety matters.

  • - 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
     
    580,95 kr.

    This book presents 12 revised papers submitted after the symposium by the speakers of each of the following European IST projects: the IST-FP6 project Mobius, developing the technology for establishing trust and security for the next generation of global computers;

  • - 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
     
    584,95 kr.

  • - 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings
     
    613,95 kr.

    Providing all the latest on a topic of extreme commercial relevance, this book contains the refereed proceedings of the 10th International ACM SIGSOFT Symposium on Component-Based Software Engineering, held in Medford, MA, USA in July 2007.

  • - Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers
     
    587,95 kr.

    This book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Software Language Engineering, SLE 2010, held in Eindhoven, The Netherlands, in October 2010. The papers are grouped in topical sections on grammarware, metamodeling, evolution, programming, and domain-specific languages.

  • - Third IFIP TC 2 Central and East-European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers
     
    577,95 kr.

    This book constitutes the thoroughly refereed post-conference proceedings of the Second IFIP TC 2 Central and East-European Conference on Software Engineering Techniques, CEE-SET 2008, held in Brno, Czech Republic, in October 2008.

  • - 6th European Conference on Technology Enhanced Learning, EC-TEL 2011, Palermo, Italy, September 20-23, 2011, Proceedings
     
    597,95 kr.

    This book constitutes the refereed proceedings of the 6th European Conference on Technology Enhanced Learning, EC-TEL 2011, held in Palermo, Italy, in September 2010. There are many interesting papers on topics such as web 2.0 and social media, recommender systems, learning analytics, collaborative learning, interoperability of tools, etc.

  • - 11th International Conference, ICSOC 2013, Berlin, Germany, December 2-5, 2013. Proceedings
     
    767,95 kr.

    This book constitutes the refereed proceedings of the 11th International Conference on Service-Oriented Computing, ICSOC 2012, held in Berlin, Germany, in December 2013. The papers are organized in topical sections on service engineering, service operations and management;

  • - Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers
     
    588,95 kr.

    This book constitutes a collection of the best papers selected from the 12 workshops and 3 tutorials held in conjunction with MODELS 2008, the 11th International Conference on Model Driven Engineering Languages and Systems, in Toulouse, France, September 28 - October 3, 2008.

  • - 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCI International 2007, Beijing,China, July 22-27, 2007, Proceedings, Part II
     
    1.769,95 kr.

    This is the second of a three-volume set that constitutes the refereed proceedings of the 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, held in Beijing, China.

  • - ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports
     
    644,95 kr.

    This book contains the final reports of the workshops held during the 22nd European Conference on Object-Oriented Programming, ECOOP 2008, in Paphos, Cyprus, in July 2008.

  •  
    719,95 kr.

    Constitutes the refereed proceedings of the 6th International Workshop on OpenMP, IWOMP 2010, held in Tsukuba City, Japan, in June 2010.

  • - 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings
     
    580,95 kr.

    Constitutes the refereed proceedings of the 12th International Conference on Coordination Models and Languages, COORDINATION 2010, held in Amsterdam, The Netherlands, in June 2010, as one of the federated conferences on Distributed Computing Techniques, DisCoTec 2010.

  • - Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings
     
    719,95 kr.

    Model transformations are the glue that tie modelling activities together. Model transformations have humble beginnings-at one point, not long ago, it was said by many 'in the know' that the way forward in model transformations was to use XSLT.

  • - 4th International Conference, TAP 2010, Malaga, Spain, July 1-2, 2010, Proceedings
     
    580,95 kr.

    Today, m- ern test systems rely on techniques deeply rooted in formal proof techniques, and testing techniques make it possible to apply proof techniques where there was no possibility previously.

  • - Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
     
    1.140,95 kr.

    To mark that occasion, on August 22, 2010,a symposium was held in Brno, the Czech Republic, as a sat- lite event of the 35th International Symposium on Mathematical Foundations of Computer Science (MFCS 2010) and of the 19th EACSL Annual Conference on Computer Science Logic (CSL 2010).

  • - 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings
     
    1.117,95 kr.

    The range of expertise represented by the large Program C- mittee meant that almost all submissions were reviewed by subject experts on the Program Committee, or by colleagues chosen by members of the Program Committee for their particular expertise.

  • - 5th International Conference, TAIC PART 2010, Windsor, UK, September 4-6, 2010, Proceedings
     
    580,95 kr.

    The problems that arise in software testing are related to the problems that ariseinmanyotherareasofcomputing.Assuch,testingresearchcombinesawide range of elements encompassing the theoretical work of program analysis and formal methods and the associated representations such as ?nite-state machines and dependence graphs.

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.