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:"005 - Computer programming, programs & data"
product_txtF_mv:"Springer Book Archives -2004"
Showing
1
-
20
of
480
Search:
'well'
,
query time: 0.03s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
The Design of
Well
-Structured and Correct Programs
by
Alagic, Suad
,
Arbib, Michael A.
Published 1978
Springer New York
Read Now
2
Code Centric: T-SQL Programming with Stored Procedures and Triggers
by
Wells, Garth
Published 2001
Apress
Read Now
3
Effizienter Einsatz bildgebender Sensoren zur Flexibilisierung automatisierter Handhabungsvorgänge
by
Welling, Ando
Published 1994
Springer Berlin Heidelberg
Read Now
4
A Review of Ada Tasking
by
Burns, Alan
,
Lister, Andrew M.
,
Wellings, Andrew J.
Published 1987
Springer Berlin Heidelberg
Read Now
5
Extreme Programming and Agile Methods - XP/Agile Universe 2003 : Third XP and Second Agile Universe Conference, New Orleans, LA, USA, August 10-13, 2003, Proceedings
Published 2003
Springer Berlin Heidelberg
Read Now
6
Extreme Programming and Agile Methods - XP/Agile Universe 2002 : Second XP Universe and First Agile Universe Conference Chicago, IL, USA, August 4-7, 2002.Proceedings
Published 2002
Springer Berlin Heidelberg
“
..., and developers. Unlike most c- ferences the venue was very dynamic. Many activities were not even
well
de?ned...
”
Read Now
7
Ontological Engineering : with examples from the areas of Knowledge Management, e-Commerce and the Semantic Web. First Edition
by
Gómez-Pérez, Asunción
,
Fernandez-Lopez, Mariano
,
Corcho, Oscar
Published 2004
Springer London
Table of Contents:
“
... -- Tools for Building Ontologies -- Languages for Building Ontologies -- Most
Well
-Known Ontologies...
”
Read Now
8
Computer Confidence : A Human Approach to Computers
by
Sanders, Bruce D.
Published 1984
Springer New York
Table of Contents:
“
... Messages for the People -- 4 The Terminally
Well
Organization -- 5 Making Decisions on the Right Bases -- 6...
”
Read Now
9
LUCAS Associative Array Processor : Design, Programming and Application Studies
by
Fernstrom, Christer
,
Kruzela, Ivan
,
Svensson, Bertil
Published 1986
Springer Berlin Heidelberg
Table of Contents:
“
... for LUCAS -- Some
well
-known problems implemented on LUCAS -- LUCAS as a backend processor for relational...
”
Read Now
10
Conditional and Typed Rewriting Systems : 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings
Published 1995
Springer Berlin Heidelberg
Table of Contents:
“
... for rewrite systems with built-in operations -- Hierarchical termination --
Well
-foundedness of term orderings...
”
Read Now
11
Static Analysis : Second International Symposium, SAS '95, Glasgow, UK, September 25 - 27, 1995. Proceedings
Published 1995
Springer Berlin Heidelberg
Table of Contents:
“
... execution of
well
-moded and
well
-typed Prolog programs -- Efficient closure utilisation by higher-order...
”
Read Now
12
Logic Programming and Nonmonotonic Reasoning : 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 Proceedings
Published 1999
Springer Berlin Heidelberg
Table of Contents:
“
... Derivation in DLP Computations -- Linear Tabulated Resolution for the
Well
-Founded Semantics -- A Case Study...
”
Read Now
13
Programming and Mathematical Method : International Summer School
Published 1992
Springer Berlin Heidelberg
Table of Contents:
“
...1. Examples of Derivations -- On the Design of a Simple Proof for Morley’s Theorem --
Well
...
”
Read Now
14
Logic, Language and Computation : Festschrift in Honor of Satoru Takasu
Published 1994
Springer Berlin Heidelberg
Table of Contents:
“
... -- The logic of FOL systems: Formulated in set theory --
Well
-ordering of algebras and Kruskal's theorem...
”
Read Now
15
Directions in Databases : 12th British National Conference on Databases, BNCOD 12, Guildford, United Kingdom, July 6-8, 1994. Proceedings
Published 1994
Springer Berlin Heidelberg
Table of Contents:
“
... of typed logic paradigms for object-oriented databases -- Algebraic computation of the weak
well
-founded...
”
Read Now
16
Logic Programming and Nonmonotonic Reasoning : 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings
Published 2001
Springer Berlin Heidelberg
Table of Contents:
“
... Programming -- On the Relationship between Defeasible Logic and
Well
-Founded Semantics -- A Comparative Study...
”
Read Now
17
Design and Implementation of Large Spatial Databases : First Symposium SSD '89. Santa Barbara, California, July 17/18, 1989. Proceedings
Published 1990
Springer Berlin Heidelberg
Table of Contents:
“
... information systems -- A topological data model for spatial databases -- A
well
-behaved file structure...
”
Read Now
18
Functional and Logic Programming : 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. Proceedings
Published 2002
Springer Berlin Heidelberg
Table of Contents:
“
... -- On the Correctness of the Factoring Transformation -- Lambda-Lifting in Quadratic Time -- Semantics -- The
Well
...
”
Read Now
19
PISA : A Programming System for Interactive Production of Application Software
by
Marty, R.
Published 1981
Springer Berlin Heidelberg
Table of Contents:
“
... principles for an interactive programming language as
well
as for an interactive programming system...
”
Read Now
20
Rules and Rule Markup Languages for the Semantic Web : Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004, Proceedings
Published 2004
Springer Berlin Heidelberg
Table of Contents:
“
... for the Semantic Web -- R-DEVICE: A Deductive RDF Rule Language --
Well
-Founded Semantics for Description Logic...
”
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
60
004 - Data processing & computer science
12
Language
English
479
German
1
Collection
Springer Book Archives -2004
Author
Salomon, David
4
Börger, Egon
3
Chen, Chaomei
3
Jajodia, Sushil
3
Penjam, Jaan
3
Preneel, Bart
3
more ...
Ramakrishnan, Raghu
3
Thalheim, Bernhard
3
Wirsing, Martin
3
Appleman, Dan
2
Arbib, Michael A.
2
Bawa, Joanna
2
Bertino, Elisa
2
Best, Eike
2
Boisvert, Ronald F.
2
Bomarius, Frank
2
Broy, Manfred
2
Bruynooghe, Maurice
2
Comon, Hubert
2
Cowell, John
2
Craig, Iain
2
Deransart, Pierre
2
Dogac, Asuman
2
Ehrig, Hartmut
2
Elmagarmid, Ahmed K.
2
Fallon, Josh
2
Gaul, Wolfgang A.
2
Gifford, Hoss
2
Günther, Oliver
2
Hammer, Dieter
2
Harrop, Rob
2
Helal, Abdelsalam A.
2
Hermenegildo, Manuel
2
Hunt, John
2
Joe, Kazuki
2
Karhumäki, Juhani
2
Kerschberg, Larry
2
Laddaga, Robert
2
Lavrač, Nada
2
Levy, Leon S.
2
Libkin, Leonid
2
Maibaum, Tom
2
Maluszynski, Jan
2
Mermet, Jean
2
Michalewicz, Zbigniew
2
Mylopoulos, John
2
Möller, Bernhard
2
Mössenböck, Hanspeter
2
Paredaens, Jan
2
Poulovassilis, Alexandra
2
Reichel, Horst
2
Robertson, Paul
2
Rozenberg, Grzegorz
2
Rus, Teodor
2
Schek, Hans-Jörg
2
Scheuermann, Peter
2
Schroeder-Heister, Peter
2
Shrobe, Howie
2
Slade, Robert
2
Strobel, Stefan
2
Strohmeier, Alfred
2
Stärk, Robert
2
Symmonds, Nick
2
Tjoa, A Min
2
Trenner, Lesley
2
Troelsen, Andrew
2
Weber, Herbert
2
Wells, Don
2
Wirth, N.
2
Wirth, Niklaus
2
Zhou, Jianying
2
Aalst, Wil van der
1
Abdennadher, Slim
1
Abe, Naoki
1
Abiteboul, Serge
1
Abolhassan, Ferri
1
Abrial, Jean-Raymond
1
Adam, Nabil R.
1
Adamo, Jean-Marc
1
Adams, Niall, M.
1
Afrati, Foto N.
1
Aichernig, Bernhard K.
1
Akman, Varol
1
Alagar, V.S.
1
Alagic, Suad
1
Alapati, Sam
1
Alblas, Henk
1
Aliev, Telman
1
Allison, Damon
1
Althoff, Klaus-Dieter
1
Anderson, Tom
1
Antoniou, Grigoris
1
Apt, Krzysztof R.
1
Ardis, Mark A.
1
Atluri, Vijay
1
Baeza-Yates, Ricardo
1
Baker, Donna L.
1
Balsamo, Simonetta
1
Banks Pidduck, Anne
1
Bao, Feng
1
see all ...
less ...
Recently Uploaded
Last Month
5
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=well&type=AllFields
Send by Email
×
Loading...