Publications (14275)

Sort by: Date | Title
10 | 25 | 50 | 100 
First page Previous page1375/1428 Next page Last page
A Â Å Ä Æ B C D E É F G H I J K L M N O Ö P Q R S T U Ü V W X Y Z Α А В Г К Л М О П Р С Т Ф Ц Э Я All 
E1 Popularised article, newspaper article
Vem är stadskärnan till för? (2017)
Mio Lindman
Ikaros
A3 Book section, Chapters in research books
Verbes labiles au transitif absolu : enjeux en français (2014)
Meri Larjavaara
Peter Lang
A1 Journal article (refereed)
Verification and code generation for invariant diagrams in Isabelle (2015)
Viorel Preoteasa, Ralph-Johan Back, Johannes Eriksson
View on publisher's site
A4 Conference proceedings
Verification and Validation of a Pressure Control Unit for Hydraulic Systems (2014)
Pontus Boström, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama
Lecture notes for computer science
View on publisher's site
D4 Published development or research report or study
Verifying Time Petri Nets by Linear Programming (1999)
Xuandong Li, Johan Lilius
E1 Popularised article, newspaper article
Verken himmel eller helvete (2014)
Siv Sandberg
Kommunal Rapport
10 | 25 | 50 | 100 
First page Previous page1375/1428 Next page Last page
Share link Export

Share link