programmieren  (5 267 Angebote unter 18 318 358 Artikeln)

Non-determinism Analysis in a Parallel-Functional Language.- Exploiting Implicit Parallelism in Functional Programs with SLAM.- Verifying Generic Erlang Client--Server Implementations.- The Design ...

First-Order Universality for Real Programs.- Skolem + Tetration Is Well-Ordered.- Structures of Some Strong Reducibilities.- Complexity of Existential Positive First-Order Logic.- Stochastic Progra...

The International Workshops on the Implementation of Functional Languages (IFL)havebeenrunningfor14yearsnow.Theaimoftheseworkshopsistobring together researchers actively engaged in the implementati...

Dieses Buch ist der ideale Begleiter, wenn Sie in einem Semester Java lernen möchten. Der Inhalt wurde gezielt ausgewählt, so dass nur die Konzepte besprochen werden, die Sie zum Einstieg in die Pr...

1. Introduction.- 2. Semantics Based on Bisimulation.- 3. Model-Checking Based Data Retrieval.- 4. Temporal Aspects of Semistructured Data.- 5. Related Works.- 6. Conclusion.

The 32 full papers and 5 short papers presented were carefully reviewed and selected from 65 submissions.  The papers feature research in the area of logical frameworks and interactive proof assist...

Marko Luk?a ist Software Engineer bei Red Hat im Cloud Enablement Team. Das Team sorgt dafür, dass Red Hat's Enterprise Middleware-Produkte auf OpenShift funktionieren - eine PaaS-Plattform, die au...

Quasar steht für "Qualitätssoftwarearchitektur" und fasst zusammen, was das Software-Haus sd&m in den letzten Jahren an Wissen über Softwarearchitektur gesammelt hat. Im Mittelpunkt von Quasar steh...

1 A Simple Example.- 2 The Formation of Arithmetic Expressions.- 3 Loop Control, Logical Items.- 4 Polynomials; Vectors, Matrices.- 5 Output on the Printer or the Terminal.- 6 The Input of Data.- 7...

8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Der Diplom-Informatiker Bernd Klein genießt internationales Ansehen als Python-Dozent. Bisher hat er über 500 Python-Kurse in Firmen, Forschungsinstituten und Lehraufträgen von Universitäten in Deu...

Dieses Buch bietet eine Einführung in das spannende Thema Kinematik und Kinetik und richtet sich an Studierende technischer Studiengänge wie Maschinenbau, Luft- und Raumfahrttechnik, Fahrzeugtechni...

8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. Applications include compilers (for code improvement), software v...

Neurolinguistisches Programmieren (NLP) zeichnet sich durch seine Nützlichkeit und Effektivität aus und wird daher erfolgreich in verschiedenen Arbeitsbereichen und insbesondere im Coaching eingese...