Research Catalog

  • ALGOL 68 implementation; proceedings of the IFIP Working Conference on ALGOL 68 Implementation Munich, July 20-24, 1970. Ed. by J. E. L. Peck.

    • Text
    • Amsterdam, North-Holland Pub. Co., 1971.
    • 1971
    • 1 Item
    FormatCall NumberItem Location
    Text JSD 72-362Offsite
  • Simulation programming languages. Proceedings of the IFIP Working Conference on Simulation Programming Languages. Edited by J. N. Buxton.

    • Text
    • Amsterdam, North-Holland Pub. Co., 1968.
    • 1968
    • 1 Item
    FormatCall NumberItem Location
    Text JSD 72-978Offsite
  • Graphic languages. Proceedings. Ed. by F. Nake and A. Rosenfeld.

    • Text
    • Amsterdam, North Holland Pub. Co., 1972.
    • 1972
    • 2 Items
    FormatCall NumberItem Location
    Text JSE 73-723Offsite
    FormatCall NumberItem Location
    Text JSE 73-866Offsite
  • Programming teaching techniques; proceedings. Edited by W. M. Turski.

    • Text
    • Amsterdam, North-Holland Pub. Co.; New York, American Elsevier Pub. Co., 1973.
    • 1973
    • 1 Item
    FormatCall NumberItem Location
    Text JSD 75-316Offsite
  • Machine oriented higher level languages : proceedings of the IFIP Working Conference on Machine Oriented Higher Level Languages, Trondheim, Norway, August 27-31, 1973 / edited by W. L. van der Poel and L. A. Maarssen.

    • Text
    • Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier, 1974.
    • 1974
    • 1 Item
    FormatCall NumberItem Location
    Text JSD 75-1157Offsite
  • Command languages : proceedings of the IFIP Working Conference on Command Languages / edited by C. Unger.

    • Text
    • Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier Pub. Co., 1975.
    • 1975
    • 1 Item
    FormatCall NumberItem Location
    Text JSD 76-21Offsite
  • Data base description : proceedings of the IFIP TC-2 Special Working Conference on Data Base Description / edited by B. C. M. Douqué and G. M. Nijssen ; [organized by IFIP Technical Committee 2, Programming, International Federation for Information Processing]

    • Text
    • Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier Pub. Co., 1975.
    • 1975
    • 1 Item
    FormatCall NumberItem Location
    Text JSD 77-107Offsite
  • Minicomputer software : proceedings of the IFIP Conference on Software for Minicomputers :IFIP TC-2 Working Conference on Software for Minicomputers, Lake Balaton, Hungary, 8-12 September 1975 / edited by James R. Bell and C. Gordon Bell ; organized by IFIP Technical Committee 2, Programming, International Federation for Information Processing, program committee, P. Hibbard ... [et al.].

    • Text
    • Amsterdam ; New York : North-Holland Pub. Co., North-Holland Pub. Co. ; New York : distributors for the U. S.A. and Canada, American Elsevier Pub. Co.
    • 1 Item
    FormatCall NumberItem Location
    Text JSD 77-150Offsite
  • Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts / edited by Erich J. Neuhold.

    • Text
    • Amsterdam ; New York : North-Holland Pub. Co., 1978.
    • 1978
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 79-814Offsite
  • Architecture and models in data base management systems : proceedings of the IFIP Working Conference on Modelling in Data Base Management Systems / edited by G. M. Nijssen.

    • Text
    • Amsterdam ; New York : North Holland Pub. Co. ; New York : distributors for the U. S.A. and Canada, Elsevier/North Holland, 1977.
    • 1977
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 79-1142Offsite
  • Formal models in programming : proceedings of the IFIP TC2 Working Conference on the Role of Abstract Models in Information Processing, Vienna, Austria, 30 January - 1 February 1985 / edited by E.J. Neuhold and G. Chroust.

    • Text
    • Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1985.
    • 1985
    • 1 Item
    FormatCall NumberItem Location
    Text JSD 86-315Offsite
  • The relationship between numerical computation and programming languages : proceedings of the IFIP TC2 Working Conference on the Relationship between Numerical Computation and Programming Languages, Boulder, Colorado, U.S.A., 3-7 August, 1981 / edited by John K. Reid.

    • Text
    • Amsterdam ; New York : North-Holland Pub. Co. ; New York : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1982.
    • 1982
    • 1 Item
    FormatCall NumberItem Location
    Text QA297 .I34 1981Off-site
  • ALGOL 68 implementation ; proceedings of the IFIP Working Conference on ALGOL 68 Implementation, Munich, July 20-24, 1970 / Ed. by J. E. L. Peck.

    • Text
    • Amsterdam : North-Holland Pub. Co., 1971.
    • 1971
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.5 .I28 1970Off-site
  • Simulation programming languages. : Proceedings of the IFIP Working Conference on Simulation Programming Languages / Edited by J. N. Buxton.

    • Text
    • Amsterdam : North-Holland Pub. Co., 1968.
    • 1968
    • 2 Items
    FormatCall NumberItem Location
    Text QA76.5 .I3 1967Off-site
    FormatCall NumberItem Location
    Text QA76.5 .I3 1967Off-site
  • Symbol manipulation languages and techniques. : Proceedings of the IFIP Working Conference on Symbol Manipulation Languages / Edited by Daniel G. Bobrow.

    • Text
    • Amsterdam : North-Holland Pub. Co., 1968.
    • 1968
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.5 .I34 1966Off-site
  • Data base management : proceedings of the IFIP Workshop Conference on Data Base Management / edited by J.W. Klimbie and K.L. Koffeman.

    • Text
    • Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier, 1974.
    • 1974
    • 1 Item
    FormatCall NumberItem Location
    Text QA76 .I16 1974Off-site
  • Formal language description languages for computer programming ; proceedings / Edited by T.B. Steel, Jr.

    • Text
    • Amsterdam : North-Holland Pub. Co., 1966.
    • 1966
    • 1 Item
    FormatCall NumberItem Location
    Text QA76 .I17 1964Off-site
  • Report on the algorithmic language ALGOL 68 / [by] A. van Wijngaarden [and others]

    • Text
    • Berlin ; New York : Springer, 1969.
    • 1969
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.73.A24 R46Off-site
  • Data base architecture : proceedings of the IFIP Working Conference on Data Base Architecture, Venice, Italy, 26-29 June 1979 / edited by G. Bracchi, G. M. Nijssen.

    • Text
    • 1979
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.D3 I17 1979Off-site
  • Formal description of programming concepts--II : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts--II, Garmisch-Partenkirschen, FRG, 1-4 June 1982 / edited by Dines Bjørner.

    • Text
    • 1983
    • 2 Items
    FormatCall NumberItem Location
    Text QA76.6 .I25 1982Off-site
    FormatCall NumberItem Location
    Text QA76.6 .I25 1982Off-site
  • Formal models in programming : proceedings of the IFIP TC2 Working Confernece on the Role of Abstract Models in Information Processing, Vienna, Austria, 30 January - 1 February 1985 / edited by E.J. Neuhold and G. Chroust.

    • Text
    • Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1985.
    • 1985
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6 .I1825 1985Off-site
  • Formal description of programming concepts - III : proceedings of the IFIP TC 2/WG 2.2 working conference on formal description of Programming Concepts, Ebberup, Denmark, 25-28 August, 1986 / edited by Martin Wirsing.

    • Text
    • Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1987.
    • 1987
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6 .I25 1986gOff-site
  • Data base description : proceedings of the IFIP TC-2 Special Working Conference on Data Base Description / edited by B. C. M. Douqué and G. M. Nijssen ; [organized by IFIP Technical Committee 2, Programming, International Federation for Information Processing]

    • Text
    • Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier Pub. Co., 1975.
    • 1975
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.7 .I18 1975Off-site
  • Command languages : proceedings of the IFIP Working Conference on Command Languages / edited by C. Unger.

    • Text
    • 1975
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.7 .I19 1974Off-site
  • Program specification and transformation : proceedings of the IFIP TC2/WG 2.1 Working Conference on Program Specification and Transformation, Bad Tölz, FRG, 15-17 April 1986 / edited by L.G.L.T. Meertens.

    • Text
    • Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1987.
    • 1987
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6 .I178 1986Off-site
  • Balancing agility and formalism in software engineering : Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznań, Poland, October 10-12, 2007 : revised selected papers / Bertrand Meyer, Jerzy R. Nawrocki, Bartosz Walter (eds.).

    • Text
    • Berlin ; New York : Springer, [2008], ©2008.
    • 2008-2008
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.758 .I4485 2007gOff-site
  • Partial evaluation and mixed computation : proceedings of the IFIP TC2 Workshop on Partial Evaluation and Mixed Computation, Gammel Avernæs, Denmark, 18-24 October, 1987 / edited by Dines Bjørner, Andrei P. Ershov, Neil D. Jones.

    • Text
    • Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1988.
    • 1988
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6 .I1784 1987Off-site
  • Proceedings of the International Symposium on Algorithmic Languages / edited by J.W. de Bakker and J.C. Van Vliet.

    • Text
    • 1981
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.7 .I575 1981Off-site
  • Formal language description languages for computer programming; proceedings. Edited by T.B. Steel, Jr.

    • Text
    • Amsterdam, North-Holland Pub. Co., 1966.
    • 1966
    • 1 Item
    FormatCall NumberItem Location
    Text 81075.4867Off-site
  • Simulation programming languages. Proceedings of the IFIP Working Conference on Simulation Programming Languages. Edited by J.N. Buxton.

    • Text
    • Amsterdam, North-Holland Pub. Co., 1968.
    • 1968
    • 1 Item
    FormatCall NumberItem Location
    Text 81075.486705Off-site
  • Symbol manipulation languages and techniques. Proceedings of the IFIP Working Conference on Symbol Manipulation Languages. Edited by Daniel G. Bobrow.

    • Text
    • Amsterdam, North-Holland Pub. Co., 1968.
    • 1968
    • 1 Item
    FormatCall NumberItem Location
    Text 81075.48671.1966Off-site
  • Programming teaching techniques; proceedings. Edited by W. M. Turski.

    • Text
    • Amsterdam, North-Holland Pub. Co.; New York, American Elsevier Pub. Co., 1973.
    • 1973
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6.I35 1972Off-site
  • Data base architecture : proceedings of the IFIP Working Conference on Data Base Architecture, Venice, Italy, 26-29 June 1979 / edited by G. Bracchi, G. M. Nijssen.

    • Text
    • Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada, Elsevier North Holland, 1979.
    • 1979
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.D3 I17 1979Off-site
  • Proceedings of the 1992 International Conference on Computer Languages : April 20-23, 1992, Oakland, California / sponsored by the IEEE Computer Society, IEEE Computer Society Techncal Committee on Computer Languages ; in cooperation with ACM SIGPLAN and IFIP Technical Committee 2.

    • Text
    • Los Alamitos, Calif. : IEEE Computer Society Press, c1992.
    • 1992
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.7 .I445 1992Off-site

No results found from Digital Research Books Beta

Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.

digital-research-book
Explore Digital Research Books Beta