[Sökformulär] [Info om databasen] [Söktips]

Biblio: söktermen institution=('Institutionen för informationsbehandling') gav 264 träffar


[Föregående]

51. Back, Ralph-Johan / Institutionen för informationsbehandling
  Duality in specification languages : a latice theoretic approach / R. J. R. Back, J. von Wright.
- Ingår i: 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.
- Ingår i: 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
UDK 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.
- Ingår i: 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
UDK 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.
- Ingår i: 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.
- Ingår i: 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.
- Ingår i: 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.
- Ingår i: 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.
- Ingår i: 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.
- Ingår i: 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.
- Ingår i: 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
UDK 681.3, 51
62. Eriksson, Inger / Institutionen för informationsbehandling
  SOLE-IS quality and efficient IS management / I. Eriksson and A. A. Törn.
- Ingår i: 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.
- Ingår i: 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.
- Ingår i: 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.
- Ingår i: 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.
- Ingår i: 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.
- Ingår i: 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.
- Ingår i: 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
UDK 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.)
UDK 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
UDK 51
73. Sere, Kaisa / Institutionen för informationsbehandling
  Stepwise refinement of parallel algorithms / R. J. R. Back, K. Sere.
- Ingår i: 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.
- Ingår i: 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.
- Ingår i: 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.
- Ingår i: 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.
- Ingår i: 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.
- Ingår i: 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
UDK 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
UDK 51, 52
82. Törn, Aimo / Institutionen för informationsbehandling
  Models of software accumulation / A. A. Törn.
- Ingår i: 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.
- Ingår i: 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.
- Ingår i: 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.
- Ingår i: 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.
- Ingår i: 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.
- Ingår i: 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.
- Ingår i: 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
UDK 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
UDK 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
UDK 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.
- Ingår i: 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.
- Ingår i: 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
UDK 681.3
96. Back, Ralph-Johan / Institutionen för informationsbehandling
  Centipede : formaalin ohjelmakehityksen ympäristö / Kaisa Sere, Ralph-Johan Back.
- Ingår i: 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
UDK 681.3
98. Back, Ralph-Johan / Institutionen för informationsbehandling
  Deriving an occam implementation of action systems / R. J. R. Back and K. Sere.
- Ingår i: 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.
- Ingår i: Rinnakkaisjärjestelmät 1988...1991 : ohjelmistoteknologian ohjelma FINSOFT / toim. Atte Kortekangas. - Hki : TEKES, 1991, s. 31-34.
ISBN 951-47-1910-7

[Följande]