Filter
Programmerings- & skriptspråk: allmänt
Filter
-
Assembler II
av Rainer Alletsee , Horst Jung , Gerd F. Umhauer m.fl.
"e;The NCL Natural Constraint Language"e; presents the NCL language which is a description language in conventional mathematical logic for modeling and solving constraint …
The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this three-volume set combine …
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, …
In 1996 the International Federation for Information Processing (IFIP) establ- hed its rst Technical Committee on foundations of computer science, TC1. The aim of IFIP TC1 is to …
This volume constitutes the thoroughly refereed post-conference proceedings of the 17th International Conference on Applications of Declarative Programming and Knowledge …
Die Ausnahmebehandlung ist ein vor allem bei der Automatisierung technischer Prozeßsysteme eingesetztes Sprachmittel. Trotz vieler Entwurfs- und Implementierungsvorschläge für …
This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, …