Seems you have not registered as a member of localhost.saystem.shop!
You may have to register before you can download all our books and magazines, click the sign up button below to create a free account.
Airport Slots
Over the past several decades, commercial air traffic has been growing at a far greater rate than airport capacity, causing airports to become increasingly congested. How can we accommodate this increased traffic and at the same time alleviate traffic delays resulting from congestion? The response outside the US has been to set a maximum number of slots and use administrative procedures to allocate these among competing airlines, with the most important consideration being 'grandfather rights' to existing carriers. The United States, on the other hand, has used administrative procedures to allocate slots at only four airports. In all other cases, flights have been handled on a first-come, fi...
Tools and Algorithms for the Construction and Analysis of Systems
This book constitutes the refereed proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2000, held as part of ETAPS 2000 in Berlin, Germany, in March/April 2000. The 33 revised full papers presented together with one invited paper and two short tool descriptions were carefully reviewed and selected from a total of 107 submissions. The papers are organized in topical sections on software and formal methods, formal methods, timed and hybrid systems, infinite and parameterized systems, diagnostic and test generation, efficient model checking, model-checking tools, symbolic model checking, visual tools, and verification of critical systems.
Electrical Machines
Electrical Machines and Drives play a vital role in industry with an ever increasing importance. This fact necessitates the understanding of machine and drive principles by engineers of many different disciplines. Therefore, this book is intended to give a comprehensive deduction of these principles. Special attention is given to the precise mathematical deduction of the necessary formulae to calculate machines and drives, and to the discussion of simplifications (if applied) with the associated limits. So the book shows how the different machine topologies can be deduced from general fundamentals, and how they are linked. This book addresses graduate students, researchers and developers of ...
Integer Optimization by Local Search
Integer Optimization addresses a wide spectrum of practically important optimization problems and represents a major challenge for algorithmics. The goal of integer optimization is to solve a system of constraints and optimization criteria over discrete variables. Integer Optimization by Local Search introduces a new approach to domain-independent integer optimization, which, unlike traditional strategies, is based on local search. It develops the central concepts and strategies of integer local search and describes possible combinations with classical methods from linear programming. The surprising effectiveness of the approach is demonstrated in a variety of case studies on large-scale, realistic problems, including production planning, timetabling, radar surveillance, and sports scheduling. The monograph is written for practitioners and researchers from artificial intelligence and operations research.
Generative and Transformational Techniques in Software Engineering III
This tutorial book presents revised and extended lecture notes for a selection of the contributions presented at the International Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2009), which was held in Braga, Portugal, in July 2009. The 16 articles comprise 7 long tutorials, 6 short tutorials and 3 participants contributions; they shed light on the generation and transformation of programs, data, models, metamodels, documentation, and entire software systems. The topics covered include software reverse and re-engineering, model driven engineering, automated software engineering, generic language technology, and software language engineering.
DNA Computing
"..., the 11th International Meeting on DNA Computing was held June 6–9, 2005 at the University ofWestern Ontario in London, Ontario, Canada.
Next Generation Transport Networks
Covering past, present and future transport networks using three layered planes written by experts in the field. Targeted at both practitioners and academics as a single source to get an understanding of how transport networks are built and operated Explains technologies enabling the next generation transport networks
Dependable Computer Systems
Dependability analysis is the recent approach to performance evaluation of contemporary systems which tries to cope with new challenges that are brought with their unprecedented complexity, size and diversity. Especially in case of computer systems and networks such evaluation must be based on multidisciplinary approach to theory, technology, and maintenance of systems which operate in real (and very often unfriendly) environments. As opposed to “classic” reliability which focuses mainly on technical aspects of system functioning, dependability studies investigate the systems as multifaceted and sophisticated amalgamations of technical, information and also human resources. This monograp...
Database Systems For Advanced Applications '95 - Proceedings Of The Fourth International Conference
This volume contains three keynote papers and 51 technical papers from contributors around the world on topics in the research and development of database systems, such as Data Modelling, Object-Oriented Databases, Active Databases, Data Mining, Heterogeneous Databases, Distributed Databases, Parallel Query Processing, Multi-Media Databases, Transaction Management Systems, Document Databases, Temporal Databases, Deductive Databases, User Interface, and Advanced Database Applications.
