Programmiersprachen (641 Artikel)

While other textbooks devote their pages to explaining introductory programming concepts, focuses exclusively on exercises, following the philosophy that computer programming is a skill best learne...

This student-friendly textbook encourages the development of programming skills through active practice by focusing on exercises that support hands-on learning. The Python Workbook provides a compe...

This student-friendly textbook encourages the development of programming skills through active practice by focusing on exercises that support hands-on learning. The Python Workbook provides a compe...

This volume is based on the workshop "Unifying Theory and Practice in Distributed Systems" held in Schloß Dagstuhl, Germany in September 1994.During the past 20 years, a substantial theoretical and...

This volume presents the proceedings of the First International Workshop on Theory and Practice of Parallel Programming, TPPP '94, held in Sendai, Japan in November 1994.Besides 9 full paper versio...

This book presents 12 revised refereed papers selected as the best from 32 submissions for the First International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TAC...

The DDC Ada compiler development method.- A denotational (static) semantics method for defining Ada context conditions.- A formal semantics definition of sequential Ada.- Parallelism in Ada.- The d...

This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Symposium on Trends in Functional Programming, TFP 2010, held in Norman, OK, USA, in May 2010. Th...

This volume contains thoroughly refereed and revised full papers selected from the presentations at the first workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Pro...

This book constitutes the refereed proceedings of the 4th International Conference on the Unified Modeling Language, 2001, held in Toronto, Canada, in October 2001.The 33 revised full papers presen...

Thepastyearhasbeenaneventfuloneforthoseinterestedinsoftwaremodeling. The ?rst major revision of the Uni?ed Modeling Language, UML2.0, is in the process of adoption by the Object Management Group (O...

Metamodeling.- Empirically Driven Use Case Metamodel Evolution.- Applying OO Metrics to Assess UML Meta-models.- An OCL Formulation of UML2 Template Binding.- A Metamodel for Generating Performance...

The UML 2004 conference was held in Lisbon (Portugal) from October 11 through October 15, 2004. It was the seventh conference in a series of annual events that started in 1998. UML has rapidly beco...

Concurrent Programming Using ?C++

Concurrent Programming Using ?C++