Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "Language"
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
681
-
700
of
879
Search:
'"Language"'
,
query time: 0.04s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
681
Logic of Programming and Calculi of Discrete Design : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare
Published 1987
Springer Berlin Heidelberg
“
... sugar", but rather in the sense of abstract syntax, in the sense of
language
constructs. Proper notation...
”
Read Now
682
GI — 10. Jahrestagung : Saarbrücken, 30. September – 2. Oktober 1980
Published 1980
Springer Berlin Heidelberg
Table of Contents:
“
... Übersetzungssystem SUSY“ (KV) -- „The Natural
Language
System HAM-RPM as a Hotel Manager: SomeRepresentational...
”
Read Now
683
Current Trends in Hardware Verification and Automated Theorem Proving
Published 1989
Springer New York
“
...
language
amenable to reasoning and proof...
”
Read Now
684
Kommunikation in verteilten Systemen : Fachtagung der GI, Berlin, 27.–30. Januar 1981
Published 1981
Springer Berlin Heidelberg
Table of Contents:
“
... -- VMP Pascal, an Extended
Language
for the Implementation of Data Communication Protocols...
”
Read Now
685
A Practical Introduction to Pascal
by
WILSON/ADDYMAN.
Published 1982
Springer New York
“
... on the Pascal standard has convinced me that the description of a programming
language
may be tutorial...
”
Read Now
686
Human Machine Symbiosis : The Foundations of Human-centred Systems Design
Published 1996
Springer London
“
... of science' and the 'dream of the exact
language
'. This alternative vision has its origin in the founding...
”
Read Now
687
GI — 14. Jahrestagung : Braunschweig, 2.–4. Oktober 1984 Proceedings
Published 1984
Springer Berlin Heidelberg
Table of Contents:
“
...” — Untersuchungen an Spitzenprogrammierern -- Entwurfsverifikation mit Computer Design
Language
— Version Munich...
”
Read Now
688
Nonsequential Processes : A Petri Net View
by
Best, Eike
,
Fernandez C., Cesar
Published 1988
Springer Berlin Heidelberg
“
... be contrasted with a more
language
-oriented approach to the modelling of concurrency known as arbitrary...
”
Read Now
689
IBM System/38 : An Auditors Guide
by
Coopers & Lybrand
Published 1985
Springer Netherlands
“
... of the operating systems are in microcode. o There is no assembler
language
. The unique features of the S/38 make...
”
Read Now
690
Logic Programming : 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001. Proceedings
Published 2001
Springer Berlin Heidelberg
Table of Contents:
“
... -- Building Real-Life Applications with Prolog -- Natural
Language
Tabular Parsing -- A Close Look...
”
Read Now
691
Computer Science Today : Recent Trends and Developments
Published 1995
Springer Berlin Heidelberg
Table of Contents:
“
... -- The Oz Programming Model -- Standard Generalized Markup
Language
: Mathematical and philosophical issues...
”
Read Now
692
Parallel Processing : Proceedings of the Sagamore Computer Conference, August 20-23, 1974
Published 1975
Springer Berlin Heidelberg
Table of Contents:
“
... -- Mixed mode arithmetic for STARAN -- Aapl: An array processing
language
-- The evolution of a parallel...
”
Read Now
693
EUROSAM 84 : International Symposium on Symbolic and Algebraic Computation, Cambridge, England, July 9-11, 1984
Published 1984
Springer Berlin Heidelberg
Table of Contents:
“
... scratchpad -- A pure and really simple initial functional algebraic
language
-- Some effectivity problems...
”
Read Now
694
Advanced Information Processing : Proceedings of a Joint Symposium. Information Processing and Software Systems Design Automation. Academy of Sciences of the USSR, Siemens AG, FRG...
Published 1990
Springer Berlin Heidelberg
Table of Contents:
“
... Information Resource Representation
Language
-- Technological Complexes for Application Program Development...
”
Read Now
695
A Structured Programming Approach to Data
by
COLEMAN.
Published 1979
Springer New York
Table of Contents:
“
... -- 2.1 An Abstract Programming
Language
-- 2.2 Structuring Control -- 2.3 Structuring Data -- 2.4 What...
”
Read Now
696
Distributed and Parallel Systems : Cluster and Grid Computing
Published 2002
Springer US
Table of Contents:
“
... in Spider Programming Environment -- Conformace Testing of Parallel
Languages
-- Dependable and fault...
”
Read Now
697
People and Computers XVI - Memorable Yet Invisible : Proceedings of HCI 2002
Published 2002
Springer London
Table of Contents:
“
... -- Pattern
Languages
in Participatory Design -- Provoking Innovation: Acting-out in Contextual Scenarios...
”
Read Now
698
Information Society : New Media, Ethics and Postmodernism
Published 1996
Springer London
Table of Contents:
“
... and the Cultural Condition:
Language
and Education -- 3. Knowledge and Sustainable Development: Towards...
”
Read Now
699
Proceedings of the Fifth European Conference on Computer Supported Cooperative Work
Published 1997
Springer Netherlands
Table of Contents:
“
... and Virtual Worlds -- Task Conflict and
Language
Differences: Opportunities for Videoconferencing...
”
Read Now
700
Active Networks : Second International Working Conference, IWAN 2000 Tokyo, Japan, October 16-18, 2000 Proceedings
Published 2000
Springer Berlin Heidelberg
Table of Contents:
“
... (or Enhanced Extensibility Required) -- Active Networks Architecture Using Declarative
Language
-- Distributed...
”
30
31
32
33
34
35
36
37
38
39
40
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
43
621 - Applied physics
19
Language
English
821
German
58
Collection
Springer Book Archives -2004
Author
Rozenberg, Grzegorz
14
Banerjee, Utpal
8
Börger, Egon
7
Nerode, Anil
7
Salomaa, Arto
7
Broy, Manfred
6
more ...
Ito, Takayasu
6
Ehrig, Hartmut
5
Gelernter, David
5
Paun, Gheorghe
5
Rem, Martin
5
Wirsing, Martin
5
Bjørner, Dines
4
Dongarra, Jack J.
4
Kleine Büning, Hans
4
Mayr, Ernst W.
4
Nicolau, Alex
4
Nielsen, Mogens
4
Nivat, Maurice
4
Orlowska, Maria E.
4
Pnueli, Amir
4
Richter, Michael M.
4
Rolim, Jose
4
Thalheim, Bernhard
4
Vanderdonckt, Jean
4
Yonezawa, Akinori
4
Alur, Rajeev
3
Apt, Krzysztof R.
3
Bauer, F.L.
3
Bauknecht, Kurt
3
Bode, Arndt
3
Budach, Lothar
3
Ferreira, Afonso
3
Gornostaev, Juri
3
Grebe, Reinhard
3
Hartenstein, Reiner W.
3
Hertzberger, Bob
3
Jajodia, Sushil
3
Jantzen, Matthias
3
Kelemen, Jozef
3
Kirchner, Helene
3
Kreowski, Hans-Jörg
3
Kropf, Thomas
3
Langmaack, Hans
3
Larsen, Kim G.
3
Leeuwen, Jan van
3
Loeckx, J.
3
Melton, Austin
3
Monien, Burkhard
3
Moniz Pereira, Luis
3
Montanari, Ugo
3
Olderog, Ernst-Rüdiger
3
Padua, David
3
Reisig, Wolfgang
3
Rozenberg, G.
3
Sakamura, Ken
3
Sastry, Shankar
3
Schindler, S.
3
Sloot, Peter M.A.
3
Syre, Jean-Claude
3
Thiagarajan, P.S.
3
Tou, Julius T.
3
Unger, Claus
3
Unger, Herwig
3
Volkert, Jens
3
Wang, Dongming
3
Wiedermann, Jiri
3
Aarts, Emile H.L.
2
Abadi, Martin
2
Abramsky, S.
2
Abramson, David
2
Akl, Selim G.
2
Alt, Helmut
2
Antsaklis, Panos
2
Arbib, Michael A.
2
Arikawa, Setsuo
2
Bartosek, Miroslav
2
Bauer, Friedrich L.
2
Baumann, Martin
2
Becvar, J.
2
Benyon, David
2
Bezem, Marc
2
Birtwistle, Graham
2
Blumenthal, Brad
2
Bogdanov, Alexander V.
2
Bouge, Luc
2
Brim, Lubos
2
Brinksma, Ed
2
Brookes, Stephen
2
Bussler, Christoph
2
Cantoni, Virginio
2
Choffrut, Christian
2
Chwa, Kyung-Yong
2
Cori, Robert
2
Dassow, Jürgen
2
Davies, Jim
2
Demetrovics, Janos
2
Deussen, P.
2
Dezani-Ciancaglini, Mariangiola
2
Diekert, Volker
2
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=35&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=%22Language%22&type=AllFields
Send by Email
×
Loading...