Top 37 aalborg PDF Book

book image

Bykatalog Aalborg midtby

Karin Boserup
·149 Pages
·1998
·33.87 MB

book image

Reachability Problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

Kim Guldstrand Larsen, Igor Potapov, Jiří Srba (eds.)
·205 Pages
·2016
·5.168 MB

book image

User Modeling, Adaptation, and Personalization: 22nd International Conference, UMAP 2014, Aalborg, Denmark, July 7-11, 2014. Proceedings

Francesco Ricci, Vania Dimitrova, Tsvi Kuflik, David Chin, Peter Dolog, Geert-Jan Houben (eds.)
·532 Pages
·2014
·17.27 MB

book image

15th Nordic-Baltic Conference on Biomedical Engineering and Medical Physics (NBC 2011): 14-17 June 2011, Aalborg, Denmark

Vikramajeet Khatri, Carrie B. Peterson (auth.), Kim Dremstrup, Steve Rees, Morten Ølgaard Jensen (eds.)
·290 Pages
·2011
·32.598 MB

book image

CONCUR 2001 — Concurrency Theory: 12th International Conference Aalborg, Denmark, August 20–25, 2001 Proceedings

Parosh Aziz Abdulla, Bengt Jonsson (auth.), Kim G. Larsen, Mogens Nielsen (eds.)
·593 Pages
·2001
·6.577 MB

book image

Reliability and Optimization of Structural Systems: Proceedings of the First IFIP WG 7.5 Working Conference Aalborg, Denmark, May 6–8, 1987

J. Amdahl, B. Leira, Yu-Lin Wu (auth.), P. Thoft-Christensen (eds.)
·464 Pages
·1987
·16.571 MB

book image

Proceedings from 5th Scandinavian Logic Symposium, Aalborg, 17-19 January 1979

Finn Jensen, Brian Mayoh, Karen Moller (eds.)
·372 Pages
·1979
·22.417 MB

book image

Automata, Languages and Programming: 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings

Yonit Kesten, Amir Pnueli, Li-on Raviv (auth.), Kim G. Larsen, Sven Skyum, Glynn Winskel (eds.)
·928 Pages
·1998
·6.238 MB

book image

Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings

Jean-Francois Kempf, Marius Bozga, Oded Maler (auth.), Uli Fahrenberg, Stavros Tripakis (eds.)
·368 Pages
·2011
·4.767 MB

book image

Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 7th European Conference, ECSQARU 2003 Aalborg, Denmark, July 2-5, 2003 Proceedings

Didier Dubois, Hélène Fargier, Régis Sabbadin (auth.), Thomas Dyhre Nielsen, Nevin Lianwen Zhang (eds.)
·618 Pages
·2003
·6.319 MB

book image

Secure IT Systems: 24th Nordic Conference, NordSec 2019, Aalborg, Denmark, November 18–20, 2019, Proceedings

Aslan Askarov, René Rydhof Hansen, Willard Rafnsson
·288 Pages
·2019
·14.702 MB