Fourth international workshop computer aided (19 résultats)

Etat : Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Etat : New.

Paperback or Softback. Etat : New. Computer Aided Verification: Fourth International Workshop, Cav '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings. Book.

Etat : New.

Etat : As New. Unread book in perfect condition.

Etat : New.

Etat : New. In English.

Etat : As New. Unread book in perfect condition.

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume gives the proceedings of the Fourth Workshop onComputer-Aided Verification (CAV '92), held in Montreal,June 29 - July 1, 1992. The objective of this series ofworkshops is to bring together researchers and practitionersinterested in the development and use of methods, tools andtheories for the computer-aided verification of concurrentsystems. The workshops provide an opportunity for comparingvarious verification methods and practical tools that can beused to assist the applications designer. Emphasis is placedon new research results and the application of existingresults to real verification problems.The volume contains 31 papers selected from 75 submissions.These are organized into parts on reduction techniques,proof checking, symbolic verification, timing verification,partial-order approaches, case studies, model and proofchecking, and other approaches. The volume starts with aninvited lectureby Leslie Lamport entitled'Computer-hindered verification (humans can do it too)'.…

Etat : As New. Unread book in perfect condition.

Etat : New.

Etat : New. In English.

Paperback. Etat : Good. . Satisfaction 100% guaranteed.

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume consists of papers presented at the Fourth International Workshop on Computer-Aided Scheduling of Public Transport, which was held in Hamburg from 28th to 31st July 1987. The first of this series of Workshops was held in Chicago in 1975. Papers presented then tended to look forward to what might be done in the future application of computers to problems in transit scheduling. No presentations described systems which had been implemented and were being used on a regular basis, although a few papers discussed apparently successful once-off applications in both bus scheduling and bus crew scheduling (or run-cutting). However, within a few months of the end of that first workshop some systems had been implemented, both in Europe and in North America. By the time of the second Workshop, in Leeds in 1980, several systems were in regular use. Most of the crew scheduling implementations were based on heuristic methods (e.g., RUCUS), although mathematically based methods were being used in Quebec City and in Hamburg, and several papers described further mathematical methods in the course of development. A wide variety of bus scheduling approaches was reported, many of them being in regular use.…

Paperback. Etat : Brand New. reprint edition. 347 pages. 9.61x6.69x0.81 inches. In Stock.

Etat : Gut. Zustand: Gut | Seiten: 356 | Sprache: Englisch | Produktart: Bücher | This volume consists of papers presented at the Fourth International Workshop on Computer-Aided Scheduling of Public Transport, which was held in Hamburg from 28th to 31st July 1987. The first of this series of Workshops was held in Chicago in 1975. Papers presented then tended to look forward to what might be done in the future application of computers to problems in transit scheduling. No presentations described systems which had been implemented and were being used on a regular basis, although a few papers discussed apparently successful once-off applications in both bus scheduling and bus crew scheduling (or run-cutting). However, within a few months of the end of that first workshop some systems had been implemented, both in Europe and in North America. By the time of the second Workshop, in Leeds in 1980, several systems were in regular use. Most of the crew scheduling implementations were based on heuristic methods (e.g., RUCUS), although mathematically based methods were being used in Quebec City and in Hamburg, and several papers described further mathematical methods in the course of development. A wide variety of bus scheduling approaches was reported, many of them being in regular use.…

PF. Etat : New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Taschenbuch. Etat : Neu. Computer Aided Verification | Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings | Gregor von Bochmann (u. a.) | Taschenbuch | ix | Englisch | 1993 | Springer | EAN 9783540564966 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.…

Taschenbuch. Etat : Neu. Computer-Aided Transit Scheduling | Proceedings of the Fourth International Workshop on Computer-Aided Scheduling of Public Transport | Joachim R. Daduna (u. a.) | Taschenbuch | Lecture Notes in Economics and Mathematical Systems | viii | Englisch | 1988 | Springer | EAN 9783540194415 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.…