Lecture Notes in Computer Science 2755 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
|
|
- Carmel Alexis Washington
- 5 years ago
- Views:
Transcription
1 Lecture Notes in Computer Science 2755 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
2 3 Berlin Heidelberg New York Hong Kong London Milan Paris Tokyo
3 Martin Wirsing Dirk Pattinson Rolf Hennicker (Eds.) Recent Trends in Algebraic Development Techniques 16th International Workshop, WADT 2002 Frauenchiemsee, Germany, September 24-27, 2002 Revised Selected Papers 13
4 Series Editors Gerhard Goos, Karlsruhe University, Germany Juris Hartmanis, Cornell University, NY, USA Jan van Leeuwen, Utrecht University, The Netherlands Volume Editors Martin Wirsing Dirk Pattinson Rolf Hennicker Ludwig-Maximilians-Universität München Institut für Informatik Oettingenstr. 67, München, Germany {wirsing,pattinso, Cataloging-in-Publication Data applied for A catalog record for this book is available from the Library of Congress. Bibliographic information published by Die Deutsche Bibliothek Die Deutsche Bibliothek lists this publication in the Deutsche Nationalbibliografie; detailed bibliographic data is available in the Internet at < CR Subject Classification (1998): F.3.1, F.4, D.2.1, I.1 ISSN ISBN Springer-Verlag Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer-Verlag. Violations are liable for prosecution under the German Copyright Law. Springer-Verlag is a part of Springer Science+Business Media springeronline.com c Springer-Verlag Berlin Heidelberg 2003 Printed in Germany Typesetting: Camera-ready by author, data conversion by Olgun Computergrafik Printed on acid-free paper SPIN: /
5 Preface This volume contains selected papers from WADT 2002, the 16th International Workshop on Algebraic Development Techniques. Like its predecessors, WADT 2002 focussed on the algebraic approach to the specification and development of systems, an area that was born around the algebraic specification of abstract data types and encompasses today the formal design of software systems, new specification frameworks and a wide range of application areas. WADT 2002 took place at the convent of Frauenchiemsee, Germany, on September 24 27, 2002, and was organized by Rolf Hennicker, Dirk Pattinson and Martin Wirsing. The workshop also included a special track on Formalism, Logic, Institution Relating, Translating and Structuring (FLIRTS), and three satellite events: a meeting of the IFIP Working Group 1.3 on Foundations of System Specification, a Workshop on Global Computing organized by the AGILE project, and a Workshop on Multimedia Instruction in Safe and Secure Systems (MMISS). The program consisted of invited talks by Egidio Astesiano (Genoa, Italy), Andrew Gordon (Cambridge, UK), and Jan Rutten (Amsterdam, The Netherlands), and 44 presentations describing ongoing research on main topics of the workshop: formal methods for system development, specification languages and methods, systems and techniques for reasoning about specifications, specification development systems, methods and techniques for concurrent, distributed and mobile systems, and algebraic and co-algebraic foundations. The steering committee of WADT consisted of Michel Bidoit, Hans-Jöerg Kreowski, Peter Mosses, Fernando Orejas, Francesco Parisi-Presicce, Donald Sannella, and Andrzej Tarlecki. With the help of Till Mossakowski for the FLIRTS track, and the local organizers, several papers were selected, and the authors were invited to submit a full paper for possible inclusion in the workshop proceedings. All submissions underwent a careful refereeing process. The selection committee then made the final decisions. This volume contains the final versions of the 20 contributions that were accepted. It contains also two invited papers, those of Egidio Astesiano and Jan Rutten, and two invited presentations of the AGILE project on Software Architecture for Global Computing and of the MMISS project on Multimedia Instruction in Safe and Secure Systems. We are also proud to present in this volume the cantata Zero, Connected, Empty which was specially written for the banquet of the workshop. This cantata was composed by Ryoko Goguen with words by Joseph Goguen; an essay by these authors explains some of the thoughts behind the cantata. We are extremely grateful to all the referees who helped the selection committee in reviewing the submissions: M. Cerioli, R. Diaconescu, J.A. Goguen, B. Hoffmann, M. Hofmann, S. Katsumata, R. Klempien-Hinrichs, B. Konikowska,
6 VI Preface A.Kurz,D.Llywelyn,C.Lüth, F. Nickl, P. Ölveczky, C. Oriat, W. Pawlowski, G. Reggio, H. Reichel, M. Roggenbach, G. Rosu, and L. Schröder. The workshop was jointly organized by IFIP WG 1.3 (Foundations of System Specification), GI Fachgruppe (Specification and Semantics), and the Graduiertenkolleg Logic in Computer Science of LMU Munich and TU Munich. WADT 2002 received generous sponsorship from the following organizations: DFG (Deutsche Forschungsgemeinschaft), Institut für Informatik, Ludwig-Maximilians-Universität München Münchner Universitätsgesellschaft As organizers of the workshop, we would like to express our deepest thanks to Sister Scholastica of the convent of Frauenchiemsee for hosting the workshop with dedication and care, and for greatly facilitating the innumerable local organization tasks. Hubert Baumeister, Marianne Diem, Anton Fasching, Florian Hacklinger, Piotr Kosiuczenko, Philipp Meier and several other members of the department provided invaluable help throughout the preparation and organization of the workshop. We are grateful to Springer-Verlag for their helpful collaboration and quick publication. Finally, we thank all workshop participants both for lively discussions and for creating a friendly and warm atmosphere in spite of all the rain! July 2003 Martin Wirsing, Dirk Pattinson, Rolf Hennicker
7 Table of Contents Invited Technical Papers AGILE: Software Architecture for Mobility... 1 L. Andrade, P. Baldan, H. Baumeister, R. Bruni, A. Corradini, R. De Nicola, J.L. Fiadeiro, F. Gadducci, S. Gnesi, P. Hoffman, N. Koch, P. Kosiuczenko, A. Lapadula, D. Latella, A. Lopes, M. Loreti, M. Massink, F. Mazzanti, U. Montanari, C. Oliveira, R. Pugliese, A. Tarlecki, M. Wermelinger, M. Wirsing, and A. Zaw locki A Coinductive Calculus of Component Connectors F. Arbab and J.J.M.M. Rutten An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint E. Astesiano and G. Reggio MultiMedia Instruction in Safe and Secure Systems B. Krieg-Brückner, D. Hutter, A. Lindow, C. Lüth, A. Mahnke, E. Melis, P. Meier, A. Poetzsch-Heffter, M. Roggenbach, G. Russell, J.-G. Smaus, and M. Wirsing Invited Non-technical Papers Zero, Connected, Empty R.A. Goguen and J.A. Goguen Zero, Connected, Empty: An Essay after a Cantata J.A. Goguen and R.A. Goguen Contributed Papers Type Checking Parametrised Programs and Specifications in ASL+ FPC..129 D. Aspinall Pre-nets, Read Arcs and Unfolding: A Functorial Presentation P. Baldan, R. Bruni, and U. Montanari Coreflective Concurrent Semantics for Single-Pushout Graph Grammars..165 P. Baldan, A. Corradini, U. Montanari, and L. Ribeiro Completeness Results for Fibred Parchments C. Caleiro, P. Gouveia, and J. Ramos Use of Patterns in Formal Development: Systematic Transition from Problems to Architectural Designs C. Choppy and M. Heisel
8 VIII Table of Contents Conditional Circular Coinductive Rewriting with Case Analysis J.A. Goguen, K. Lin, and G. Roşu Verifying Generative Casl Architectural Specifications P. Hoffman Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens K. Hoffmann and T. Mossakowski The Coinductive Approach to Verifying Cryptographic Protocols J. Hughes and M. Warnier Behavioural Equivalence and Indistinguishability in Higher-Order Typed Languages S. Katsumata Approach-Independent Structuring Concepts for Rule-Based Systems H.-J. Kreowski and S. Kuske Notions of Behaviour and Reachable-Part and Their Institutions A. Kurz Combining Specification Formalisms in the General Logic of Multialgebras Y. Lamo and M. Walicki On How Distribution and Mobility Interfere with Coordination A. Lopes and J.L. Fiadeiro Foundations of Heterogeneous Specification T. Mossakowski Algebraic-Coalgebraic Specification in CoCasl T. Mossakowski, H. Reichel, M. Roggenbach, and L. Schröder Translating Logics for Coalgebras D. Pattinson Presenting and Combining Inference Systems W. Paw lowski Monad-Independent Dynamic Logic in HasCasl L. Schröder and T. Mossakowski Preserving Properties in System Redesign: Rule-Based Approach M. Urbášek Author Index...457
Lecture Notes in Computer Science 2845 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
Lecture Notes in Computer Science 2845 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 3 Berlin Heidelberg New York Hong Kong London Milan Paris Tokyo Bruce Christianson James A. Malcolm Bruno Crispo
More informationFormal Concept Analysis
Formal Concept Analysis Springer Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Bernhard Ganter Rudolf Wille Formal Concept Analysis Mathematical Foundations With 105
More informationLecture Notes in Computer Science 2561 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
Lecture Notes in Computer Science 2561 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo Harrie C.M. de Swart (Ed.) Relational
More informationFoundations of Mathematics
Erwin Engeler Foundations of Mathematics Questions of Analysis, Geometry & Algorithmics Translated by Charles B. Thomas With 29 Figures Springer-Verlag Berlin Heidelberg New York London Paris Tokyo Hong
More informationA Algorithms and Combinatorics 13
A Algorithms and Combinatorics 13 Editorial Board R. L. Graham, Murray Hill B. Korte, Bonn L. Lovasz, Budapest A.Wigderson, Jerusalem G. M. Ziegler, Berlin Springer Berlin Heidelberg New York Barcelona
More informationNEUROANATOMY 3D-Stereoscopic Atlas of the Human Brain
Martin C. Hirsch Thomas Kramer NEUROANATOMY 3D-Stereoscopic Atlas of the Human Brain Springer-Verlag Berlin Heidelberg GmbH Martin C. Hirsch Thomas Kramer NEUROANATOMY 3D-Stereoscopic Atlas of the Human
More informationErgebnisse der Mathematik und ihrer Grenzgebiete
Ergebnisse der Mathematik und ihrer Grenzgebiete 3. Folge. Band 26 A Series of Modem Surveys in Mathematics Editorial Board E. Bombieri, Princeton S. Feferman, Stanford M. Gromov, Bures-sur-Yvette H.W.
More informationHow to Write Technical Reports
How to Write Technical Reports Lutz Hering Heike Hering How to Write Technical Reports Understandable Structure, Good Design, Convincing Presentation 123 Dr. Lutz Hering Am Ricklinger Holze 14 30966 Hemmingen
More informationZdravko Cvetkovski. Inequalities. Theorems, Techniques and Selected Problems
Inequalities Zdravko Cvetkovski Inequalities Theorems, Techniques and Selected Problems Dipl. Math. Zdravko Cvetkovski Informatics Department European University-Republic of Macedonia Skopje, Macedonia
More informationLandolt-Börnstein Numerical Data and Functional Relationships in Science and Technology New Series / Editor in Chief: W.
Landolt-Börnstein Numerical Data and Functional Relationships in Science and Technology New Series / Editor in Chief: W. Martienssen Group III: Condensed Matter Volume 44 Semiconductors Subvolume C New
More informationEATCS Monographs on Theoretical Computer Science
EATCS Monographs on Theoretical Computer Science Volume 5 Editors: W. Brauer G. Rozenberg A. Salomaa Advisory Board: G. Ausiello S. Even M. Nivat Chr. Papadimitriou A.L. Rosenberg D. Scott EATCS Monographs
More informationSpringer-Verlag Berlin Heidelberg GmbH
Reporting on Income Distribution and Poverty Springer-Verlag Berlin Heidelberg GmbH Richard Hauser Irene Becker Editors Reporting on Incotne Distribution and Poverty Perspectives from a German and a European
More informationPhase Equilibria, Crystallographic and Thermodynamic Data of Binary Alloys
Landolt-Börnstein Numerical Data and Functional Relationships in Science and Technology New Series / Editor in Chief: W. Martienssen Group IV: Physical Chemistry Volume 12 Phase Equilibria, Crystallographic
More informationDamage Mechanics with Finite Elements
Damage Mechanics with Finite Elements Springer-Verlag Berlin Heidelberg GmbH P. 1. Kattan. G. Z. Voyiadjis Damage Mechanics with Finite Elements Practical Applications with Computer Tools With 28 Figures
More informationLandolt-Börnstein / New Series
Landolt-Börnstein / New Series Landolt-Börnstein Numerical Data and Functional Relationships in Science and Technology New Series Editor in Chief: W. Martienssen Units and Fundamental Constants in Physics
More informationLandolt-Börnstein Numerical Data and Functional Relationships in Science and Technology New Series / Editor in Chief: W.
Landolt-Börnstein Numerical Data and Functional Relationships in Science and Technology New Series / Editor in Chief: W. Martienssen Group III: Condensed Matter Volume 44 Semiconductors Subvolume D New
More informationCompanion to European Heritage Revivals / edited by Linde Egberts and Koos Bosma
Companion to European Heritage Revivals / edited by Linde Egberts and Koos Bosma Companion to European Heritage Revivals / edited by Linde Egberts and Koos Bosma Linde Egberts and Koos Bosma (eds.) CLUE
More informationTexts in Theoretical Computer Science An EATCS Series
Texts in Theoretical Computer Science An EATCS Series Editors: W. Brauer G. Rozenberg A. Salomaa Advisory Board: G. Ausiello M. Broy S. Even J. Hartmanis N. Jones T. Leighton M. Nivat C. Papadimitriou
More informationEATCS Monographs on Theoretical Computer Science
EATCS Monographs on Theoretical Computer Science Volume 23 Editors: W. Brauer G. Rozenberg A. Salomaa Advisory Board: G.Ausiello M.Broy S.Even IHartmanis N.Jones T. Leighton M.Nivat C. Papadimitriou D.
More informationLecture Notes in Computer Science 2023 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
Lecture Notes in Computer Science 2023 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 3 Berlin Heidelberg New York Hong Kong London Milan Paris Tokyo Peter King Ethan V. Munson (Eds.) Digital Documents:
More informationMathematics, Computer Science and Logic - A Never Ending Story
Mathematics, Computer Science and Logic - A Never Ending Story Peter Paule Editor Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift 123 Editor Peter Paule
More informationPaul M. Gauthier. Lectures on Several Complex
Paul M. Gauthier Lectures on Several Complex Variables Paul M. Gauthier Départment de Mathématiques et de Statistique Université de Montréal Montreal, QC, Canada ISBN 978-3-319-11510-8 ISBN 978-3-319-11511-5
More informationKöhler s Invention Birkhäuser Verlag Basel Boston Berlin
Klaus Eichmann Köhler s Invention Birkhäuser Verlag Basel Boston Berlin Prof. Dr. Klaus Eichmann Max-Planck-Institut für Immunbiologie Stübeweg 51 D-79108 Freiburg Library of Congress Cataloging-in-Publication
More informationEncyclopedia of Marine Sciences
1. G. Baretta-Bekker. E. K. Duursma B. R. Kuipers (Eds.) Encyclopedia of Marine Sciences With 127 Figures Springer-Verlag Berlin Heidelberg New York London Paris Tokyo Hong Kong Barcelona Budapest Drs.
More informationLecture Notes in Computer Science 7020
Lecture Notes in Computer Science 7020 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationMulticriteria Optimization
Multicriteria Optimization Matthias Ehrgott Multicriteria Optimization Second edition With 88 Figures and 12 Tables 12 Dr. habil. Matthias Ehrgott, Associate Professor The University of Auckland Department
More informationSeeber Satellite Geodesy
Seeber Satellite Geodesy Günter Seeber Satellite Geodesy 2nd completely revised and extended edition Walter de Gruyter Berlin New York 2003 Author Günter Seeber,Univ. Prof. Dr.-Ing. Institut für Erdmessung
More informationIntroduction to the Representation Theory of Algebras
Introduction to the Representation Theory of Algebras Michael Barot Introduction to the Representation Theory of Algebras 123 Michael Barot Instituto de Matemáticas Universidad Nacional Autónoma de México
More informationRamanujan's Notebooks
Ramanujan's Notebooks Part II Springer New York Berlin Heidelberg Barcelona Hong Kong London Milan Paris Singapore Tokyo Bust of Ramanujan by Paul Granlund Bruce C. Berndt Ramanujan's Notebooks Part II
More informationTrends in Mathematics
Trends in Mathematics Trends in Mathematics is a series devoted to the publication of volumes arising from conferences and lecture series focusing on a particular topic from any area of mathematics. Its
More informationPublications des Archives Henri-Poincaré Publications of the Henri Poincaré Archives
Publications des Archives Henri-Poincaré Publications of the Henri Poincaré Archives Textes et Travaux, Approches Philosophiques en Logique, Mathématiques et Physique autour de 1900 Texts, Studies and
More informationCommunicating Science
Communicating Science Pierre Laszlo Communicating Science A Practical Guide 123 Prof. Pierre Laszlo Cloud s Rest Prades F-12320 Senergues France DOI 10.1007/75951 ISBN-10 3-540-31919-0 Springer Berlin
More informationLecture Notes in Physics
Lecture Notes in Physics Editorial Board H. Araki Research Institute for Mathematical Sciences Kyoto University, Kitashirakawa Sakyo-ku, Kyoto 606, Japan E. Br6zin Ecole Normale Sup6rieure, D6partement
More informationThe Sound of Silence
The Sound of Silence Burkhard Vogel The Sound of Silence Lowest-Noise RIAA Phono-Amps: Designer s Guide 123 Dipl.-Ing. Burkhard Vogel BUVOCON-Burkhard Vogel Consult GmbH 70180 Stuttgart, Germany ISBN 978-3-540-76883-8
More informationCollected Papers VI. Literary Reality and Relationships
Collected Papers VI. Literary Reality and Relationships PHAENOMENOLOGICA SERIES FOUNDED BY H.L. VAN BREDA AND PUBLISHED UNDER THE AUSPICES OF THE HUSSERL-ARCHIVES 206 ALFRED SCHUTZ COLLECTED PAPERS VI.
More informationNMR. Basic Principles and Progress Grundlagen und F ortschritte. Volume 7. Editors: P. Diehl E. Fluck R. Kosfeld. With 56 Figures
NMR Basic Principles and Progress Grundlagen und F ortschritte Volume 7 Editors: P. Diehl E. Fluck R. Kosfeld With 56 Figures Springer-Verlag Berlin Heidelberg New York 1972 Professor Dr. P. DIEHL Physikalisches
More informationGuide to Computing for Expressive Music Performance
Guide to Computing for Expressive Music Performance Alexis Kirke Eduardo R. Miranda Editors Guide to Computing for Expressive Music Performance Editors Alexis Kirke Interdisciplinary Centre for Computer
More informationRasch Models. Foundations, Recent Developments, and Applications
Rasch Models Foundations, Recent Developments, and Applications Gerhard H. Fischer Ivo W. Molenaar Editors Rasch Models Foundations, Recent Developments, and Applications With 19 Illustrations Springer-Verlag
More informationCalculation of Demographic Parameters in Tropical Livestock Herds
Matthieu Lesnoff Renaud Lancelot Charles-Henri Moulin Samir Messad Xavier Juanès Christian Sahut Calculation of Demographic Parameters in Tropical Livestock Herds A discrete time approach with LASER animal-based
More informationProblem Books in Mathematics
Problem Books in Mathematics Series Editor: Peter Winkler Department of Mathematics Dartmouth College Hanover, NH 03755 USA More information about this series at http://www.springer.com/series/714 Hayk
More informationBritish Women Writers and the Short Story,
British Women Writers and the Short Story, 1850 1930 This page intentionally left blank British Women Writers and the Short Story, 1850 1930 Reclaiming Social Space Kate Krueger Assistant Professor of
More informationLecture Notes in Computer Science. Edited by G. Goos, J. Hartmanis and J. van Leeuwen
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1512 Springer Berlin Heidelberg New York Barcelona Budapest Hong Kong London Milan Paris Singapore Tokyo Eduardo Gim6nez
More informationProtecting Chips Against Hold Time Violations Due to Variability
Protecting Chips Against Hold Time Violations Due to Variability Gustavo Neuberger Ricardo Reis Gilson Wirth Protecting Chips Against Hold Time Violations Due to Variability Gustavo Neuberger Instituto
More informationBeing Agile. Your Roadmap to Successful Adoption of Agile. Mario E. Moreira
Being Agile Your Roadmap to Successful Adoption of Agile Mario E. Moreira Being Agile: Your Roadmap to Successful Adoption of Agile Copyright 2013 by Mario E. Moreira This work is subject to copyright.
More informationQuantum Theory and Local Causality
SPRINGER BRIEFS IN PHILOSOPHY Gábor Hofer-Szabó Péter Vecsernyés Quantum Theory and Local Causality SpringerBriefs in Philosophy SpringerBriefs present concise summaries of cutting-edge research and practical
More informationThe Discourse of Peer Review
The Discourse of Peer Review Brian Paltridge The Discourse of Peer Review Reviewing Submissions to Academic Journals Brian Paltridge Sydney School of Education & Social Work University of Sydney Sydney,
More informationThe New European Left
The New European Left This page intentionally left blank The New European Left A Socialism for the Twenty-First Century? By Kate Hudson Visiting Research Fellow, Department of Social Sciences, London South
More informationMATLAB Ò and Design Recipes for Earth Sciences
MATLAB Ò and Design Recipes for Earth Sciences Martin H. Trauth Elisabeth Sillmann MATLAB Ò and Design Recipes for Earth Sciences How to Collect, Process and Present Geoscientific Information 123 Martin
More informationWhat Does a Chameleon Look Like?
Stefanie Kiwi Menrath / Alexander Schwinghammer (eds.) What Does a Chameleon Look Like? Topographies of Immersion Herbert von Halem Verlag Bibliografische Information der Deutschen Nationalbibliothek Die
More informationHANDBOOK OF RECORDING ENGINEERING FOURTH EDITION
HANDBOOK OF RECORDING ENGINEERING FOURTH EDITION HANDBOOK OF RECORDING ENGINEERING FOURTH EDITION by John Eargle JME Consulting Corporation Springe] John Eargle JME Consulting Corporation Los Angeles,
More informationCalculating the Human
Calculating the Human This page intentionally left blank Calculating the Human Universal Calculability in the Age of Quality Assurance Luigi Doria CNRS at Centre Maurice Halbwachs (CNRS EHESS ENS), Paris,
More informationE. Kowalski. Nuclear Electronics. With 337 Figures. Springer-Verlag New York Heidelberg Berlin 1970
E. Kowalski Nuclear Electronics With 337 Figures Springer-Verlag New York Heidelberg Berlin 1970 Dr. Emil Kowalski Lecturer, Institute of Applied Physics, University of Berne, Switzerland Nucleonics Division,
More informationHuman Rights Violation in Turkey
Human Rights Violation in Turkey Human Rights Violation in Turkey Rethinking Sociological Perspectives David Straw University of Manchester, UK David Straw 2013 Softcover reprint of the hardcover 1st edition
More informationSignal Persistence Checking of Asynchronous System Implementation using SPIN
, March 18-20, 2015, Hong Kong Signal Persistence Checking of Asynchronous System Implementation using SPIN Weerasak Lawsunnee, Arthit Thongtak, Wiwat Vatanawood Abstract Asynchronous system is widely
More informationTen Essays in the Development of Economic Thought. Ronald L. Meek Tyler Professor of Economics at the University of Leicester
SMITH, MARX, & AFTER SMITH, MARX, & AFTER Ten Essays in the Development of Economic Thought Ronald L. Meek Tyler Professor of Economics at the University of Leicester SPRINGER-SCIENCE+BUSINESS MEDIA. B.V.
More informationRomanticism and Pragmatism
Romanticism and Pragmatism Also by Ulf Schulenberg: AMERICANIZATION- GLOBALIZATION- EDUCATION (ed. with Gerhard Bach and Sabine Broeck) LOVERS AND KNOWERS: MOMENTS OF THE AMERICAN CULTURAL LEFT ZWISCHEN
More informationStudies in European History
THE RENAISSANCE Studies in European History Series Editors: jeremy Black T.C.W. Blanning john Breuilly Peter Burke Michael L. Dockrill and Michael F. Hopkins William Doyle William Doyle Andy Durgan Geoffrey
More informationTHE LITTLE BOOK. bees
THE LITTLE BOOK of bees THE LITTLE BOOK of bees KARL WEISS with Carlos H. Vergara copernicus books An Imprint of Springer-Verlag Originally published as Bienen und Bienenvölker, 1997 Verlag C. H. Beck
More informationMYRIAD-MINDED SHAKESPEARE
MYRIAD-MINDED SHAKESPEARE Myriad-tninded Shakespeare Essays, chiefly on the tragedies and problem comedies E. A. J. Honigmann Palgrave Macmillan ISBN 978-1-349-19816-0 ISBN 978-1-349-19814-6 (ebook) DOI
More informationEnglish for Biomedical Scientists Ramón Ribes Palma Iannarelli Rafael F. Duarte
English for Biomedical Scientists Ramón Ribes Palma Iannarelli Rafael F. Duarte Ramón Ribes Palma Iannarelli Rafael F. Duarte English for Biomedical Scientists Ramón Ribes Palma Iannarelli Hospital Reina
More informationSpringer Series in Information Sciences 22
Springer Series in Information Sciences 22 Springer Series in Information Sciences Editors: Thomas S. Huang Teuvo Kohonen Manfred R. Schroeder 30 Self-Organizing Maps By T. Kohonen 3rd Edition 3 I Music
More informationA Hybrid Theory of Metaphor
A Hybrid Theory of Metaphor A Hybrid Theory of Metaphor Relevance Theory and Cognitive Linguistics Markus Tendahl University of Dortmund, Germany Markus Tendahl 2009 Softcover reprint of the hardcover
More informationThe Hegel Marx Connection
The Hegel Marx Connection Also by Tony Burns NATURAL LAW AND POLITICAL IDEOLOGY IN THE PHILOSOPHY OF HEGEL Also by Ian Fraser HEGEL AND MARX: The Concept of Need The Hegel Marx Connection Edited by Tony
More informationSpringerBriefs in Electrical and Computer Engineering
SpringerBriefs in Electrical and Computer Engineering More information about this series at http://www.springer.com/series/10059 Fatima Hussain Internet of Things Building Blocks and Business Models 123
More informationA Glossary of Anesthesia and Related Terminology. Second Edition
A Glossary of Anesthesia and Related Terminology Second Edition Sanford L. Klein A Glossary of Anesthesia and Related Terminology Second Edition With 228 Illustrations Springer-Verlag New York Berlin Heidelberg
More informationTHEORY AND APPLICATIONS OF SPECIAL FUNCTIONS. A Volume Dedicated to Mizan Rahman
- - - - -- - THEORY AND APPLICATIONS OF SPECIAL FUNCTIONS A Volume Dedicated to Mizan Rahman Developments in Mathematics VOLUME 13 Series Editor: Krishnaswami Alladi, University of Florida, U.S.A. Aims
More informationThe Legacy of Vico in Modern
The Legacy of Vico in Modern Cultural History In this highly original study explores how four attentive and inventive readers of Giambattista Vico s New Science (1744) the French historian Jules Michelet
More informationNarrative Dimensions of Philosophy
Narrative Dimensions of Philosophy This page intentionally left blank Narrative Dimensions of Philosophy A Semiotic Exploration in the Work of Merleau-Ponty, Kierkegaard and Austin Sky Marsen Victoria
More informationSYNTHESE LIBRARY STUDIES IN EPISTEMOLOGY, LOGIC, METHODOLOGY, AND PHILOSOPHY OF SCIENCE. JAAKKO HINTIKKA, Boston University
NAMING THE RAINBOW SYNTHESE LIBRARY STUDIES IN EPISTEMOLOGY, LOGIC, METHODOLOGY, AND PHILOSOPHY OF SCIENCE Managing Editor: JAAKKO HINTIKKA, Boston University Editors: DIRK VAN DALEN, University of Utrecht,
More informationFORMAL GROUPS AND APPLICATIONS MICHIEL HAZEWINKEL AMS CHELSEA PUBLISHING
FORMAL GROUPS AND APPLICATIONS MICHIEL HAZEWINKEL AMS CHELSEA PUBLISHING FORMAL GROUPS AND APPLICATIONS http://dx.doi.org/10.1090/chel/375.h FORMAL GROUPS AND APPLICATIONS MICHIEL HAZEWINKEL AMS CHELSEA
More informationReadability: Text and Context
Readability: Text and Context Also by Alan Bailin THE CRITICAL ASSESSMENT OF RESEARCH Traditional and New Methods of Evaluation ( co- authored) METAPHOR AND THE LOGIC OF LANGUAGE USE Also by Ann Grafstein
More informationAnimal Dispersal. Small mammals as a model. WILLIAM Z. LIDICKER, JR Museum of Vertebrate Zoology, University of California, Berkeley, USA
Animal Dispersal Animal Dispersal Small mammals as a model Edited by NILS CHR. STENSETH Department of Biology, University of Oslo, Norway and WILLIAM Z. LIDICKER, JR Museum of Vertebrate Zoology, University
More informationThis page intentionally left blank
America Imagined This page intentionally left blank America Imagined Explaining the United States in Nineteenth-Century Europe and Latin America Edited by Axel Körner, Nicola Miller, and Adam I. P. Smith
More informationTrends in Mathematics
Trends in Mathematics Trends in Mathematics is a series devoted to the publication of volumes arising from conferences and lecture series focusing on a particular topic from any area of mathematics. Its
More informationRichard Wollheim on the Art of Painting
Richard Wollheim on the Art of Painting Art as Representation Richard Wollheim is one of the dominant figures in the philosophy of art, whose work has shown not only how paintings create their effects
More informationLecture Notes in Computer Science 4631
Lecture Notes in Computer Science 4631 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationFreshwater Invertebrates in Central Europe
Freshwater Invertebrates in Central Europe György Kriska Freshwater Invertebrates in Central Europe A Field Guide György Kriska Group for Methodology in Biology Teaching, Biological Institute Eötvös Loránd
More informationTown Twinning, Transnational Connections, and Trans-local Citizenship Practices in Europe
Town Twinning, Transnational Connections, and Trans-local Citizenship Practices in Europe Europe in a Global Context Series Editor: Anne Sophie Krossa, Universität Giessen Titles in the series include:
More informationStudies in German Idealism
Studies in German Idealism Volume 17 Series Editor Reinier W. Munk, VU University, Amsterdam, The Netherlands Advisory Editorial Board Frederick Beiser, Syracuse University, U.S.A. Daniel Dahlstrom, Boston
More informationBrock / Springer Series in Contemporary Bioscience. A Researcher's Guide to Scientific and Medical Illustrations
Brock / Springer Series in Contemporary Bioscience A Researcher's Guide to Scientific and Medical Illustrations Brock/Springer Series in Contemporary Bioscience Series Editor: Thomas D. Brock University
More informationInjectable Fillers in Aesthetic Medicine
Mauricio de Maio Berthold Rzany Injectable Fillers in Aesthetic Medicine Second Edition 123 Injectable Fillers in Aesthetic Medicine Mauricio de Maio Berthold Rzany Injectable Fillers in Aesthetic Medicine
More informationSymmetry. György Darvas
György Darvas Symmetry Cultural-historical and ontological aspects of science arts relations The natural and man-made world in an interdisciplinary approach Translated from the Hungarian by David Robert
More informationMRI in Clinical Practice
MRI in Clinical Practice MRI in Clinical Practice Gary Liney With 62 Figures Gary Liney, PhD MRI Lecturer University of Hull Centre for MR Investigations Hull Royal Infirmary Hull UK British Library Cataloguing
More informationANNOTATED BIBLIOGRAPHY OF CORPORATE FINANCE
ANNOTATED BIBLIOGRAPHY OF CORPORATE FINANCE ANNOTATED BIBLIOGRAPHY OF CORPORATE FINANCE Compiled by Roger and Eva Lister Roger and Eva Lister 1979 Softcover reprint of the hardcover 15t edition 1979 978-0-333-18399-1
More informationYorick Wilks. Machine Translation. Its Scope and Limits
Machine Translation Yorick Wilks Machine Translation Its Scope and Limits 123 Yorick Wilks Department of Computer Science The University of Sheffield Regent Court, 211 Portobello Street Sheffield, S1 4DP,
More informationillrich Reimers Digital Video Broadcasting (DVB)
illrich Reimers Digital Video Broadcasting (DVB) Springer-Verlag Berlin Heidelberg GmbH Ulrich Reimers Digital Video Broadcasting (DVB) The International Standard for Digital Television With 175 figures
More informationThe Grotesque in Contemporary Anglophone Drama
The Grotesque in Contemporary Anglophone Drama wwwwwwwwwwwwwwwww Ondřej Pilný The Grotesque in Contemporary Anglophone Drama Ondřej Pilný Department of Anglophone Literatures and Cultures Faculty of Arts
More informationMetaphor and Political Discourse
Metaphor and Political Discourse By the same author MIRROR IMAGES OF EUROPE KOMMUNIKATIVE KREATIVITÄT ATTITUDES TOWARD EUROPE (co-editor) Metaphor and Political Discourse Analogical Reasoning in Debates
More informationKlein, Sartre and Imagination in the Films of Ingmar Bergman
Klein, Sartre and Imagination in the Films of Ingmar Bergman Klein, Sartre and Imagination in the Films of Ingmar Bergman Dan Williams Dan Williams 2015 Softcover reprint of the hardcover 1st edition
More informationBritain, Europe and National Identity
Britain, Europe and National Identity This page intentionally left blank Britain, Europe and National Identity Self and Other in International Relations Justin Gibbins Assistant Professor, College of Sustainability
More informationExistentialism and Romantic Love
Existentialism and Romantic Love This page intentionally left blank Existentialism and Romantic Love Skye Cleary Columbia University, New York, USA Skye Cleary 2015 Softcover reprint of the hardcover 1st
More informationThe. Craft of. Editing
The Craft of Editing Springer Science+ Business Media, LLC The Craft of Editing A Guide for Managers, Scientists, and Engineers Michael Alley. ~. T Springer Michael Alley College of Engineering VIrginia
More informationArnold s Problems. 3 Berlin Heidelberg New York Hong Kong London Milan Paris Tokyo
Arnold s Problems 3 Berlin Heidelberg New York Hong Kong London Milan Paris Tokyo Arnold s Problems Edited by Vladimir I. Arnold 13 PHASIS Vladimir I. Arnold Steklov Mathematical Institute ul. Gubkina
More informationLinear Circuit Design Handbook
Linear Circuit Design Handbook Linear Circuit Design Handbook Hank Zumbahlen with the engineering staff of Analog Devices AMSTERDAM BOSTON HEIDELBERG LONDON NEW YORK OXFORD PARIS SAN DIEGO SAN FRANCISCO
More informationBibliometric glossary
Bibliometric glossary Bibliometric glossary Benchmarking The process of comparing an institution s, organization s or country s performance to best practices from others in its field, always taking into
More informationMarxism and Education. Series Editor Anthony Green Institute of Education University of London London, United Kingdom
Marxism and Education Series Editor Anthony Green Institute of Education University of London London, United Kingdom This series assumes the ongoing relevance of Marx s contributions to critical social
More informationWOMEN'S REPRESENTATIONS OF THE OCCUPATION IN POST-'68 FRANCE
WOMEN'S REPRESENTATIONS OF THE OCCUPATION IN POST-'68 FRANCE Also by Claire Gorrara EUROPEAN MEMORIES OF TIlE SECOND WORLD WAR: New Perspectives on Postwar Literature (editor with H. Peitsch and C. Burdett)
More informationLiterature and Politics in the 1620s
Literature and Politics in the 1620s Also by Paul Salzman READING EARLY MODERN WOMEN S WRITING (2006) LITERARY CULTURE IN JACOBEAN ENGLAND: READING 1621 (2002) Literature and Politics in the 1620s Whisper
More informationThe Scientific iemper
Yellow Buttons at the Top and Bottom of pages indicate links Anthony R.Michaelis The Scientific iemper An Anthology of Stories on Matters of Science To _ Synopsis If you wish to skip introductoly matter
More informationIS SCIENCE PROGRESSIVE?
IS SCIENCE PROGRESSIVE? SYNTHESE LIBRARY STUDIES IN EPISTEMOLOGY, LOGIC, METHODOLOGY, AND PHILOSOPHY OF SCIENCE Managing Editor: JAAKKO HINTIKKA, Florida State University, Tallahassee Editors: DONALD DAVIDSON,
More information