Müller, Peter, 1972-
Muller, P.
Peter Müller deutscher Informatiker
Mueller, Peter
VIAF ID: 267866140 (Personal)
Permalink: http://viaf.org/viaf/267866140
Preferred Forms
- 100 1 _ ‡a Mueller, Peter
- 100 1 _ ‡a Muller, P.
- 200 _ | ‡a Müller ‡b Peter ‡f 1972-....
-
- 100 1 _ ‡a Müller, Peter ‡d 1972-
- 100 1 _ ‡a Müller, Peter, ‡d 1972-
-
-
-
- 100 0 _ ‡a Peter Müller ‡c deutscher Informatiker
4xx's: Alternate Name Forms (5)
5xx's: Related Names (6)
- 510 2 _ ‡a Eidgenössische Technische Hochschule Zürich ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a FernUniversität in Hagen ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a FernUniversität in Hagen
- 551 _ _ ‡a Ingolstadt ‡4 ortg ‡4 https://d-nb.info/standards/elementset/gnd#placeOfBirth
- 510 2 _ ‡a Max-Planck-Institut für Informatik ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Max-Planck-Institut für Informatik
Works
Title | Sources |
---|---|
Advanced lectures on software engineering : LASER summer school 2007/2008 | |
A brief study in automating proofs based on a refined Hoare logic | |
CSS, un jeu d'enfants ! : créez votre site Web | |
Einstieg in CSS : Webseiten gestalten mit HTML und CSS : [Grundlagen: Schriften, Farben und Box-Modelle - Konzepte: Spezifität, Kaskade und Positionierung verständlich erklärt - Gestaltung: Navigation, mehrspaltige Layouts und Media Queries] | |
electronic visualization library | |
Flexible Boxes : eine Einführung in moderne Websites | |
Formal Techniques for Java Programs | |
Handbuch der Berliner Software-Distribution (BeSD) | |
Die Homepage-Schule der effektivste Weg zur eigenen Website | |
Java 2 | |
Java 6 : Praxis der objektorientierten Programmierung | |
Das Java codebook | |
Jetzt lerne ich Borland JBuilder | |
Jetzt lerne ich Java der einfache Einstieg in die Internetprogrammierung ; [Start ohne Vorwissen] | |
Lego MindStorms - Roboter programmieren | |
Modular specification and verification of object oriented programs | |
Nonparametric Bayesian inference | |
Programming and interface specification language of JIVE - specification and design rationale | |
Programming languages and systems, 2020: | |
Universes: a type system for alias and dependency control | |
Verified software: theories, tools, experiments 4th international conference ; proceedings |