Åbo Akademi University Library - The Biblio database

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

51.	Back, Ralph-Johan / Institutionen för informationsbehandling
	Duality in specification languages : a latice theoretic approach / R. J. R. Back, J. von Wright. - In: Acta informatica, ISSN 0001-5903, 24 (1990) 7, s. 583-625. Tidigare publ. i: Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 77.
52.	Back, Ralph-Johan / Institutionen för informationsbehandling
	A method for refining atomicity in parallel algorithms / R. J. R. Back. - In: PARLE '89 Parallel Architectures and Languages Europe, Eindhoven, The Netherlands, June 12-16, 1989 : proceedings / E. Odijk, M. Rem, J.-C. Syre (eds.). - Berlin : Springer, 1989, s. 199-216. - (Lecture notes in computer science ; 366). ISBN 3-540-51285-3 UDC 519.683:519.682:061.3
53.	Back, Ralph-Johan / Institutionen för informationsbehandling
	Refinement calculus : part II: parallel and reactive programs / R. J. R. Back. - In: Stepwise refinement of distributed systems : models, formalisms, correctness REX Workshop, Mook, The Netherlands May 29-June 2, 1989 proceedings / J. W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.). - Berlin : Springer, 1990, s. 67-93. - (Lecture notes in computer science ; 430). Tidigare publ. i: Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563, no 93. ISBN 3-540-52559-9 UDC 519.681:681.3.01:061.3
54.	Back, Ralph-Johan / 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.
55.	Back, Ralph-Johan / 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.
56.	Back, Ralph-Johan / Institutionen för informationsbehandling
	Refinement concepts formalized in higher order logic / R. J. R. Back, J. von Wright. - In: Formal aspects of computing, ISSN 0934-5043, (1990) 2, s. 247-277.
57.	Eklund, Patrik / Institutionen för informationsbehandling
	Generalized Cauchy spaces / P. Eklund, W. Gähler. - In: Mathematische Nachrichten, ISSN 0025-584X, 147 (1990) s. 201-215.
58.	Eklund, Patrik / Institutionen för informationsbehandling
	Dynamic consensus in GDSS / Dieter Ehrenberg...et al. - In: AIRO'90, models and methods for decision support, Sorrento, October 3-5, 1990 : estratto : Operational Research Society of Italy, 1990, s. 245-240.
59.	Eklund, Patrik / Institutionen för informationsbehandling
	Hierarchical wiring in multigrids / Patrick Eklund, Michael Kaufmann. - In: CONPAR 90-VAPP IV, joint international conference on vector and parallel processing, Zurich, Switzerland, September 10-13, 1990 : proceedings / H. Burkhart (ed.). - Berlin : Springer, 1990, s. 423-434. - (Lecture notes in computer science ; 457). ISBN 3-540-53065-7
60.	Eklund, Patrik / Institutionen för informationsbehandling
	Group decisions and sociological intelligence / Patrik Eklund, Paul Lindholm, Galina Merkuryeva. - In: Wissenbasierte Systeme in der Betriebswirtschaft : Grundlagen, Entwicklund, Anwendungen / Dieter Ehrenberg, Hermann Krallman (utg.). - Berlin : Erich Schmidt, 1990, s. 177-183. - (Betriebliche Informations und Kommunikationssysteme ; Band 15). ISBN 3-503-03144-8
61.	Eriksson, Inger / Institutionen för informationsbehandling
	Simulation for user training / by Inger Eriksson. - Åbo : Åbo Akademi. Department of Computer Science, 1990. - 141 s. : ill. Diss.: Åbo Akademi. - Även som: Simulation för user training (summary of the doctoral thesis), Åbo 1990, 55 s. (Acta Academia Aboensis, Ser. B, Mathematica et Physica, Vol. 50 nr 3). ISBN 951-649-720-9 UDC 681.3, 51
62.	Eriksson, Inger / Institutionen för informationsbehandling
	SOLE-IS quality and efficient IS management / I. Eriksson and A. A. Törn. - In: Tietojenkäsittelytiede, ISSN 0788-4818, 1 (1990) 1, s. 29-37.
