Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Automatic Verification of Sequential Infinite-State Processes
Lieferzeit: Lieferbar innerhalb 14 Tagen
53,49 €
inkl. 7 % MwSt. zzgl. Versandkosten
Lecture Notes in Computer Science 1354
| ISBN: | 3540639829 |
|---|---|
| ISBN 13: | 9783540639824 |
| Autor: | Burkart, Olaf |
| Verlag: | Springer Verlag GmbH |
| Umfang: | x, 166 S., 1 s/w Illustr., 166 p. 1 illus. |
| Erscheinungsdatum: | 17.12.1997 |
| Auflage: | 1/1997 |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Sequential Analysis]()
Sequential Analysis
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Burkart's Sammlung der wichtigsten europäischen Nutzhölzer in characteristischen Schnitten]()
Burkart’s Sammlung der wichtigsten europäischen Nutzhölzer in characteristischen Schnitten
16,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Strategic Trading in Illiquid Markets]()
Strategic Trading in Illiquid Markets
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Grundlagen der makromolekularen Chemie]()
Grundlagen der makromolekularen Chemie
49,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Konstruktion von Männlichkeit im und durch Fußball]()
Konstruktion von Männlichkeit im und durch Fußball
42,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automatic Imitation]()
Automatic Imitation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Mediendidaktik und Medieneinsatz im Spanischunterricht zur Förderung des interkulturellen Lernens]()
Mediendidaktik und Medieneinsatz im Spanischunterricht zur Förderung des interkulturellen Lernens
17,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die Fahrten des Herrn Heiler]()
Die Fahrten des Herrn Heiler
11,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Modeling and Verification of Parallel Processes]()
Modeling and Verification of Parallel Processes
45,96 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Sequential Data in Biological Experiments]()
Sequential Data in Biological Experiments
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Große Kleine Jagd]()
Große Kleine Jagd
27,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Abek, der Handfischer]()
Abek, der Handfischer
29,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Sequential Binary Investment Decisions]()
Sequential Binary Investment Decisions
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die Harncylinder: mit besonderer Berücksichtigung ihrer diagnostischen Bedeutung: gekrönte Preisschrift]()
Die Harncylinder: mit besonderer Berücksichtigung ihrer diagnostischen Bedeutung: gekrönte Preisschrift
24,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Infinite]()
Infinite
18,40 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Kann ein computerunterstützter und lernspielorientierter Spanischunterricht die produktive Sprachkompetenz Sprechen fördern?]()
Kann ein computerunterstützter und lernspielorientierter Spanischunterricht die produktive Sprachkompetenz Sprechen fördern?
17,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Flugsicherheit.Ist die Gefahr vor Anschlägen im Luftverkehr weitgehend gebannt?]()
Flugsicherheit.Ist die Gefahr vor Anschlägen im Luftverkehr weitgehend gebannt?
9,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Spiegelschrift]()
Spiegelschrift
39,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Infinites Satzungsrecht]()
Infinites Satzungsrecht
109,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automatic Control of Food Manufacturing Processes]()
Automatic Control of Food Manufacturing Processes
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Ist Homosexualität immer noch ein Tabu-Thema im Sport? Fallbeispiel Fußball]()
Ist Homosexualität immer noch ein Tabu-Thema im Sport? Fallbeispiel Fußball
17,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Infinite Playgrounds]()
Infinite Playgrounds
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Sequential Optimization of Asynchronous and Synchronous Finite-State Machines]()
Sequential Optimization of Asynchronous and Synchronous Finite-State Machines
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Der Reiherjäger vom Gran Chaco]()
Der Reiherjäger vom Gran Chaco
39,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification of Sequential and Concurrent Programs]()
Verification of Sequential and Concurrent Programs
85,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Sequential Experiments with Primes]()
Sequential Experiments with Primes
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Sequential Logic Testing and Verification]()
Sequential Logic Testing and Verification
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Infinite Country]()
Infinite Country
13,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automatic Differentiation]()
Automatic Differentiation
37,44 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Infinite Universe]()
Infinite Universe
69,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Mit einem Satz das Leben ändern]()
Mit einem Satz das Leben ändern
18,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Bewusst Glücklich Sein]()
Bewusst Glücklich Sein
57,10 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Infinite Consanguinity]()
Infinite Consanguinity
36,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Kreuzzug als Selbstbeschreibung]()
Kreuzzug als Selbstbeschreibung
49,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automatic Sequences]()
Automatic Sequences
139,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Am Fenster, wo die Nacht einbricht]()
Am Fenster, wo die Nacht einbricht
38,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automatic Verification Methods for Finite State Systems]()
Automatic Verification Methods for Finite State Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Interkulturelle Trainings - Geeignet zur Förderung der interkulturellen Kompetenz von Fach- und Führungskräften?]()
Interkulturelle Trainings – Geeignet zur Förderung der interkulturellen Kompetenz von Fach- und Führungskräften?
27,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Zur Pathologie der Neurasthenia gastrica (Dyspepsia nervosa)]()
Zur Pathologie der Neurasthenia gastrica (Dyspepsia nervosa)
14,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automatic Ladder]()
Automatic Ladder
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Vom Gewürz in die Balance]()
Vom Gewürz in die Balance
22,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die Harncylinder: mit besonderer Berücksichtigung ihrer diagnostischen Bedeutung: gekrönte Preisschrift]()
Die Harncylinder: mit besonderer Berücksichtigung ihrer diagnostischen Bedeutung: gekrönte Preisschrift
44,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Sequential Christmas Piano Songs]()
Sequential Christmas Piano Songs
20,10 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automatic Signature Verification using Segmentation]()
Automatic Signature Verification using Segmentation
22,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Sequential and Parallel Algorithms]()
Sequential and Parallel Algorithms
79,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automatic Parallelization]()
Automatic Parallelization
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die Bedeutung von Gamification für den HR-Bereich]()
Die Bedeutung von Gamification für den HR-Bereich
15,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Sequential Analysis]()
Sequential Analysis
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Burkart's Sammlung der wichtigsten europäischen Nutzhölzer in characteristischen Schnitten]()
Burkart’s Sammlung der wichtigsten europäischen Nutzhölzer in characteristischen Schnitten
13,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Mediendidaktik und Medieneinsatz im Spanischunterricht zur Förderung des interkulturellen Lernens]()
Mediendidaktik und Medieneinsatz im Spanischunterricht zur Förderung des interkulturellen Lernens
15,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Infinite Country]()
Infinite Country
26,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Argumente für den Einsatz von Krimis im Spanischunterricht]()
Argumente für den Einsatz von Krimis im Spanischunterricht
15,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Das Blut der Märtyrer]()
Das Blut der Märtyrer
79,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Weg ins Heim]()
Weg ins Heim
39,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Selbstverständnis und Freiheit bei den Griechen]()
Selbstverständnis und Freiheit bei den Griechen
18,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automatic Complexity]()
Automatic Complexity
174,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Cervantes Bedeutung für die lateinamerikanischen Autoren des 19. und 20. Jahrhunderts. Inwiefern orientieren sie sich an seinem Werk Don Quijote und seinem Protagonist und rezipieren ihn?]()
Cervantes Bedeutung für die lateinamerikanischen Autoren des 19. und 20. Jahrhunderts. Inwiefern orientieren sie sich an seinem Werk Don Quijote und seinem Protagonist und rezipieren ihn?
17,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Scientific Computation with Automatic Result Verification]()
Scientific Computation with Automatic Result Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Meine Holz- und Linolschnitte]()
Meine Holz- und Linolschnitte
64,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Sequential Experimentation in Clinical Trials]()
Sequential Experimentation in Clinical Trials
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Besser traden mit X-Sequentials]()
Besser traden mit X-Sequentials
29,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Begleitung von organisationalen Veränderungsprozessen]()
Begleitung von organisationalen Veränderungsprozessen
24,80 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Finanzspekulationsblasen.Entwicklung, Verlauf, Auswirkungen und Lösungen]()
Finanzspekulationsblasen.Entwicklung, Verlauf, Auswirkungen und Lösungen
44,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automatic Speaker Verification using Artificial Neural Networks]()
Automatic Speaker Verification using Artificial Neural Networks
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Adaptive Delay Sequential Elements]()
Adaptive Delay Sequential Elements
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Sequential Logic Synthesis]()
Sequential Logic Synthesis
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die erzähltheoretische Perspektive in 'Madame Bovary' und 'Luísa Mendonça']()
Die erzähltheoretische Perspektive in ‚Madame Bovary‘ und ‚Luísa Mendonça‘
15,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Wie Sprecher eine Zweitsprache lernen. Eine kurze sprachwissenschaftliche Auseinandersetzung mit dem L2-Erwerb anhand von Fachliteratur]()
Wie Sprecher eine Zweitsprache lernen. Eine kurze sprachwissenschaftliche Auseinandersetzung mit dem L2-Erwerb anhand von Fachliteratur
17,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Sequential Data Clustering]()
Sequential Data Clustering
54,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Nonparametric Sequential Selection Procedures]()
Nonparametric Sequential Selection Procedures
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Synthesis of Sequential Reversible Circuits through State Machine]()
Synthesis of Sequential Reversible Circuits through State Machine
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Sequential Experimentation in Clinical Trials]()
Sequential Experimentation in Clinical Trials
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Going Infinite]()
Going Infinite
16,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Going Infinite]()
Going Infinite
16,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Infinite Jest]()
Infinite Jest
24,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Sequential Experiments with Primes]()
Sequential Experiments with Primes
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Psychosomatik nicht-epileptischer Anfälle]()
Psychosomatik nicht-epileptischer Anfälle
54,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Embedding Sequential Circuits for their Polynomial Formal Verification]()
Embedding Sequential Circuits for their Polynomial Formal Verification
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Digitalisierung im Sportunterricht]()
Digitalisierung im Sportunterricht
17,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Infinite Jest]()
Infinite Jest
24,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Hochwassermanagement und regionale Entwicklung in Zentralthailand]()
Hochwassermanagement und regionale Entwicklung in Zentralthailand
17,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Paradoxe Spannungen beim Arbeiten im Home-Office. Eine explorative Studie]()
Paradoxe Spannungen beim Arbeiten im Home-Office. Eine explorative Studie
47,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification of Sequential and Concurrent Programs]()
Verification of Sequential and Concurrent Programs
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Erlesenes Begehren]()
Erlesenes Begehren
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Sequential Logic Synthesis]()
Sequential Logic Synthesis
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Lebensphasen Liebesphasen]()
Lebensphasen Liebesphasen
59,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Sequential Optimization of Asynchronous and Synchronous Finite-State Machines]()
Sequential Optimization of Asynchronous and Synchronous Finite-State Machines
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: 'Amores Perros' von Alejandro González Iñárritu. Eine Analyse des Films in Bezug auf die Gewalt in der Stadt Mexiko City]()
‚Amores Perros‘ von Alejandro González Iñárritu. Eine Analyse des Films in Bezug auf die Gewalt in der Stadt Mexiko City
17,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Infinite Komplementation]()
Infinite Komplementation
109,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Architektur der Moderne und Denkmalpflege]()
Architektur der Moderne und Denkmalpflege
48,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automatic Parallelization]()
Automatic Parallelization
37,44 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Alternating Sequential-Parallel Processing]()
Alternating Sequential-Parallel Processing
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automatic Imitation]()
Automatic Imitation
42,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Sequential Techniques In Reliability Analysis]()
Sequential Techniques In Reliability Analysis
64,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Zur Pathologie der Neurasthenia gastrica (Dyspepsia nervosa)]()
Zur Pathologie der Neurasthenia gastrica (Dyspepsia nervosa)
34,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Spanisch sprechen im Unterricht. Probleme und Lösungsansätze im Zusammenhang mit der Sprechkompetenz]()
Spanisch sprechen im Unterricht. Probleme und Lösungsansätze im Zusammenhang mit der Sprechkompetenz
17,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Soziologie der Paarbeziehung]()
Soziologie der Paarbeziehung
59,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Infinite Processes]()
Infinite Processes
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Globalisierung und gewerblicher Rechtsschutz]()
Globalisierung und gewerblicher Rechtsschutz
68,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Handymania]()
Handymania
24,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
