Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "engineering"
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:"040 - [Unassigned]"
product_txtF_mv:"Springer Book Archives -2004"
Showing
21
-
40
of
119
Search:
'"engineering"'
,
query time: 0.12s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
21
Programs as Data Objects : Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985
Published 1986
Springer Berlin Heidelberg
Subjects:
“
...Software
engineering
...
”
Read Now
22
Automatic Verification of Sequential Infinite-State Processes
by
Burkart, Olaf
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...Software
engineering
...
”
Read Now
23
Compositionality, Concurrency, and Partial Correctness : Proof Theories for Networks of Processes, and Their Relationship
by
Zwiers, Job
Published 1989
Springer Berlin Heidelberg
Subjects:
“
...Software
engineering
...
”
Read Now
24
SOFSEM '96: Theory and Practice of Informatics : 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23 - 30, 1996. Proceedings
Published 1996
Springer Berlin Heidelberg
Subjects:
“
...Software
engineering
...
”
Read Now
25
Directions in Mathematical Systems Theory and Optimization
Published 2003
Springer Berlin Heidelberg
Subjects:
“
...Electrical and Electronic
Engineering
...
”
Read Now
26
Distributed Algorithms : 9th International Workshop, WDAG '95, Le Mont-Saint-Michel, France, September 13 - 15, 1995. Proceedings
Published 1995
Springer Berlin Heidelberg
Subjects:
“
...Software
engineering
...
”
Read Now
27
Foundations of Software Technology and Theoretical Computer Science : Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings
Published 1990
Springer Berlin Heidelberg
Subjects:
“
...Software
engineering
...
”
Read Now
28
Specification and Compositional Verification of Real-Time Systems
by
Hooman, Jozef
Published 1991
Springer Berlin Heidelberg
Subjects:
“
...Software
engineering
...
”
Read Now
29
Graph-Theoretic Concepts in Computer Science : 18th International Workshop, WG '92, Wiesbaden-Naurod, Germany, June 18-20, 1992. Proceedings
Published 1993
Springer Berlin Heidelberg
Subjects:
“
...Software
engineering
...
”
Read Now
30
Parallel Problem Solving from Nature - PPSN III : International Conference on Evolutionary Computation. The Third Conference on Parallel Problem Solving from Nature, Jerusalem, Isr...
Published 1994
Springer Berlin Heidelberg
Subjects:
“
...Software
engineering
...
”
Read Now
31
Mathematics of Program Construction : 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings
Published 1998
Springer Berlin Heidelberg
Subjects:
“
...Software
engineering
...
”
Read Now
32
Fundamentals of Algebraic Specification 1 : Equations and Initial Semantics
by
Ehrig, Hartmut
,
Mahr, Bernd
Published 1985
Springer Berlin Heidelberg
Subjects:
“
...Software
engineering
...
”
Read Now
33
Elements of Distributed Algorithms : Modeling and Analysis with Petri Nets
by
Reisig, Wolfgang
Published 1998
Springer Berlin Heidelberg
Subjects:
“
...Software
engineering
...
”
Read Now
34
Specification and Development of Interactive Systems : Focus on Streams, Interfaces, and Refinement
by
Broy, Manfred
,
Stølen, Ketil
Published 2001
Springer New York
Subjects:
“
...Software
engineering
...
”
Read Now
35
Mathematical Foundations of Computer Science 1991 : 16th International Symposium, Kazimierz Dolny, Poland, September 9-13, 1991. Proceedings
by
Tarlecki, Andrzej
Published 1991
Springer Berlin Heidelberg
Subjects:
“
...Software
engineering
...
”
Read Now
36
Efficient Graph Rewriting and Its Implementation
by
Dörr, Heiko
Published 1995
Springer Berlin Heidelberg
Subjects:
“
...Software
engineering
...
”
Read Now
37
Theoretical Aspects of Computer Software : Third International Symposium, TACS'97, Sendai, Japan, September 23 - 26, 1997, Proceedings
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...Software
engineering
...
”
Read Now
38
Recent Trends in Algebraic Development Techniques : 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers
Published 1998
Springer Berlin Heidelberg
Table of Contents:
“
... for Fortran programs reverse
engineering
using algebraic specifications -- Coalgebra semantics for hidden...
”
Read Now
39
Design and Implementation of Symbolic Computation Systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996. Proceedings
Published 1996
Springer Berlin Heidelberg
Subjects:
“
...Software
engineering
...
”
Read Now
40
Microbial Biochemistry
by
Cohen, G.N.
Published 2004
Springer Netherlands
Subjects:
“
...
Engineering
...
”
1
2
3
4
5
6
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 040 - [Unassigned]
Clear Filter
Collection: Springer Book Archives -2004
Year of Publication
From:
To:
Classification
040 - [Unassigned]
Language
English
119
Collection
Springer Book Archives -2004
Author
Sloot, Peter M.A.
4
Bubak, Marian
3
Dongarra, Jack J.
3
Gavrilova, Marina L.
3
Kumar, Vipin
3
Laganà, Antonio
3
more ...
Mun, Youngsong
3
Reisig, Wolfgang
3
Albada, Geert D. van
2
Bartosek, Miroslav
2
Ehrig, Hartmut
2
Jeffery, Keith G.
2
Langmaack, Hans
2
Leeuwen, Jan van
2
Rozenberg, Grzegorz
2
Schwefel, Hans-Paul
2
Thalheim, Bernhard
2
Abadi, Martin
1
Abramsky, S.
1
Abramson, David
1
Akl, Selim G.
1
Alagar, V.S.
1
Albada, Geert D.van
1
Alur, Rajeev
1
Amamiya, Makoto
1
Araki, Keijiro
1
Asano, Tetsuo
1
Attoui, Ammar
1
Austin, Jim
1
Baeten, J.C.M.
1
Baker, Henry G.
1
Banerjee, Prith
1
Barbier, Franck
1
Bauer, F.L.
1
Becker, Jürgen
1
Bensoussan, Alain
1
Berg, Mark de
1
Bhanu, Bir
1
Billington, Jonathan
1
Bjørner, Dines
1
Blaser, Albrecht
1
Bogdanov, Alexander V.
1
Boiten, Eerke
1
Boute, Raymond T.
1
Bouzeghoub, Mokrane
1
Broy, Manfred
1
Burkart, Olaf
1
Byrnes, Christopher I.
1
Calmet, Jacques
1
Camargo Jr., Joao Batista
1
Chen, Hao
1
Cohen, G.N.
1
Colmenarez, Antonio J.
1
Cook, William J.
1
Cortesi, Agostino
1
Dahl, Ole-Johan
1
Das, Sajal K.
1
Das, Samir R.
1
Davenport, James H.
1
Davidor, Yuval
1
Dean, C. Neville
1
Derrick, John
1
Desai, Uday
1
Dierstein, Rüdiger
1
Dittrich, Klaus R.
1
Dongarra, Jack
1
Dörr, Heiko
1
Ebeling, Werner
1
Elmasri, Ramez A.
1
Engels, Gregor
1
Fiala, Frantisek
1
Fitch, John
1
Floudas, Christodoulos A.
1
Ganzinger, Harald
1
Gao, Guangrong
1
Geist, Daniel
1
Goble, Carole
1
Goles, E.
1
Grumberg, Orna
1
Grundy, Jim
1
Grzymala-Busse, Jerzy W.
1
Göttler, Herbert
1
Güth, Reinhold
1
Havel, Ivan M.
1
Haveraaen, Magne
1
Helary, Jean-Michel
1
Hicks, David L.
1
Hoare, C.A.R.
1
Hofri, Micha
1
Hooman, Jozef
1
Huang, T-S.
1
Hunt, Jr., Warren A.
1
Ibaraki, Toshihide
1
Iivari, Juhani
1
Imai, Hiroshi
1
Ito, Takayasu
1
Jerraya, Ahmed Amine
1
Jess, Jochen A.G.
1
Jeuring, Johan
1
Jin, Hai
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=2&filter%5B%5D=dewey-ones%3A%22040+-+%5BUnassigned%5D%22&filter%5B%5D=product_txtF_mv%3A%22Springer+Book+Archives+-2004%22&lookfor=%22engineering%22&type=AllFields
Send by Email
×
Loading...