Diskret matematik

This two-volume set of LNCS 7391 and LNCS 7392 constitutes the refereed proceedings of the 39th International Colloquium on Automata, Languages and Programming, ICALP 2012, held in …

The three-volume set LNCS 6675, 6676 and 6677 constitutes the refereed proceedings of the 8th International Symposium on Neural Networks, ISNN 2011, held in Guilin, China, in …

Dieses Buch ist die erste fachübergreifende Einführung in die Kombinatorik in deutscher Sprache und umfasst Gesetzmäßigkeiten, Rechenregeln, Anwendungen sowie 50 Übungsaufgaben mit …

The 34 revised full papers (22 technical papers, 9 application description, and 3 system descriptions) and 19 short papers (11 technical papers, 3 application descriptions, and 5 …

The need for a comprehensive survey-type exposition on formal languages and related mainstream areas of computer science has been evident for some years. If! the early 1970s, when …

This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of Jose Meseguer to honor …

Combinatory logic started as a programme in the foundation of mathematics and in an historical context at a time when such endeavours attracted the most gifted among the …

Percolation theory is the study of an idealized random medium in two or more dimensions. The mathematical theory is mature, and continues to give rise to problems of special beauty …

The papers are organized in topical sections on invited talk abstracts, model-driven engineering, graph transformation applications, tool demonstrations, graph transformation …

This book constitutes the refereed proceedings of the 13th Algorithms and Data Structures Symposium, WADS 2013, held in London, ON, Canada, August 2013. The Algorithms and Data …