Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "pragmatism"
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"
Search alternatives
:
"pragmatism" »
"pragmatic"
,
"pragmatics"
Showing
1
-
20
of
47
Search:
'"pragmatism"'
,
query time: 0.56s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Computation of Language : An Essay on Syntax, Semantics and Pragmatics in Natural Man-Machine Communication
by
Hausser, Roland
Published 1989
Springer Berlin Heidelberg
Table of Contents:
“
... Complexity Results -- III Logic and Communication -- 11 Principles of
Pragmatics
-- 12 Meaning, Truth...
”
Read Now
2
Modeling and Using Context : Third International and Interdisciplinary Conference, CONTEXT, 2001, Dundee, UK, July 27-30, 2001, Proceedings
Published 2001
Springer Berlin Heidelberg
Table of Contents:
“
... Sieve: A Method for Real-Time Context Extraction --
Pragmatic
Reasoning
Pragmatic
Semantics and Semantic...
”
Read Now
3
Formal Foundations for Software Engineering Methods
by
Hußmann, Heinrich
Published 1997
Springer Berlin Heidelberg
Table of Contents:
“
...Terminology -- SSADM — a
pragmatic
requirements engineering method -- Spectrum — a formal...
”
Read Now
4
Specification and Design of Software Systems : Conference on Operating Systems. Visegrad, Hungary, January 23-27, 1982; Proceedings
Published 1983
Springer Berlin Heidelberg
Table of Contents:
“
...System cars and its description language -- Software structuring: A
pragmatic
approach...
”
Read Now
5
Systematic Reuse: Issues in Initiating and Improving a Reuse Program : Proceedings of the International Workshop on Systematic Reuse, Liverpool, 8–9 January 1996
Published 1996
Springer London
Table of Contents:
“
...
Pragmatic
Approach to Reuse Introduction in an Industrial Setting -- Author Index...
”
Read Now
6
Types for Proofs and Programs : International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers
Published 1995
Springer Berlin Heidelberg
Table of Contents:
“
...Communicating contexts: A
pragmatic
approach to information exchange -- A short and flexible proof...
”
Read Now
7
Ada Software Tools Interfaces : Workshop, Bath, July 13-15, 1983. Proceedings
Published 1984
Springer Berlin Heidelberg
Table of Contents:
“
... formal definition of Diana -- Dianette — A
pragmatic
variant of Diana -- The design of air and its...
”
Read Now
8
Software Re-use, Utrecht 1989 : Proceedings of the Software Re-use Workshop, 23–24 November 1989, Utrecht, The Netherlands
Published 1991
Springer London
Table of Contents:
“
...-usability and Software Prototyping -- 8 A Design Method to Make Re-use Happen -- 9 PRACTITIONER:
Pragmatic
...
”
Read Now
9
Semantics, Applications, and Implementation of Program Generation : International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings
Published 2000
Springer Berlin Heidelberg
Table of Contents:
“
... --
Pragmatic
Aspects of Reusable Program Generators Position Paper -- Type-Based Useless-Code Elimination...
”
Read Now
10
Advances in Databases : 13th British National Conference on Databases, BNCOD 13, Manchester, United Kingdom, July 12 - 14, 1995. Proceedings
Published 1995
Springer Berlin Heidelberg
Table of Contents:
“
... interpretation of data models -- The
pragmatics
of naive database enquiry -- Using a conceptual data language...
”
Read Now
11
Adventure in Prolog
by
Merritt, Dennis
Published 1990
Springer New York
Table of Contents:
“
... Managing Data -- Exercises -- 8 Recursion -- How Recursion Works --
Pragmatics
-- Exercises -- 9 Data...
”
Read Now
12
Object-Oriented Behavioral Specifications
Published 1996
Springer US
Table of Contents:
“
... Object Behaviour -- Information Refraction -- A
Pragmatic
Approach to Formal Specification -- Anecdotes...
”
Read Now
13
UML Applied : A .NET Perspective
by
Shoemaker, Martin L.
Published 2004
Apress
Table of Contents:
“
... Analysis and Design -- 2 Five-Step UML: OOAD for Short Attention Spans -- 3
Pragmatic
Guidelines: Diagrams...
”
Read Now
14
Formal Methods for Open Object-Based Distributed Systems : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings
Published 2003
Springer Berlin Heidelberg
Table of Contents:
“
... Statecharts. A
Pragmatic
Approach -- New Operators for the TURTLE Real-Time UML Profile -- Checking...
”
Read Now
15
Industrial Cultures and Production : Understanding Competitiveness
by
Rasmussen, Lauge
,
Rauner, Felix
Published 1996
Springer London
Table of Contents:
“
...,
Pragmatic
, Analytic - A Comparison of the Japanese, American and German Approaches to Machine Tool Design...
”
Read Now
16
Design, Specification and Verification of Interactive Systems ’98 : Proceedings of the Eurographics Workshop in Abingdon, UK, June 3–5, 1998
Published 1998
Springer Vienna
Table of Contents:
“
... Representations -- The Role of Informal Representations in Early Design --
Pragmatic
Formal Design: A Case Study...
”
Read Now
17
Software Architecture : First European Workshop, EWSA 2004, St Andrews, UK, May 21-22, 2004, Proceedings
Published 2004
Springer Berlin Heidelberg
Table of Contents:
“
...Research Papers -- Sotograph – A
Pragmatic
Approach to Source Code Architecture Conformance...
”
Read Now
18
Business Process Management : Models, Techniques, and Empirical Studies
Published 2000
Springer Berlin Heidelberg
Table of Contents:
“
... Evolving Enterprise Models and Applications -- Workflow Management between Formal Theory and
Pragmatic
...
”
Read Now
19
Programming Languages: Implementations, Logics, and Programs : 9th International Symposium, PLILP '97, Including a Special Track on Declarative Programming Languages in Education,...
Published 1997
Springer Berlin Heidelberg
Table of Contents:
“
... to learn standard ML -- Introducing the declarative dungeon -- A
pragmatic
approach to compilation...
”
Read Now
20
Partial Evaluation : International Seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996. Selected Papers
Published 1996
Springer Berlin Heidelberg
Table of Contents:
“
... recursion parameters -- A uniform approach for compile-time and run-time specialization --
Pragmatics
...
”
1
2
3
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
004 - Data processing & computer science
3
003 - Systems
2
Language
English
47
Collection
Springer Book Archives -2004
Author
Aalst, Wil, van der
1
Akman, Varol
1
Bert, Didier
1
Beynon, Meurig
1
Blandford, Ann
1
Bolognesi, Tommaso
1
more ...
Bouquet, Paolo
1
Ceri, Stefano
1
Choppy, Christine
1
Chung, Lawrence
1
Cooke, John
1
Danvy, Olivier
1
Dautenhahn, Kerstin
1
Desel, Jörg
1
Dusink, Liesbeth M.
1
Dybjer, Peter
1
Ennals, Richard
1
Evans, David
1
Flener, Pierre
1
Glaser, Hugh
1
Glück, Robert
1
Goble, Carole
1
Gordon, M.J.C.
1
Gorlatch, Sergei
1
Gottlob, Georg
1
Gray, Phil
1
Green, Peter
1
Göbel, Stefan
1
Haefner, Klaus
1
Hall, Patrick A.V.
1
Hartel, Peter
1
Harvey, William
1
Hausser, Roland
1
Hoffmann, Anja
1
Hußmann, Heinrich
1
Iurgel, Ido
1
Jajodia, Sushil
1
Johnson, Peter
1
Keane, John
1
Kilov, Haim
1
Knuth, Elöd
1
Kuchen, Herbert
1
Kunii, Hideko S.
1
Ling, Tok Wang
1
Markopoulos, Panos
1
Merritt, Dennis
1
Meyerhoff, Dirk
1
Morris, Derrick
1
Morrison, Ron
1
Mosses, Peter
1
Mylopoulos, John
1
Najm, Elie
1
Nehaniv, Chrystopher L.
1
Nestmann, Uwe
1
Neuhold, E.J.
1
Nichols, Howard K.
1
Nixon, Brian A.
1
Nordström, Bengt
1
Oak, Harshad
1
Oberweis, Andreas
1
Oquendo, Flavio
1
Paige, Robert
1
Paul, Manfred
1
Porto, Antonio
1
Rabhi, Fethi A.
1
Rasmussen, Lauge
1
Rauner, Felix
1
Reif, J.H.
1
Robinet, Bernard
1
Roman, Gruia-Catalin
1
Sarshar, Marjan
1
Shoemaker, Martin L.
1
Simpson, Dan
1
Smith, Jan
1
Soelvberg, Arne
1
Sommerville, Ian
1
Spierling, Ulrike
1
Stevens, Perdita
1
Taha, Walid
1
Tanaka, Katsumi
1
Tanca, Letizia
1
Thalheim, Bernhard
1
Theaker, Colin
1
Thiemann, Peter
1
Thomason, Richmond
1
Tiffany, Rob
1
Toussaint, Marcel
1
Vanderdonckt, Jean
1
Vissers, Chris
1
Wachter, Ralph
1
Wallis, Peter J. L.
1
Wang, Shan
1
Warboys, Brian
1
Warboys, Brian C.
1
Wieczorek, Martin
1
Young, Roger A.
1
Yu, Eric
1
Zhou, Shuigeng
1
van de Lagemaat, Jeroen
1
see all ...
less ...
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=%22pragmatism%22&type=AllFields
Send by Email
×
Loading...