Informatik (14.430 Artikel)

his book constitutes the refereed proceedings of the 18th International Conference on Descriptional Complexity of Formal Systems, DCFS 2016, held in Bucharest, Romania, in July 2016. The 13 full pa...

This book constitutes the proceedings of the 19th International Conference on Descriptional Complexity of Formal Systems, DCFS 2017, held in Milano, Italy, in July 2017. The 20 full papers presente...

This book constitutes the refereed proceedings of the 15th International Workshop of Descriptional Complexity of Formal Systems, DCFS 2013, held in London, ON, Canada, in July 2013. The 22 revised ...

This book constitutes the proceedings of the 24th International Conference on Descriptional Complexity of Format Systems, DCFS 2022, which was supposed to take place in Debrecen, Hungary in August ...

This book constitutes the proceedings of the 25th International Conference on Descriptional Complexity of Format Systems, DCFS 2023, which took place in Potsdam, Germany, in July 2023.

Decidability and Topological Complexity

One of the most significant developments in computing over the last ten years has been the growth of interest in computer based support for people working together. Recognition that much work done ...

This is a book about a code and about coding. The code is a case study which has been used to teachcourses in e-Science atthe Australian NationalUniv- sity since 2001. Students learn advanced progr...

Dieses Buch behandelt einfache Beweismuster wie Fallunterscheidung, Allbeweis, Implikationsbeweis, komplexe Beweismuster wie Kontraposition, Widerspruchsbeweis, Diagonalisierung sowie die verschied...

Eine praxisnahe Beschreibung der Software Design Patterns, wie sie im 1994 erschienen Buch ,,Design Patterns - Elements of Reusable Object-Oriented Software" der Autorengruppe Gamma, Helm, Johnson ...

A practical description of the software design patterns as they are mentioned in the 1994 book "Design Patterns - Elements of Reusable ObjectOriented Software" by the author group Gamma, Helm, John...

Design Requirements Workshop, Cleveland, OH, USA, June 3-6, 2007, Revised and Invited Papers

Design Science Methodology for Information Systems and Software Engineering

Design Science Methodology for Information Systems and Software Engineering

This book constitutes the refereed proceedings of the 8th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2013, held in Helsinki, Finland, in June...