1 |
A . Computer science and technology ; 20
Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92 / organized by CHEOPS ESPRIT BRA 3215 ; sponsored by IMEC and the Commission of the European Communities, Leuven, Belgium, 21-24 September 1992 ; edited by Luc J.M. Claesen, Michael J.C. Gordon
Amsterdam ; New York : North-Holland , 1993
|
2 |
A . Computer science and technology ; 26
Decision support in public administration : proceedings of the IFIP TC8/WG8.3 Working Conference on Decision Support in Public Administration, Noordwijkerhout, The Netherlands, 13-14 May, 1993 / edited by P.W.G. Bots, H.G. Sol, R. Traunmüller
Amsterdam ; New York : North-Holland , 1993
|
3 |
A . Computer science and technology ; 38
NetWORKing : connecting workers in and between organizations : proceedings of the IFIP WG9.1 Working Conference on NetWORKing, Vienna, Austria, 16-18 June 1993 / edited by A. Clement, P. Kolm, I. Wagner
Amsterdam ; New York : North-Holland , 1994
|
4 |
A . Computer science and technology ; 46
Lessons from learning : proceedings of the IFIP TC3/WG3.3 Working Conference on Lessons from Learning, Archamps, France, 6-8 September 1993 / edited by Robert Lewis, Patrick Mendelsohn
Amsterdam ; New York : Elsevier Science , 1994
|
5 |
A . Computerscience and technology ; 49
Transforming organizations with information technology : proceedings of the IFIP WG8.2 Working Conference on Information Technology and New Emergent Forms of Organizations, Ann Arbor, Michigan, USA, 11-13 August, 1994 / edited by Richard Baskerville ... [et al.]
Amsterdam ; New York : North-Holland , 1994
|