Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: well
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:"Springer Book Archives -2004"
Showing
1
-
20
of
333
Search:
'well'
,
query time: 0.09s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Die Dritte
Welle
der Mobilkommunikation : Business-Visionen + Lebens-Realitäten
by
Steuerer, Jakob
,
Bang-Jensen, Jorgen
Published 2002
Springer Vienna
“
...Nach der "Ersten
Welle
" Anfang der 90er Jahre, als Handys noch ein elitärer Luxus waren, und der...
”
Read Now
2
Non-Monotonic Extensions of Logic Programming : Second International Workshop NMELP '96, Bad Honnef, Germany September 5 - 6, 1996, Selected Papers
Published 1997
Springer Berlin Heidelberg
Table of Contents:
“
... and
well
-founded semantics+ -- Nonmonotonic reasoning by monotonic inferences with priority constraints...
”
Read Now
3
User-Centred Design of Systems
by
Noyes, Jan
,
Baber, Chris
Published 1999
Springer London
Table of Contents:
“
... How Will the System Be Designed? -- 6 How
Well
Do the Users Think the System Works? -- 7 How
Well
Does...
”
Read Now
4
Optical Information Technology : State-of-the-Art Report
Published 1993
Springer Berlin Heidelberg
Table of Contents:
“
... semiconductors -- Prediction of large optical nonlinearities in quantum
well
wires -- Nonlinear optical...
”
Read Now
5
Topological Structure and Analysis of Interconnection Networks
by
Junming Xu
Published 2001
Springer US
Table of Contents:
“
... of Interconnection Networks -- 3
Well
-known Topological Structures of Interconnection Networks -- 4 Fault-Tolerant...
”
Read Now
6
Advanced Topics in Term Rewriting
by
Ohlebusch, Enno
Published 2002
Springer New York
Table of Contents:
“
... -- 10 Proving Termination of Logic Programs -- A Kruskal’s Theorem -- A.l Partial
Well
-Orderings -- A.2...
”
Read Now
7
Reasoning with Logic Programming
by
Alferes, Jose Julio
,
Moniz Pereira, Luis
Published 1996
Springer Berlin Heidelberg
Table of Contents:
“
...? -- WFSX — A
well
founded semantics for extended logic programs -- WFSX, LP semantics with two negations...
”
Read Now
8
The Design of Innovation : Lessons from and for Competent Genetic Algorithms
by
Goldberg, David E.
Published 2002
Springer US
Table of Contents:
“
... Time for Building Blocks -- 10 Deciding
Well
-- 11 Mixing, Control Maps, and GA Success -- 12 Design...
”
Read Now
9
Finiteness and Regularity in Semigroups and Formal Languages
by
Luca, Aldo de
,
Varricchio, Stefano
Published 1999
Springer Berlin Heidelberg
Table of Contents:
“
... -- 5.1 Uniform conditions -- 5.2 Pumping properties -- 5.3 Permutative property -- 6.
Well
Quasi-orders...
”
Read Now
10
CAAP'86 : 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986. Proceedings
Published 1986
Springer Berlin Heidelberg
Table of Contents:
“
... structures -- Random walks on trees -- Infinite trees, markings and
well
foundedness -- Computable directory...
”
Read Now
11
Application and Theory of Petri Nets 1998 : 19th International Conference, ICATPN’98, Lisbon, Portugal, June 22–26, 1998 Proceedings
Published 1998
Springer Berlin Heidelberg
Table of Contents:
“
... Handover Buffers in Wireless ATM Networks with GSPN Models -- A Class of
Well
Structured Petri Nets...
”
Read Now
12
Leben in der e-Society : Computerintelligenz für den Alltag
Published 2002
Springer Berlin Heidelberg
Table of Contents:
“
... Gesundheits-und
Wellness
Services -- 7 Leben im intelligenten Heim -- 8 Wenn das Hemd mehr weiß als ich...
”
Read Now
13
Refinement Calculus : A Systematic Introduction
by
Back, Ralph-Johan
,
Wright, Joakim
Published 1998
Springer New York
Table of Contents:
“
... and Refinement of Statements -- III Recursion and Iteration -- 18
Well
-founded Sets and Ordinals -- 19 Fixed...
”
Read Now
14
Resolution Space, Operators and Systems
by
Saeks, R.
Published 1973
Springer Berlin Heidelberg
Table of Contents:
“
.... Problems and Discussion -- 2. Feedback Systems -- A.
Well
-Posedness -- B. Stability -- C. Sensitivity -- D...
”
Read Now
15
Logic Programming and Automated Reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings
Published 1994
Springer Berlin Heidelberg
Table of Contents:
“
... and deterministic logic programs -- A bottom-up reconstruction of the
well
-founded semantics for disjunctive logic...
”
Read Now
16
Algebraic and Logic Programming : Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings
Published 1992
Springer Berlin Heidelberg
Table of Contents:
“
... of logic programming -- Partial deduction of logic programs WRT
well
-founded semantics -- The finiteness...
”
Read Now
17
Typed Lambda Calculi and Applications : 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings
Published 1999
Springer Berlin Heidelberg
Table of Contents:
“
... Functionals and
Well
-Founded Strategies -- Counting a Type’s Principal Inhabitants -- Useless-Code Detection...
”
Read Now
18
Hybrid Systems: Computation and Control : Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999 Proceedings
Published 1999
Springer Berlin Heidelberg
Table of Contents:
“
... --
Well
-Posedness of a Class of Piecewise Linear Systems with No Jumps -- A New Class of Decidable Hybrid...
”
Read Now
19
Adaptive Control of Ill-Defined Systems
Published 1984
Springer US
“
...There are some types of complex systems that are built like clockwork, with
well
-defined parts...
”
Read Now
20
Application and Theory of Petri Nets 1995 : 16th International Conference, Torino, Italy, June 26 - 30, 1995. Proceedings
Published 1995
Springer Berlin Heidelberg
Table of Contents:
“
... -- An efficient algorithm for the computation of stubborn sets of
well
formed Petri Nets -- CAB: An environment...
”
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: Springer Book Archives -2004
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
005 - Computer programming, programs & data
12
621 - Applied physics
11
Language
English
326
German
7
Collection
Springer Book Archives -2004
Author
Rozenberg, Grzegorz
5
Dongarra, Jack
4
Dongarra, Jack J.
4
Nerode, Anil
4
Wojtkowski, W. Gregory
4
Reisig, Wolfgang
3
more ...
Sloot, Peter M.A.
3
Wojtkowski, Wita
3
Alexandrov, Vassil N.
2
Bauknecht, Kurt
2
Bawa, Joanna
2
Brauer, Wilfried
2
CEC, DG for Telecommunications
2
Cieslik, Dietmar
2
Clote, Peter
2
Deng, Qianni
2
Hertzberger, Bob
2
Hoekstra, Alfons G.
2
Jabbari, Bijan
2
Juliano, Benjoe A.
2
Kesidis, George
2
Klusch, Matthias
2
Kouvatsos, Demetres D.
2
Kropf, Thomas
2
Langtangen, Hans P.
2
Li, Minglu
2
Lorenz, Pascal
2
Moniz Pereira, Luis
2
Ni, Jun
2
Ohlbach, Hans J.
2
Renner, Rene S.
2
Shore, Richard A.
2
Soelvberg, Arne
2
Sun, Xian-He
2
Tan, C.J. Kenneth
2
Trenner, Lesley
2
Vaandrager, Frits W.
2
Vanderdonckt, Jean
2
Wasniewski, Jerzy
2
Yonezawa, Akinori
2
Zupancic, Joze
2
Abadi, Martin
1
Adamo, Jean-Marc
1
Adian, Sergei
1
Afsarmanesh, Hamideh
1
Aksit, Mehmed
1
Albada, Geert Dick van
1
Albrecht, Rudolf
1
Alferes, Jose Julio
1
Ali, Maher
1
Almgren, Magnus
1
Alonso, Laurent
1
America, Pierre
1
Andersen, Rudolf
1
Anderson, Tom
1
Arbib, Michael A.
1
Arnăutu, Viorel
1
Avizienis, A.
1
Baber, Chris
1
Back, Ralph-Johan
1
Baclavski, Ken
1
Baeten, Joseph C.M.
1
Bahar, R. Iris
1
Bandini, S.
1
Bang-Jensen, Jorgen
1
Barth, Andreas
1
Barzdins, Janis
1
Bauer, Bernhard
1
Beauchamp, K.G.
1
Becker, Jörg D.
1
Beevis, David
1
Begain, Khalid
1
Behnke, Sven
1
Ben-Ari, Mordechai
1
Beng Chin Ooi
1
Bengi, Kemal
1
Bergman, Lars
1
Bernus, Peter
1
Best, Eike
1
Bestavros, Azer
1
Bichler, Martin
1
Bieliková, Mária
1
Biglieri, Ezio
1
Björnsson, Yngvi
1
Bjørner, Dines
1
Blandford, Ann
1
Blaschek, Günther
1
Blazewicz, Jacek
1
Bochmann, G. von
1
Bode, Arndt
1
Bolch, Gunter
1
Bordash, Michael
1
Bouchitte, Vincent
1
Boulaye, G.
1
Boussoffara, B.
1
Boutaba, Raouf
1
Bouwman, H.
1
Brenner, Walter
1
Breu, Michael
1
Briot, Jean-Pierre
1
see all ...
less ...
Recently Uploaded
Last Month
19
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=dewey-ones%3A%22004+-+Data+processing+%26+computer+science%22&filter%5B%5D=product_txtF_mv%3A%22Springer+Book+Archives+-2004%22&lookfor=well&type=AllFields
Send by Email
×
Loading...