1
0
0
News
CAMPUS:AKTUELL - Newsletter der Universität Duisburg-Essen
www.uni-due.de
Produktion, Energie, Medizin oder Automotive – viele Bereiche werden immer digitaler. Die paluno-Gruppe um Prof. Maritta Heisel hat eine Software entwickelt, ... › ausgaben › ca web
Verstärkung für den Fachbereich Informatik, Hochschule ...www.lifepr.de › Hochschule Worms
www.lifepr.de
Dr. Maritta Heisel in Informatik zum Doktoringenieur promoviert. Ein wichtiges Ergebnis seines Dissertationsprojektes ist eine auf der ...
SE : Software Engineering 2012
www.wikicfp.com
Volker Gruhn (Universität Duisburg-Essen), Jens Happe (SAP), Wilhelm Hasselbring (Christian-Albrecht-Universität Kiel), Maritta Heisel (Universität Duisburg-Essen), Stefan Jähnichen (TU Berlin/FhG FIRST), Matthias Jarke (RWTH Aachen), ...
ACM SAC RE : The 4th Requirements Engineering Track
www.wikicfp.com
ACM SAC RE : The 4th Requirements Engineering Track
Netzwerk-Profile
metaScience/program_committee_member_extracted_.txt at ...
github.com
... Holger (Hasso Plattner Institute at the University of Potsdam, Germany)", "Maritta Heisel", "David Redmiles", "Reiko Heckel", "The University of Tokyo", ...
| ISBNdb
isbndb.com
Author: Maritta Heisel. Books. Quick links. ISBN Database · FAQs · Register · Contact · Report ISBN · Subscribe Now. Copyright © All rights reserved ...
Reza Curtmola - People
people.njit.edu
Auditable Version Control Systems in Untrusted Public Clouds, Ivan Mistrik, Rami Bahsoon, Nour Ali, Maritta Heisel, and Bruce Maxim (Eds.), ... › crix
Business-Profile
Alexandar Kuzmanovski, Freiberuflicher Diplom Informatiker ...www.freelancermap.de › profile › mysql › profi...
www.freelancermap.de
... Information Inference, Discussion Paper, Benjamin Fabian, Seda Gürses, Maritta Heisel, Alexandar Kuzmanovski, Thomas Santen, and Holger Schmidt.
Firmen-Mitarbeiter
Personensuche
www.uni-due.de
nat Maritta Heisel. Adresse. Anschrift. (BB) Duisburg. Raum. BB Universitätsprofessor/in Software Engineering. Hauptnavigation. Start ...
Prof. Dr. Wolfgang Reif - University of Augsburguni-augsburg.de › ... › Software Engineering › Team
www.uni-augsburg.de
... Wolfgang Reif, Martin Beyer, Stefan Gastinger, Maritta Heisel, Friedrich von Henke, Liu Junbo, Bernd Krieg-Brückner, Thomas Santen, Gerhard Schellhorn, ...
Prof. Dr. Wolfgang Reif - University of Augsburgwww.uni-augsburg.de › ... › Softwaretechnik › Team
www.uni-augsburg.de
... Joachim Faulhaber, Wolfgang Grieskamp, Heinrich Hußmann, Michael Mehlich, Wolfgang Reif, Martin Beyer, Stefan Gastinger, Maritta Heisel, Friedrich von ...
Organisation | SEUH | HTW Dresden
www.informatik.htw-dresden.de
SEUH ist eine Workshop-Reihe mit 2-jährlichem Turnus und das Forum für alle, die im deutschsprachigen Raum an Softwaretechnik-Ausbildung interessiert sind, an...
Private Homepages
Contacts | PDP4E Projectwww.pdp4e-project.eu › contacts
www.pdp4e-project.eu
. Universität Duisburg-Essen Universitätsstrasse, ESSEN GERMANY Maritta Heisel .
Ausbildung
182 results in SearchWorks catalog
searchworks.stanford.edu
... of Research Gaps and Immature Research Areas / Kristian Beckers, Stefan Eicker, Stephan Faßbender, Maritta Heisel and Holger Schmidt, et al. › catalog
Library / All Format - University of Glasgowm.lib.gla.ac.uk › search~S6
m.lib.gla.ac.uk
... Conference, SAFECOMP 2004, Potsdam, Germany, September , : proceedings / Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann (eds.).
EXTRA-Home Page
www.informatik.uni-bremen.de
... Freitag, 15 Uhr (ct), Raum 8090, wird Dr. Maritta Heisel in unserem EXTRA-Treffen einen Vortrag halten ueber: Sprachunabhaengige Unterstuetzung ...
Projekte
hol-info Mailing List for HOL theorem-proving system
sourceforge.net
... USA Martin Gebser, University of Potsdam, Germany Michael Gelfond, DE) Maritta Heisel (University of Duisburg-Essen, DE) Chris Johnson ...
EU H2020 Project "RESTASSURED (Secure Data Processing ...
www.fabiodisconzi.com
... Dhouha Ayed, John Boyle, Maritta Heisel, Andreas Metzger, Paul Mundt ... not embedded into any word file), twitter account, linkedin page, etc. › p...
HOL theorem-proving system / List hol-info Archives
sourceforge.net
... LinkedIn group: https://www.linkedin.com/groups?home=&gid= &trk= (Fernuniversität in Hagen, DE) Maritta Heisel (University of Duisburg-Essen, ...
Bücher
[Software Service and Application Engineering - Lecture Notes in Computer Science / Programming and Software Engineering ] [Maritta Heisel]
von Maritta Heisel, Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2012, Taschenbuch
Formale Programmentwicklung mit dynamischer Logik
von Maritta Heisel, Deutscher UniversitätsvlgBroschiert
maritta heisel - ZVAB
www.zvab.com
Software Service and Application Engineering : Essays Dedicated to Bernd Krämer on the Occasion of His 65th Birthday von Maritta Heisel und eine große Auswahl...
AbeBooks: Software Service and Application Engineering von Maritta Heisel:...
Jetzt verfügbar bei AbeBooks.de - Versand nach gratis - ISBN: Taschenbuch - Springer-Verlag Gmbh Mai Zustand: Neu - Neuware -...
Musik
Maritta Heisel – alle Bücher – jpc.de
www.jpc.de
Maritta Heisel Software Service and Application Engineering. sofort lieferbar i **. Buch ... Maritta Heisel Computer Safety, Reliability, and Security. PThis book ...
Dokumente zum Namen
Nessos
de.slideshare.net
NESSOS Network of Excellence on Engineering Secure Future Internet Software Services and Systems Fabio Martinelli
Szenarien und Erfahrungen mobilen situierten Lernens an Hochschulen
de.slideshare.net
Szenarien und Erfahrungen mobilen situierten Lernens an Hochschulen …
Learning from Online Regrets: From Deleted Posts to Risk ...arxiv.org › cs
arxiv.org
· ... Online Regrets: From Deleted Posts to Risk Awareness in Social Network Sites. Authors:Nicolas E. Diaz Ferreyra, Rene Meis, Maritta Heisel.
Heisel, Maritta [WorldCat Identities]
worldcat.org
Engineering secure future internet services and systems : current research by Maritta Heisel( ) 10 editions published in in English and held by
Wissenschaftliche Veröffentlichungen
Professor Dr. Maritta Heisel - Gepris - DFG
gepris.dfg.de
Professor Dr. Maritta Heisel. Als Antragsteller laufende Projekte. Strukturierte Erzeugung und Bewertung von Designalternativen für Softwarearchitekturen.
Westfälische Wilhelms-Universität Münster: Jahresbericht
www.uni-muenster.de
Jahresbericht der Universität Münster 2004
Programmkomitee SE RWTH Aachenwww.se2013.rwth-aachen.de › ...
www.se2013.rwth-aachen.de
... Holger Giese (HPI Universität Potsdam); Martin Glinz (Universität Zürich) ... Hasselbring (Christian-Albrecht-Universität Kiel); Maritta Heisel (Universität ...
Software Architecture for Big Data and the Cloud | ScienceDirectwww.sciencedirect.com › book › software-architectu...
www.sciencedirect.com
... processing systems have gained a lot of attention, particularly within social media companies such as Twitter and LinkedIn Maritta Heisel, Rami Bahsoon, .
Veröffentlichungen allgemein
bol.com: Maritta Heisel artikelen kopen? Alle artikelen online - bol.com
Artikelen van Maritta Heisel koop je eenvoudig online bij bol.com ✓ Vele aanbiedingen rd International Conference, SAFECOMP 2004, Potsdam, Germany, ...
bol.com: Maritta Heisel artikelen kopen? Alle artikelen online - bol.comwww.bol.com › maritta-heisel
Bewertung 5,0 (1.779) Op zoek naar artikelen van Maritta Heisel? Artikelen van Maritta Heisel koop je eenvoudig online bij bol.com ✓ Snel in huis ✓ Veelal gratis verzonden. Bewertung 5,0 (1.779) Op zoek naar artikelen van Maritta Heisel? Artikelen van Maritta Heisel koop je eenvoudig online bij bol.com ✓ Snel in huis ✓ Veelal gratis verzonden.
bol.com: Formale Programmentwicklung Mit Dynamischer Logik | |...
Formale Programmentwicklung Mit Paperback. Formale Programmentwicklung Mit Dynamischer Logik is een boek van Maritta Heisel.
FoCE2 Maritta Heisel Intr
www.yumpu.com
FoCE2 Maritta Heisel Intr FoCE2 Maritta Heisel Introduction Design of algorithms Syntax and semantics Stepwise refinement Control
Artikel & Meinungen
digital communication lab manual pdf - Rediff Blogs
blogs.rediff.com
... find the Lumia examples which were initiated in Maritta Heisel, LinkedIn integration. eos-350d-digital-rebel-xt-operators-manual.pdf ...
Schloss Dagstuhl : Seminar Homepage
www.dagstuhl.de
Engineering Resilient Systems: Models, Methods and Tools Organizers. Nicolas Guelfi (University of Luxembourg, LU) Maritta Heisel (Universität Duisburg-Essen, DE)
DBWorld Message
research.cs.wisc.edu
... Brazil Maritta Heisel, Duisburg-Essen University, Germany Mehmet Aksit, Univ. Twente Drienerlolaan Enschede, The Netherlands Michael Jackson, The Open ...
Schloss Dagstuhl : Participant List
www.dagstuhl.de
... des Heeres – Feldafing, DE); Maritta Heisel (Universität Duisburg-Essen, DE) ... DE); Bernhard Kaiser (Hasso-Plattner-Institut – Potsdam, DE); Eugene Kindler ...
Sonstiges
Bücher von Maritta Heisel bei Google Play
play.google.com
Viel Spaß mit Millionen aktueller Android-Apps, Spielen, Musik, Filmen, Serien, Büchern und Zeitschriften – jederzeit, überall und auf allen deinen Geräten.
Books by Peter Liggesmeyer on Google Play
play.google.com
Enjoy millions of the latest Android apps, games, music, movies, TV, books, magazines & more. Anytime, anywhere, across your devices.
Call for Papers: SAC Requirements Engineering Track - Dr ...sites.google.com › site › gillesperrouin › news
sites.google.com
... Brazil Maritta Heisel, Duisburg-Essen University, Germany Mehmet Aksit, Univ. Twente Drienerlolaan Enschede, The Netherlands Michael Jackson, The Open ...
[ Text 18 KB ]
lists.ruhr-uni-bochum.de
iso ?q?dentit=E4ten=2C_Daten_und_Dienste?= Message-ID: < ... Bernhard Hämmerli (Hochschule Luzern, Schweiz) Maritta Heisel (Universität Duisburg-Essen) Eckehard Hermann ...
Maritta Heisel - researchr aliasresearchr.org › alias › maritta-heisel
researchr.org
2019 · Combining Safety and Security in Autonomous Cars Using Blockchain TechnologiesLucas Davi, Denis Hatebur, Maritta Heisel, Roman Wirtz. · Learning from ...
Heisel - Names Encyclopedia
namespedia.com
Writers: Jürgen Heisel, Paul Heisel, Maritta Heisel, Dorelle Heisel, Joachim P. Heisel, Nancy Heisel Dawley, Marnin Jori Heisel, W. Donald Heisel, Sharon E. Heisel
Text 39 KB - Mailinglisten auf lists.ruhr-uni-bochum.de
lists.ruhr-uni-bochum.de
Beste Grüße, Christopher Wolf *Begehrt: IT-Sicherheit ?made in Germany? ... (Hochschule Luzern, Schweiz) Maritta Heisel (Universität Duisburg-Essen) Eckehard ...
Maritta Heisel: Cărți programare, dezvoltare software | Books Express
www.books-express.ro
Comandă orice carte de Maritta Heisel din categoria programare, dezvoltare software cu livrare rapidă prin curier oriunde în România. Ambalare de cadou...
Hunter Street Books
www.hunterstreetbooks.com
Search results for: Heisel, Maritta ... Titles by: Heisel, Maritta ... Safecomp 2004, Potsdam, Germany, September ,2004, Proceedings | Paperback Maritta ...
maritta heisel : 4 livres | chapters.indigo.ca
www.chapters.indigo.ca
Achetez les livres de maritta heisel sur Indigo.ca. Magasinez parmi 4 livres populaires, notamment Engineering Secure Future Internet Services and Systems,...
Maritta Heisel - SciTePress
www.scitepress.org
Name: Maritta Heisel. Number of Co-Authors: 5. Number of Papers: 12. Publications Years: Affiliation History: Duisburg-Essen University, Germany ...
Software Service And Application Engineering By Maritta Heisel
hivynypiva.cf
Engineering Maritta Heisel Springer. Essays Dedicated to Bernd KrAcmer on the Occasion of His 65th Birthday Springer . Software Service and ...
Context Modelling for Variability-intensive Systems During ...
www.taylorfrancis.com
von N Ulfat-Bunyadi · · Zitiert von: 1 — ByNelufar Ulfat-Bunyadi, Maritta Heisel. BookSoftware Engineering for Variability Intensive Systems. Click here to navigate to parent product. › edit
Deakin University All...
library2.deakin.edu.au
Title, Engineering secure future internet services and systems : current research / Maritta Heisel, Wouter Joosen, Javier Lopez, Fabio Martinelli (Eds.) ...
ACM SAC FOSORIO's WORLD
osorio.wait4.org
Maritta Heisel (Duisburg-Essen University, Germany). Mehmet Aksit (Univ. Twente D. Enschede, The Netherlands). Oscar Pastor (Universitat Politècnica de ...
Heisel, Maritta - alle Bücher Online
buchfindr.de
✅ Heisel, Maritta: ✅ : Hier finden Sie alle Bücher und Publikationen des Autors auf buch-findr.de Formale Programmentwicklung mit dynamischer Log
EuroPLoP | EuroPLoP
www.europlop.net
Papers at EuroPLoP Taichi Isaku, Takashi Iba: Towards a pattern language for cooking: a generative approach to cooking Kristian Beckers, Stephan Faßbender, Maritta Heisel: Deriving a pattern language syntax for context-patterns
CEUR-WS.org/Vol Doctoral Symposium of the International...
ceur-ws.org
Maritta Heisel * Eda Marchetti ** * University of Duisburg-Essen, Software Engineering, Duisburg, Germany **Istituto di Scienza e Tecnologie dell'Informazione ...
DROPS - Engineering Resilient Systems: Models, Methods and Tools...
drops.dagstuhl.de
BibTeX - Entry @Article{heisel_et_al:DR:2013:4007, author = {Maritta Heisel and Mohamed Kaaniche and Alexander Romanovsky and Elena Troubitsyna}, title ...
sortiert nach Relevanz / Datum