This introduction to nonlinear physics is designed around Maple's ability to perform symbolic computations, plot, animate, and permit readers to investigate nonlinear models. The two volumes of the previous edition have been combined into one, with an expanded theoretical discussion and many new examples. The disk contains Maple code. 272 illus. ...

Die Fort- und Weiterbildungskurse der ASG-Fellows sind seit über 10 Jahren ein Fortbildungsprogramm und mit jeweils 5-6 Schwerpunktthemen fester Bestandteil des Kongresses der DGOT. Die Fortbildungskurse richten sich an angehende Fachärzte für Orthopädie, aber auch an erfahrene Orthopäden in Praxis und Klinik, die von bestausgewiesenen Wissenschaftlern eine kompetente Übersicht über Neues zu aktuellen und ...

Computer generated optical elements are new and important tools in use in applications such as manufacturing, point of sale scanning, and optical communications. This book discusses all the major topics in the field, collecting current research previously only found in research papers. This book serves as the only comprehensive reference guide for people in the field of diffractive optical elements. ...

4th International Workshop, Ottawa, Ontario, May 16-20, 1994. Selected Papers
aus der Reihe Lecture Notes in Computer Science Vol.1105'> This volume presents a collection of revised refereed papers selected from the presentations at the Fourth International Workshop on Computer Aided Systems Theory - CAST '94, held in Ottawa, Ontario, Canada in May 1994.The 31 full papers included in the book were chosen from originally 82 submissions and reflect the state of the art in the area of computer aided systems theory. The volume is divided into sections on foundations, methods, and ...

aus der Reihe Lecture Notes in Computer Science'> This volume contains the proceedings of the second workshop
on Computer Aided Verification, held at DIMACS, Rutgers
University, June 18-21, 1990. Itfeatures theoretical
results that lead to new or more powerful verification
methods. Among these are advances in the use of binary
decision diagrams, dense time, reductions based upon partial
order representations and proof-checking in ...

aus der Reihe Lecture Notes in Computer Science'> This volume constitutes the proceedings of the 7th International Conference on Computer Aided Verification, CAV '95, held in Liège, Belgium in July 1995.The book contains the 31 refereed full research papers selected for presentation at CAV '95 as well as abstracts or full papers of the three invited presentations. Originally oriented towards finite-state concurrent systems, CAV now covers all styles of verification approaches and a variety of ...

aus der Reihe Lecture Notes in Computer Science Vol.1211'> This book constitutes the refereed proceedings of the 6th Conference on Artificial Intelligence in Medicine Europe, AIME'97, held in Grenoble, France, in March 1997.The volume presents 33 revised full papers selected from a total of 82 submissions; also included are three invited presentations and 25 posters. The papers are organized in topical sections on protocols and guidelines, knowledge acquisition and learning, decision-support theories, ...

This book constitutes the refereed proceedings of the First International COST 264 Workshop on Networked Group Communication, NGC'99, held in Pisa, Italy in November 1999.The 20 revised full papers presented are carefully reviewed and selected from a total of 49 submissions. Among the topics addressed are communication protocols, multicast communication, communication architectures, large-scale virtual environments, group communication, group ...

aus der Reihe Lecture Notes in Computer Science Vol.1131'> This book constitutes the refereed proceedings of the 4th International Conference on Visualization in Biomedical Computing, VBC '96, held in Hamburg, Germany, in September 1996.The 73 revised full papers presented were selected from a total of 232 submissions. The book reports the state of the art in the field of computer based visualization in medicine and biology. The papers are organized in sections on visualization; image processing; ...

aus der Reihe Lecture Notes in Computer Science Vol.1620'> This book constitutes the refereed proceedings of the Joint European Conference on Artificial Intelligence in Medicine and Medical Decision Making, AIMDM'99, held in Aalborg, Denmark, in June 1999.The 27 full papers and 19 short papers presented in the book together with four invited papers were selected from 90 submissions. The papers are organized in topical sections on guidelines and protocols; decision support systems, knowledge-based ...