springer springer vieweg okt 1995 (4 risultati)

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Formal Object-Oriented Development provides a comprehensive overview of the use of formal object-oriented methods; it covers how and where they should be introduced into the development process, how they can be introduced selectively for critical parts of an application, and how to incorporate them effectively into existing deveopmental practices.The text is extensively illustrated, both with tutorial and self-assessment excercises and with examples of industrial applications from the reactive systems domain. This book will be of interest to academic and industrial researchers, software engineering practitioners and consultants, and will also provide invaluable reading material for students learning Z++ and VDM++.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 440 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This proceedings volume consists of papers presented at the Sixth International Workshop on Computer-Aided Scheduling of Public Transpon, which was held at the Fund~lio Calouste Gulbenkian in Lisbon from July 6th to 9th, 1993. In the tradition of alternating Workshops between North America and Europe - Chicago (1975), Leeds (1980), Montreal (1983), Hamburg (1987) and again Montreal (1990), the European city of Lisbon was selected as the venue for the Workshop in 1993. As in earlier Workshops, the central theme dealt with vehicle and duty scheduling problems and the employment of operations-research-based software systems for operational planning in public transport. However, as was initiated in Hamburg in 1987, the scope of this Workshop was broadened to include topics in related fields. This fundamental alteration was an inevitable consequence of the growing demand over the last decade for solutions to the complete planning process in public transport through integrated systems. Therefore, the program of this workshop included sections which dealt with scheduling problems and computerized systems for operational planning as well as sections on network planning and data management.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 396 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Soliton theory is an important branch of applied mathematics and mathematical physics. An active and productive field of research, it has important applications in fluid mechanics, nonlinear optics, classical and quantum fields theories etc. The book presents a broad expository view of soliton theory as well as applications and recent developments.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 420 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Das nutzbare Potential erneuerbarer Energien in der EU reicht theoretisch dazu aus, die gesamte herkömmliche Energieversorgung zu ersetzen. Hier wird anhand der Windkraft, der Photovoltaik, der thermischen Solarenergie sowie der Biomasse untersucht, welchen Beitrag diese Quellen bis zum Jahr 2020 leisten könnten, wenn dafür politische Initiativen ergriffen würden, die eine Mobilisierung der Marktkräfte unter dem Gesichtspunkt der betriebswirtschaftlichen Wettbewerbsfähigkeit mit herkömmlichen Energieträgern sicherstellen könnten.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Deutsch.