Nielsen mogens (68 Ergebnisse)

Zustand: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc.

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. …

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.

Zustand: New. In English.

Zustand: 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.

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.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

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

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. 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 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 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.…

Kartoniert / Broschiert. Zustand: New.

Taschenbuch. Zustand: Neu. Neuware - A combination of two classic discussions in New Testament scholarship, the contributions in this volume shed light on the still unsolved synoptic problem by using the well-coined concept of rewriting to describe the relationship between the synoptic gospels. The contributions work with the hypothesis that the synoptic tradition can be conceived of as a process of rewriting: Matthew rewrote Mark and Luke rewrote Mark and Matthew. This approach to the synoptic problem dismantles the grounds for the otherwise widely accepted two-source theory. If it can be shown that Luke knew Matthew's Gospel the Q-hypothesis is superfluous. One group of articles focuses on the general question of Luke's literary relation to the other gospels. In these essays, the concept of rewriting describes Luke's use of his sources. The second part of the collection examines a number of texts in order to shown how Luke rewrites specific passages. In the final section the contributions concern Luke's relation to Roman authorities. It is shown that Luke's literary creativity is not limited to his predecessors in the gospel tradition. Rewriting is his literary strategy.…

Kartoniert / Broschiert. Zustand: New.

Zustand: Used. 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.

Zustand: Used. pp. 836.

Taschenbuch. Zustand: Neu. Foundations of Software Science and Computation Structures | 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings | Mogens Nielsen (u. a.) | Taschenbuch | xiii | Englisch | 2002 | Springer | EAN 9783540433668 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Zustand: New.

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.

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: Gut. Zustand: Gut | Seiten: 692 | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009, held in ¿pindleruv Mlýn, 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. In English.

Zustand: New. In English.

Zustand: New. In English.