Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: %22syntax%22
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:"620 - Engineering & allied operations"
product_txtF_mv:"Springer Book Archives -2004"
Showing
1
-
20
of
42
Search:
'%22syntax%22'
,
query time: 0.05s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Einführung in die funktionale Programmierung mit Miranda
by
Hinze, Ralf Thomas Walter
Published 1992
Vieweg+Teubner Verlag
Table of Contents:
“
...6.3 Diagonalisierende List-Comprehensions -- 6.4
Syntax
-- 7 Benutzerdefinierte Typen -- 7.1...
”
Read Now
2
Vom Problem zum Programm : Eine Einführung in die Informatik
Published 1991
Vieweg+Teubner Verlag
Table of Contents:
“
... durch Algorithmen -- 2 Algorithmen und Spezifikationen -- 2.1 Spezifikationen --
2.2
Algorithmen -- 2.3...
”
Read Now
3
Grundlagen des maschinellen Beweisens : Eine Einführung für Informatiker und Mathematiker
by
Kutsche, Ralf-Detlef
Published 1991
Vieweg+Teubner Verlag
Table of Contents:
“
...l Grundbegriffe der Prädikatenlogik -- 1.1
Syntax
der Prädikatenlogik -- 1.2 Semantik der...
”
Read Now
4
Protocol engineering : A rule based approach
by
Schneider, Jürgen M.
Published 1992
Vieweg+Teubner Verlag
Table of Contents:
“
... Protocol Specification with Formal Description Techniques -- 2.1 Informal Specification --
2.2
Formal...
”
Read Now
5
Design Center ‒ PSpice unter Windows : Ein Leitfaden für den Schnelleinstieg
by
Lüdtke, Royd
,
Stratmann, Stefan
Published 1996
Vieweg+Teubner Verlag
Table of Contents:
“
...-Slave Flipflops -- 12.21 Pegelwandler mit Signalinvertierung -- 12.
22
Simulation einer...
”
Read Now
6
Grundlagen der funktionalen Programmierung
Published 1994
Vieweg+Teubner Verlag
Table of Contents:
“
...13.1
Syntax
-- 13.2 Semantik -- 13.3 Maschinenmodelle und Übersetzung -- 13.4 Parallele Auswertung...
”
Read Now
7
Prinzipien der Künstlichen Intelligenz : Wissensrepräsentation, Inferenz und Expertensysteme
Published 1992
Vieweg+Teubner Verlag
Table of Contents:
“
... -- § 1
Syntax
und Semantik der Prädikatenlogik -- § 2 Allgemeine deduktive Methoden -- § 3 Der...
”
Read Now
8
Medizinische Informatik
by
Wingert, Friedrich
Published 1979
Vieweg+Teubner Verlag
Table of Contents:
“
... Fächern -- 2. Informatik -- 2.1 Struktur --
2.2
Grundbegriffe -- 3. Klassifikation -- 3.1...
”
Read Now
9
Vom Problem zum Programm : Eine Einführung in die Informatik
by
Klaeren, Herbert
Published 1990
Vieweg+Teubner Verlag
Table of Contents:
“
... durch Algorithmen -- 2 Algorithmen und Spezifikationen -- 2.1 Spezifikationen --
2.2
Algorithmen -- 2.3...
”
Read Now
10
A Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor Systems
Published 1993
Vieweg+Teubner Verlag
Table of Contents:
“
... Overall Organization -- 1.4
Syntax
of Logic Programs -- 1.5 Data Manipulation by Unification -- 2...
”
Read Now
11
Grundlagen der Programmiersprachen
by
Mehlhorn, Kurt
,
Wilhelm, Reinhard
Published 1986
Vieweg+Teubner Verlag
Table of Contents:
“
... Ausdrücke --
2.2
Unvollständig geklammerte Ausdrücke mit Prioritäten -- III PROSA, eine einfache...
”
Read Now
12
Mikroprozessortechnik : Eine Einführung mit dem M6800-System
by
Tholl, Herbert
Published 1982
Vieweg+Teubner Verlag
Table of Contents:
“
... Mikroprozessor MC6800 -- 2.1 Wortlänge und Befehlsformat --
2.2
Architektur desMC6800-Prozessors -- 2.3...
”
Read Now
13
Prolog : Grundlagen und Anwendungen
by
Büning, Hans Kleine
,
Schmitgen, Stefan
Published 1986
Vieweg+Teubner Verlag
Table of Contents:
“
...1 Einführung -- 2 Einfache Konstrukte und Programme in Prolog -- 2.1 Fakten --
2.2
Fragen -- 2.3...
”
Read Now
14
Semantik und Programmverifikation
by
Walther, Christoph
Published 2001
Vieweg+Teubner Verlag
Table of Contents:
“
...1 Formale Grundlagen -- 1.1
Syntax
der Prädikatenlogik 1. Stufe -- 1.2 Semantik der Sprache 1...
”
Read Now
15
Prolog : Grundlagen und Anwendungen
by
Schmitgen, Stefan
Published 1988
Vieweg+Teubner Verlag
Table of Contents:
“
... Struktur eines Expertensystems -- 14.3 Die Realisierung eines Expertensystems in Prolog -- A Die
Syntax
von...
”
Read Now
16
Semantik : Theorie sequentieller und paralleler Programmierung
by
Best, Eike
Published 1995
Vieweg+Teubner Verlag
Table of Contents:
“
... Grundlagen -- 2.1 Logik, Gleichheit und Mengen --
2.2
Relationen, Funktionen und Operationen -- 2.3...
”
Read Now
17
Parallelism in Logic : Its Potential for Performance and Program Development
Published 1991
Vieweg+Teubner Verlag
Table of Contents:
“
... of the Work -- 1.5 Organization of the Book -- 2 Foundations -- 2.1 Logic: The Connection Method --
2.2
...
”
Read Now
18
Problemlösung mit Modellen und Algorithmen
by
Joereßen, A.
,
Sebastian, Hans-Jürgen
Published 1998
Vieweg+Teubner Verlag
Table of Contents:
“
... Intelligenz -- 2.1 Probleme und Problemlösung in der Künstlichen Intelligenz (KI) --
2.2
Logikbasierte...
”
Read Now
19
NC-Programmiersystem : Beitrag zur numerischen Verarbeitung eines geometrischen Werkstückbeschreibungssystems
by
Eitel, H.
Published 1973
Springer Berlin Heidelberg
Table of Contents:
“
... von NC-Programmiersystemen --
2.2
. Das Programmier System EXAPT 3 -- 2.3. Der Zusammenhang zwischen...
”
Read Now
20
Aussagenlogik: Deduktion und Algorithmen : Deduktion und Algorithmen
by
Lettmann, Theodor
Published 1994
Vieweg+Teubner Verlag
Table of Contents:
“
...1 Einführung in die Aussagenlogik -- 1.1
Syntax
und Semantik der Aussagenlogik -- 1.2 Einfache...
”
1
2
3
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 620 - Engineering & allied operations
Clear Filter
Collection: Springer Book Archives -2004
Year of Publication
From:
To:
Classification
620 - Engineering & allied operations
Language
German
40
English
2
Collection
Springer Book Archives -2004
Author
SpringerLink (Online service)
10
Paulik, Augustin
3
Fritze, Jörg
2
Hug, Karlheinz
2
Kannemann, Klaus M. SC
2
Lowes, Martin
2
more ...
Marsch, Jürgen
2
Schmitgen, Stefan
2
Best, Eike
1
Biskup, Joachim
1
Büning, Hans Kleine
1
Cap, Clemens H.
1
Eirund, Helmut
1
Eitel, H.
1
Hinze, Ralf Thomas Walter
1
Joereßen, A.
1
Klaeren, Herbert
1
Kutsche, Ralf-Detlef
1
Lettmann, Theodor
1
Lüdtke, Royd
1
Mehlhorn, Kurt
1
Schneider, Jürgen M.
1
Schreiner, Axel-Tobias
1
Sebastian, Hans-Jürgen
1
Sharpe, John E.E.
1
Solymosi, Andreas
1
Solymosi, Peter
1
Stratmann, Stefan
1
Tholl, Herbert
1
Walther, Christoph
1
Wilhelm, Reinhard
1
Wingert, Friedrich
1
Wolff, Christian
1
Zeidler, Hans Christoph
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%22620+-+Engineering+%26+allied+operations%22&filter%5B%5D=product_txtF_mv%3A%22Springer+Book+Archives+-2004%22&lookfor=%2522syntax%2522&type=AllFields
Send by Email
×
Loading...