Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: ("critic" or ("critics" OR "criticals"))
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Retain my current filters
dewey-ones:"004 - Data processing & computer science"
Search alternatives
:
"critic" »
"critica"
,
"critical"
"critics" »
"criticas"
,
"criticals"
"criticals" »
"criticaals"
,
"criticalals"
Showing
1
-
20
of
891
Search:
'("critic" or ("critics" OR "criticals"))'
,
query time: 0.17s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Architecting
Critical
Systems : First International Symposium, Prague, Czech Republic, June 23-25, 2010
Published 2010
Springer Berlin Heidelberg
Table of Contents:
“
...-Tolerant Techniques into the Design of
Critical
Systems -- Component Behavior Synthesis for
Critical
...
”
Read Now
2
Critical
Infrastructure Protection
Published 2008
Springer US
Table of Contents:
“
... Metamodel for
Critical
Infrastructures -- Multigraph Dependency Models for Heterogeneous Infrastructures...
”
Read Now
3
Critical
systems thinking : a practitioner's guide
by
Jackson, Michael C.
Published 2024
Wiley
Table of Contents:
“
... 153 -- 7
Critical
Systems Practice 3 – Intervene Flexibly 159 -- 7.1 Introduction 159 -- 7.2 Intervene...
”
Call Number:
T57.6
Read Now
4
Dependable Computing for
Critical
Applications
Published 1991
Springer Vienna
“
...The International Working Conference on Dependable Computing for
Critical
Applications...
”
Read Now
5
Critical
Information Infrastructures Security : Second International Workshop, CRITIS 2007, Benalmadena-Costa, Spain, October 3-5, 2007
Published 2008
Springer Berlin Heidelberg
Table of Contents:
“
... Processing in Data Streams -- An Approach to Trust Management Challenges for
Critical
Infrastructures...
”
Read Now
6
Critical
Information Infrastructures Security : 4th International Workshop, CRITIS 2009, Bonn, Germany, September 30 - October 2, 2009, Revised Papers
Published 2010
Springer Berlin Heidelberg
Table of Contents:
“
...On Modelling of Inter-dependent Network Infrastructures by Extended Leontief Models --
Critical
...
”
Read Now
7
Critical
Information Infrastructure Security : 5th International Workshop, CRITIS 2010, Athens, Greece, September 2010, Revised Papers
Published 2011
Springer Berlin Heidelberg
“
... on
Critical
Information Infrastructure Security, CRITIS 2010, held in Athens, Greece in September 2010. The 12...
”
Read Now
8
Critical
Infrastructure Protection II
Published 2008
Springer US
Table of Contents:
“
...Themes And Issues -- Emergent Risks In
Critical
Infrastructures -- Cyberspace Policy For
Critical
...
”
Read Now
9
Communication in
Critical
Embedded Systems...
Published 2017
Springer International Publishing
“
..., design, construction and use of communication in
critical
embedded systems...
”
Read Now
10
Security Education and
Critical
Infrastructures...
Published 2003
Springer US
“
...Security Education and
Critical
Infrastructures presents the most recent developments in research...
”
Read Now
11
Dependable Computing for
Critical
Applications 2
Published 1992
Springer Vienna
Table of Contents:
“
... Intelligent System for
Critical
Applications -- Implementing Forward Recovery Using Checkpoints in Distributed...
”
Read Now
12
Dependable Computing for
Critical
Applications 4
Published 1995
Springer Vienna
Table of Contents:
“
...Formal Methods for
Critical
Systems -- On Doubly Guarded Multiprocessor Control System Design...
”
Read Now
13
Formal Methods for Industrial
Critical
Systems : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
Published 2008
Springer Berlin Heidelberg
Table of Contents:
“
... Design and Verification of
Critical
Embedded Systems Using SCADE and Esterel -- Research Papers -- Static...
”
Read Now
14
Formal Methods for Industrial
Critical
Systems : 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers
Published 2009
Springer Berlin Heidelberg
Table of Contents:
“
...Invited Presentations -- Formal Methods for
Critical
Systems -- Model-Based Verification...
”
Read Now
15
Formal Techniques for Safety-
Critical
Systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers
Published 2020
Springer International Publishing
“
... Techniques for Safety-
Critical
Systems, FTSCS 2019, held in Shenzhen, China, in November 2019. The 6 revised...
”
Read Now
16
Formal Techniques for Safety-
Critical
Systems...
Published 2014
Springer International Publishing
“
... related to the application of formal and semi-formal methods to improve the quality of safety-
critical
...
”
Read Now
17
Dependable Computing for
Critical
Applications 3
Published 1993
Springer Vienna
Table of Contents:
“
... Distributed Systems -- Safety-
Critical
Industrial Systems -- A “Strongly-Fail-Safe Majority Voted Output...
”
Read Now
18
Safety-
Critical
Real-Time Systems
Published 1997
Springer US
Table of Contents:
“
... Dependable Computing Architecture for Safety-
Critical
Control Applications -- The ProCoS Approach to Correct...
”
Read Now
19
Emerging Smart Technologies for
Critical
Infrastructure
Published 2023
Springer Nature Switzerland
“
... and solutions related to smart
critical
infrastructure. In addition, it provides quantitative and qualitative...
”
Read Now
20
Formal Techniques for Safety-
Critical
Systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers
Published 2019
Springer International Publishing
Table of Contents:
“
...Invited paper -- Analysis and Verification of Safety-
Critical
Systems -- Analysis of Timed Systems...
”
1
2
3
4
5
6
7
8
9
10
11
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 004 - Data processing & computer science
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
005 - Computer programming, programs & data
97
331 - Labor economics
89
658 - General management
73
500 - Natural sciences & mathematics
55
374 - Adult education
51
more ...
621 - Applied physics
43
384 - Communications; telecommunication
40
745 - Decorative arts
25
620 - Engineering & allied operations
19
330 - Economics
14
338 - Production
9
300 - Social sciences
3
302 - Social interaction
2
600 - Technology
2
670 - Manufacturing
2
001 - Knowledge
1
011 - Bibliographies
1
332 - Financial economics
1
510 - Mathematics
1
see all ...
less ...
Language
English
886
German
3
Spanish
1
Undetermined
1
Collection
Springer eBooks 2005-
454
O'Reilly
266
Springer Book Archives -2004
159
MIT Press eBook Archive
6
JSTOR Open Access Books
3
Springer Lecture Notes Archiv 1964-1996
2
more ...
Emerald Business, Management and Economics eBook Collection Archive
1
see all ...
less ...
Author
Bitsch, Friedemann
7
Petrie, Helen
7
Schoitsch, Erwin
6
Artho, Cyrille
5
Bryan, Wes
5
Ölveczky, Peter Csaba
5
more ...
Guiochet, Jérémie
4
Kurosu, Masaaki
4
Lamas, David
4
Loizides, Fernando
4
Nacke, Lennart
4
Nilkaew, Piyasat
4
Stephanidis, Constantine
4
Tamboli, Anand
4
Wong, Ronnie
4
Adamatzky, Andrew
3
Antona, Margherita
3
Beasley, Jeffrey S.
3
Bettany, Andrew
3
Camarinha-Matos, Luis M.
3
Chen, Min
3
Cheshire, Jim
3
Dongarra, Jack J.
3
Ebbers, Mike
3
Geroimenko, Vladimir
3
Gervasi, Osvaldo
3
Holzinger, Andreas
3
Jajodia, Sushil
3
Kim, Tai-hoon
3
Kowalik, Janusz S.
3
Krzhizhanovskaya, Valeria V.
3
Latifi, Shahram
3
Lees, Michael H.
3
Murgante, Beniamino
3
O'Connor, Rory V.
3
Pohlmann, Norbert
3
Prowse, David L.
3
Reimer, Helmut
3
Romanovsky, Alexander
3
Rosenzweig, Gary
3
Shen, Xuemin (Sherman)
3
Steffen, Bernhard
3
Tonetta, Stefano
3
Warren, Andrew
3
Winckler, Marco
3
Wise, John A.
3
Wojtkowski, Wita
3
Závodszky, Gábor
3
Afsarmanesh, Hamideh
2
Alfnes, Erlend
2
Anderson, Tom
2
Avresky, Dimiter R.
2
Ayyar, Rama
2
Badic, Biljana
2
Bondavalli, Andrea
2
Bramwell-Dicks, Anna
2
Bratteteig, Tone
2
Brehm, Jürgen
2
Broy, Manfred
2
Budach, Lothar
2
Buttazzo, Giorgio C.
2
Cacciabue, Carlo
2
Cantone, Domenico
2
Cerone, Antonio
2
Chapple, Mike
2
Chen, Lei
2
Ciolfi, Luigina
2
Daithankar, Jayant
2
Dongarra, Jack
2
Drewes, Christian
2
Dudin, Alexander
2
Duffy, Vincent G.
2
Dąbrowski, Marcin
2
Eichler, Gerald
2
Erfurth, Christian
2
Evans, Abigail
2
Fahrnberger, Günter
2
Ferreira, Octavio L.
2
Furht, Borko
2
Gacek, Cristina
2
Gaol, Ford Lumban
2
Garau, Chiara
2
Gleb, Taras
2
Gorlatch, Sergei
2
Gregg, Michael
2
Gucer, Vasfi
2
Gulliksen, Jan
2
Görke, Winfried
2
Harris, Don
2
Harwood, Mike
2
Hochberger, Christian
2
Holtsnider, Bill
2
Hung, Patrick C. K.
2
Hämäläinen, Timo D.
2
Jabbari, Bijan
2
Jenkyns, Tom
2
Jesshope, Chris
2
Joseph, Mathai
2
Kanumuri, Sasi
2
Karls, Ingolf
2
see all ...
less ...
Recently Uploaded
Last Month
4
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=dewey-ones%3A%22004+-+Data+processing+%26+computer+science%22&lookfor=%28%22critic%22+or+%28%22critics%22+OR+%22criticals%22%29%29&type=AllFields
Send by Email
×
Loading...