Schulte wolfram (20 Ergebnisse)
Zwischenschritte: Beiträge zu einer Morphologischen Psychologie, 6. Jahrgang 1/1987.
Arbeitskreis Morphologische Psychologie e.V.; Schulte, Armin ; Daniel, Peter ; Domke, Wolfram ; Fitzek, Herbert ; Orlovius, Anita
Verlag: Selbstverlag Köln, Germany 1987
- Softcover
Anbieter: Antiquariat >Im Autorenregister<, Köln, NRW, DeutschlandAntiquariat >Im Autorenregister<
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 6,30
EUR 9,95 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Mit Anstreichungen. Mwst.: 7%. Wir verschicken keine Bestellbestätigung, Versand wenn möglich am Tag des Bestelleingangs. Gewicht in Gramm: 200 Oktav, 119 S. Deutschsprachige Ausgabe OBroschur. Deutlich Gebrauchter Zustand Halbjahresschrift.
Model-Based Software Testing And Analysis With C++
Jacky, Jonathan; Veanes, Margus; Campbell, Colin; Schulte, Wolfram
- Softcover
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USARomtrade Corp.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 47,31
Versand nach gratisVersand innerhalb von USAAnzahl: 1 verfügbar
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.
- Softcover
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 44,14
EUR 7,54 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: Used. pp. 368.
Model-Based Software Testing and Analysis with C#
Jacky, Jonathan; Veanes, Margus; Campbell, Colin; Schulte, Wolfram
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 52,14
EUR 13,90 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,69
EUR 13,90 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Sprache: Englisch
Verlag: Springer 2015
Serie: Graduate Texts in Mathematics, Buch 145 von 180. Buch 145 von 180 - Graduate Texts in Mathematics
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,69
EUR 13,90 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Model-Based Software Testing and Analysis with C#
Jonathan Jacky/ Margus Veanes/ Colin Campbell/ Wolfram Schulte
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 76,75
EUR 14,50 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 1st edition. 349 pages. 9.00x8.75x0.50 inches. In Stock.
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 83,54
EUR 14,50 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: Brand New. 464 pages. 9.75x6.25x1.00 inches. In Stock.
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 86,88
EUR 14,50 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 2014 edition. 716 pages. 9.30x6.20x1.80 inches. In Stock.
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing 2015
Serie: Graduate Texts in Mathematics, Buch 145 von 180. Buch 145 von 180 - Graduate Texts in Mathematics
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 62,53 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This Festschrift is published in honor of Yuri Gurevich's 75th birthday. Yuri Gurevich has made fundamental contributions on the broad spectrum of logic and computer science, including decision procedures, the monadic theory of order, abstract state…machines, formal methods, foundations of computer science, security, and much more. Many of these areas are reflected in the 20 articles in this Festschrift and in the presentations at the 'Yurifest' symposium, which was held in Berlin, Germany, on September 11 and 12, 2015. The Yurifest symposium was co-located with the 24th EACSL Annual Conference on Computer Science Logic (CSL 2015).
Sprache: Englisch
Verlag: Springer-Verlag New York Inc 2015
Serie: Graduate Texts in Mathematics, Buch 145 von 180. Buch 145 von 180 - Graduate Texts in Mathematics
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 80,77
EUR 40,60 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 332 pages. 9.00x6.00x0.75 inches. In Stock.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 65,33 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 17th International Conference on Model Driven Engineering Languages and Systems, MODELS 2014, held in Valencia, Spain, in September/October 2014. The 41 full papers presented in this volume were c…arefully reviewed and selected from a total of 126 submissions. The scope of the conference series is broad, encompassing modeling languages, methods, tools, and applications considered from theoretical and practical angles and in academic and industrial settings. The papers report on the use of modeling in a wide range of cloud, mobile, and web computing, model transformation behavioral modeling, MDE: past, present, future, formal semantics, specification, and verification, models at runtime, feature and variability modeling, composition and adaptation, practices and experience, modeling for analysis, pragmatics, model extraction, manipulation and persistence, querying, and reasoning.
Weitere BilderSprache: Englisch
Verlag: Springer 2015
Serie: Graduate Texts in Mathematics, Buch 145 von 180. Buch 145 von 180 - Graduate Texts in Mathematics
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,35
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Fields of Logic and Computation II | Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday | Lev D. Beklemishev (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2015 | Springer | EAN 9783319235332 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tier…gartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,35
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Model-Driven Engineering Languages and Systems | 17th International Conference, MODELS 2014, Valencia, Spain, September 283- October 4, 2014. Proceedings | Juergen Dingel (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxviii | Englisch | 2014 | Springer | EAN 9783319116525 | Verantwortlich…e Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 44,10
EUR 11,60 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: Brand New. 324 pages. German language. 8.27x5.83x0.73 inches. In Stock.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 115,75
EUR 13,90 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Urkundenbuch der Stadt Strassburg. Vierter Band, zweite Hälfte (einzeln): Stadtrechte und Aufzeichnungen über bischöflich-städtische und bischöfliche Ämter. Bearbeitet von Aloys Schulte und Georg Wolfram
Strassburg / Strasbourg - Schulte, Aloys / Georg Wolfram (Bearb.):
Sprache: Französisch
Verlag: Strassburg: Karl J Trübner 1888
- Softcover
- Erstausgabe
Anbieter: Antiquariat Dr. Lorenz Kristen, Berlin, DeutschlandAntiquariat Dr. Lorenz Kristen
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 46,00
EUR 30,02 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
broschiert/ Taschenbuch. VI und 309 Seiten sowie 1 Blatt. Orig. Broschur (der vordere Umschlagdeckel lose und mit Fehlstellen (vgl. Foto), der hintere Umschlagdeckel nur noch in Resten beiliegend, sonst gutes und sauberes, unaufgeschnittenes Exemplar). 4°. Erste Ausgabe. [= Urkunden und Akten der Stadt Strassburg. Erste Abtheilu…ng]. ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- BITTE BEACHTEN: Auf Grund der absurden und irrsinnig teuren staatlichen Regelungen für die Entsorgung der Versandpappen in den nachfolgenden Ländern, kann ich leider nicht mehr liefern nach: Österreich, Griechenland, Polen. Kunden in ÖSTERREICH können sich aber an die einheimische Post wenden, dort unter Alles Post Deutschland. --- PLEASE NOTE: Due to the absurd and insanely expensive government regulations for the disposal of shipping cartons in the following countries, I can unfortunately no longer deliver to: Austria, Greece, Poland. However, customers in AUSTRIA can contact their local post office, there under Alles Post Deutschland.
- Softcover
Anbieter: Buchpark, Trebbin, DeutschlandBuchpark
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Sehr gut
EUR 44,68
EUR 105,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 450 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 95,70
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Formal Methods and Software Engineering | 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings | Jim Davies (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2004 | Springer | EAN 9783540238416 | Verantwortliche Person…für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 106,99
EUR 63,90 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Formal engineering methods are changing the way that software systems are - veloped.Withlanguageandtoolsupport,theyarebeingusedforautomaticcode generation, and for the automatic abstraction and checking of implementations. In the future, they will be… used at every stage of development: requirements, speci cation, design, implementation, testing, and documentation. The ICFEM series of conferences aims to bring together those interested in the application of formal engineering methods to computer systems. Researchers and practitioners, from industry, academia, and government, are encouraged to attend,andtohelpadvancethestateoftheart.Authorsarestronglyencouraged to make their ideas as accessible as possible, and there is a clear emphasis upon work that promises to bring practical, tangible bene t: reports of case studies should have a conceptual message, theory papers should have a clear link to application, and papers describing tools should have an account of results. ICFEM 2004 was the sixth conference in the series, and the rst to be held in North America. Previous conferences were held in Singapore, China, UK, A- tralia, and Japan. The Programme Committee received 110 papers and selected 30forpresentation.The nalversionsofthosepapersareincludedhere,together with 2-page abstracts for the 5 accepted tutorials, and shorter abstracts for the 4 invited talks.
