Programming languages and systems

Sample

Joseph L. Zachary

"Introduction to Computational Science" was developed over a period of two years at the University of Utah Department of Computer Science in conjunction with the U.S. Department of Energy-funded Undergraduate Computation in Engineering Science (UCES) program. Each chapter begins by introducing a problem and then guiding the student through its solution. The computational techniques needed to solve the problem are developed as necassary, making the motivation for learning the computing alwasy apparent. Each chapter will introduce a single problem that will be used to motivate a single computing concept. The notes currently consist of 15 chapters. The first seven chapters deal with Maple and the last eight with C. The textbook will contain 20 to 30 chapters covering a similar mix of concepts at a finer level of detail.

Sample

Panos Antsaklis ... [et al.], eds

This book constitutes the thoroughly refereed post-conference documentation of the Fourth International Conference on Hybrid Systems held in Ithaca, NY, USA, in October 1996. The volume presents 19 carefully revised full papers selected from numerous submissions. Hybrid systems research focuses on modeling, design, and validation of interacting systems (plants) and computer programs (control automata). This volume is devoted to hybrid systems models, formal verification, computer simulation, goal reachability, algorithms for extracting hybrid control programs, and application models for avionics, highway traffic control, and air traffic control.

Sample

Kai Koskimies, ed

This book constitutes the refereed proceedings of the 7th International Conference on Compiler Construction, CC '98, held as part of the European Joint Conference on the Theory and Practice of Software, ETAPS '98, in Lisbon, Portugal, in March/April 1998. The volume presents 19 revised full papers selected from a total of 50 submissions; also four system demonstrations and an abstract of an invited talk are included. The papers cover the classical issues of compiler construction centered around computer languages and their processors, with an emphasis on practical methods and tools, but also other aspects of language processing are addressed like interpretation, editing, and debugging.

Sample

R. Andersen, J.A. Bubenko, Jr., A. Sølvberg, eds

"CAiSE '91, held at the Norwegian Institute of Technology in May 1991, is the third in a series of conferences on advanced information systems engineering. The call for papers for CAiSE '91 was given a wide international distribution. The programme committee was chosen from very well reputed researchers in the international information systems engineering community, as well as key professionals in European industrial and consultant companies. The number and quality of papers submitted was very satisfactory, and 29 papers were selected for publication in this volume."--PUBLISHER'S WEBSITE.