63.	Eriksson, Inger / Institutionen för informationsbehandling
	Educating end-users to make more effective use of information systems / Inger Eriksson. - In: End-user training / ed. by Urs E. Gattinger, L. Larwood. - Hawthorne, N.Y. : De Gruyter, 1990, s. 59-101.
64.	Eriksson, Inger / Institutionen för informationsbehandling
	Simulation as a learning techniche in information system development / Inger Eriksson. - In: Organizational competence in system development : a Scandinavian contribution / ed. by Gro Bjerknes...et al. - Lund : Studentlitteratur, 1990, s. 233-250. ISBN 91-44-30791-8
65.	Eriksson, Inger / Institutionen för informationsbehandling
	SOLE : research on information system quality / Inger Eriksson and Aimo Törn. - In: Software quality workshop 26 and 27 June 1990, Dundee, Scotland : conference papers, 1990, s. 249-258. Abstract.
66.	Eriksson, Inger / Institutionen för informationsbehandling
	The SOLE project : efficient IS management / Inger Eriksson and Aimo Törn. - In: Konferensdokumentation, NordDATA 90 : Band 1 : Göteborg 11-14 juni 1990 : Dataföreningen i Sverige, 1990, s. 211-217.
67.	Eriksson, Inger / Institutionen för informationsbehandling
	Training computer-supported work by simulation / Inger Eriksson, P. Reijonen. - In: Education & computing, ISSN 01676-9287, 6 (1990) 1,2, s. 129-136. Även i: Barta, B. Z. et al., Methodologies of training data processing professinal and advanced end-users. Elsevier 1990.
68.	Långbacka, Thomas / 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
69.	Lindholm, Paul / Institutionen för informationsbehandling
	Group decisions and sociological intelligence / Patrik Eklund, Paul Lindholm, Galina Merkuryeva. - In: Wissenbasierte Systeme in der Betriebswirtschaft : Grundlagen, Entwicklund, Anwendungen / Dieter Ehrenberg, Hermann Krallman (utg.). - Berlin : Erich Schmidt, 1990, s. 177-183. - (Betriebliche Informations und Kommunikationssysteme ; Band 15). ISBN 3-503-03144-8
70.	Sere, Kaisa / Institutionen för informationsbehandling
	Laws of action system programming / Kaisa Sere. - Åbo : Åbo Akademi, 1990. - 43 blad - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 100). ISBN 951-649-702-0 UDC 681.3, 51
71.	Sere, Kaisa / Institutionen för informationsbehandling
	Deriving an occam implementation of action systems / R. J. R. Back, K. Sere. - Åbo : Åbo Akademi, 1990. - 24 bl. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik, ISSN 0358-0563 ; no 99). ISBN 951-649-685-7 (nid.) UDC 51
72.	Sere, Kaisa / Institutionen för informationsbehandling
	Stepwise derivation of parallel algorithms / by Kaisa Sere. - Åbo : Åbo Akademi , 1990. - 130 s. : diagr. Diss.: Åbo Akademi. ISBN 951-649-748-9 UDC 51
73.	Sere, Kaisa / 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.
74.	Shen, Hong / Institutionen för informationsbehandling
	Occam implementation of process-to-processor mapping on the Hathi-2 transputer system / Hong Shen. - Åbo : Åbo Akademi, 1990. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 114). ISBN 951-649-775-6
75.	Shen, Hong / Institutionen för informationsbehandling
	Occam implementation of Path-Disjoint routing on the Hathi-2 transputer system / Hong Shen. - In: Microprocessing and microprogramming, ISSN 0165-6074, 30 (1990) s. 93-100.
76.	Shen, Hong / Institutionen för informationsbehandling
	Improved non-conservative sequential and parallel integer sorting / T. Hagerup, H. Shen. - In: Information processing letters, ISSN 0020-0190, 36 (1990) 2, s. 57-63.
