Central European Functional Programming School
This volume presents eight carefully revised texts of selected lectures given by leading researchers of the field at the ...
Weiterlesen
Central European Functional Programming School : Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures
This volume presents texts from selected lectures given by leading researchers at the Second Central European Functional ...
Weiterlesen
Formal Techniques for Networked and Distributed Systems - FORTE 2008 : 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings
This book constitutes the refereed proceedings of the 28th IFIP WG 6.1 International Conference on Formal Techniques for ...
Weiterlesen
Intercultural Language Use and Language Learning
This volume attempts to address an issue that deserves further attention on the part of language acquisition researchers: ...
Weiterlesen
Paul Lorenzen -- Mathematician and Logician
This book examines the many contributions of Paul Lorenzen, an outstanding philosopher from the latter half of the 20th ...
Weiterlesen
Software Agent-Based Applications, Platforms and Development Kits
Intelligent agents and multi-agent systems (MAS) represent the next big step in the development of next-generation software ...
Weiterlesen
