Lecture Notes in Computer Science
|
|
|
- Lauren Joan Sullivan
- 6 years ago
- Views:
Transcription
1 Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis 19 Programming Symposium Proceedings, Colloque sur la Programmation Paris, April 9-11, 1974 Edited by B. Robinet II I Springer-Verlag Berlin-Heidelberg New York 1974
2 Editorial Board: P. Brinch Hansen D. Gries C. Moler G. Seegmeller N. Wirth Prof. B. Robinet de Paris VI U.E.R. 110, Institut de Programmation Tour 55-65, Quai Saint-Bernard F-75 Paris V/France Library of Congress Cataloging in Publication Data Programming Symposium, Paris, Programming Symposium; proceedings. (Lecture notes in computer science, v. 19) French or English. Bibliography: p. i. Electronic digital computers--programming-- Congresses. I. Robinet~ Bernard, ed. II. Series. QA76.6.P ' AMS Subject Classifications (1970): 68-02, 68A05 CR Subject Classifications (1974): 4.0, 4.10, 4.20, 4.22, 4.32, 5.21, 5.24, 3.20 ISBN Springer-Verlag Berlin Heidelberg - New York ISBN ? Springer-Verlag New York Heidelberg Berlin This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically those of translation, reprinting, re-use of illustrations, broadcasting, reproduction by photocopying machine or similar means, and storage in data banks. Under 54 of the German Copyright Law where copies are made for other than private use, a fee is payable to the publisher, the amount of the fee to be determined by agreement with the publisher. by Springer-Verlag Berlin Heidelberg Printed in Germany. Offsetdruck: Julius Beltz, Hemsbach/Bergstr.
3 TABLE DES MATIERES TABLE OF COkwI~S INTRODUCTION... PROGRAMMATiON STRUCTUREE STRUCTURED PROGRAMMING On a measure of program structure - R.N. Chanon... Higher order software techniques applied to a space shuttle prototype program - M. Hamilton, S. Zeldin... A proposed system for structured progra~ng - T.E. Cheatham, Jr. Townley, J.A. Townley JUStiFICATION DES PRO~4MES PROGRAM CORRECTNESS S.V.P., Un syst&me interactif pour la validation et la pr@paration de progra~mes - B. Amy, F. Ouabdesselam... Proving program correctness in L.C.F. - L. Aiello, M. Aiello... Finite state testing of structured programs - P. Henderson, P. Quarendon PREDatES FOP~4~.T,~S DE PROGRA~[4ES PROVING PROPERTIES OF PROGRAMS Structured recursive programming - R.E. Noonan, D.J. Panton... Top-do~n approach to the synthesis of programs - G. Degli Anto~, P.A. Miglioli, M. Ornaghi... A more mechanical approach to program verification - I. Greif, R.J. Waldinger... 8t APPLICATIONS DES LANGAGES DE PROGRAMNATION SPECIFIC APPLICATIONS OF PROGRA~G LANGUAGES Tree structures handling by APS - G. Aguzzi, F. Cesarini, R. Pinzani, G. Soda, R. Sprugnoli... Towards a high-level job control language - A.F. Gurski... Formal definition of a simple on-line teleprocessor in VDL - G.G. Hay... I20 t30 141
4 STRLL~S DE COK~fROLE CONTROL STRUCTURES The suitability of a very high level language (SETL) for s mulation structuring and control - W.R. Franta, K. Maly... A control statement for natural top-down structured progrm~ng - Ch.T. Zahn... On the transfer of control between contexts - B.W. Lam#son, J.G. ~itchell~ E.H. Satterthwhaite SCHE~MAS DE PROGP~@~ES SCHEMATOLOGY Equivalences darts l'alg@bre des schsmas de progran~nes - I. Guessarian... Inductive assertion patters for recursive procedures - M.M. Fokkinga... Compl@tude d'un syst@me formel pour prouver l'@quivalence de certains sch~nas r@cursifs monadiques - B. Courcelle, J. Vuillemin THEORIZ DE LA PROG~TION THEORY OF PROGRA~@~G Non-existence of program optimizers in an abstract setting - D.A. Alton, J.L. Lo%~<her... Listing of ir~ormation structures defined by fixed-point operators - C. B~bm, M. Dezani-Ci~ncaglini, S, Ronchi Della Rocca CONCEPTION DE SYSTE~ SYSTEM DESIGN Application de la structuration de systame ~ la conception interne du systame GF~MAU - Ph. Darondeau, S. Guiboud-Ribaud, C. Otrage... Un syst@me de con~mnications: logiciel ou mat@riel? - M. Cheminaud, A. Scrizzi... Structure du syst@me SA/{ - A. Kerangueven, F. Keramgueven CALCUL PARALLELE PARALr,F,L PRO6%SSING Transformation de progra~t~s s@quentiels en programmes parall@les - G. Roucairol
5 A model for structured parallel processing in block-structured progranming l~nguages - C+ Montangero, G. Paeini, F. Turini... First version of a data flow procedure l~age - J.B. Dennis ~ZQUE FO~LLE FOPJ~L SEMANTICS Towards more flexible type systems - J.H. Morris... Behavioral semantics of nonrecursive control structures - C. Hewitt, P. Bishop, R. Steiger, I. Greif, B. Smith, T. M~tson, R. Hale Towards a theory of t}-pe structure - J.C. Reynolds
Lecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis 49 Interactive Systems Proceedings, 6th Informatik Symposium IBM Germany, Bad Homburg v. d. H., September 1976 Edited by A. Blaser and
Lecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis 284 A. KSndig R.E. BShrer J. D&hler (Eds.) Embedded Systems New Approaches to Their Formal Description and Design An Advanced Course
Programming Methodology
Texts and Monographs in Computer Science Editor David Gries Advisory Board F. L. Bauer K. S. Fu J. J. Horning R. Reddy D. C. Tsichritzis W. M. Waite Programming Methodology A Collection of Articles by
Lecture Notes in Artificial Intelligence. Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence 897 Subseries of Lecture Notes in Computer Science Edited by J. G. Carbonell and J. Siekmann Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and
3 Forensic Science Progress
3 Forensic Science Progress Forensic Science Progress Volume 3 With Contributions by C. A. Pounds, R. N. Smith With 19 Figures and 7 Tables Springer-Verlag Berlin Heidelberg New York London Paris Tokyo
Lecture Notes in Control and Information Sciences
Lecture Notes in Control and Information Sciences Edited by A.V. Balakrishnan and M. Thoma 55 Ganti Prasada Rao Piecewise Constant Orthogonal Functions and Their Application to Systems and Control III
Lecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis 772 Advisory Board: W. Brauer D. Giles J. Stoer Brian C. Warboys (Ed.) Software Process Technology Third European Workshop, EWSPT '94
Lecture Notes in Computer Science 2500 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
Lecture Notes in Computer Science 2500 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo Erich Grädel Wolfgang Thomas Thomas
2 Forensic Science Progress
2 Forensic Science Progress Forensic Science Progress Volume 2 With Contributions by G. Hellmiss, J. Mathyer, B. Miyake, H. Sato, S. Seta With 58 Figures and 36 Tables Springer-Verlag Berlin Heidelberg
Lecture Notes in Computer Science. Edited by G. Goos and J. Hartmanis Advisory Board: W. Brauer D. Gries J. Stoer
Lecture Notes in Computer Science 502 Edited by G. Goos and J. Hartmanis Advisory Board: W. Brauer D. Gries J. Stoer g J. Bfirzdin.g D. BjCrner (Eds.) Baltic Computer Science Selected Papers Springer-Verlag
MICROSCOPE PHOTOMETRY
Horst Piller MICROSCOPE PHOTOMETRY With 79 Figures Springer-Verlag Berlin Heidelberg New York 1977 DR. HORST PILLER C/O Carl Zeiss Postfach 35/36 D-7082 Oberkochen ISBN-13: 978-3-642-66572-1 DOI:IO.10071
Architecture Design and Validation Methods
Architecture Design and Validation Methods Springer-Verlag Berlin Heidelberg GmbH Egon Börger (Ed.) Architecture Design and Validation Methods With 175 Figures, Springer Editor Prof. Dr. Egon Börger Universita
Advanced Electronic Circuits
U. Tietze Ch. Schenk Advanced Electronic Circuits Wi th the Assistance of E. Schmid With 570 Figures Springer-Verlag Berlin Heidelberg New York 1978 Dr.-Ing. Ulrich Tietze Dr.-Ing. Christoph Schenk Universitat
Carrier Communication over Power Lines
Heinrich-Karl Podszeck Carrier Communication over Power Lines Fourth Revised Edition Springer-Verlag Berlin Heidelberg New York 1972 HEINRICH-KARL PODSZECK Chief Engineer of the Power Line Carrier Section
Lecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 968 Advisory Board: W. Brauer D. Gries J. Stoer Nachum Dershowitz Naomi Lindenstrauss (Eds.) Conditional and Typed Rewriting
Lecture 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 1487 Volker Gruhn (Ed.) Software Process Technology 6th European Workshop, EWSPT '98 Weybridge, UK, September 16-18,
Lecture Notes in Artificial Intelligence
Lecture Notes in Artificial Intelligence Subseries of Lecture Notes in Computer Science Edited by J. Siekmann Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis Editorial Artificial Intelligence
Lecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1007 Advisory Board: W. Brauer D. Gries J. Stoer Antoon Bosselaers Bart Preneel (Eds.) Integrity Primitives for Secure
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen
Lecture Notes in Computer Science 1528 Edited by G. Goos, J. Hartmanis and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Bart Preneel Vincent Rijmen
Springer Series on. Signals and Communication Technology
Springer Series on Signals and Communication Technology Signals and Communication Technology Functional Structures in Networks AMLn A Language for Model Driven Development of Telecom Systems T. Muth ISBN
Data Assimilation: Tools for Modelling the Ocean in a Global Change Perspective
Data Assimilation: Tools for Modelling the Ocean in a Global Change Perspective NATO ASI Series Advanced Science Institutes Series A series presenting the results of activities sponsored by the NA TO Science
Lecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis 74 Mathematical Foundations of Com puter Science 1979 Proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3-7, 1979 Edited
Lecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1019 Advisory Board: W. Brauer D. Gries J. Stoer Springer Berlin Heidelberg New York Barcelona Budapest Hong Kong London
Lecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos and,i. Hartmanis 282 I P. Gorny M.J.Tauber (Eds.) Visualization in Programming 5th Interdisciplinary Workshop in lnformatics and Psychology Sch~.rding,
Lecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis 734 Advisory Board: W. Brauer D. Gries J. Stoer Jens Volkert (Ed.) Parallel Computation Second International ACPC Conference Gmunden,
Hierarchy Process. The Analytic. Bruce L. Golden Edward A. Wasil Patrick T. Harker (Eds.) Applications and Studies
Bruce L. Golden Edward A. Wasil Patrick T. Harker (Eds.) The Analytic Hierarchy Process Applications and Studies With Contributions by 1. M. Alexander, W D. Daniel Jr., 1. G. Dolan, L. P. Fatti, B. L.
Lecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1128 Advisory Board: W. Brauer D. Gries J. Stoer Jacques Calmet Carla Limongelli (Eds.) Design and Implementation of
Lecture Notes in Computer Science 2599 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
Lecture Notes in Computer Science 2599 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo Edel Sherratt (Ed.) Telecommunications
Power Sonic and Ultrasonic Transducers Design
Power Sonic and Ultrasonic Transducers Design Power Sonic and Ultrasonic Transducers Design Proceedings of the International Workshop, Held in Lille, France, May 26 and 27, 1987 Editors: B. Hamonic and
COOP 2016: Proceedings of the 12th International Conference on the Design of Cooperative Systems, May 2016, Trento, Italy
Antonella De Angeli Liam Bannon Patrizia Marti Silvia Bordin Editors COOP 2016: Proceedings of the 12th International Conference on the Design of Cooperative Systems, 23-27 May 2016, Trento, Italy COOP
Communications in Computer and Information Science 85
Communications in Computer and Information Science 85 Albert Fleischmann Detlef Seese Christian Stary (Eds.) S-BPM ONE Setting the Stage for Subject-Oriented Business Process Management First International
Simulation by Bondgraphs
Jean U. Thoma Simulation by Bondgraphs Introduction to a Graphical Method Springer-Verlag Berlin Heidelberg New York London Paris Tokyo Hong Kong 1990 Professor Dr. Jean Ulrich Thoma Dept. of Mechanical
Plenum Publishing Corporation London and New York
NATO ASI Series Advanced Science Institutes Series A series presenting the results of activities sponsored by the NA TO Science Committee, which aims at the dissemination of advanced scientific and technological
Introduction to Computational Optimization Models for Production Planning in a Supply Chain
Introduction to Computational Optimization Models for Production Planning in a Supply Chain Stefan Voß David L.Woodruff Introduction to Computational Optimization Models for Production Planning in a Supply
Lecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1143 Advisory Board: W. Brauer D. Gries J. Stoer Terence C. Fogarty (Ed.) Evolutionary Computing AISB Workshop Brighton,
P. F. Gordon P. Gregory Organic Chemistry in Colour
P. F. Gordon P. Gregory Organic Chemistry in Colour P. F. Gordon. P. Gregory Organic Chemistry in Colour With 52 Figures and 59 Tables Springer-Verlag Berlin Heidelberg New York London Paris Tokyo Dr.
Lecture Notes in Computational Science and Engineering 68
Lecture Notes in Computational Science and Engineering 68 Editors Timothy J. Barth Michael Griebel David E. Keyes Risto M. Nieminen Dirk Roose Tamar Schlick Sidney Yip Tomás Diaz de la Rubia Editors Scientific
StraBer Wahl Graphics and Robotics
StraBer Wahl Graphics and Robotics Wolfgang StrafSer Friedrich Wahl Editors Graphics and Robotics With 128 Figures, some in Colour, Springer Prof. Dr.-lng. Wolfgang StraBer Wilhelm-Schickard-lnstitut fur
Privacy, Data Protection and Cybersecurity in Europe
Privacy, Data Protection and Cybersecurity in Europe Wolf J. Schünemann Max-Otto Baumann Editors Privacy, Data Protection and Cybersecurity in Europe Editors Wolf J. Schünemann Institute for Social Sciences
Lecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1005 Advisory Board: W. Brauer D. Gries J. Stoer Jacky Estublier (Ed.) Software Configuration Management ICSE SCM-4
Testing Safety-Related Software
Testing Safety-Related Software Springer London Berlin Heidelberg New York Barcelona Hong Kong Milan Paris Santa Clara Singapore Tokyo Stewart Gardiner (Ed.) Testing Safety-Related Software A Practical
SpringerBriefs in Astronomy
SpringerBriefs in Astronomy Series editors Martin Ratcliffe Valley Center, Kansas, USA Wolfgang Hillebrandt MPI für Astrophysik, Garching, Germany Michael Inglis Suffolk County Community College, New York,
Lecture Notes in Economics and Mathematical Systems
Lecture Notes in Economics and Mathematical Systems 520 Founding Editors: M. Beckmann H. P. Kiinzi Managing Editors: Prof. Dr. G. Fandel Fachbereich Wirtschaftswissenschaften Fernuniversitat Hagen Feithstr.
Innovation Policy in a Knowledge-Based Economy
Innovation Policy in a Knowledge-Based Economy Patrick Llerena Mireille Matt Editors Innovation Policy in a Knowledge-Based Economy Theory and Practice With Contributions by Arman Avadikyan Laurent Bach
Future-Oriented Technology Analysis
Future-Oriented Technology Analysis Cristiano Cagnin Michael Keenan Ron Johnston Fabiana Scapolo Rémi Barré Editors Future-Oriented Technology Analysis Strategic Intelligence for an Innovative Economy
Design for Innovative Value Towards a Sustainable Society
Design for Innovative Value Towards a Sustainable Society Mitsutaka Matsumoto Yasushi Umeda Keijiro Masui Shinichi Fukushige Editors Design for Innovative Value Towards a Sustainable Society Proceedings
MATLAB Guide to Finite Elements
MATLAB Guide to Finite Elements Peter I. Kattan MATLAB Guide to Finite Elements An Interactive Approach Second Edition With 108 Figures and 25 Tables Peter I. Kattan, PhD P.O. BOX 1392 Amman 11118 Jordan
Studies in Economic Ethics and Philosophy
Studies in Economic Ethics and Philosophy Series Editor Peter Koslowski Editorial Board F. Neil Brady George Brenkert Geoffrey Brennan James M. Buchanan Thomas Donaldson Richard De George Jon Elster Amitai
Modeling Manufacturing Systems. From Aggregate Planning to Real-Time Control
Modeling Manufacturing Systems From Aggregate Planning to Real-Time Control Springer-Verlag Berlin Heidelberg GmbH Paolo Brandimarte. Agostino Villa (Eds.) Modeling Manufacturing Systems From Aggregate
Cognitive Systems Monographs
Cognitive Systems Monographs Volume 9 Editors: Rüdiger Dillmann Yoshihiko Nakamura Stefan Schaal David Vernon Heiko Hamann Space-Time Continuous Models of Swarm Robotic Systems Supporting Global-to-Local
Lecture Notes in Applied and Computational Mechanics
Lecture Notes in Applied and Computational Mechanics Volume 28 Series Editors Prof. Dr.-Ing. Friedrich Pfeiffer Prof. Dr.-Ing. Peter Wriggers Lecture Notes in Applied and Computational Mechanics Edited
First Intercontinental Maritime Simulation Symposium and Mathematical Modelling Workshop, Munich June 3-5, 1985
Maritime Simulation Proceedings of the First Intercontinental Symposium Munich, June 1985 Edited by Moshe R. Heller, CONTR..OL DATA With 104 Figures Springer-Verlag Berlin Heidelberg New York Tokyo 1985
Pierre-Yves Henin (Ed.) Advances in Business Cycle Research
Pierre-Yves Henin (Ed.) Advances in Business Cycle Research Springer-V erlag Berlin Heidelberg GmbH Pierre-Yves Henin (Ed.) Advances in Business Cycle Research With Application to the French and US Economies
Lecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis 86 Abstract Software Specifications 1979 Copenhagen Winter School January 22 - February 2, 1979 Proceedings Edited by D. Bjerner ',~
Computer-Aided Production Management
Asbj0rn Rolstadas (Ed.) Computer-Aided Production Management With 169 Figures Springer-Verlag Berlin Heidelberg New York London Paris Tokyo Professor Dr. Asbjern Ro1stadas Production Engineering Laboratory
Sylvain Guillaumet Composer, Interpreter, Teacher
Sylvain Guilumet Composer, Interpreter, Teacher rance, Châteauroux About the artist Musician, composer and author, he multipes the musical experiences, both in the interpretation of the writing Today,
Handbook of Engineering Acoustics
Handbook of Engineering Acoustics . Gerhard M uller Michael M oser Editors Handbook of Engineering Acoustics Editors Prof. Dr. Gerhard M uller Technische Universit at M unchen Lehrstuhl f ur Baumechanik
Lecture Notes in Computer Science 1096 Edited by G. Goos, J. Hartmanis and J. van Leeuwen
Lecture Notes in Computer Science 1096 Edited by G. Goos, J. Hartmanis and J. van Leeuwen Springer Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Thomas Schael Workflow
Research in computer science in Italy is heavily oriented towards the development of software tools, and in general of small computer systems.
interest in pursuing similar research paths, and if possible even building on top of the results obtained. In the following sections I will attempt to summarize individual visits in detail. France In my
Risk-Based Ship Design
Risk-Based Ship Design Apostolos Papanikolaou (Ed.) Risk-Based Ship Design Methods, Tools and Applications Authored by Carlos Guedes Soares, Andrzej Jasionowski, Jørgen Jensen, Dag McGeorge, Apostolos
Technology Roadmapping for Strategy and Innovation
Technology Roadmapping for Strategy and Innovation Martin G. Moehrle, Ralf Isenmann, and Robert Phaal (Eds.) Technology Roadmapping for Strategy and Innovation Charting the Route to Success ABC Editors
Applied Technology and Innovation Management
Applied Technology and Innovation Management Heinrich Arnold Michael Erner Peter Möckel Christopher Schläffer Editors Applied Technology and Innovation Management Insights and Experiences from an Industry-Leading
ZEW Economic Studies. Publication Series of the Centre for European Economic Research (ZEW), Mannheim, Germany
ZEW Economic Studies Publication Series of the Centre for European Economic Research (ZEW), Mannheim, Germany ZEW Economic Studies Vol. 1: O. Hohmeyer, K. Rennings (Eds.) Man-Made Climate Change Economic
The Canadian Distinctiveness into the XXIst Century - La distinction canadienne au tournant du XXIe siècle
The Canadian Distinctiveness into the XXIst Century - La distinction canadienne au tournant du XXIe siècle Gaffield, Chad, Gould, Karen Published by University of Ottawa Press Gaffield, Chad & Gould, Karen.
Lecture Notes in Computer Science 2006 Edited by G. Goos, J. Hartmanis and J. van Leeuwen
Lecture Notes in Computer Science 2006 Edited by G. Goos, J. Hartmanis and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Reiner Dumke Alain Abran (Eds.)
6 Forensic Science Progress
6 Forensic Science Progress Forensic Science Progress Volume 6 Shot Range Determination By K. Sellier With 66 Figures Springer-Verlag Berlin Heidelberg New York London Paris Tokyo Hong Kong Barcelona Budapest
Spatio-Temporal Image Processing
Bernd J~ihne Spatio-Temporal Image Processing Theory and Scientific Applications Springer-Verlag Berlin Heidelberg NewYork London Paris Tokyo Hong Kong Barcelona Budapest Series Editors Gerhard Goos Universitat
Representations of Integers as Sums of Squares
Representations of Integers as Sums of Squares Emil Grosswald Representations of Integers as Sums of Squares Springer-Verlag New York Berlin Heidelberg Tokyo Emil Grosswald Temple University College of
Lecture Notes in Physics
Lecture Notes in Physics Edited by H. Araki, Kyoto, J. Ehlers, M6nchen, K. Hepp, Z[~rich R. Kippenhahn, ML~nchen, D. Ruelle, Bures-sur-Yvette H.A. WeidenmL~ller, Heidelberg, J. Wess, Karlsruhe and J. Zittartz,
SpringerBriefs in Space Development
SpringerBriefs in Space Development Guest Editor: Jinyuan Su More information about this series at http://www.springer.com/series/10058 Joseph N. Pelton New Solutions for the Space Debris Problem Joseph
Cost Analysis and Estimating
Roland Kankey Editors Jane Robbins Cost Analysis and Estimating Shifting U.S. Priorities With 34 Figures Springer-Verlag New York Berlin Heidelberg London Paris Tokyo Hong Kong Barcelona Roland Kankey
From the SelectedWorks of Hee-Eun Kim. September, 2011
From the SelectedWorks of Hee-Eun Kim September, 2011 The Role of the Patent System in Stimulating Innovation and Technology Transfer for Climate Change (Including Aspects of Licensing and Competition
ICT for the Next Five Billion People
ICT for the Next Five Billion People Arnold Picot Josef Lorenz Editors ICT for the Next F Five Billion People Information and Communication for Sustainable Development Editors Prof. Dr. Dr. Arnold Picot
Lecture 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 1414 Mogens Nielsen Wolfgang Thomas (Eds.) Computer Science Logic 11 th International Workshop, CSL '97 Annual Conference
Broadband Networks, Smart Grids and Climate Change
Broadband Networks, Smart Grids and Climate Change Eli M. Noam Lorenzo Maria Pupillo Johann J. Kranz Editors Broadband Networks, Smart Grids and Climate Change Editors Eli M. Noam Columbia Business School
Lecture Notes in Control and Information Sciences 233. Editor: M. Thoma
Lecture Notes in Control and Information Sciences 233 Editor: M. Thoma Pasquale Chiacchio and Stefano Chiaverini (Eds) Complex Robotic Systems ~ Springer Series Advisory Board A. Bensoussan M.J. Grimble
Application of Evolutionary Algorithms for Multi-objective Optimization in VLSI and Embedded Systems
Application of Evolutionary Algorithms for Multi-objective Optimization in VLSI and Embedded Systems M.C. Bhuvaneswari Editor Application of Evolutionary Algorithms for Multi-objective Optimization in
Small-Crack Test Methods
STP 1149 Small-Crack Test Methods James M. Larsen and John E. Allison, editors ASTM Publication Code Number (PCN) 04-011490-30 ASTM 1916 Race Street Philadelphia, PA 19103 Library of Congress Cataloging-in-Publication
The Relations between Defence and Civil Technologies
The Relations between Defence and Civil Technologies NATO ASI Series Advanced Science Institutes Series A Series presenting the results of activities sponsored by the NATO Science Committee. which aims
Jan de Witt s Elementa Curvarum Linearum Liber Secundus
Jan de Witt s Elementa Curvarum Linearum Liber Secundus For other titles published in this series, go to http://www.springer.com/series/4142 Sources and Studies in the History of Mathematics and Physical
On the Power of Interactive Computing
On the Power of Interactive Computing Jan van Leeuwen 1 and Jiří Wiedermann 2 1 Department of Computer Science, Utrecht University, Padualaan 14, 3584 CH Utrecht, the Netherlands. 2 Institute of Computer
Lecture Notes in Artificial Intelligence
Lecture Notes in Artificial Intelligence 695 Subseries of Lecture Notes in Computer Science Edited by J. Siekmann Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis E. P Klement W. Slany
Sergey Ablameyko and Tony Pridmore. Machine Interpretation of Line Drawing Images. Technical Drawings, Maps and Diagrams.
Sergey Ablameyko and Tony Pridmore Machine Interpretation of Line Drawing Images Technical Drawings, Maps and Diagrams i Springer Sergey Ablameyko, PhD, DSc, Prof, FlEE, FIAPR, SMIEEE Institute of Engineering
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen
Lecture Notes in Computer Science 1481 Edited by G. Goos, J. Hartmanis and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Budapest Hong Kong London Milan Paris Singapore Tokyo Ethan V. Munson Charles
Studies in Contemporary Economics
Studies in Contemporary Economics Philosophy of Economics. Proceedings, 1981. Edited by W StegmOller, W Balzer and W Spohn. VIII, 306 pages. 1982. B. Hamminga, Neoclassical Theory Structure and Theory
Studies in Systems, Decision and Control
Studies in Systems, Decision and Control Volume 159 Series editor Janusz Kacprzyk, Polish Academy of Sciences, Warsaw, Poland e-mail: kacprzyk@ibspan.waw.pl The series Studies in Systems, Decision and
NO MORE MUDDLING THROUGH
NO MORE MUDDLING THROUGH No More Muddling Through Mastering Complex Projects in Engineering and Management by RAINER ZÜST Zürich, Switzerland and PETER TROXLER Rotterdam, The Netherlands A C.I.P. Catalogue
Chess Skill in Man and Machine
Chess Skill in Man and Machine Chess Skill in Man and Machine Edited by Peter W. Frey With 104 Illustrations Springer-Verlag New York Berlin Heidelberg Tokyo Peter W. Frey Northwestern University CRESAP
B.I. Dundas M. Levine P.A. Østvær O. Röndigs. Motivic Homotopy Theory. Lectures at a Summer School in Nordfjordeid, Norway, August 2002 ABC
B.I. Dundas M. Levine P.A. Østvær O. Röndigs V. Voevodsky Motivic Homotopy Theory Lectures at a Summer School in Nordfjordeid, Norway, August 2002 ABC Bjørn Ian Dundas Department of Mathematics University
Synthetic Aperture Radar
Synthetic Aperture Radar J. Patrick Fitch Synthetic Aperture Radar C.S. Burrus, Consulting Editor With 93 Illustrations Springer-Verlag New York Berlin Heidelberg London Paris Tokyo J. Patrick Fitch Engineering
Scientific Data Mining and Knowledge Discovery
Scientific Data Mining and Knowledge Discovery Mohamed Medhat Gaber Editor Scientific Data Mining and Knowledge Discovery Principles and Foundations ABC Editor Mohamed Medhat Gaber Caulfield School of
REAL-TIME SYSTEMS SAFETY CONTROL CONSIDERING HUMAN MACHINE INTERFACE
REAL-TIME SYSTEMS SAFETY CONTROL CONSIDERING HUMAN MACHINE INTERFACE José Machado and Eurico Seabra Mechanical Engineering Department, University of Minho, Campus of Azurém, 4800-058 Guimarães, Portugal
Software Engineering for Manufacturing Systems
Software Engineering for Manufacturing Systems IFIP - The International Federation for Information Processing IFIP was founded in 1960 under the auspices of UNESCO, following the First World Computer Congress
Elye Of Saint-Gilles: A Chanson De Geste By Anonymous
Elye Of Saint-Gilles: A Chanson De Geste By Anonymous Elye of Saint-Gilles: A Chanson de Geste : A - Elye of Saint-Gilles: A Chanson de Geste by A Richard Hartman, Sandra C Malicote, 9781599101910, available
Management of Recreation and Nature Based Tourism in European Forests
Management of Recreation and Nature Based Tourism in European Forests Ulrike Pröbstl Veronika Wirth Birgit Elands Simon Bell Editors Management of Recreation and Nature Based Tourism in European Forests
Sustainability Governance
Sustainable Development in the 21st Century l 1 Philipp Lange Sustainability Governance Exploring the Potential of Governance Modes to Promote Sustainable Development Sustainable Development in the 21st
Founding Editor Martin Campbell-Kelly, University of Warwick, Coventry, UK
History of Computing Founding Editor Martin Campbell-Kelly, University of Warwick, Coventry, UK Series Editor Gerard Alberts, University of Amsterdam, Amsterdam, The Netherlands Advisory Board Jack Copeland,
Lecture Notes in Artificial Intelligence
Lecture Notes in Artificial Intelligence 1188 Subseries of Lecture Notes in Computer Science Edited by J. G. Carbonell and J. Siekmann Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis
U. Lindemann (Ed.) Human Behaviour in Design
U. Lindemann (Ed.) Human Behaviour in Design Springer-Verlag Berlin Heidelberg GmbH Engineering ONLINE LIBRARY http://www.springer.de/engine/ Udo Lindemann (Ed.) Human Behaviour in Design Individuals,
Drones and Unmanned Aerial Systems
Drones and Unmanned Aerial Systems Aleš Završnik Editor Drones and Unmanned Aerial Systems Legal and Social Implications for Security and Surveillance 2123 Editor Aleš Završnik Institute of Criminology