Åbo Akademi University Library - The Biblio database

Biblio: the search term institution=('Institutionen för informationsbehandling') results in 264 hits

1.	Aspnäs, Mats / Institutionen för informationsbehandling
	Efficient implementation of multi-process handshaking on broadcasting networks / M. Aspnäs, R. J. R. Back, R. Kurki-Suonio. - Åbo : Åbo Akademi, 1989. - 20 blad : ill. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 75). ISBN 951-649-572-9 UDC 681.3
2.	Aspnäs, Mats / Institutionen för informationsbehandling
	Hathi-2 : users guide, version 1.0 / M. Aspnäs, T.-E. Malen. - Åbo : Åbo Akademi, 1989. - 18, 10 blad : ill. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. B, ISSN 0358-3392 ; no 6). ISBN 951-649-569-9 UDC 681.3
3.	Aspnäs, Mats / Institutionen för informationsbehandling
	The Hathi-2 multiprocessor systems / M. Aspnäs, R. J. R. Back, T.-E. Malen. - Åbo : Åbo Akademi, 1989. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A ; 80 ). ISBN 951-649-604-0
4.	Aspnäs, Mats / Institutionen för informationsbehandling
	The Hathi project : a research project on parallel programming technology 1986-1988 (final report) / M. Aspnäs, R. J. R. Back, K. Sere. - Åbo : Åbo Akademi, 1989. - 55 blad : ill. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 95). ISBN 951-649-654-7 UDC 681.3
5.	Aspnäs, Mats / Institutionen för informationsbehandling
	Multiprocessor applications in the Hathi project / M. Aspnäs, R. J. R. Back. - Åbo : Åbo Akademi, 1989. - 17 blad : ill. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 96). Även i: Scientific computing in Finland, K. Kankala, R. Nieminen, eds. CSC research reports R1/89, s. 5-21. ISBN 951-649-655-5 UDC 681.3
6.	Aspnäs, Mats / Institutionen för informationsbehandling
	A programming environment for a transputer-based multiprocessor system / M. Aspnäs, R. J. R. Back. - Åbo : Åbo Akademi, 1989. - 10 blad : ill. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 82). Även som abstract i: T. Gyimothy (ed.), Symposium on programming languages and software tools. ISBN 951-649-608-3 UDC 681.3
7.	Aspnäs, Mats / Institutionen för informationsbehandling
	Transputer benchmark tests / M. Aspnäs, T-E. Malén. - Åbo : Åbo Akademi, 1989. - 8 s. : tab. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; 97). ISBN 951-649-656-3
8.	Back, Ralph-Johan / Institutionen för informationsbehandling
	Combining angels, demons and miracles in program specifications / R. J. R. Back, J. von Wright. - Åbo : Åbo Akademi, 1989. - 18 lehteä : ill. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 86). Sarjalla myös engl. nimeke. ISBN 951-649-626-1 UDC 681.3, 51
9.	Back, Ralph-Johan / Institutionen för informationsbehandling
	Duality in specification languages : a lattice-theoretical approach / R. J. R. Back, J. von Wright. - Åbo : Åbo Akademi, 1989. - 37 blad - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 77). ISBN 951-649-592-3 UDC 51
10.	Back, Ralph-Johan / Institutionen för informationsbehandling
	Efficient implementation of multi-process handshaking on broadcasting networks / M. Aspnäs, R. J. R. Back, R. Kurki-Suonio. - Åbo : Åbo Akademi, 1989. - 20 blad : ill. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 75). ISBN 951-649-572-9 UDC 681.3
11.	Back, Ralph-Johan / Institutionen för informationsbehandling
	The Hathi-2 multiprocessor systems / M. Aspnäs, R. J. R. Back, T.-E. Malén. - Åbo : Åbo Akademi, 1989. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A ; 80 ). ISBN 951-649-604-0
12.	Back, Ralph-Johan / Institutionen för informationsbehandling
	The Hathi project : a research project on parallel programming technology 1986-1988 (final report) / M. Aspnäs, R. J. R. Back, K. Sere. - Åbo : Åbo Akademi, 1989. - 55 blad : ill. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 95). ISBN 951-649-654-7 UDC 681.3
13.	Back, Ralph-Johan / Institutionen för informationsbehandling
	A lattice-theorethical basis for a specification language / R. J. R. Back, J. von Wright. - In: Mathematics of progran construction : 375th anniversary of the Groningen university international conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings / J. L. A. van de Snepscheut (ed.). - Berlin : Springer, 1989, s. 139-156. - (Lecture Notes in Computer Science ; 375). ISBN 3-540-51305-1 0-387-51305-1