77.	Shen, Hong / Institutionen för informationsbehandling
	A new upper bound of delay time in selection networks / H. Shen, K. L. Chen. - In: Chinese journal of computers 13 (1990) 2, s. 88-100.
78.	Shen, Hong / Institutionen för informationsbehandling
	A fast parallel algorithm for integer sorting / Hong Shen. - In: Parallel computing 89 : proceedings of the International Conference, Leiden, 29 August - 1 September / Ed. by David J. Evans, Gerhard R. Joubert, Frans J. Peters. - Amsterdam : North-Holland, 1990, s. 331-336. - (Advances in parallell computing ; v. 2). ISBN 0-444-88386-X
79.	Sörgaard, Pål / Institutionen för informationsbehandling
	The case for destruction / Pål Sörgaard. - In: Precedings of the 13th IRIS : the 13th Information systems Research seminar In Scandinavia, August 12-15, 1990, Turku, Finland : part II / Eds.: Riitta Hellman, Mikko Ruohonen, Pål Sörgaard. - Åbo : Åbo Akademi, 1990, s. 409-402. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 108). Abstract. ISBN 951-649-750-0
80.	Törn, Aimo / Institutionen för informationsbehandling
	Estimating software quality characteristics from maintenance costs / Aimo A. Törn. - Åbo : Åbo Akademi, 1990. - 11 blad : tab. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 110). ISBN 951-649-753-5 UDC 681.3
81.	Törn, Aimo / Institutionen för informationsbehandling
	Topographical global optimization / Aimo A. Törn. - Åbo : Åbo Akademi, 1990. - 8 blad : ill. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik, ISSN 0358-0563 ; no 119). ISBN 951-649-814-0 UDC 51, 52
82.	Törn, Aimo / Institutionen för informationsbehandling
	Models of software accumulation / A. A. Törn. - In: Journal of system & software, ISSN 0164-1212, 12 (1990) s. 39-42.
83.	Törn, Aimo / Institutionen för informationsbehandling
	Decision support by rapid simulation using Simulation Nets / A. A. Törn. - In: Decision support systems, ISSN 0167-9236, 6 (1990) s. 299-305.
84.	Törn, Aimo / Institutionen för informationsbehandling
	PICA : a graphical program development tool / A. A. Törn. - In: Acta cybernetica, ISSN 0324-5547, 9 (1990) s. 303-321.
85.	Törn, Aimo / Institutionen för informationsbehandling
	SOLE-IS quality and efficient IS management / I. Eriksson and A. A. Törn. - In: Tietojenkäsittelytiede, ISSN 0788-4818, 1 (1990) 1, s. 29-37.
86.	Törn, Aimo / Institutionen för informationsbehandling
	Parallel global optimization algorithms in optimal design / A. Törn, A. Zilinskas. - In: System modelling and optimization : proceedings of the 14th IFIP-conference, Leipzig, GDR, July 3-7, 1989 / H.-J. Sebastian, K. Tammer (eds.). - New York : Springer, 1990, s. 951-960. - (Lecture notes in control and information science ; 143).
87.	Törn, Aimo / Institutionen för informationsbehandling
	The SOLE project : efficient IS management / Inger Eriksson and Aimo Törn. - In: Konferensdokumentation, NordDATA 90 : Band 1 : Göteborg 11-14 juni 1990 : Dataföreningen i Sverige, 1990, s. 211-217.
88.	Törn, Aimo / Institutionen för informationsbehandling
	SOLE : research on information system quality / Inger Eriksson and Aimo Törn. - In: Software quality workshop 26 and 27 June 1990, Dundee, Scotland : conference papers, 1990, s. 249-258. Abstract.
89.	Aspnäs, Mats / Institutionen för informationsbehandling
	Analysis of three-dimensional nuclear data on a transputer-based multiprocessor system / R. J. R. Back...et al.. - Åbo : Åbo Akademi, 1991. - 16 bl. : ill., diagr. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 121). ISBN 951-649-854-X UDC 681.3
