Given the relative indeterminacy of law, it is no surprise that the problem of interpretation has always been one of the ...
Lire la suite
This text presents key information needed to write your own online science and engineering applications, including reading, ...
Lire la suite
Provides an in-depth introduction to software design, with a focus on object-oriented design, and using the Java programming ...
Lire la suite
Packed with useful information and is a must-have for any Java programmer. You will: Run a Java file with a single command Learn ...
Lire la suite
Quickly find solutions to dozens of common programming problems encountered while building Java applications, with recipes ...
Lire la suite
offers contributions to a philosophical and realistic approach to the place of adjudication in contemporary constitutional ...
Lire la suite
This book constitutes the refereed proceedings of the Second International Conference on Language and Automata Theory and ...
Lire la suite
This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Languages ...
Lire la suite
This book constitutes the thoroughly refereed post-conference proceedings of the 21th International Workshop on Languages ...
Lire la suite
This book constitutes the thoroughly refereed joint post-conference proceedings of two consecutive International Workshops ...
Lire la suite
In the present book, Pauline Phemister argues against traditional Anglo-American interpretations of Leibniz as an idealist ...
Lire la suiteHow can poetry embrace morality through focusing on metaphrasts? What is the relation between an allummette and the alpha ...
Lire la suite
The book addresses the “balancing act” between developing students’ modelling skills on the one hand, and using modelling ...
Lire la suite
The 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop ...
Lire la suite
This book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA ...
Lire la suite
The 96 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 363 submissions. ...
Lire la suite
This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, ...
Lire la suite
This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 9th International Middleware Conference 2008, held ...
Lire la suite
This book is a bold and original attack on the problem of consciousness and free will based on the openings provided by the ...
Lire la suite
he name “SPIN” refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an ...
Lire la suite