Quickly find solutions to dozens of common programming problems encountered while building Java applications, with recipes ...
Weiterlesenoffers contributions to a philosophical and realistic approach to the place of adjudication in contemporary constitutional ...
WeiterlesenThis book constitutes the refereed proceedings of the Second International Conference on Language and Automata Theory and ...
WeiterlesenThis book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Languages ...
WeiterlesenThis book constitutes the thoroughly refereed post-conference proceedings of the 21th International Workshop on Languages ...
WeiterlesenThis book constitutes the thoroughly refereed joint post-conference proceedings of two consecutive International Workshops ...
WeiterlesenIn the present book, Pauline Phemister argues against traditional Anglo-American interpretations of Leibniz as an idealist ...
WeiterlesenHow can poetry embrace morality through focusing on metaphrasts? What is the relation between an allummette and the alpha ...
WeiterlesenThe book addresses the “balancing act” between developing students’ modelling skills on the one hand, and using modelling ...
WeiterlesenThe 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop ...
WeiterlesenThis book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA ...
WeiterlesenThe 96 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 363 submissions. ...
WeiterlesenThis book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, ...
WeiterlesenThis book constitutes the refereed proceedings of the ACM/IFIP/USENIX 9th International Middleware Conference 2008, held ...
WeiterlesenThis book is a bold and original attack on the problem of consciousness and free will based on the openings provided by the ...
Weiterlesenhe name “SPIN” refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an ...
WeiterlesenThis book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, ...
WeiterlesenThe book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. ...
WeiterlesenThis book constitutes the refereed proceedings of the 5th International Conference on Modeling Decisions for Artificial Intelligence, ...
WeiterlesenThis book constitutes the thoroughly refereed post-workshop proceedings of 10 internationl workshops and 2 symposia held ...
Weiterlesen