Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: Industries
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"
product_txtF_mv:"Springer Book Archives -2004"
Showing
1
-
20
of
469
Search:
'Industries'
,
query time: 0.09s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Industrial
Cultures and Production : Understanding Competitiveness
by
Rasmussen, Lauge
,
Rauner, Felix
Published 1996
Springer London
Table of Contents:
“
...Section I: Scientific Concepts of
Industrial
Culture -- 1.
Industrial
Culture and Production...
”
Read Now
2
Formal Methods for
Industrial
Applications : Specifying and Programming the Steam Boiler Control
Published 1996
Springer Berlin Heidelberg
“
... in evaluating formal methods for usage under
industrial
constraints: the major techniques for formally supported...
”
Read Now
3
Implementing Collaboration Technologies in
Industry
: Case Examples and Lessons Learned
by
Munkvold, Bjorn E.
Published 2003
Springer London
Table of Contents:
“
... of Implementation Factors for Collaboration Technologies -- II Lessons from
Industry
-- 5 Implementing a Portfolio...
”
Read Now
4
Computer Security and
Industrial
Cryptography : State of the Art and Evolution. ESAT Course, Leuven, Belgium, May 21-23, 1991
Published 1993
Springer Berlin Heidelberg
“
... are intended for both researchers in computer security and cryptography and for practitioners in
industry
...
”
Read Now
5
Formal Engineering for
Industrial
Software Development : Using the SOFL Method
by
Liu, Shaoying
Published 2004
Springer Berlin Heidelberg
“
... the rigor, comprehensibility and effectiveness of the methods commonly used in
industry
. This book provides...
”
Read Now
6
Industrial
-Strength Formal Methods in Practice
Published 1999
Springer London
“
...
Industrial
Strength Formal Methods in Practice provides hands-on experience and guidance for anyone...
”
Read Now
7
Industrial
Perspectives of Safety-critical Systems : Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham 1998
Published 1998
Springer London
Table of Contents:
“
... Management -- A System Requirements Traceability Model: An
Industrial
Application -- Small Modules...
”
Read Now
8
Real Time Microcomputer Control of
Industrial
Processes
Published 1990
Springer Netherlands
Table of Contents:
“
... Control in
Industries
: Electric Power Systems -- 11 Status Report on Real Time Control in Steel
Industry
...
”
Read Now
9
FME '93:
Industrial
-Strength Formal Methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings
Published 1993
Springer Berlin Heidelberg
Table of Contents:
“
...:
Industrial
usage -- Automating the generation and sequencing of test cases from model-based specifications...
”
Read Now
10
FME '94:
Industrial
Benefit of Formal Methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings
Published 1994
Springer Berlin Heidelberg
Table of Contents:
“
... program development -- Combining the design of
industrial
systems with effective verification techniques...
”
Read Now
11
Advanced Information Technologies for
Industrial
Material Flow Systems
Published 1989
Springer Berlin Heidelberg
“
..., in June 1988. The objective of this NATO ARW on Advanced Information Technologies for
Industrial
Material...
”
Read Now
12
IEC 61131–3: Programming
Industrial
Automation Systems...
by
John, Karl-Heinz
,
Tiegelkamp, Michael
Published 2001
Springer Berlin Heidelberg
“
...The programming of
industrial
controllers has developed into a fully-fledged engineering discipline...
”
Read Now
13
FME '96:
Industrial
Benefit and Advances in Formal Methods...
Published 1996
Springer Berlin Heidelberg
Table of Contents:
“
... reactor safety system -- Test automation for safety-critical systems:
Industrial
application and future...
”
Read Now
14
FME '97
Industrial
Applications and Strengthened Foundations of Formal Methods...
Published 1997
Springer Berlin Heidelberg
“
... of Formal Methods Europe devoted to
Industrial
Applications and Strengthened Foundations of Formal Methods...
”
Read Now
15
Software Engineering : Erfahrungsberichte aus Dienstleistungsunternehmen, Handel und Industrie
Published 1991
Gabler Verlag
Read Now
16
The Politics of Usability : A Practical Guide to Designing Usable Systems in Industry
by
Trenner, Lesley
,
Bawa, Joanna
Published 1998
Springer London
Read Now
17
Rechnungswesen und EDV. 17. Saarbrücker Arbeitstagung 1996 : Kundenorientierung in Industrie, Dienstleistung und Verwaltung
Published 1996
Physica
Table of Contents:
“
...I Geschäftsprozeßmanagement -- Kundenorientierung in
Industrie
, Dienstleistung und Verwaltung...
”
Read Now
18
E-Business — Wer geht? Wer bleibt? Wer kommt? : 21. Saarbrücker Arbeitstagung 2000 für Industrie, Dienstleistung und Verwaltung
Published 2000
Physica
Read Now
19
State of the Art in Applied Cryptography : Course on Computer Security and Industrial Cryptography, Leuven, Belgium, June 3-6, 1997 Revised Lectures
Published 1998
Springer Berlin Heidelberg
“
... a course on the state of the art and evolution of computer security and
industrial
cryptography...
”
Read Now
20
Rationalisierung durch flexible, hybride Montagesysteme
by
Fichtmüller, Niklas
Published 1996
Springer Berlin Heidelberg
Subjects:
“
...
Industrial
engineering...
”
1
2
3
4
5
6
7
8
9
10
11
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 005 - Computer programming, programs & data
Clear Filter
Collection: Springer Book Archives -2004
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
003 - Systems
57
004 - Data processing & computer science
41
Language
English
436
German
33
Collection
Springer Book Archives -2004
Author
Bowen, Jonathan P.
6
Redmill, Felix
6
Anderson, Tom
5
Haug, Michael
4
Hinchey, Michael G.
4
Olsen, Eric W.
4
more ...
Scheer, August-Wilhelm
4
Bubak, Marian
3
Furht, Borko
3
Lockemann, Peter C.
3
Strobel, Stefan
3
Tjoa, A Min
3
Adam, Nabil R.
2
Araki, Keijiro
2
Bergman, Lars
2
Bertino, Elisa
2
Bolognesi, Tommaso
2
Bomarius, Frank
2
Bosch, Jan
2
Bowen, J.P.
2
Börger, Egon
2
Conradi, Reidar
2
Damm, Werner
2
Denvir, Tim
2
Deransart, Pierre
2
Djeraba, Chabane
2
Dongarra, Jack
2
Donohoe, Patrick
2
Dumke, Reiner
2
Ehrig, Hartmut
2
Encarnacao, Jose L.
2
Felici, Massimo
2
Gacek, Cristina
2
Galloway, Andy
2
Gibbs, Norman E.
2
Graf, Susanne
2
Gray, Peter M.D.
2
Hammond, Judy
2
Hansmann, Uwe
2
Henderson, Peter
2
Hertzberger, Bob
2
Hunt, John
2
Jajodia, Sushil
2
Jarke, Matthias
2
Jensen, Christian S.
2
Jensen, Kurt
2
Jones, Cliff B.
2
Jonker, Willem
2
Karagiannis, Dimitris
2
Kilov, Haim
2
Komi-Sirviö, Seija
2
Lenzerini, Maurizio
2
Linden, Frank van der
2
Menezes, Alfred J.
2
Mermet, Jean
2
Nicholls, J.E.
2
Nicklous, Martin S.
2
Pardalos, Panos M.
2
Paterno, Fabio
2
Prehn, Soren
2
Preneel, Bart
2
Romm, Celia T.
2
Rossi, Francesca
2
Rumpe, Bernhard
2
Rusinkiewicz, Marek
2
Schmid, Beat
2
Schäck, Thomas
2
Shaw, Roger C.
2
Sloot, Peter
2
Sommerville, Ian
2
Stephanidis, Constantine
2
Sudweeks, Fay
2
Taha, Walid
2
Tari, Zahir
2
Thuraisingham, B.
2
Toetenel, Hans
2
Uhl, Thomas
2
Vanderdonckt, Jean
2
Varadharajan, Vijay
2
Vassiliadis, Panos
2
Vassiliou, Yannis
2
Vince, John
2
Vukobratovic, Miomir
2
Wang, Huaxiong
2
Werthner, Hannes
2
Woodcock, James C.P.
2
Zhou, Jianying
2
Aarts, Emile
1
Abdelguerfi, Mahdi
1
Abdennadher, Slim
1
Abecker, Andreas
1
Abramowicz, Witold
1
Abran, Alain
1
Abrial, Jean-Raymond
1
Adamo, Jean-Marc
1
Aksit, Mehmed
1
Alhir, Sinan Si
1
Aliev, Telman
1
Ambriola, Vincenzo
1
Anderson, Stuart
1
see all ...
less ...
Recently Uploaded
Last Month
8
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&filter%5B%5D=product_txtF_mv%3A%22Springer+Book+Archives+-2004%22&lookfor=Industries&type=AllFields
Send by Email
×
Loading...