Programmiersprachen (1 261 Artikel)

This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on the Implementation of Functional Languages, IFL'98, held in London, UK, in September 19...

Eine grundlegende Einführung mit Java

Mathematik und Informatik.- Mathematik und Informatik -- Vom Nutzen der Formeln.- Informatik und Algebra.- Schaltalgebra und Relationentheorie.- Geschichte der Schaltalgebra.- Fixpoints and Flipflo...

I would like to welcome all the participants to the 3rd International Conference on Information Security and Cryptology (ICISC 2000). It is sponsored by the Korea Institute of Information Security ...

ICICS 2001, the Third International Conference on Information and Commu- cations Security, was held in Xi'an, China, 13-16 November 2001. Among the preceding conferences, ICICS'97 was held in Beiji...

Information flow control (IFC) is a technique to assert the security of a given program with respect to a given security policy. The classical policy noninterference requires that public output of ...

1 Strukturierte Programmierung mit Turbo Pascal.- 1.1 Bedienung des Turbo Pascal-Systems.- 1.2 Folgestrukturen (lineare Programme).- Aufgaben zu Abschnitt 1.2.- 1.3 Auswahlstrukturen (selektierende...

1 Strukturierte Programmierung mit Turbo Pascal.- 1.1 Bedienung des Turbo Pascal-Systems.- 1.2 Folgestrukturen (lineare Programme).- Aufgaben zu Abschnitt 1.2.- 1.3 Auswahlstrukturen (selektierende...

Massively parallel processing is currently the most promising answer to the quest for increased computer performance. This has resulted in the development of new programming languages and programmi...

This volume constitutes the proceedings of the Fourth International Conference on Integer Programming and Combinatorial Optimization, IPCO '95, held in Copenhagen in May 1995 under the sponsorship ...

This volume presents the proceedings of the Fifth Integer Programming and Combinatorial Optimization Conference, IPCO V, held in Vancouver, British Columbia, Canada, in June 1996.The 36 revised pap...

1 Alphabetical Bibliography.- 2 Subject Classification.- 3 List of Authors.

1 Alphabetical Bibliography.- 2 Subject Classification.- 3 List of Authors.

The fields of integer programming and combinatorial optimization continue to be areas of great vitality, with an ever increasing number of publications and journals appearing. A classified bibliogr...

1 Einführung in LOTUS 1-2-3.- 1.1 Die Voraussetzungen schaffen.- 1.2 ?ildschirm, Zellzeigersteuerung und Menüaufruf.- 1.3 Eingeben, Korrigieren und Löschen von Daten.- 1.4 Arbeiten mit Menübefehlen...