Publikationer (20)

Sortera efter: Datum |
10 | 25 | 50 | 100 
Föregående sida Föregående sida1/2 Nästa sida Sista sidan
A Å B C D E F G H I J K L M N O P Q R S T U V W Alla 
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Future youth information and counselling: Building on information needs and trends (2018)
Muhaimin Karim, Gunilla Widén
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Fast Algorithms for Fragmentable Items Bin Packing (2017)
Benjamin Byholm, Ivan Porres
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Facilitating Formal Event-B Development by Visual Component-based Design (2015)
Sergey Ostroumov, Marina Waldén
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Formal Library of Visual Components (2015)
Sergey Ostroumov, Marina Waldén
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Formal Reasoning about Resilient Goal-Oriented Multi-Agent Systems (2015)
Linas Laibinis, Inna Pereverzeva, Elena Troubitsyna
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Forsknings- & kompetenssatsning inom utbildningsvetenskap vid Umeå universitet 2009-2016. Extern evaluering (2015)
Anders Ahrnqvist, Sven-Erik Hansén, Lena Tibell
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Full Structural Model Refinement as Type Refinement of Colored Petri Nets (2015)
Diana-Elena Gratie, Ion Petre
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Feedback theory extended for proving generation of contraction semigroups (2014)
Mikael Kurula, Hans Zwart
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Fit-Preserving Data Refinement of Mass-Action Reaction Networks (2014)
Cristian Gratie, Ion Petre
D4 Publicerad utvecklings- eller forskningsrapport eller studie
FormAgi – A Concept for More Flexible Formal Developments (2014)
Marta Olszewska, Marina Waldén
10 | 25 | 50 | 100 
Föregående sida Föregående sida1/2 Nästa sida Sista sidan
Dela länk