Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "formal methods"
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
Showing
921
-
940
of
1,149
Search:
'"formal methods"'
,
query time: 0.12s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
921
Formal Concept Analysis : Mathematical Foundations
by
Ganter, Bernhard
,
Wille, Rudolf
Published 1999
Springer Berlin Heidelberg
“
... examples. Since computers are being used ever more widely for knowledge processing,
formal
methods
...
”
Read Now
922
Financial Cryptography and Data Security : FC 2019 International Workshops, VOTING and WTSC, St. Kitts, St. Kitts and Nevis, February 18–22, 2019, Revised Selected Papers
Published 2020
Springer International Publishing
Table of Contents:
“
... for Smart Contracts with
Formal
Methods
-- SoK: Transparent Dishonesty: Front-running Attacks on Blockchain...
”
Read Now
923
Computational Intelligence and Mathematics for Tackling Complex Problems 4
Published 2023
Springer International Publishing
Table of Contents:
“
... degrees -- A
formal
method
for driver identification -- Analysis and identification of forensic events...
”
Read Now
924
Lecture Notes in Data Engineering, Computational Intelligence, and Decision Making : 2022 International Scientific Conference "Intellectual Systems of Decision-Making and Problems...
Published 2023
Springer International Publishing
Table of Contents:
“
... of Complex Application of the
Formal
Method
of EVENT-B for Development of Environmental Management Systems...
”
Read Now
925
Verification, Model Checking, and Abstract Interpretation : 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings
Published 2003
Springer Berlin Heidelberg
Table of Contents:
“
... Properties -- Formal Verification of the Horn-Preneel Micropayment Protocol --
Formal
Methods
-- Action...
”
Read Now
926
Reliable Software Technology – Ada-Europe 2005 : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings
Published 2005
Springer Berlin Heidelberg
Table of Contents:
“
... to Software Components --
Formal
Methods
-- Extending Ravenscar with CSP Channels -- Dynamic Tasks...
”
Read Now
927
Advances in Formal Design Methods for CAD : Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995
Published 1996
Springer US
Table of Contents:
“
... of design -- 8 A
formal
method
for assessing product performance at the conceptual stage of the design...
”
Read Now
928
Human Error, Safety and Systems Development : IFIP 18th World Computer Congress TC13 / WG13.5 7th Working Conference on Human Error, Safety and Systems Development 22–27 August 200...
Published 2004
Springer US
Table of Contents:
“
... --
Formal
Methods
and Notations -- Analysing Dynamic Function Scheduling Decisions -- Formal Verification...
”
Read Now
929
Applied and Computational Mathematics : ICoMPAC 2023, Sukolilo, Indonesia, September 30
Published 2024
Springer Nature Singapore
Table of Contents:
“
... of Floating Crane During Lifting Operation: A Parametric Study -- Part 2: Computational Mathematics (
Formal
...
”
Read Now
930
Business Process Management Workshops : BPM 2023 International Workshops, Utrecht, The Netherlands, September 11–15, 2023, Revised Selected Papers
Published 2024
Springer Nature Switzerland
Table of Contents:
“
... and Substantial Use Case in the Automotive Industry -- Preface of the 1st Workshop on
Formal
Methods
for Business...
”
Read Now
931
New Directions in the Philosophy of Science
Published 2014
Springer International Publishing
Table of Contents:
“
...Preface: Maria Carla Galavotti -- TEAM A:
FORMAL
METHODS
-- Chapter 1: Things in Possible...
”
Read Now
932
Nuel Belnap on Indeterminism and Free Action
Published 2014
Springer International Publishing
“
...This volume seeks to further the use of
formal
methods
in clarifying one of the central problems...
”
Read Now
933
Foundations and Practice of Security : 6th International Symposium, FPS 2013, La Rochelle, France, October 21-22, 2013, Revised Selected Papers
Published 2014
Springer International Publishing
“
.... The papers are organized in topical sections on security protocols,
formal
methods
, physical security, attack...
”
Read Now
934
Tales of Electrologica : Computers, Software and People
Published 2022
Springer International Publishing
Read Now
935
Information Security and Privacy : 28th Australasian Conference, ACISP 2023, Brisbane, QLD, Australia, July 5–7, 2023, Proceedings
Published 2023
Springer Nature Switzerland
Table of Contents:
“
... Composition: the modes A10, A11 and A12 are insecure -- Exploring
Formal
Methods
for Cryptographic Hash...
”
Read Now
936
Real-Time: Theory in Practice : REX Workshop, Mook, The Netherlands, June 3-7, 1991. Proceedings
Published 1992
Springer Berlin Heidelberg
“
... entering established research areas in
formal
methods
, such as process algebra, temporal logic, and model...
”
Read Now
937
Data and Applications Security and Privacy XXXVIII : 38th Annual IFIP WG 11.3 Conference, DBSec 2024, San Jose, CA, USA, July 15–17, 2024, Proceedings
Published 2024
Springer Nature Switzerland
Table of Contents:
“
... for Decentralized Marketplaces. -- Attack. -- Resiliency Analysis of Mission-critical System of Systems Using
Formal
...
”
Read Now
938
Application and Theory of Petri Nets 1992 : 13th International Conference, Sheffield, UK, June 22-26, 1992. Proceedings
Published 1992
Springer Berlin Heidelberg
Table of Contents:
“
...Performance issues in parallel programming -- Combining Petri Nets and other
formal
methods
...
”
Read Now
939
Runtime Verification : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings
Published 2023
Springer Nature Switzerland
“
... lightweight
formal
methods
to monitor, analyze, and guide the runtime behavior of software and hardware...
”
Read Now
940
CyberSecurity in a DevOps Environment : From Requirements to Monitoring
Published 2024
Springer Nature Switzerland
“
..., runtime monitoring, and
formal
methods
. The book consists of three parts, each covering a different aspect...
”
42
43
44
45
46
47
48
49
50
51
52
Back
Narrow Search
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
543
004 - Data processing & computer science
281
600 - Technology
70
006 - Special computer methods
68
621 - Applied physics
59
620 - Engineering & allied operations
20
more ...
003 - Systems
17
500 - Natural sciences & mathematics
11
670 - Manufacturing
10
501 - Philosophy & theory
8
511 - General principles of mathematics
8
629 - Other branches of engineering
8
658 - General management
8
330 - Economics
7
700 - The arts; fine & decorative arts
7
720 - Architecture
6
160 - Logic
5
300 - Social sciences
5
530 - Physics
5
570 - Life sciences; biology
5
000 - Computer science, information & general works
4
331 - Labor economics
4
363 - Other social problems & services
4
400 - Language
4
518 - Numerical analysis
4
610 - Medicine & health
4
745 - Decorative arts
4
025 - Library operations
3
380 - Commerce, communications & transportation
3
410 - Linguistics
3
510 - Mathematics
3
515 - Analysis
3
628 - Sanitary & municipal engineering
3
900 - History & geography
3
100 - Philosophy & psychology
2
302 - Social interaction
2
327 - International relations
2
371 - Schools & their activities; special education
2
401 - Philosophy & theory
2
512 - Algebra
2
516 - Geometry
2
519 - Probabilities & applied mathematics
2
539 - Modern physics
2
660 - Chemical engineering
2
001 - Knowledge
1
111 - Ontology
1
120 - Epistemology, causation & humankind
1
121 - Epistemology
1
140 - Specific philosophical schools
1
150 - Psychology
1
200 - Religion
1
301 - Sociology & anthropology
1
304 - Factors affecting social behavior
1
320 - Political science
1
321 - Systems of governments & states
1
323 - Civil & political rights
1
324 - The political process
1
333 - Economics of land & energy
1
338 - Production
1
384 - Communications; telecommunication
1
541 - Physical chemistry
1
576 - Genetics & evolution
1
616 - Diseases
1
657 - Accounting
1
690 - Buildings
1
839 - Other Germanic literatures
1
see all ...
less ...
Language
English
1,050
German
5
Collection
Springer eBooks 2005-
652
Springer Book Archives -2004
341
IEEE Conference Proceedings
66
Lecture Notes in Computer Science
28
O'Reilly
21
Springer Lecture Notes Archiv 1964-1996
9
more ...
Directory of Open Access Books
8
OAPEN
7
National Center for Biotechnology Information
4
Cambridge Books Online
3
MIT Press eBook Archive
3
Oxford University Press
2
DeGruyter MPG Collection
1
International Monetary Fund
1
JSTOR Open Access Books
1
OECD Books and Papers
1
World Bank E-Library Archive
1
see all ...
less ...
Author
Steffen, Bernhard
30
Margaria, Tiziana
26
Bernardo, Marco
16
Bowen, Jonathan P.
12
Bonsangue, Marcello M.
11
Graf, Susanne
11
more ...
O'Regan, Gerard
11
Derrick, John
9
Butler, Michael
8
Davies, Jim
8
Johnsen, Einar Broch
8
Sirjani, Marjan
8
Woodcock, Jim
8
de Roever, Willem-Paul
8
Bouchon-Meunier, Bernadette
7
Broy, Manfred
7
Cerone, Antonio
7
Hinchey, Michael G.
7
Liu, Zhiming
7
de Boer, Frank S.
7
ter Beek, Maurice H.
7
Arbab, Farhad
6
Bjørner, Dines
6
Fitzgerald, John
6
Gnesi, Stefania
6
Jones, Cliff B.
6
Katoen, Joost-Pieter
6
Maibaum, Tom
6
Palanque, Philippe
6
Salaün, Gwen
6
Ölveczky, Peter Csaba
6
Havelund, Klaus
5
Huisman, Marieke
5
Jones, Cliff
5
Liu, Shaoying
5
Meseguer, José
5
Méry, Dominique
5
Núñez, Manuel
5
Roggenbach, Markus
5
Schewe, Klaus-Dieter
5
Zavattaro, Gianluigi
5
Alagar, V.S.
4
Anderson, Tom
4
Araki, Keijiro
4
Beckert, Bernhard
4
Bonsangue, Marcello
4
Bravetti, Mario
4
Cavalcanti, Ana
4
Coletti, Giulianella
4
Cong Vinh, Phan
4
Damiani, Ferruccio
4
Damm, Werner
4
Dastani, Mehdi
4
Denvir, Tim
4
Ehrig, Hartmut
4
Fedrizzi, Mario
4
Gaudel, Marie-Claude
4
Greco, Salvatore
4
Hermanns, Holger
4
Hähnle, Reiner
4
Lecomte, Thierry
4
Leue, Stefan
4
Montanari, Ugo
4
Nivat, Maurice
4
Olderog, Ernst-Rüdiger
4
Owe, Olaf
4
O’Regan, Gerard
4
Redmill, Felix
4
Romanovsky, Alexander
4
Rozier, Kristin Yvonne
4
Sekerinski, Emil
4
Shoham, Sharon
4
Smith, Graeme
4
Vinh, Phan Cong
4
Vizel, Yakir
4
Wirsing, Martin
4
Zhan, Naijun
4
de Boer, Frank
4
Abrial, Jean-Raymond
3
Ahrendt, Wolfgang
3
Aichernig, Bernhard K.
3
Alur, Rajeev
3
Babkin, Eduard
3
Berghammer, Rudolf
3
Bertran, Miquel
3
Beyer, Dirk
3
Boiten, Eerke
3
Calinescu, Radu
3
Chamberlain, Roger
3
Cimatti, Alessandro
3
Collart-Dutilleul, Simon
3
Delgado Kloos, Carlos
3
Dieks, Dennis
3
Dong, Jin Song
3
Dubois, Catherine
3
Fantechi, Alessandro
3
Felici, Massimo
3
Garcia-Alfaro, Joaquin
3
Giannakopoulou, Dimitra
3
Gibbons, Jeremy
3
see all ...
less ...
Recently Uploaded
Last Month
13
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=47&lookfor=%22formal+methods%22&type=AllFields
Send by Email
×
Loading...