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:"004 - Data processing & computer science"
product_txtF_mv:"Lecture Notes in Computer Science"
Showing
101
-
120
of
778
Search:
'"Engineering"'
,
query time: 0.03s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
101
CASL User Manual : Introduction to Using the Common Algebraic Specification Language
by
Bidoit, Michel
Published 2004
Springer Berlin Heidelberg
Subjects:
“
...Software
engineering
...
”
Read Now
102
Formal Approaches to Software Testing : Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003
by
Petrenko, Alexandre
Published 2004
Springer Berlin Heidelberg
Subjects:
“
...Software
engineering
...
”
Read Now
103
Radical Innovations of Software and Systems Engineering in the Future : 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers
by
Wirsing, Martin
Published 2004
Springer Berlin Heidelberg
Subjects:
“
...Software
engineering
...
”
Read Now
104
Fundamental Approaches to Software Engineering : 7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2...
by
Wermelinger, Michel
Published 2004
Springer Berlin Heidelberg
Subjects:
“
...Software
engineering
...
”
Read Now
105
SPIN Model Checking and Software Verification : 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings
by
Havelund, Klaus
Published 2000
Springer Berlin Heidelberg
Subjects:
“
...Software
engineering
...
”
Read Now
106
Intelligent Agent Systems : Theoretical and Practical Issues. Based on a Workshop Held at PRICAI '96, Cairns, Australia, August 26-30, 1996
by
Cavedon, Lawrence
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...Software
engineering
...
”
Read Now
107
Fundamental Approaches to Software Engineering : 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20...
by
Hussmann, Heinrich
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects:
“
...Software
engineering
...
”
Read Now
108
Integration of Software Specification Techniques for Applications in Engineering : Priority Program SoftSpez of the German Research Foundation (DFG). Final Report
by
Ehrig, Hartmut
Published 2004
Springer Berlin Heidelberg
Subjects:
“
...Software
engineering
...
”
Read Now
109
Recent Trends in Algebraic Development Techniques : 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers
by
Parisi-Presicce, Francesco
Published 1998
Springer Berlin Heidelberg
Subjects:
“
...Software
engineering
...
”
Read Now
110
Model Checking Software : 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings
by
Bošnački, Dragan
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects:
“
...Software
engineering
...
”
Read Now
111
Verification, Model Checking, and Abstract Interpretation : 4th International Conference, VMCAI 2003 NewYork, NY, USA, January 9–11, 2003 Proceedings
by
Zuck, Lenore D
Published 2003
Springer-Verlag Berlin Heidelberg
Subjects:
“
...Software
engineering
...
”
Read Now
112
ZB 2003: Formal Specification and Development in Z and B : Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings
by
Bert, Didier
Published 2003
Springer-Verlag Berlin Heidelberg
Subjects:
“
...Software
engineering
...
”
Read Now
113
Agents and Computational Autonomy : Potential, Risks, and Solutions
by
Nickles, Matthias
Published 2004
Springer Berlin Heidelberg
Subjects:
“
...Software
engineering
...
”
Read Now
114
Advances in Robot Learning : 8th European Workshop on Learning Robots, EWLR-8 Lausanne, Switzerland, September 18, 1999 Proceedings
by
Wyatt, Jeremy
Published 2000
Springer-Verlag Berlin Heidelberg
Subjects:
“
...Structural control (
Engineering
)...
”
Read Now
115
Intelligent Agents III. Agent Theories, Architectures, and Languages : ECAI'96 Workshop (ATAL), Budapest, Hungary, August 12-13, 1996, Proceedings
by
Müller, Jörg P
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...Software
engineering
...
”
Read Now
116
Model Checking Software : 8th International SPIN Workshop Toronto, Canada, May 19–20, 2001 Proceedings
by
Dwyer, Matthew
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects:
“
...Software
engineering
...
”
Read Now
117
Formal Methods and Software Engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings
by
Davies, Jim
Published 2004
Springer Berlin Heidelberg
Subjects:
“
...Software
engineering
...
”
Read Now
118
Fundamental Approaches to Software Engineering : Third International Conference, FASE 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS...
by
Maibaum, Tom
Published 2000
Springer-Verlag Berlin Heidelberg
Subjects:
“
...Software
engineering
...
”
Read Now
119
Reliable Software Technologies Ada-Europe 2000 : 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings
by
Keller, Hubertus B
Published 2000
Springer Berlin Heidelberg
Subjects:
“
...Software
engineering
...
”
Read Now
120
Theoretical and Practical Aspects of SPIN Model Checking : 5th and 6th International SPIN Workshops Trento, Italy, July 5, 1999 Toulouse, France, September 21 and 24, 1999 Proceedi...
by
Dams, Dennis
Published 1999
Springer-Verlag Berlin Heidelberg
Subjects:
“
...Software
engineering
...
”
1
2
3
4
5
6
7
8
9
10
11
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 004 - Data processing & computer science
Clear Filter
Collection: Lecture Notes in Computer Science
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
Collection
Lecture Notes in Computer Science
Author
Rozenberg, Grzegorz
10
Bubak, Marian
8
Dongarra, Jack J
7
Lorenz, Pascal
7
Dongarra, Jack
6
Ehrig, Hartmut
5
more ...
Hertzberger, Bob
5
Mira, Jose
5
Omicini, Andrea
5
Prasanna, Viktor K
5
Bomarius, Frank
4
Bosch, Jan
4
Bowen, Jonathan P
4
Broy, Manfred
4
Graf, Susanne
4
Hermanns, Holger
4
Hinchey, Michael G
4
Katoen, Joost-Pieter
4
Malyshkin, Victor
4
Meersman, Robert
4
Moonis, Ali
4
Moreno-Diaz, Roberto
4
Mullery, Al
4
Müller, Jörg P
4
Paar, Christof
4
Petta, Paolo
4
Reisig, Wolfgang
4
Sloot, Peter MA
4
Steffen, Bernhard
4
Strohmeier, Alfred
4
Tari, Zahir
4
Ali, Moonis
3
Alur, Rajeev
3
Astesiano, Egidio
3
Backhouse, Roland
3
Bert, Didier
3
Brinksma, Ed
3
Campolargo, Mario
3
Ciancarini, Paolo
3
Conradi, Reidar
3
Crowcroft, Jon
3
Davies, Jim
3
Delgado, Jaime
3
Desel, Jörg
3
Felici, Massimo
3
Gacek, Cristina
3
Gavrilova, Marina L
3
Gregori, Enrico
3
Hoekstra, Alfons G
3
Jeckle, Mario
3
Joe, Kazuki
3
Kitano, Hiroaki
3
Koç, Çetin K
3
Kumar, Vipin
3
L'Ecuyer, Pierre
3
Leeuwen, Jan
3
Linden, Frank van der
3
Ling, Tok Wang
3
Margaria, Tiziana
3
Margenov, Svetozar
3
Matsuoka, Satoshi
3
Meyer, John-Jules Ch
3
Moreira, Ana
3
Nielsen, Mogens
3
Odersky, Martin
3
Oldehoeft, Rodney R
3
Pichler, Franz
3
Reggio, Gianna
3
Romanovsky, Alexander
3
Sloot, Peter
3
Sloot, Peter M A
3
Sommer, Gerald
3
Stevens, Perdita
3
Stiller, Burkhard
3
Taha, Walid
3
Tan, C J Kenneth
3
Tan, CJ Kenneth
3
Tholburn, Marydell
3
Tolksdorf, Robert
3
Unland, Rainer
3
Voronkov, Andrei
3
Wasniewski, Jerzy
3
Weiß, Gerhard
3
Wirsing, Martin
3
Woodcock, Jim
3
Wooldridge, Michael J
3
Zambonelli, Franco
3
Zamulin, Alexandre V
3
Zhang, Chengqi
3
Aarts, Emile
2
Albada, Geert D van
2
Albayrak, Sahin
2
Alexandrov, Vassil N
2
Althoff, Klaus-Dieter
2
Anderson, Stuart
2
Antsaklis, Panos
2
Araki, Keijiro
2
Attali, Isabelle
2
Azarmi, Nader
2
Balet, Olivier
2
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=6&filter%5B%5D=dewey-ones%3A%22004+-+Data+processing+%26+computer+science%22&filter%5B%5D=product_txtF_mv%3A%22Lecture+Notes+in+Computer+Science%22&lookfor=%22Engineering%22&type=Subject
Send by Email
×
Loading...