14.	Back, Ralph-Johan / Institutionen för informationsbehandling
	Multiprocessor applications in the Hathi project / M. Aspnäs, R. J. R. Back. - Åbo : Åbo Akademi, 1989. - 17 blad : ill. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 96). Även i: Scientific computing in Finland, K. Kankala, R. Nieminen, eds. CSC research reports R1/89, s. 5-21. ISBN 951-649-655-5 UDC 681.3
15.	Back, Ralph-Johan / Institutionen för informationsbehandling
	A programming environment for a transputer-based multiprocessor system / M. Aspnäs, R. J. R. Back. - Åbo : Åbo Akademi, 1989. - 10 blad : ill. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 82). Även som abstract i: T. Gyimothy (ed.), Symposium on programming languages and software tools. ISBN 951-649-608-3 UDC 681.3
16.	Back, Ralph-Johan / Institutionen för informationsbehandling
	Refinement calculus : part 1: sequential nondeterministic programs / R. J. R. Back, J. von Wright. - Åbo : Åbo Akademi, 1989. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A ; 92 ). ISBN 951-649-651-2
17.	Back, Ralph-Johan / Institutionen för informationsbehandling
	Refinement calculus : part 2: parallel and reactive programs / R. J. R. Back. - Åbo : Åbo Akademi, 1989. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A ; 93 ). ISBN 951-649-652-0
18.	Back, Ralph-Johan / Institutionen för informationsbehandling
	Refinement concepts formalized in higher order logic / R. J. R. Back, J. von Wright. - Åbo : Åbo Akademi, 1989. - 21 blad - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 85). ISBN 951-649-623-7 UDC 681.3, 51
19.	Back, Ralph-Johan / Institutionen för informationsbehandling
	Stepwise refinement of action systems / R. J. R. Back, K. Sere. - Åbo : Åbo Akademi, 1989. - 22 blad : ill. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 78). Även i: van de Snepscheut (ed.), Mathematics of program construction. 375 anniversary of the Groningen university international conference, Groningen, The Netherlands 29-30 June 1989. Proceedings s 115-138. ISBN 951-649-593-1 UDC 51
20.	Eklund, Patrik / Institutionen för informationsbehandling
	Block placement in switching networks / P. Eklund, T.-E. Malén. - In: CONPAR 88 / ed. C. R. Jesshope, K. D. Reinartz. - Cambridge : Cambridge U. P., 1989, s. 299-305. - (BCS Workshop Serie). ISBN 0-521-37177-5
21.	Eklund, Patrik / Institutionen för informationsbehandling
	Formalism and implementations of C-calculus / E. R. Caianciello...et al. - In: Computational intelligence : proceedings of the International Conference, Milan, Italy, 26-30 September 1988 : vol 1 / eds. A. Martelli, G. Valle. - North-Holland : Elsevier, 1989, s. 15-26. ISBN 0-444-87340-6
22.	Eklund, Patrik / Institutionen för informationsbehandling
	Implementations of the C-calculus / E. R. Caianiello, P. E. Eklund, A. G. S. Ventre. - In: Connection science, ISSN 0954-0091, 1 (1989) s. 41-51.
23.	Eklund, Patrik / Institutionen för informationsbehandling
	Parallel C-calculus : a case study / E. R. Caianiello, P. E. Eklund, A. G. S. Ventre. - In: Proceedings of the 6th Scandinavian Conference on Image Analysis : Oulu, June 19-22, 1989 / ed.: Matti Pietikäinen, Juha Röning. - Oulu : Pattern Recognition Society of Finland, 1989, s. 705-708. ISBN 952-90089-0-2 UDC 51, 681.3
24.	Eklund, Patrik / Institutionen för informationsbehandling
	A parallel implementation of C-calculus / E. R. Caianciello, P. E. Eklund, A. S. G. Ventre. - In: Parallel architectures and neural networks / ed. E. R. Caianciello : World Scientific publ., 1989, s. 46-62. ISBN 9971-50-905-9
25.	Eriksson, Inger / Institutionen för informationsbehandling
	A covering structure of IS quality concepts / Inger Eriksson and Aimo Törn. - Åbo : Åbo Akademi. Institutionen för informationsbehandling & matematiska i institutet, 1989. - 12 s. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0653 ; 89). 951-649-644-X.
