Sökt på: johan berlin
totalt 13 träffar
Advanced Functional Programming
This volume presents the tutorials given during the First International Spring School on Advanced Functional Programming Techniques, held in Bastad, Sweden in May 1995.The last few …
Advanced Functional Programming
This volume contains the notes of the lectures given at the Fourth Inter- tionalSchoolonAdvanced FunctionalProgramming,heldAugust19-24,2002,at St. Anne's College in Oxford, UK. …
Mathematics of Program Construction
This book consitutes the refereed proceedings of the 4th International Conference on Mathematics of Program Construction, MPC'98, held in Marstrand, near Goteborg, Sweden, in June …
Higher Order Logic Theorem Proving and Its Applications
This volume constitutes the refereed proceedings of the 1993 Higher-Order Logic User's Group Workshop, held at the University of British Columbia in August 1993. The workshop was …
New Trends in Image Analysis and Processing, ICIAP 2013 Workshops
This book constitutes the refereed proceedings of the workshops held with the 17th International Conference on Image Analysis and Processing, ICIAP 2013, held in Naples, Italy, in …
Non-Monotonic Reasoning
This volume contains revised and extended versions of the papers presented at the Second International Workshop on Non-Monotonic Reasoning, held in Grassau (FRG), June 13-15, 1988. …
Functional Imaging and Modeling of the Heart
Therecentdevelopmentsindynamiccardiacimagingandmodelingarethe- sultofanincreasinglyfruitfulcooperationbetweentheoreticians,engineers,and practitioners. …
Datatype-Generic Programming
A leitmotif in the evolution of programming paradigms has been the level and extent of parametrisation that is facilitated — the so-called genericity of the paradigm. The sorts of …
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation
Welcome to the proceedings of PATMOS 2006, the 16th in a series of international workshops. PATMOS 2006 was organized by LIRMM with CAS technical - sponsorship and CEDA …
Recent Trends in Data Type Specification
This book contains a strictly refereed selection of revised full papers chosen from the papers accepted for presentation during the 11th Workshop on Abstract Data Types held …
Applications and Theory of Petri Nets
This volume consists of the proceedings of the 31th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010). The Petri …
Intelligent Computer Mathematics
This book constitutes the joint refereed proceedings of the 11th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2012, 19th Symposium on the …