Programmiersprachen (1.257 Artikel)

This volume contains a selection of papers presented at the Seventh Logic Programming Conference that took place in Tokyo, April 11-14, 1988. It is the successor to the previous conference proceedi...

This volume contains selected papers presented at the Eighth Logic Programming Conference, held in Tokyo, 1989. Various topics in logic programming are covered. The first paper is an invited talk b...

This volume contains 15 papers from research areas where Japanese theoretical computer science is particularly strong. Many are about logic, and its realization and applications to computer science...

7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers

This book presents five tutorial-style lectures on various approaches to the problem of verifying distributed systems: three chapters concentrate on linear-time or branching-time temporal logics; o...

Frontmatter -- Vorwort der Herausgeber -- Vorwort -- Inhaltsverzeichnis -- 1. Einleitung -- 2. Relationen, Funktionen und Listen -- 3. Aussagenlogik -- 4. Boolesche Algebra -- 5. Kalküle und Algori...

0 Einführung.- 1 Hornklausellogik als Programmiersprache.- 1.1 Die Sprache der Hornklauseln: Syntax und Semantik von HCL.- 1.2 Behandlung der Gleichheit.- 1.3 HCL-Programme mit Gleichheit.- 2 Die K...

1. Turtle-Geometrie.- 2. Prozeduren.- 3. Funktionen.- 4. Textverarbeitung.- 5. Listenverarbeitung.- 6. Propertylisten.- 7. Projekte in LOGO.- 7.1. Natürliches Wachstum.- 7.2. Lebensspiel.- 7.3. Kom...

I Logo-Grundkurs.- 1 Igel-Geometrie.- 2 Prozeduren.- 3 Ganze Zahlen.- 4 Variablen und Funktionen.- 5 Wörter.- II Grundideen des Programmierens in Logo.- 6 Bedingte Anweisungen.- 7 Variablen.- 8 Rek...

Immer mehr Rechner werden an Arbeitsplätzen in Verwaltung, Wirtschaft und bei Selbst ständigen eingesetzt. Wenn auch die Hardwarepreise zum Kauf eines Rechners verlocken, so wird es doch für viele ...

Mit Lotus 1-2-3 Software Training erscheint ein weiteres Buch aus der Praxis flir die Praxis. Lotus 1-2-3 Software Training wendet sich an den Lotus 1-2-3 Neuling und führt ihn Schritt flir Schritt...

1 Installation von Symphony.- 1.1 Das Programmpaket Symphony.- 1.2 Hardwarevoraussetzungen.- 1.3 Installation von Symphony.- 1.4 Rekonfiguration.- 1.5 Bezeichnung von Dateinamen.- 1.6 Tastaturbeleg...

Wir wollen in dieser Broschüre Lua als Skriptsprache selbst und im Zusammenhang mit C-Programmen vorstellen. Lua selbst kann plattformunabhängig eingesetzt werden. Hier werden aber zum einfacheren ...

"Matlab für Studierende und Professionals der Sozial- und Wirtschaftswissenschaften" ist für Personen entwickelt, die das Matlab-System und die Matlab-Programmiersprache anwendungsorientiert lernen...

Today's manufacturing environment is characterised by significant change in the way it is able to respond to its business objectives. Companies now face new challenges to meet customer demands incl...