Informatik (15 757 Artikel)

Models and equality for logical programming.- Fifth generation computer project: Current research activity and future plans.- A compositive abstraction algorithm for combinatory logic.- Linear logi...

TAPSOFT '89 is the Third International Joint Conference on Theory and Practice of Software Development held in Barcelona, Spain, March 13-17, 1989. The conference consissted of three parts: - Advan...

TAPSOFT '89 is the Third International Joint Conference on Theory and Practice of Software Development held in Barcelona, Spain, March 13-17, 1989. The conference consisted of three parts: - Advanc...

is the Fourth International Joint Conference on Theory and Practice of Software Development. It was held in Brighton, April 8-12, 1991, and was organized by the Department of Computing, Imperial Co...

This volume contains the proceedings of the fourth International Joint Conference on the Theory and Practice of Software Development, TAPSOFT '93. Since the first in 1985, the aim of these conferen...

This volume presents the proceedings of the Sixth International Joint Conference on the Theory and Practice of Software Engineering, TAPSOFT '95, held in Aarhus, Denmark in May 1995. TAPSOFT '95 ce...

Das Textsatzsystem TeX unterstützt grafische Darstellungen nur rudimentär. Dieses Buch gibt einen Überblick über die wichtigsten Verfahren zur Integration von Grafiken in TeX-Dokumente, wobei neben...

Updates, Results, Successes of the Formal-Methods Competitions

Current Research and Trends in French Academic Institutions

Current Research and Trends in French Academic Institutions

1. Einleitung 1.1 Warum TYPO3 und Online-Marketing? TYPO3 ist eines der erfolgreichsten Content-Management-Systeme (CMS) überhaupt. 1 Genau genommen ist es eher ein Framework als ein CMS, aber ich ...

11th International Conference, DESRIST 2016, St. John's, NL, Canada, May 23-25, 2016, Proceedings

Die Beiträge der Konferenz vom 12. Juni 2008 in Furtwangen mit dem Schwerpunkt-Thema Softwareprodukte und Produktmanagement.

Today's non-tayloristic work environments call for flexible work practices supported by dynamic IT systems. Changing and optimising business processes has become an important 'adaptation mechanism'...

Pragmatic Contracting and Collaboration in Agile Software Projects