programmieren  (5 265 Angebote unter 18 333 183 Artikeln)

Visualizing the Structure, Behaviour, and Evolution of Software

It was our great pleasure to extend a welcome to all who participated in SERA 2003, the ?rst world-classs International Conference on Software Engineering Research and Applications, which was held ...

This book constitutes the thoroughly refereed post-workshop proceedings of the Third Workshop on Theory of Quantum Computation, Communication, and Cryptography, TQC 2008, held in Tokyo, Japan, in J...

Ist das bestehende Patentrecht für Erfindungen im Bereich der Softwareentwicklung angemessen? Weitgehend unklar ist bislang, wie sich die bestehende Rechtspraxis sowie alternative Formen der Patent...

With SPLC 2005 we celebrated the formation of a new conference series, the International Software Product Line Conference (SPLC) which results from the "uni?cation" of the former series of three SP...

This book constitutes the refereed proceedings of the 21st International Colloquium on Trees in Algebra and Programming, CAAP '96, held in Linköping, Sweden, in April 1996.The 21 full revised paper...

Datenbanken abfragen und verwalten in 14 Tagen. Inkl. E-Book

Software Variability: Requirements.- Supporting Software Variability by Reusing Generic Incomplete Models at the Requirements Specification Stage.- Business Users and Program Variability: Bridging ...

This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda Calculi and Applications, TLCA 2001, held in Krakow, Poland in May 2001. The 28 revised full paper...

Invited Paper.- Analysis of Multithreaded Programs.- Program Transformation.- Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs.- Using Slicing to Identif...

(Verlag: Bernhard Kölmel)

These proceedings contain a refereed selection of papers presented at the Second Annual Workshop of the Types Working Group (Computer-Assisted Reasoning based on Type Theory, EUIST project 29001), ...

This book constitutes the refereed proceedings of the Second International Symposium on Static Analysis, SAS '95, held in Glasgow, UK, in September 1995. Static Analysis is increasingly recognized ...

Jürgen Kotz arbeitet seit über 30 Jahren als freiberuflicher Trainer, Berater, Entwickler und Autor. Mit .NET beschäftigt er sich seit der ersten Beta-Version. Mit seiner Firma PrimeTime Software i...