Theory and Applications of Satisfiability Testing – SAT 2020
Luca Pulina, Martina Seidl
Häftad, 2020
729 kr
Del i serien Undergraduate Topics in Computer Science
999 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Martina Seidl is assistant professor at the Institute for Formal Models and Verification at the Johannes Kepler University Linz and research associate of the Business Informatics Group of the Vienna University of Technology. Her research focuses on formal methods in modeling, model evolution as well as different aspects of automated theorem proving. She has been involved in teaching numerous courses for all stages of the computer science curricula in Vienna and Linz, many of them directly related to her research.Marion Scholz studied computer science at the Vienna University of Technology and at the University of Vienna. Since 2007 she teaches object-oriented modeling to first year bachelor students studying computer science and business informatics. As a senior lecturer, her research interests are new teaching methods with a strong focus on e-learning technologies. One of her main challenges is raising the quality of teaching despite large numbers of students.Christian Huemer is associate professor in the Business Informatics Group of the Vienna University of Technology and serves as vice-dean of academic affairs for business informatics. In addition, he is Scientific Director of the Research Centre Smart Agent Technologies of Research Studios Austria. For ten years he was Chair of the Techniques & Methodologies Group of the United Nations Centre for Trade Facilitation and e-Business (UN / CEFACT). In particular, he has been the project lead of UN / CEFACT Modeling Methodology (UMM) - a UML profile for the specification of inter-organizational business processes.Gerti Kappel is a full professor at the Institute of Software Technology and Interactive Systems at the Vienna University of Technology, chairing the Business Informatics Group. She is head of the Doctoral College “Adaptive Distributed Systems”, funded by Vienna University of Technology. Her current research interests include model engineering (model transformation/versioning/evolution, model-driven software development, object-oriented modeling), Web engineering (ubiquitous Web technologies, context awareness, information integration, model-driven development), and process engineering (process modeling, inter-organizational systems, workflow systems).
Select Guide Rating
Luca Pulina, Martina Seidl
Häftad, 2020
729 kr
Martina Seidl, Steffen Zschaler
Häftad, 2018
749 kr
Gilles Dowek, Jean-Jacques Lévy
Häftad, 2010
519 kr
Kappel, Pröll, Gerti Kappel, Birgit Pröll, Siegfried Reich, Werner Retschitzegger
Häftad, 2006
1 069 kr
Gillian Dobbie, Ulrich Frank, Gerti Kappel, Stephen W. Liddle, Heinrich C. Mayr
Häftad, 2020
749 kr
Martina Seidl, Steffen Zschaler
Häftad, 2018
749 kr
Luca Pulina, Martina Seidl
Häftad, 2020
729 kr