90.	Aspnäs, Mats / Institutionen för informationsbehandling
	An implementation of gasdynamic problems on multiprocessor systems / A. E. Dujsekulov, T. G. Elizarova, M. Aspnäs. - Åbo : Åbo Akademi, 1991. - 17 bl. : diagr. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 123). ISBN 951-649-876-0 UDC 681.3
91.	Aspnäs, Mats / Institutionen för informationsbehandling
	An implementation of Monte Carlo weighting method on multiprocessor systems / A. E. Korolev...et al. - Åbo : Åbo Akademi, 1991. - 22 bl. : ill. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 125). ISBN 951-649-914-7 UDC 681.3
92.	Aspnäs, Mats / Institutionen för informationsbehandling
	Millipede : a programming environment providing visual support for parallel programming / M. Aspnäs, R.-J. Back, T. Långbacka. - Turku : Åbo Akademi university, 1991. - 12 bl. : ill. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 129).
93.	Aspnäs, Mats / Institutionen för informationsbehandling
	A monitoring system for a transputer-based multiprocessor / Mats Aspnäs, Thomas Långbacka. - In: Transputing '91 : volume 1 / ed. by Peter Welch...et al. - Amsterdam : IOS Press, 1991, s. 78-93. - (Transputer and Occam engineering series, ISSN 0925-4986). ISBN 90-5199-045-6
94.	Aspnäs, Mats / Institutionen för informationsbehandling
	Using a graphical environmental to program transputer networks / Mats Aspnäs, Thomas Långbacka. - In: Nordic transputer applications : proceedings of the 1st and 2nd Nordic Transputer Seminars / ed. by Lars Annell and Martin Törngren. - Amsterdam : IOS Press, 1991, s. 1-18. - (Transputer and Occam engineering series, ISSN 0925-4986). ISBN 90-5199-070-7
95.	Back, Ralph-Johan / Institutionen för informationsbehandling
	Analysis of three-dimensional nuclear data on a transputer-based multiprocessor system / R. J. R. Back...et al.. - Åbo : Åbo Akademi, 1991. - 16 bl. : ill., diagr. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 121). ISBN 951-649-854-X UDC 681.3
96.	Back, Ralph-Johan / Institutionen för informationsbehandling
	Centipede : formaalin ohjelmakehityksen ympäristö / Kaisa Sere, Ralph-Johan Back. - In: Rinnakkaisjärjestelmät 1988...1991 : ohjelmistoteknologian ohjelma FINSOFT / toim. Atte Kortekangas. - Hki : TEKES, 1991, s. 123-125. ISBN 951-47-1910-7
97.	Back, Ralph-Johan / Institutionen för informationsbehandling
	Constructing of large-size interconnection : networks with high performance / H. Shen, R. J. Back. - Åbo : Åbo Akademi, 1991. - 24 bl. : ill. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 124). ISBN 951-649-854-X UDC 681.3
98.	Back, Ralph-Johan / Institutionen för informationsbehandling
	Deriving an occam implementation of action systems / R. J. R. Back and K. Sere. - In: 3rd Refinemnt Workshop : proceedings of the 3rd refinement workshop (organised by BCS-FACS, and sponsored by IBM UK laboratories, Hursley Park and the Programming Research Group, University of Oxford), 9-11 January 1990, Hursley Park. - London : Springer, 1991, s. 9-30. - (Works in computing). ISBN 3-540-19624-2
99.	Back, Ralph-Johan / Institutionen för informationsbehandling
	Millipede : a programming environment providing visual support for parallel programming / M. Aspnäs, R.-J. Back, T. Långbacka. - Turku : Åbo Akademi University, 1991. - 12 bl. : ill. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 129).
100.	Back, Ralph-Johan / Institutionen för informationsbehandling
	Millipede-rinnakkaisjärjestelmien ohjelmointiympäristö / Mats Aspnäs, Ralph Back. - In: Rinnakkaisjärjestelmät 1988...1991 : ohjelmistoteknologian ohjelma FINSOFT / toim. Atte Kortekangas. - Hki : TEKES, 1991, s. 31-34. ISBN 951-47-1910-7