Informatik (14.430 Artikel)

The book studies the existing and potential connections between Social Network Analysis (SNA) and Formal Concept Analysis (FCA) by showing how standard SNA techniques, usually based on graph theory...

In software engineering there is a growing need for formalization as a basis for developing powerful computer assisted methods. This volume contains seven extensive lectures prepared for a series o...

This book is based upon work done under the project "Correct Software through Formal Methods" supported by the German Ministry of Research and Technology. As a case-study report on the practice of ...

In this book, Hussmann builds a bridge between the pragmatic methods for the design of information systems and the formal, mathematical background. Firstly, the principal feasibility of an integrat...

ICSR is the premier international conference in the ?eld of software reuse. The main goal of ICSR is to present the advances and improvements within the software reuse domain, as well as to promote...

This book constitutes the refereed proceedings of the 15th and 16th International Conference on Formal Grammar 2010 and 2011,collocated with the European Summer School in Logic, Language and Inform...

This book constitutes the refereed proceedings of the 19 International Conference on Formal Grammar 2014, collocated with the European Summer School in Logic, Language and Information in August 201...

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 24th International Conference on Formal Grammar, FG 201...

This book constitutes the refereed proceedings of the 17th and 18th International Conference on Formal Grammar 2012 and 2013, collocated with the European Summer School in Logic, Language and Infor...

This book constitutes the refereed proceedings of the 20th and 21st International Conference on Formal Grammar 2015 and 2016, collocated with the European Summer School in Logic, Language and Infor...

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 22nd International Conference on Formal Grammar, FG 201...

This book constitutes the refereed proceedings of the 14th International Conference on Formal Grammar 2009, held in Bordeaux, France, in July 2009. The 13 revised full papers presented, including t...

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 23rd International Conference on Formal Grammar, FG 201...

Topics and features: describes the principles and methods used in designing syntax-directed applications such as parsing and regular expression matching; covers translations, semantic functions (at...

24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings