*Showing* 1 - 20 *of* 150

Konferenzschrift 62 Java Programmiersprache 17 Formale Methode 14 Softwareentwicklung 13 Programmverifikation 12 Hochschulschrift 11 *more* ... Programmanalyse 10 Programmiersprache 10 Verifikation 9 Programmierung 8 Komponente Software 7 Model Checking 7 Objektorientierte Programmierung 7 Übersetzerbau 7 Datensicherung 6 Java 2 6 Automatisches Beweisverfahren 5 Byte-Code 5 Java Virtual Machine 5 Objektorientierung 5 Software Engineering 5 Computersicherheit 4 Forschungsbericht 4 Programmtransformation 4 Statische Analyse 4 Trusted Computing 4 Verteiltes System 4 Abstrakte Interpretation 3 Aspektorientierte Programmierung 3 Compiler 3 *less* ...

*Buch* 150 *Konferenzschrift* 63 *Dissertation* 14 *Abschlussarbeit* 2 *Festschrift* 1

Ullenboom, Christian 5 Brockschmidt, Marc 3 Barthe, Gilles 2 Biere, Armin 2 Börger, Egon 2 Goll, Joachim 2 *more* ... Halbwachs, Nicolas 2 Hanus, Michael 2 Haupt, Michael 2 Heinisch, Cornelia 2 Mycroft, Alan 2 Otto, Carsten 2 Schildt, Herbert 2 Siegler, Simon 2 Spallek, Rainer G. 2 Stärk, Robert F. 2 Zabel, Martin 2 Abadi, Martín 1 Aleti, Aldeida 1 Allen, Eric 1 Alves-Foss, Jim 1 Artho, Cyrille 1 Attali, Isabelle 1 Austermann, Anja 1 Batory, Don 1 Bauer, Bernhard 1 Baur, Marcel 1 Beckert, Bernhard 1 Bensalem, Saddek 1 Berry, Gérard 1 *less* ...

*eng* 124 *ger* 26