26.	Eriksson, Inger / Institutionen för informationsbehandling
	Learning process in the context of using ISs / Inger Eriksson. - In: System development for human progress : proceedings of the IFIP WG 8.2 working conference on information system development for human progress in organisations, Atlanta, GA 29-31 May 1987 / eds. H. K. Klein and K. Kumar. - North Holland : Elsevier, 1989, s. 268-271, 273-275. ISBN 0-444-87311-2
27.	Eriksson, Inger / Institutionen för informationsbehandling
	A method for supporting user's comprehensive learning / R. Hellman, M. Nurminen, I. Eriksson. - In: Education and computing, ISSN 0167-9287, 4 (1989) 4, s. 251-264.
28.	Eriksson, Inger / Institutionen för informationsbehandling
	A visual simulation model of information and work system / Inger Eriksson. - In: Proceedings of the 12th IRIS, part I : information systems research seminar in Scandinavia, August 13-16, 1989, Skagen, Denmark / S. BÖdker (ed.). - Aarhus : Aarhus univ. Computer science department, 1989, s. 149-168. - (DAIMI PB, ISSN 0105-8517 ; 296-1).
29.	Komorowski, Jan / Institutionen för informationsbehandling
	Synthesis of programs in the framework of partial deduction / Jan Komorowski. - Åbo : Åbo Akademi, 1989. - 20 s. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 81). Även i: Proceedings of the workshop of alternatives of logic programming, Kuopio, May 22-25, 1989, M. Penttonen, E. Kikka, (eds.). Kuopio, 1989, s. 201-221. ISBN 951-649-605-9 UDC 681.3
30.	Komorowski, Jan / Institutionen för informationsbehandling
	Towards synthesis of programs in the partial deduction framework / Jan Komorowski. - In: IJCAI-89 : proceedings of the eleventh international joint conference on artificial intelligence, Detroit, Michigan, August 20-25, 1989. - San Mateo, Calif. : Morgan Kaufmann, 1989, ISBN 1-55860-094-9 UDC 681.327.12:159.95:061.3
31.	Sere, Kaisa / Institutionen för informationsbehandling
	Free text retrieval on transporter networks / M. Waldén and K. Sere. - In: Microprocessors and microsystems, ISSN 0141-9331, (1989) s. 179-187.
32.	Sere, Kaisa / Institutionen för informationsbehandling
	The Hathi project : a research project on parallel programming technology 1986-1988 (final report) / M. Aspnäs, R. J. R. Back, K. Sere. - Åbo : Åbo Akademi, 1989. - 55 blad : ill. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 95). ISBN 951-649-654-7 UDC 681.3
33.	Sere, Kaisa / Institutionen för informationsbehandling
	Stepwise refinement of action systems / R. J. R. Back, K. Sere. - Åbo : Åbo Akademi, 1989. - 22 blad : ill. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 78). Även i: van de Snepscheut (ed.), Mathematics of program construction. 375 anniversary of the Groningen university international conference, Groningen, The Netherlands 29-30 June 1989. Proceedings s 115-138. ISBN 951-649-593-1 UDC 51
34.	Shen, Hong / Institutionen för informationsbehandling
	Fast path-disjoint routing for transputer networks / H. Shen. - In: Symposium on programming languages and software tools : proceedings of the First Finnish-Hungarian Workshop, 8-11 August, 1989, Szeged,Hungary / ed. T. Gyimothy. - Szeged : Research Group on the Theory of Automata, Hungarian Academy of Sciences, 1989, s. 157-167. UDC 519.682:681.3.06:061.3
35.	Shen, Hong / Institutionen för informationsbehandling
	Mappings parallel programs onto transputer networks / H. Shen. - Åbo : Åbo Akademi, 1989. - 8 s. : ill. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik ; no 79). Även i: Proceedings of 1989 Australian transputer and occam user group conference, J. Hulskamp (ed.) RMIT, 1989, 85-94. ISBN 951-649-601-6
36.	Shen, Hong / Institutionen för informationsbehandling
	Occam implementation of path-disjoint routing on the Hathi-2 transputer system / H. Shen. - Åbo : Åbo Akademi, 1989. - 20 s. : ill. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A ; 98 ). ISBN 951-649-670-6
37.	Shen, Hong / Institutionen för informationsbehandling
	Self-adjusting mapping : a heuristic mapping algorithm for mapping parallel programs onto transputer networks / H. Shen. - Åbo : Åbo Akademi, 1989. - 10 blad : ill. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 87). Även i: J. Wexler (ed.), Developing transputer applications. Proceedings of 11th occam user group technical meeting, Edinburgh, U. K. 25-26.9.1989. ISBN 951-649-628-8 UDC 51, 681.3
