Top 122 helga turku auth PDF Book Page 3

book image

Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

Jean-Raymond Abrial (auth.), Einar Broch Johnsen, Luigia Petre (eds.)
·455 Pages
·2013
·7.939 MB

book image

Well-Being in the Information Society. When the Mind Breaks. 9th International Conference, WIS 2022 Turku, Finland, August 25–26, 2022 Proceedings

Hongxiu Li, Maehed Ghorbanian Zolbin, Robert Krimmer, Jukka Kärkkäinen, Chenglong Li, Reima Suomi
·225 Pages
·2022
·6.618 MB

book image

Integrated Formal Methods: Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings

Eran Gery, David Harel, Eldad Palachi (auth.), Michael Butler, Luigia Petre, Kaisa Sere (eds.)
·410 Pages
·2002
·3.92 MB

book image

Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings

Robert Harper (auth.), Josep Díaz, Juhani Karhumäki, Arto Lepistö, Donald Sannella (eds.)
·1272 Pages
·2004
·10.619 MB

book image

Algorithmic Aspects of Wireless Sensor Networks: First International Workshop, ALGOSENSORS 2004, Turku, Finland, July 16, 2004. Proceedings

Viktor K. Prasanna (auth.), Sotiris E. Nikoletseas, José D. P. Rolim (eds.)
·210 Pages
·2004
·4.085 MB

book image

ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings

Daniel Jackson (auth.), Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldén (eds.)
·558 Pages
·2003
·4.309 MB

book image

Researching the Future in Information Systems: IFIP WG 8.2 Working Conference, Turku, Finland, June 6-8, 2011. Proceedings

Mike Chiasson, Ola Henfridsson (auth.), Mike Chiasson, Ola Henfridsson, Helena Karsten, Janice I. DeGross (eds.)
·309 Pages
·2011
·3.345 MB

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.