Kategorien
Handverlesen
Verbrieft
Kafka, Kafka, Kafka
Alice Munro
Archiv
Viel besprochen
Bücherschau des Tages
Literaturbeilagen
Bücherbrief
Bücher der Saison
Bestenlisten
Ausgezeichnet
Selbst gelesen
von Marie-Luise Knott
von Thekla Dannenberg
von Peter Truschner
von Angela Schader
Wer wir sind
Datenschutz
Impressum
Gutschein
Kostenloser Newsletter
Der
Perlentaucher unter den Buchläden
Eichendorff21
Warenkorb
Einloggen oder registrieren
Genauer suchen (36 Treffer)
Filter schließen (36 Treffer)
Stichwort auswählen
Alle Stichworte
Dependablecomputing (36)
Distributedsystems (20)
Embeddedsystems (14)
Modeling (13)
Formalmethods (12)
Safety-Criticalsystems (9)
Security (9)
Verification (9)
Middleware (8)
Algorithms (7)
Dependablesystems (7)
Reactivesystems (7)
Architecture (6)
Communication (6)
Component-Basedsystems (6)
Distributedcomputing (6)
System (6)
Xml (6)
Formalmethod (5)
Objectorienteddesign (5)
Real-Time (5)
Real-Timesystems (5)
Reliablesystems (5)
Systemsavailability (5)
Ada (4)
Adaprogramming (4)
Adaprogramminglanguage (4)
Logic (4)
Modeldrivenarchitecture (4)
Softwarearchitecture (4)
Softwareengineering (4)
Uml (4)
Algorithm (3)
Attribut (3)
Compiler (3)
Complexsystem (3)
Configuration (3)
Design (3)
Faulttolerance (3)
Globalcomputing (3)
Mda (3)
Programanalysis (3)
Programming (3)
Qos (3)
Validation (3)
Absolutetiming (2)
Ada-Programming (2)
Artificialintelligence (2)
Authentication (2)
Code (2)
Complexsystems (2)
Computer (2)
Computerreliability (2)
Computersafety (2)
Concurrencymodeling (2)
Connectors (2)
Continuoustime (2)
Corba (2)
Correctdesign (2)
Datamining (2)
Datastructures (2)
Discretetiming (2)
Fault-Tolerantcomputing (2)
Fault-Tolerantsystems (2)
Formalspecification (2)
Formalverification (2)
Gridcomputing (2)
Hardware (2)
Java (2)
Linux (2)
Mobilecomputing (2)
Multimediasystems (2)
Performanceevaluation (2)
Processalgebra (2)
Qualityassurance (2)
Reactionsystems (2)
Relativetiming (2)
Robot (2)
Securesystems (2)
Systemsdesign (2)
Systemsdevelopment (2)
Systemsmodeling (2)
Systemsperformance (2)
Systemsvalidation (2)
Accesscontrol (1)
Activedatabase (1)
Ad-Hocnetworks (1)
Ada95 (1)
Agile (1)
Anonymity (1)
Automata (1)
Bisimulation (1)
Broadcast (1)
Broadcasting (1)
C++programminglanguage (1)
Calculi (1)
Calculus (1)
Certification (1)
Changemanagement (1)
Cluster (1)
Schlagwort-Sachbuch auswählen
Schlagwort Sachbuch
Expertensysteme (20)
Wissensbasierte Systeme (20)
Netzwerk-Hardware (6)
Software Engineering (5)
Mathematik für Informatiker (2)
Compiler und Übersetzer (1)
Kodierungstheorie und Verschlüsselung (kryptologie) (1)
Sicherheitssysteme und Brandmeldeanlagen (1)
Sprache auswählen
Sprachen
Englisch (36)
Buchform auswählen (BC=Taschenbuch,BB=Gebunden)
Formate
Taschenbuch (34)
Gebunden (2)
Nur mit
-Notizen
Auf Lager
Sortiert nach
Übereinstimmung
Neueste
Preis absteigend
Preis aufsteigend
Seitenzahl aufsteigend
Seitenzahl absteigend
Suchergebnis
Gefundene Autoren:
J. C. M. Baeten
oder
C. A. Middelburg
eng
Computer Science and Convergence
CSA 2011 & WCC 2011 Proceedings
Springer Netherlands
2016
Taschenbuch
900 Seiten
320,99
€
in Kürze
_Computer Science and Convergence_ is proceedings of the 3rd FTRA International Conference on Computer Science and its Applications (CSA-11) and The …
eng
Computer Science and Convergence
CSA 2011 & WCC 2011 Proceedings
Springer Netherlands
2011
Gebunden
900 Seiten
320,99
€
in Kürze
Computer Science and Convergence is proceedings of the 3rd FTRA International Conference on Computer Science and its Applications (CSA-11) and The 20…
eng
C. A. Middelburg / J. C. M. Baeten
Process Algebra with Timing
Springer Berlin Heidelberg
2010
Taschenbuch
312 Seiten
53,49
€
in Kürze
Timing issues are of growing importance for the conceptualization and design of computer-based systems. Timing may simply be essential for the correc…
eng
Reliable Software Technologies - Ada-Europe 2008
13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings
Springer Berlin Heidelberg
2008
Taschenbuch
304 Seiten
53,49
€
in Kürze
th The 13 edition of the International Conference on Reliable Software Technologies (Ada-Europe 2008) marked its arrival in Italy by selecting the sp…
eng
Dependability Metrics
GI-Dagstuhl Research Seminar, Dagstuhl Castle, Germany, October 5 - November 1, 2005, Advanced Lectures
Springer Berlin Heidelberg
2008
Taschenbuch
324 Seiten
46,01
€
in Kürze
With the growingubiquity of computing systems it is essentialthat we canplace reliance on the services they deliver. This is particularly obvious and…
eng
Trustworthy Global Computing
Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers
Springer Berlin Heidelberg
2007
Taschenbuch
352 Seiten
53,49
€
in Kürze
This book constitutes the thoroughly refereed post-proceedings of the Second Symposium on Trustworthy Global Computing, TGC 2006, held in Lucca, Ital…
eng
Dependable Computing
Third Latin-American Symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007, Proceedings
Springer Berlin Heidelberg
2007
Taschenbuch
256 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the Third Latin-American Symposium on Dependable Computing, LADC 2007, held in Morelia, Mexico, in …
eng
Architecting Dependable Systems IV
Springer Berlin Heidelberg
2007
Taschenbuch
452 Seiten
53,49
€
in Kürze
eng
Reliable Software Technologies - Ada-Europe 2007
12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings
Springer Berlin Heidelberg
2007
Taschenbuch
268 Seiten
53,49
€
in Kürze
Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement of all aspects of reliable s…
eng
Reliable Systems on Unreliable Networked Platforms
12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers
Springer Berlin Heidelberg
2007
Taschenbuch
336 Seiten
53,49
€
in Kürze
This book constitutes the refereed post-proceedings of the 12th International Monterey Workshop on Networked Systems with special focus on realizatio…
eng
Reliable Software Technologies -- Ada-Europe 2006
11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings
Springer Berlin Heidelberg
2006
Taschenbuch
260 Seiten
74,89
€
in Kürze
This book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada-Europe 2006, held in Porto…
eng
Component-Based Software Development for Embedded Systems
An Overview of Current Research Trends
Springer Berlin Heidelberg
2005
Taschenbuch
360 Seiten
53,49
€
Auf Lager
Embedded systems are ubiquitous. They appear in cell phones, microwave ovens, refrigerators, consumer electronics, cars, and jets. Some of these embe…
eng
Dependable Computing
Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings
Springer Berlin Heidelberg
2005
Taschenbuch
288 Seiten
53,49
€
in Kürze
The Latin-American Symposium on Dependable Computing, LADC,isthemain Latin- American event dedicated to the discussion of the many issues related to …
eng
Computer Safety, Reliability, and Security
24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings
Springer Berlin Heidelberg
2005
Taschenbuch
424 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the 24th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2005, hel…
eng
Architecting Dependable Systems III
Springer Berlin Heidelberg
2005
Taschenbuch
364 Seiten
53,49
€
in Kürze
As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to these issues must be conside…
eng
Reliable Software Technology ¿ Ada-Europe 2005
10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings
Springer Berlin Heidelberg
2005
Taschenbuch
296 Seiten
53,49
€
in Kürze
Started on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference that had previously run…
eng
Dependable Computing - EDCC 2005
5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings
Springer Berlin Heidelberg
2005
Taschenbuch
496 Seiten
53,49
€
in Kürze
It is always a special honor to chair the European Dependable Computing C- ference (EDCC). EDCC has become one of the well-established conferences in…
eng
Global Computing
IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers
Springer Berlin Heidelberg
2005
Taschenbuch
384 Seiten
53,49
€
in Kürze
This volume collects revised versions of some of the papers presented at the S- ond IST/FET International Workshop on Global Computing held in Rovere…
eng
Architecting Dependable Systems II
Springer Berlin Heidelberg
2004
Taschenbuch
360 Seiten
53,49
€
in Kürze
As software systems become ubiquitous, the issues of dependability become more and more critical. Given that solutions to these issues must be taken …
eng
Computer Safety, Reliability, and Security
23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, Proceedings
Springer Berlin Heidelberg
2004
Taschenbuch
356 Seiten
53,49
€
in Kürze
Theimportanceofsafetyandsecurityisgrowingsteadily. Safetyisaqualityc- racteristic that traditionally has been considered to be important in embedded …
eng
Reliable Software Technologies - Ada-Europe 2004
9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings
Springer Berlin Heidelberg
2004
Taschenbuch
352 Seiten
53,49
€
in Kürze
eng
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems
IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003, Revised Papers
Springer Berlin Heidelberg
2003
Taschenbuch
280 Seiten
53,49
€
in Kürze
The goal of the IST/FET proactive initiative on Global Computing is to - tain models, frameworks, methods, algorithms to build systems that are ?exib…
eng
Formal Methods at the Crossroads. From Panacea to Foundational Support
10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers
Springer Berlin Heidelberg
2003
Taschenbuch
476 Seiten
53,49
€
in Kürze
This volume records the 10th Anniversary Colloquium of UNU/IIST, the Int- nationalInstituteforSoftwareTechnologyoftheUnitedNationsUniversity,held in …
eng
Dependable Computing
First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings
Springer Berlin Heidelberg
2003
Taschenbuch
392 Seiten
53,49
€
in Kürze
This is the ?rst edition of the Latin American Symposium on Dependable C- puting (proceedings of the LADC). LADC is the sole Latin American event ded…
eng
Software Security -- Theories and Systems
Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers
Springer Berlin Heidelberg
2003
Taschenbuch
488 Seiten
53,49
€
in Kürze
For more than the last three decades, the security of software systems has been an important area of computer science, yet it is a rather recent gene…
eng
Dependable Computing EDCC-4
4th European Dependable Computing Conference Toulouse, France, October 23-25, 2002, Proceedings
Springer Berlin Heidelberg
2002
Taschenbuch
304 Seiten
53,49
€
in Kürze
eng
C. A. Middelburg / J. C. M. Baeten
Process Algebra with Timing
Springer Berlin Heidelberg
2002
Gebunden
312 Seiten
53,49
€
in Kürze
Timing issues are of growing importance for the conceptualization and design of computer-based systems. Timing may simply be essential for the correc…
eng
Reliable Software Technologies - Ada-Europe 2002
7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings
Springer Berlin Heidelberg
2002
Taschenbuch
388 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe 2002, held in Vienna…
eng
Lectures on Formal Methods and Performance Analysis
First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures
Springer Berlin Heidelberg
2001
Taschenbuch
444 Seiten
53,49
€
in Kürze
Traditionally, models and methods for the analysis of the functional correctness of reactive systems, and those for the analysis of their performance…
eng
Reliable Software Technologies - Ada-Europe 2001
6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May 14-18, 2001 Proceedings
Springer Berlin Heidelberg
2001
Taschenbuch
428 Seiten
53,49
€
in Kürze
The Sixth International Conference on Reliable Software Technologies, Ada- Europe 2001, took place in Leuven, Belgium, May 14-18, 2001. It was sponso…
eng
Computer Safety, Reliability and Security
18th International Conference, SAFECOMP'99, Toulouse, France, September 27-29, 1999, Proceedings
Springer Berlin Heidelberg
1999
Taschenbuch
508 Seiten
53,49
€
in Kürze
The European Commission emphasizes, in its Fifth Research Framework, the ¿. . . emerging generic dependability requirements in the information societ…
eng
Dependable Computing - EDDC-3
Third European Dependable Computing Conference, Prague, Czech Republic, September 15-17, 1999, Proceedings
Springer Berlin Heidelberg
1999
Taschenbuch
484 Seiten
53,49
€
in Kürze
The idea of creating the European Dependable Computing Conference (EDCC) was born at the moment when the Iron Curtain fell. A group of enthusiasts, w…
eng
Active, Real-Time, and Temporal Database Systems
Second International Workshop, ARTDB'97, Como, Italy, September 8-9, 1997, Proceedings
Springer Berlin Heidelberg
1999
Taschenbuch
260 Seiten
53,49
€
in Kürze
Database systems of the next generation are likely to be inherently very complex due to the diversity of requirements placed on them. Incorporating a…
eng
Lectures on Embedded Systems
European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996
Springer Berlin Heidelberg
1998
Taschenbuch
440 Seiten
53,49
€
in Kürze
This volume originates from the School on Embedded Systems held in Veldhoven, The Netherlands, in November 1996 as the first event organized by the E…
eng
Computer Safety, Reliability and Security
17th International Conference, SAFECOMP'98, Heidelberg Germany, October 5-7, 1998, Proceedings
Springer Berlin Heidelberg
1998
Taschenbuch
420 Seiten
53,49
€
in Kürze
Computers and their interactions are becoming the characteristic features of our time: Many people believe that the industrial age is going over into…
eng
Dependable Computing - EDCC-1
First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994. Proceedings
Springer Berlin Heidelberg
1994
Taschenbuch
644 Seiten
106,99
€
in Kürze
This book presents the proceedings of the First European Dependable Computing Conference (EDCC-1), held in Berlin, Germany, in October 1994. EDCC is …
/9789401779227.png "Computer Science and Convergence")
/9789400727915.png "Computer Science and Convergence")
/9783642077883.png "Process Algebra with Timing")
/9783540686217.png "Reliable Software Technologies - Ada-Europe 2008")
/9783540689461.png "Dependability Metrics")
/9783540753339.png "Trustworthy Global Computing")
/9783540752936.png "Dependable Computing")
/9783540740339.png "Architecting Dependable Systems IV")
/9783540732297.png "Reliable Software Technologies - Ada-Europe 2007")
/9783540711551.png "Reliable Systems on Unreliable Networked Platforms")
/9783540346630.png "Reliable Software Technologies -- Ada-Europe 2006")
/9783540306443.png "Component-Based Software Development for Embedded Systems")
/9783540295723.png "Dependable Computing")
/9783540292005.png "Computer Safety, Reliability, and Security")
/9783540289685.png "Architecting Dependable Systems III")
/9783540262862.png "Reliable Software Technology ¿ Ada-Europe 2005")
/9783540257233.png "Dependable Computing - EDCC 2005")
/9783540241010.png "Global Computing")
/9783540231684.png "Architecting Dependable Systems II")
/9783540231769.png "Computer Safety, Reliability, and Security")
/9783540220114.png "Reliable Software Technologies - Ada-Europe 2004")
/9783540205838.png "Global Computing. Programming Environments, Languages, Security, and Analysis of Systems")
/9783540205272.png "Formal Methods at the Crossroads. From Panacea to Foundational Support")
/9783540202240.png "Dependable Computing")
/9783540007081.png "Software Security -- Theories and Systems")
/9783540000129.png "Dependable Computing EDCC-4")
/9783540434474.png "Process Algebra with Timing")
/9783540437840.png "Reliable Software Technologies - Ada-Europe 2002")
/9783540424796.png "Lectures on Formal Methods and Performance Analysis")
/9783540421238.png "Reliable Software Technologies - Ada-Europe 2001")
/9783540664888.png "Computer Safety, Reliability and Security")
/9783540664833.png "Dependable Computing - EDDC-3")
/9783540656494.png "Active, Real-Time, and Temporal Database Systems")
/9783540651932.png "Lectures on Embedded Systems")
/9783540651109.png "Computer Safety, Reliability and Security")
/9783540584261.png "Dependable Computing - EDCC-1")