38.	Sörgaard, Pål / Institutionen för informationsbehandling
	An overview of research in maintenance / Pål Sörgaard. - Åbo : Åbo Akademi, 1989. - 26 s. : ill. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 94). ISBN 951-649-653-9 UDC 681.3
39.	Sörgaard, Pål / Institutionen för informationsbehandling
	Transaction-supporting systems and organization change / Pål Sörgaard. - In: Office technology and people, ISSN 0167-5710, 4 (1989) 3, s. 229-243.
40.	Törn, Aimo / Institutionen för informationsbehandling
	A covering structure of IS quality concepts / Inger Eriksson and Aimo Törn. - Åbo : Åbo Akademi. Institutionen för informationsbehandling & matematiska i institutet, 1989. - 12 s. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0653 ; 89). 951-649-644-X.
41.	Törn, Aimo / Institutionen för informationsbehandling
	Global optimization / Aimo Törn, Antanas Zilinskas. - Berlin : Springer, 1989. - 255 s. - (Lecture notes in computer science ; 350). S. 217-252: Bibliografi. ISBN 3-540-50871-6 UDC 519.853
42.	Törn, Aimo / Institutionen för informationsbehandling
	PICA : a graphical program development tool / A. A. Törn. - In: Symposium on programming languages and software tools : proceedings of the First Finnish-Hungarian Workshop, 8-11 August, 1989, Szeged,Hungary / ed. T. Gyimothy. - Szeged : Research Group on the Theory of Automata, Hungarian Academy of Sciences, 1989, s. 65-78. UDC 519.682:681.3.06:061.3
43.	Törn, Aimo / Institutionen för informationsbehandling
	PICA : a graphical program development tool / A. A. Törn. - In: Software development trends : the joint Finnish-Soviet software symposium, Helsinki, Finland, 15-17 November, 1988 / ed. by Pentti Uuspää, Jorma Mononen. - Espoo : Valtion teknillinen tutkimuskeskus. Sähkö- ja automaatiotekniikan laboratorio, 1989, s. 65-68. - (VTT symposium, ISSN 0357-9387 ; 104). ISBN 951-38-3495-6 UDC 621.3
44.	Aspnäs, Mats / Institutionen för informationsbehandling
	Modeling the Hathi-2 monitoring system / M. Aspnäs, T. Kerola. - Åbo : Åbo Akademi, 1990. - 13 bl. : diagr., tab. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 110). ISBN 951-649-754-3 UDC 681.3
45.	Aspnäs, Mats / Institutionen för informationsbehandling
	A monitoring system for a transputer-based multiprocessor / M. Aspnäs, T. Långbacka. - Åbo : Åbo Akademi, 1990. - 15 bl. : ill. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 118). ISBN 951-649-808-6
46.	Aspnäs, Mats / Institutionen för informationsbehandling
	An implementation of the ODE block algorithms for transputer systems / Yu. P. Boglaev, A. P. Karpenko, M. Aspnäs. - Åbo : Åbo Akademi, 1990. - 12 blad : ill. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik, ISSN 0358-0563 ; no 113). ISBN 951-649-774-8 UDC 51, 681.3
47.	Aspnäs, Mats / Institutionen för informationsbehandling
	Hathi-2 multiprocessor system / M. Aspnäs, R. J. R. Back, T.-E. Malen. - In: Microprocessors and microsystems, ISSN 0141-9331, 14 (1990) 7, s. 457-465. Tidigare publ. i: Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; 80.
48.	Aspnäs, Mats / Institutionen för informationsbehandling
	A programming environment for a transputer-based multiprocessor system / M. Aspnäs, R. J. R. Back. - In: Acta cybernetica, ISSN 0324-5547, 9 (1990) 3, s. 291-301. Tidigar publ. i: Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 82.
49.	Back, Ralph-Johan / Institutionen för informationsbehandling
	Deriving an occam implementation of action systems / R. J. R. Back, K. Sere. - Åbo : Åbo Akademi, 1990. - 24 blad : ill. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 99). Även i: Proceedings of Third Refinement Workshop. BC FACS/IBM UK/Oxford university PRG 1990. ISBN 951-649-685-7 UDC 51
50.	Back, Ralph-Johan / Institutionen för informationsbehandling
	Stepwise refinement of parallel algorithms / R. J. R. Back, K. Sere. - In: Science of computer programming, ISSN 0167-6423, 13 (1990) 2-3, s. 133-188. Tidigare publ. i: Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 64.