Del 12178Theory and Applications of Satisfiability Testing – SAT 2020Luca Pulina, Martina SeidlHäftad, 2020709 kr
Del 10748Software Technologies: Applications and FoundationsMartina Seidl, Steffen ZschalerHäftad, 2018739 kr
Web EngineeringKappel, Pröll, Gerti Kappel, Birgit Pröll, Siegfried Reich, Werner RetschitzeggerHäftad, 20061 049 kr
Del 12400Conceptual ModelingGillian Dobbie, Ulrich Frank, Gerti Kappel, Stephen W. Liddle, Heinrich C. MayrHäftad, 2020739 kr
Del 10748Software Technologies: Applications and FoundationsMartina Seidl, Steffen ZschalerHäftad, 2018739 kr
Del 12178Theory and Applications of Satisfiability Testing – SAT 2020Luca Pulina, Martina SeidlHäftad, 2020709 kr