mogens nielsen (79 Ergebnisse)

Zustand: Good. 708 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.

Zustand: Good. 1999th Edition. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.

Paperback. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.

Hardcover. Zustand: Fair. Hardback, No DJ, Some normal cover corner & edge wear, Page edges are a bit wavy, suggesting moisture damage at some point, PRICED ACCORDINGLY, Otherwise pages are clean, tight & flat, Item Shrink-wrapped for additional protection.

Zustand: Good. 583 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.

Zustand: Very Good. 1st. Used book that is in excellent condition. May show signs of wear or have minor defects.

2000. 724 p. Unread book. Very good condition. Minimum traces of storage. 9783540679011 Sprache: Englisch Gewicht in Gramm: 998 Softcover: 15.5 x 4.2 x 23.5 cm.

XI, 581 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Lecture Notes in Computer Science, Vol. 2154. Sprache: Englisch.

Softcover. Zustand: Bon. Traces d'usure sur la couverture. Tampon ou marque sur la face intérieure de la couverture. Couverture différente. Edition 1977. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Signs of wear on the cover. Stamp or mark on the inside cover page. Different cover. Edition 1977. Ammareal gives back up to 15% of this item's net price to charity organizations.

Softcover. Zustand: Bon. Traces d'usure sur la couverture. Tampon ou marque sur la face intérieure de la couverture. Couverture différente. Edition 1977. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Signs of wear on the cover. Stamp or mark on the inside cover page. Different cover. Edition 1977. Ammareal gives back up to 15% of this item's net price to charity organizations.

Zustand: Gut. Jahr: 1935. Einband: Broschur. Beschreibung: Nordische Schüler Giovanni Gabrielis. Herausgegeben von Rudolf Gerber. Mit Vorwort (1935). Textunterlegung Ital./Dt. Umschlag am Rand gebräunt. Sehr gut erhalten. Sprache: de. 32 S.

Zustand: New. pp. 504 Illus.

Zustand: As New. Leichte Abnutzungen. This book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009, held in Spindleruv Mlyn, Czech Republic, in January 2009. The 49 revised full papers, presented together with 9 invited contributions, were carefully reviewed and selected from 132 submissions. SOFSEM 2009 was organized around the following four tracks: Foundations of Computer Science; Theory and Practice of Software Services; Game Theoretic Aspects of E-commerce; and Techniques and Tools for Formal Verification.

Zustand: New. pp. 740 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

paperback. Zustand: Gut. Seiten; 9783540645702.3 Gewicht in Gramm: 1.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: New. 753 pp., hardcover, new. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.

Paperback. Zustand: Brand New. reprint edition. 299 pages. 9.00x6.25x1.00 inches. In Stock.

Originalbroschur. 4°. 272-278 / 3 nn. / 106-110 / 1 nn. / 265-270 / 129-140 SS. m. Figuren und teils ganzseitigen Tabellen in den Beiträgen. ausgeschiedenes Bibliotheksexemplar. berieben. angerändert m. kleinen Anrissen. hinterer Broschurdeckel m. Eselsohr. etwas angestaubt, knittrig und gebräunt. noch guter Zustand. Publikationer og mindre Meddelelser fra Københavns Observatorium. Nr. 113. Separatdruck aus Astronomische Nachrichten", Nr. 6254, Nr. 56 / 620 / 6271 / 6293, Nr. 57 /6297 / 6328, Nr. 58 / 6345, Nr. 59. in deutscher Sprache.

Zustand: New.

Zustand: New.

Zustand: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.

Zustand: New. pp. 836 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - ETAPS 2002 is the fth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998by combining a number of existing and new conferences. This year it comprises ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), thirteen satellite workshops (ACL2, AGT, CMCS, COCV, DCC, INT, LDTA, SC, SFEDL, SLAP, SPIN, TPTS and VISS), eight invited lectures (not including those that are speci c to the satellite events), and several tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the 21st International Conference on Application and Theory of Petri Nets. The aim of the Petri net conferences is to createaforumfordiscussingprogressintheapplicationandtheoryofPetrinets. Typically, the conferenceshave 100{150participants{ one third of these coming from industry while the rest are from universities and research institutions. The conferences always take place in the last week of June. The conference and a number of other activities are co-ordinated by a ste- ingcommittee withthe followingmembers:G.Balbo(Italy),J.Billlington(A- tralia),G.De Michelis(Italy),C.Girault(France),K.Jensen(Denmark),S.- magai (Japan), T. Murata (USA), C. A. Petri (Germany; honorary member), W. Reisig (Germany), G. Roucairol (France), G. Rozenberg (The Netherlands; chairman), and M. Silva (Spain). Otheractivitiesbeforeandduringthe2000conferenceincludedtoolpresen- tions and demonstrations, a meeting on Interchange Formats', extensive int- ductorytutorials,twoadvancedtutorialsonHardwareDesign'andTimedand Hybrid Automata', and two workshops on Software Engineering' and Pr- tical Use of High-Level Nets'. The tutorial notes and workshop proceedings are not published in these proceedings, but copies are available from the organisers. The 2000 conference was organised by the CPN Group at the University of Aarhus, Denmark. We would like to thank the organisers (see next page) and their teams. WewouldliketothankverymuchallthosewhosubmittedpaperstothePetri net conference.We receiveda totalof 57submissions from 20di erent countries. This volume comprises the papers that were accepted for presentation. Invited lectures were given by Jordi Cortadella, Philippe Darondeau, Gregor Engels, Serge Haddad, Kim Guldstrand Larsen, and Ole Lehrmann Madsen.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the strictly refereed post-workshop proceedings of the 11th International Workshop on Computer Science Logic, CSL '97, held as the 1997 Annual Conference of the European Association on Computer Science Logic, EACSL, in Aarhus, Denmark, in August 1997.The volume presents 26 revised full papers selected after two rounds of refereeing from initially 92 submissions; also included are four invited papers. The book addresses all current aspects of computer science logics and its applications and thus presents the state of the art in the area.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 12th International Conference on Concurrency Theory, CONCUR 2001, held in Aalborg, Denmark in August 2001.The 32 revised full papers presented together with six invited contributions were carefully reviewed and selected from 78 submissions. The papers are organized in topical sections on mobility, probabilistic systems, model checking, process algebra, unfoldings and prefixes, logic and compositionality, and games.

Taschenbuch. Zustand: Neu. Computer Science Logic | 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers | Wolfgang Thomas (u. a.) | Taschenbuch | viii | Englisch | 1998 | Springer | EAN 9783540645702 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. CONCUR 2001 - Concurrency Theory | 12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings | Mogens Nielsen (u. a.) | Taschenbuch | xi | Englisch | 2001 | Springer-Verlag GmbH | EAN 9783540424970 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.