Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: %computational methods in applied sciences%22
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:"005 - Computer programming, programs & data"
Search alternatives
:
sciences%22 »
science%22
Showing
1
-
20
of
96
Search:
'%computational methods in applied sciences%22'
,
query time: 0.46s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Security, Privacy, and
Applied
Cryptography Engineering : 4th International Conference, SPACE 2014, Pune, India, October 18-22, 2014. Proceedings
Published 2014
Springer International Publishing
Table of Contents:
“
...Cryptographic building blocks -- Mini tutorial -- Attacks and countermeasures -- Tools and
methods
...
”
Read Now
2
FM 2005: Formal
Methods
: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings
Published 2005
Springer Berlin Heidelberg
Table of Contents:
“
... with Spec Explorer -- ASD Case Notes: Costs and Benefits of
Applying
Formal
Methods
to Industrial Control...
”
Read Now
3
Formal
Methods
for Software Architectures...
Published 2003
Springer Berlin Heidelberg
Table of Contents:
“
... and Component Designs -- Software Architecture for Correct Components Assembly -- Formal
Methods
in Testing...
”
Read Now
4
Applied
Cryptography and Network Security Workshops...
Published 2023
Springer Nature Switzerland
Table of Contents:
“
... Image-to-Image Translation
Method
-- Federated Learning Approach for Distributed Ransomware Analysis...
”
Read Now
5
FME '96: Industrial Benefit and Advances in Formal
Methods
...
Published 1996
Springer Berlin Heidelberg
Table of Contents:
“
... developments -- Quantitative analysis of an application of formal
methods
--
Applying
the B technologies...
”
Read Now
6
Machine Learning, Optimization, and Data
Science
...
Published 2023
Springer Nature Switzerland
Table of Contents:
“
...-Objective Optimization --
Computational
Optimization -- Data
Science
-- Big Data -- Data Analytics...
”
Read Now
7
Machine Learning, Optimization, and Data
Science
...
Published 2023
Springer Nature Switzerland
Table of Contents:
“
...-Objective Optimization --
Computational
Optimization -- Data
Science
-- Big Data -- Data Analytics...
”
Read Now
8
Applied
Cryptography and Network Security Workshops...
Published 2024
Springer Nature Switzerland
Table of Contents:
“
...-threshold Delay Time Measurement
Method
to Mitigate Modeling Attacks -- Incorporating Cluster Analysis...
”
Read Now
9
Intelligent Human
Computer
Interaction : 13th International Conference, IHCI 2021, Kent, OH, USA, December 20–22, 2021, Revised Selected Papers
Published 2022
Springer International Publishing
Table of Contents:
“
... Coordination System -- Effects of
Computer
-Based (Scratch) and Robotic (Cozmo) Coding Instruction on Middle...
”
Read Now
10
Statistical
Methods
in Software Engineering : Reliability and Risk
by
Singpurwalla, Nozer D.
,
Wilson, Simon P.
Published 1999
Springer New York
Table of Contents:
“
... Production -- 1.3 The Quantification of Uncertainty -- 1.4 The Role of Statistical
Methods
in Software...
”
Read Now
11
Human-
Computer
Interaction. Applications and Services...
Published 2014
Springer International Publishing
Table of Contents:
“
... Screens to Devices and Tangible Objects: A Framework
Applied
to Serious Games Characterization --...
”
Read Now
12
C++ and Object-Oriented Numeric
Computing
for Scientists and Engineers
by
Yang, Daoqi
Published 2001
Springer New York
Table of Contents:
“
... Scopes and Storage Classifications --
2.2
Expressions -- 2.3 Statements -- 2.4 Fibonacci Number -- 2.5...
”
Read Now
13
CONCUR 2008 - Concurrency Theory : 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings
Published 2008
Springer Berlin Heidelberg
Table of Contents:
“
...
Method
of Stages -- On the Minimisation of Acyclic Models -- Quasi-Static Scheduling of Communicating...
”
Read Now
14
Open Distributed Systems : On Concepts, Methods, and Design from a Logical Point of View
by
Gotzhein, Reinhard
Published 1993
Vieweg+Teubner Verlag
Table of Contents:
“
... Formal
methods
in the system design process -- 1.1 A model for the system design process -- 1.2...
”
Read Now
15
HCI in Games : Second International Conference, HCI-Games 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings...
Published 2020
Springer International Publishing
Table of Contents:
“
... for Supporting the Design, Development, and Evaluation of Exergames for Health --
Applying
Social Gamification...
”
Read Now
16
Advanced Debugging
Methods
by
Lencevicius, Raimondas
Published 2000
Springer US
Table of Contents:
“
...1 Introduction -- 1.1 Outline -- 2 Debugging Background and
methods
-- 2.1 Control Flow Debugging...
”
Read Now
17
Data Mining for Design and Manufacturing : Methods and Applications
Published 2001
Springer US
Table of Contents:
“
... in the Semiconductor Industry -- 10 Analyzing Maintenance Data Using Data Mining
Methods
-- 11 Methodology of Mining...
”
Read Now
18
Universal Access in Human-
Computer
Interaction. Applications and Practice...
Published 2020
Springer International Publishing
Table of Contents:
“
... of Affective States Self-Expressions -- Accessible
Computer
Science
for K-12 Students with Hearing Impairments...
”
Read Now
19
Augmented Cognition. Human Cognition and Behavior : 14th International Conference, AC 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, J...
Published 2020
Springer International Publishing
Table of Contents:
“
... Focus – an Evaluation of Five Adaptation Strategies -- Information-Theoretic
Methods
Applied
to Dispatch...
”
Read Now
20
Logic-Based Program Synthesis and Transformation : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers
Published 2000
Springer Berlin Heidelberg
Table of Contents:
“
... -- Proof Obligations of the B Formal
Method
: Local Proofs Ensure Global Consistency -- Constraint Logic...
”
1
2
3
4
5
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 005 - Computer programming, programs & data
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
500 - Natural sciences & mathematics
20
620 - Engineering & allied operations
13
004 - Data processing & computer science
10
003 - Systems
8
331 - Labor economics
4
more ...
658 - General management
4
330 - Economics
1
332 - Financial economics
1
510 - Mathematics
1
519 - Probabilities & applied mathematics
1
745 - Decorative arts
1
see all ...
less ...
Language
English
93
German
3
Collection
Springer eBooks 2005-
42
Springer Book Archives -2004
30
O'Reilly
24
Author
Fidopiastis, Cali M.
2
La Malfa, Emanuele
2
La Malfa, Gabriele
2
Lavrač, Nada
2
Marcus, Aaron
2
Mihailescu, Marius Iulian
2
more ...
Mistrík, Ivan
2
Nicosia, Giuseppe
2
Nita, Stefania Loredana
2
Ojha, Varun
2
Rosenzweig, Elizabeth
2
Schmorrow, Dylan D.
2
Shi, Yuhui
2
Tan, Ying
2
Yan, Hongyang
2
Zomaya, Albert
2
Al-Shaer, Ehab
1
Alagic, Suad
1
Ali, Nour
1
Aliev, Telman
1
Andreoni, Martin
1
Antona, Margherita
1
Arbab, Farhad
1
Arbib, Michael A.
1
Arisawa, Hiroshi
1
Aykin, Nuray
1
Babau, Jean-Philippe
1
Batina, Lejla
1
Bernardo, Marco
1
Blazy, Sandrine
1
Blockeel, Hendrik
1
Bohanec, Marko
1
Bossi, Annalisa
1
Braha, D.
1
Buchwald, Hagen
1
Byrne, Gerard
1
Carlet, Claude
1
Catarci, Tiziana
1
Ch'ng, Eugene
1
Chakraborty, Rajat Subhra
1
Chapman, Henry
1
Charafi, A.
1
Chechik, Marsha
1
Chen, Liqun
1
Cheung, David
1
Chollet, François
1
Chung, Tai M.
1
Concas, Giulio
1
Cowart, Robert
1
Crawley, Michael J.
1
Damiani, Ernesto
1
Dang, Tran Khanh
1
Deitel, Harvey M.
1
Deitel, Paul J.
1
Denzer, Ralf
1
Djeraba, Chabane
1
Dolev, Shlomi
1
Eshkabilov, Sulaymon L.
1
Fang, Xiaowen
1
Fitzgerald, John
1
Fleischmann, Albert
1
Fogel, David B.
1
Fox, Bennett L.
1
Gaffney, Vincent
1
Gamberger, Dragan
1
Gaudel, Marie-Claude
1
Gauthier, Michel
1
Gaylord, Richard J.
1
Ghosh, Tarun Kumar
1
Gotham, Ivan
1
Gotzhein, Reinhard
1
Grundy, John
1
Guilley, Sylvain
1
Harden, Simon
1
Hayes, Ian J.
1
Hershey, John E.
1
Hinkelmann, Knut
1
Holt, A.
1
Huan Liu
1
Inverardi, Paola
1
Joardar, Subhankar
1
Jones, Elinor
1
Joyce, Philip
1
Jähnichen, Stefan
1
Kamin, Samuel N.
1
Khan, Javed
1
Kim, Jong-Hoon
1
Knittel, Brian
1
Kobayashi, Naoki
1
Komatsu, Ken
1
Kurosu, Masaaki
1
Küng, Josef
1
Landauer, Max
1
Lee, Martin
1
Leffingwell, Dean
1
Lencevicius, Raimondas
1
Li, Keqiu
1
Li, Qing
1
Li, Zengpeng
1
Lichtenberg, Kathrin
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=dewey-ones%3A%22005+-+Computer+programming%2C+programs+%26+data%22&lookfor=%25computational+methods+in+applied+sciences%2522&type=AllFields
Send by Email
×
Loading...