Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: simulation software monitoring
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
Search alternatives
:
software monitoring »
hardware monitoring
,
software refactoring
Showing
61
-
80
of
818
Search:
'simulation software monitoring'
,
query time: 0.26s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
61
Computational Science and Its Applications -- ICCSA 2015 : 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part IV
Published 2015
Springer International Publishing
Table of Contents:
“
... -- Web-based learning -- Bio-inspired computing and applications -- Computer-aided modeling,
simulation
...
”
Read Now
62
Computational Science and Its Applications -- ICCSA 2015 : 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part V
Published 2015
Springer International Publishing
Table of Contents:
“
... -- Web-based learning -- Bio-inspired computing and applications -- Computer-aided modeling,
simulation
...
”
Read Now
63
Computational Science and Its Applications -- ICCSA 2015 : 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part III
Published 2015
Springer International Publishing
Table of Contents:
“
... -- Web-based learning -- Bio-inspired computing and applications -- Computer-aided modeling,
simulation
...
”
Read Now
64
Computational Science and Its Applications -- ICCSA 2013 : 13th International Conference, Ho Chi Minh City, Vietnam, July 24-27, 2013, Proceedings, Part I
Published 2013
Springer Berlin Heidelberg
Table of Contents:
“
... Kernel Estimator for the ROC Curve-
Simulation
Comparative Study.- Orthodontics Diagnostic Based...
”
Read Now
65
Software
Engineering and Formal Methods...
Published 2018
Springer International Publishing
Table of Contents:
“
... Microservices as
Software
Product Lines -- CoSim-CPS -- A Refinement Approach to Analyse Critical Cyber-Physical...
”
Read Now
66
Embedded
Software
Verification and Debugging
Published 2017
Springer New York
Table of Contents:
“
... Debugging of Embedded
Software
Systems -- A Mechanism for
Monitoring
Driver-Device Communication -- Model...
”
Read Now
67
Engineering Secure
Software
and Systems : 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014. Proceedings
Published 2014
Springer International Publishing
Table of Contents:
“
... -- Web and Mobile Security -- Architectures for Inlining Security
Monitors
in Web Applications...
”
Read Now
68
Formal Methods and
Software
Engineering...
Published 2004
Springer Berlin Heidelberg
Table of Contents:
“
... -- A Formal
Monitoring
-BasedFramework for
Software
Development and Analysis -- Verifying a File System...
”
Read Now
69
Ambient Intelligence -
Software
and Applications : 2nd International Symposium on Ambient Intelligence (ISAmI 2011)
Published 2011
Springer Berlin Heidelberg
Table of Contents:
“
...
Simulation
of Ubiquitous Computing Environments -- Safety Considerations in the Development of Intelligent...
”
Read Now
70
Frontiers in
Software
Engineering Education : First International Workshop, FISEE 2019, Villebrumier, France, November 11–13, 2019, Invited Papers
Published 2020
Springer International Publishing
Table of Contents:
“
...Collaborative Modelling and Co-
simulation
in Engineering and ComputingCurricula -- COMPETITIONS...
”
Read Now
71
Component-Based
Software
Engineering : 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005
Published 2005
Springer Berlin Heidelberg
Table of Contents:
“
...Prediction, Analysis and
Monitoring
of System Architecture -- Performance Prediction of J2EE...
”
Read Now
72
Formal Methods: Foundations and Applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings
Published 2017
Springer International Publishing
Subjects:
“
...
Software
engineering...
”
Read Now
73
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice...
Published 2022
Springer International Publishing
Table of Contents:
“
... -- NeuReach: Learning Reachability Functions from
Simulations
-- Quantifier Alternations: Taming the Search...
”
Read Now
74
NASA Formal Methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings
Published 2023
Springer Nature Switzerland
Table of Contents:
“
... Controllers: Integrating FRET into PLCverif -- Automata-Based
Software
Model Checking of Hyperproperties...
”
Read Now
75
Model-driven
Simulation
and Training Environments for Cybersecurity...
Published 2020
Springer International Publishing
Table of Contents:
“
... Awareness Quiz -- Towards the
Monitoring
and Evaluation of Trainees' Activities in Cyber Ranges...
”
Read Now
76
Embedded Computer Systems: Architectures, Modeling, and
Simulation
: 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings
Published 2006
Springer Berlin Heidelberg
Table of Contents:
“
... -- Real-Time Embedded System for Rear-View Mirror Overtaking Car
Monitoring
-- Design of Asynchronous...
”
Read Now
77
Embedded Computer Systems: Architectures, Modeling, and
Simulation
: 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, Proceedings
Published 2007
Springer Berlin Heidelberg
Table of Contents:
“
... -- Design Methodology for
Software
Radio Systems -- Power Efficient Co-
simulation
Framework for a Wireless...
”
Read Now
78
Embedded Computer Systems: Architectures, Modeling, and
Simulation
: 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008, Proceedings
Published 2008
Springer Berlin Heidelberg
Table of Contents:
“
... Sensor Network --
Monitoring
of Environmentally Hazardous Exhaust Emissions from Cars Using Optical Fibre...
”
Read Now
79
Advances in Conceptual Modeling : ER 2012 Workshops CMS, ECDM-NoCoDA, MODIC, MORE-BI, RIGIM, SeCoGIS, WISM, Florence, Italy, October 15-18, 2012, Proceedings
Published 2012
Springer Berlin Heidelberg
Table of Contents:
“
...Using the Web to
Monitor
a Customized Unified Financial Portfolio -- Financial Events Recognition...
”
Read Now
80
Methods and Applications for Modeling and
Simulation
of Complex Systems...
Published 2024
Springer Nature Singapore
Table of Contents:
“
... --
Simulation
Design of Reinforcement-Based Migration System in
Software
-Defined Networking Using Q-Learning...
”
1
2
3
4
5
6
7
8
9
10
11
Back
Narrow Search
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
223
005 - Computer programming, programs & data
206
006 - Special computer methods
129
621 - Applied physics
93
620 - Engineering & allied operations
29
003 - Systems
21
more ...
670 - Manufacturing
21
658 - General management
20
629 - Other branches of engineering
19
333 - Economics of land & energy
17
600 - Technology
17
610 - Medicine & health
15
331 - Labor economics
13
700 - The arts; fine & decorative arts
13
500 - Natural sciences & mathematics
12
330 - Economics
11
000 - Computer science, information & general works
10
363 - Other social problems & services
9
371 - Schools & their activities; special education
8
384 - Communications; telecommunication
7
910 - Geography & travel
7
519 - Probabilities & applied mathematics
6
900 - History & geography
6
303 - Social processes
5
340 - Law
5
518 - Numerical analysis
5
580 - Plants (Botany)
5
025 - Library operations
4
300 - Social sciences
4
374 - Adult education
4
380 - Commerce, communications & transportation
4
400 - Language
4
530 - Physics
4
550 - Earth sciences
4
570 - Life sciences; biology
4
630 - Agriculture & related technologies
4
001 - Knowledge
3
410 - Linguistics
3
539 - Modern physics
3
551 - Geology, hydrology & meteorology
3
332 - Financial economics
2
523 - Specific celestial bodies & phenomena
2
541 - Physical chemistry
2
577 - Ecology
2
660 - Chemical engineering
2
745 - Decorative arts
2
050 - General serial publications
1
140 - Specific philosophical schools
1
320 - Political science
1
327 - International relations
1
338 - Production
1
362 - Social welfare problems & services
1
370 - Education
1
510 - Mathematics
1
520 - Astronomy & allied sciences
1
534 - Sound & related vibrations
1
540 - Chemistry & allied sciences
1
549 - Mineralogy
1
571 - Physiology & related subjects
1
572 - Biochemistry
1
576 - Genetics & evolution
1
612 - Human physiology
1
616 - Diseases
1
617 - Surgery & related medical specialties
1
624 - Civil engineering
1
650 - Management & auxiliary services
1
690 - Buildings
1
720 - Architecture
1
770 - Photography, photographs & computer art
1
800 - Literature & rhetoric
1
see all ...
less ...
Language
English
806
German
12
Collection
Springer eBooks 2005-
591
Springer Book Archives -2004
142
O'Reilly
65
Directory of Open Access Books
19
ACS Symposium Series
1
Author
Camarinha-Matos, Luis M.
10
Li, Daoliang
10
Dongarra, Jack
9
Gavrilova, Marina L.
7
Gervasi, Osvaldo
7
Misra, Sanjay
7
more ...
Murgante, Beniamino
7
Chen, Yingyi
6
Dongarra, Jack J.
6
Elleithy, Khaled
5
Fu, Weina
5
Luo, Yuhua
5
Sloot, Peter M.A.
5
Sobh, Tarek
5
Tan, C.J. Kenneth
5
Wang, Shui-Hua
5
Bhateja, Vikrant
4
Bubak, Marian
4
Filipe, Joaquim
4
Liu, Ling
4
Mazurkiewicz, Jacek
4
Satapathy, Suresh Chandra
4
Sugier, Jarosław
4
Walkowiak, Tomasz
4
Yun, Lin
4
Zamojski, Wojciech
4
Zhang, Yu-Dong
4
Zu, Qiaohong
4
Afsarmanesh, Hamideh
3
Anzt, Hartwig
3
Bell, Charles
3
Bertino, Elisa
3
Deep, Kusum
3
Demazeau, Yves
3
Dignum, Virginia
3
Gaj, Piotr
3
Guarda, Teresa
3
Hoekstra, Alfons G.
3
Jain, Lakhmi C.
3
Karczewski, Konrad
3
Kranzlmüller, Dieter
3
Liu, Shuai
3
Margaria, Tiziana
3
Markopoulos, Panos
3
Nagar, Atulya
3
Pant, Millie
3
Patnaik, Srikanta
3
Portela, Filipe
3
Puigjaner, Ramon
3
Steffen, Bernhard
3
Sun, Xingming
3
Wasniewski, Jerzy
3
Wong, W. Eric
3
Wyrzykowski, Roman
3
Xiong, Hui
3
Özsu, M. Tamer
3
Abdulrazak, Bessam
2
Abu-Hanna, Ameen
2
Ajit, Srividya
2
Al-Turjman, Fadi
2
Ali, Moonis
2
Andreev, Sergey
2
Antona, Margherita
2
Apduhan, Bernady O.
2
Auer, Michael E.
2
Baboulin, Marc
2
Bajo, Javier
2
Balandin, Sergey
2
Balas, Valentina Emilia
2
Bansal, Jagdish Chand
2
Barjis, Joseph
2
Barria-Huidobro, Cristian
2
Berekovic, Mladen
2
Bian, Fuling
2
Bienz, Amanda
2
Bisgin, Halil
2
Bloem, Roderick
2
Bochtis, Dionysis D.
2
Bode, Arndt
2
Boissier, Olivier
2
Bolshakov, Alexander A.
2
Boucher, Xavier
2
Bouge, Luc
2
Braubach, Lars
2
Butts, Jonathan
2
Cascalho, José
2
Chatterjee, Krishnendu
2
Chen, Hsinchun
2
Chen, Shyi-Ming
2
Corchado Rodríguez, Juan Manuel
2
Cordeiro, José
2
Dancy, Christopher
2
Deelman, Ewa
2
Denzer, Ralf
2
Diaz-Nafria, Jose Maria
2
Donatelli, Susanna
2
Engels, Gregor
2
Fernandes, Florbela P.
2
Finkbeiner, Bernd
2
Fred, Ana
2
see all ...
less ...
Recently Uploaded
Last Month
9
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=4&lookfor=simulation+software+monitoring&type=AllFields
Send by Email
×
Loading...