Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: Computer Software / Validation
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
141
-
160
of
2,330
Search:
'Computer Software / Validation'
,
query time: 0.26s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
141
Software
mistakes and tradeoffs
by
Lelek, Tomasz
,
Skeet, Jonathan
Published 2022
Manning Publications
Subjects:
“
...
Computer
software
/ Development / http://id.loc.gov/authorities/subjects/sh85029535...
”
Call Number:
QA76.76.D47
Read Now
142
Fundamentals of
Software
Engineering : Fourth International IPM Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers
Published 2012
Springer Berlin Heidelberg
Subjects:
“
...Compilers (
Computer
programs)...
”
Read Now
143
Software
Engineering for Resilient Systems : 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings
Published 2014
Springer International Publishing
Table of Contents:
“
...Design of resilient systems -- Analysis of resilience -- Verification and
validation
-- Monitoring...
”
Read Now
144
Software
systems architecture : working with stakeholders using viewpoints and perspectives
by
Rozanski, Nick
Published 2012
Addison-Wesley
Subjects:
“
...
Computer
software
/ Development / http://id.loc.gov/authorities/subjects/sh85029535...
”
Call Number:
QA76.76.D47
Read Now
145
Software
Business : 6th International Conference, ICSOB 2015, Braga, Portugal, June 10-12, 2015, Proceedings
Published 2015
Springer International Publishing
Table of Contents:
“
... Techniques in
Software
R&D: A Literature Review -- Towards Continuous Customer
Validation
: A Conceptual Model...
”
Read Now
146
Software
Business : 8th International Conference, ICSOB 2017, Essen, Germany, June 12-13, 2017, Proceedings
Published 2017
Springer International Publishing
Table of Contents:
“
...
Software
Startups and Platform Governance -- How Are Product Ideas
Validated
? The Process from...
”
Read Now
147
Software
Business : 10th International Conference, ICSOB 2019, Jyväskylä, Finland, November 18–20, 2019, Proceedings
Published 2019
Springer International Publishing
Table of Contents:
“
... Strategy: A Multiple Case Study on Success Factors -- Enabling Circular Economy with
Software
: A Multi...
”
Read Now
148
Software
requirements
by
Wiegers, Karl Eugene
,
Beatty, Joy
Published 2013
Microsoft
Table of Contents:
“
...
Software
requirements: what, why, and who: The essential
software
requirement ; Requirements from...
”
Call Number:
QA76.76.D47
Read Now
149
Designing
Software
for the Mobile Context : A Practitioner’s Guide
Published 2004
Springer London
Table of Contents:
“
... -- 2.4 Detailed Design -- 2.5 Production -- 2.6 Tuning and
Validation
-- 2.7 Case Studies -- 2.8...
”
Read Now
150
Programming-Based Formal Languages and Automata Theory : Design, Implement, Validate, and Prove
by
Morazán, Marco T.
Published 2024
Springer Nature Switzerland
Subjects:
“
...
Software
engineering...
”
Read Now
151
Specification, Algebra, and
Software
: Essays Dedicated to Kokichi Futatsugi
Published 2014
Springer Berlin Heidelberg
Table of Contents:
“
... for
Software
Validation
-- Behavioral Rewrite Systems and Behavioral Productivity -- Functional Logic...
”
Read Now
152
Advances in
Software
Engineering : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures
Published 2008
Springer Berlin Heidelberg
Table of Contents:
“
...-WS: A Methodology for Specifying and
Validating
Web Service Compositions --
Software
Technology...
”
Read Now
153
Introducing Gradle
by
Varanasi, Balaji
Published 2015
Apress
Subjects:
“
...
Computer
software
/
Validation
/ fast...
”
Call Number:
QA76.76.D47
Read Now
154
Structures of
Computing
: A Guide to Practice-Oriented Theory
by
Börger, Egon
,
Gervasi, Vincenzo
Published 2024
Springer International Publishing
Table of Contents:
“
...Preface -- Part I
Computational
Paradigms: Definition -- Part II
Computational
Paradigms: Analysis...
”
Read Now
155
Component-Based
Software
Engineering : 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings
Published 2007
Springer Berlin Heidelberg
Table of Contents:
“
...-Based Collaborative Verification and
Validation
of Web Services -- Towards Composing
Software
Components...
”
Read Now
156
Fundamental Approaches to
Software
Engineering...
Published 2010
Springer Berlin Heidelberg
Table of Contents:
“
...Invited Speaker -- Why the Virtual Nature of
Software
Makes It Ideal for Search Based Optimization...
”
Read Now
157
Formal Methods and
Software
Engineering...
Published 2017
Springer International Publishing
Table of Contents:
“
...Verification and
validation
--
Software
engineering -- Formal specification and modeling --
Software
...
”
Read Now
158
Formal Methods and
Software
Engineering...
Published 2016
Springer International Publishing
Table of Contents:
“
... -- Formal verification -- Model checking -- Formal approaches to
software
testing and inspection -- Formal...
”
Read Now
159
Software
Engineering and Formal Methods : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Published 2015
Springer International Publishing
Table of Contents:
“
... -- On the Testability of Properties Patterns -- Certification -- Speed Up Configurable Certificate
Validation
...
”
Read Now
160
Software
Engineering for Resilient Systems : 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings
Published 2015
Springer International Publishing
Table of Contents:
“
...Biological Immunity and
Software
Resilience: two faces of the same coin? -- Towards Dynamic...
”
3
4
5
6
7
8
9
10
11
12
13
Back
Narrow Search
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
1,026
004 - Data processing & computer science
422
006 - Special computer methods
345
620 - Engineering & allied operations
149
621 - Applied physics
117
658 - General management
109
more ...
500 - Natural sciences & mathematics
105
331 - Labor economics
101
003 - Systems
68
600 - Technology
58
745 - Decorative arts
49
330 - Economics
44
000 - Computer science, information & general works
37
519 - Probabilities & applied mathematics
35
374 - Adult education
27
670 - Manufacturing
27
384 - Communications; telecommunication
20
629 - Other branches of engineering
20
518 - Numerical analysis
19
025 - Library operations
18
610 - Medicine & health
18
570 - Life sciences; biology
16
300 - Social sciences
15
338 - Production
11
700 - The arts; fine & decorative arts
11
302 - Social interaction
10
333 - Economics of land & energy
10
380 - Commerce, communications & transportation
9
153 - Mental processes & intelligence
8
363 - Other social problems & services
8
371 - Schools & their activities; special education
8
381 - Commerce
8
510 - Mathematics
8
001 - Knowledge
7
515 - Analysis
7
551 - Geology, hydrology & meteorology
6
616 - Diseases
6
364 - Criminology
5
511 - General principles of mathematics
5
615 - Pharmacology & therapeutics
5
900 - History & geography
5
303 - Social processes
4
332 - Financial economics
4
400 - Language
4
540 - Chemistry & allied sciences
4
550 - Earth sciences
4
571 - Physiology & related subjects
4
140 - Specific philosophical schools
3
370 - Education
3
520 - Astronomy & allied sciences
3
572 - Biochemistry
3
650 - Management & auxiliary services
3
720 - Architecture
3
910 - Geography & travel
3
020 - Library & information sciences
2
543 - Analytical chemistry
2
576 - Genetics & evolution
2
577 - Ecology
2
581 - Specific topics in natural history
2
624 - Civil engineering
2
657 - Accounting
2
660 - Chemical engineering
2
794 - Indoor games of skill
2
011 - Bibliographies
1
062 - Organizations in British Isles; in England
1
111 - Ontology
1
155 - Differential & developmental psychology
1
158 - Applied psychology
1
160 - Logic
1
170 - Ethics
1
301 - Sociology & anthropology
1
304 - Factors affecting social behavior
1
307 - Communities
1
320 - Political science
1
321 - Systems of governments & states
1
323 - Civil & political rights
1
327 - International relations
1
343 - Military, tax, trade & industrial law
1
368 - Insurance
1
378 - Higher education
1
410 - Linguistics
1
501 - Philosophy & theory
1
502 - Miscellany
1
512 - Algebra
1
516 - Geometry
1
526 - Mathematical geography
1
532 - Fluid mechanics; liquid mechanics
1
534 - Sound & related vibrations
1
539 - Modern physics
1
541 - Physical chemistry
1
542 - Techniques, equipment & materials
1
580 - Plants (Botany)
1
614 - Incidence & prevention of disease
1
630 - Agriculture & related technologies
1
667 - Cleaning, color & coating technologies
1
808 - Rhetoric & collections of literature
1
920 - Biography, genealogy & insignia
1
see all ...
less ...
Language
English
2,265
German
17
Polish
2
Spanish
2
Undetermined
2
French
1
Collection
Springer eBooks 2005-
1,193
O'Reilly
566
Springer Book Archives -2004
490
IEEE Conference Proceedings
31
Directory of Open Access Books
21
IEEE Standards
9
more ...
JSTOR Open Access Books
3
RSC eBook Collection 1968-2009
3
ACS Symposium Series
2
Cambridge Books Online
2
Elsevier ScienceDirect eBooks
2
OAPEN
2
DeGruyter MPG Collection
1
Henry Stewart Talks
1
Lecture Notes in Computer Science
1
MIT Press eBook Archive
1
National Center for Biotechnology Information
1
Wiley Online Books
1
see all ...
less ...
Author
Margaria, Tiziana
28
Steffen, Bernhard
26
Romanovsky, Alexander
9
Bonsangue, Marcello M.
8
Börger, Egon
8
Demazeau, Yves
8
more ...
Abramowicz, Witold
7
Camarinha-Matos, Luis M.
7
Flusser, Jan
7
Singh, Mayank
7
Tyagi, Vipin
7
Cosmina, Iuliana
6
Dongarra, Jack J.
6
Filipe, Joaquim
6
Graf, Susanne
6
Harrop, Rob
6
Jensen, Kurt
6
Liu, Shaoying
6
Nurcan, Selmin
6
Schewe, Klaus-Dieter
6
Zhang, Lin
6
de Boer, Frank S.
6
Broy, Manfred
5
Butler, Michael
5
Dignum, Frank
5
Duan, Zhenhua
5
Gupta, P. K.
5
Kopetz, Hermann
5
Krzhizhanovskaya, Valeria V.
5
Meersman, Robert
5
Packt Publishing
5
Rozenberg, Grzegorz
5
Schaefer, Chris
5
Singh, Pramod
5
Tari, Zahir
5
Troubitsyna, Elena
5
Xiao, Tianyuan
5
Bitsch, Friedemann
4
Desel, Jörg
4
Dillon, Tharam
4
Dumke, Reiner
4
Fei, Minrui
4
Gacek, Cristina
4
Hammoudi, Slimane
4
Herrero, Pilar
4
Ho, Clarence
4
Huisman, Marieke
4
Joshi, Bipin
4
Kleinjohann, Bernd
4
König, Hartmut
4
Marwedel, Peter
4
Mohanty, Hrushikesha
4
Nguyen, Ngoc Thanh
4
Ortmeier, Frank
4
Pichler, Franz
4
Powers, David
4
Pérez-Castillo, Ricardo
4
Reisig, Wolfgang
4
Selic, Bran
4
Shoham, Sharon
4
Sirjani, Marjan
4
Slager, David
4
Thalheim, Bernhard
4
Tjoa, A Min
4
Troelsen, Andrew
4
Vizel, Yakir
4
Weinmeister, Philip
4
de Roever, Willem-Paul
4
Özsu, M. Tamer
4
Abran, Alain
3
Alur, Rajeev
3
Araki, Keijiro
3
Arbab, Farhad
3
Bajo Pérez, Javier
3
Bajo, Javier
3
Baresi, Luciano
3
Bellatreche, Ladjel
3
Bouabana-Tebibel, Thouraya
3
Bouzeghoub, Mokrane
3
Bowen, Jonathan P.
3
Calinescu, Radu
3
Chen, Jessie Y. C.
3
Corchado, Juan Manuel
3
Davies, Jim
3
De Sanctis, Valerio
3
De la Prieta, Fernando
3
Dhurandher, Sanjay Kumar
3
Downey, Tim
3
Fantechi, Alessandro
3
Felici, Massimo
3
Fitzgerald, John
3
Fragomeni, Gino
3
Garoufallou, Emmanouel
3
Gelbukh, Alexander
3
Gnesi, Stefania
3
Good, Phillip I.
3
Groeneveld, Wouter
3
Groote, Jan Friso
3
Große, Daniel
3
Helfert, Markus
3
see all ...
less ...
Recently Uploaded
Last Month
16
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=8&lookfor=Computer+Software+%2F+Validation&type=AllFields
Send by Email
×
Loading...