TAPSOFT

TAPSOFT
International Joint Conference on Theory and Practice of Software Development (informationswissenschaftl. Veoeffentlichungen)

Acronyms. 2013.

Игры ⚽ Нужен реферат?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • TAPSOFT — International Joint Conference on Theory and Practice of Software Development (informationswissenschaftl. Veröffentlichungen) …   Acronyms von A bis Z

  • List of computer science conferences — This is a list of academic conferences in computer science. Most of these academic conferences are annual or bi annual events.The order with which the conferences are listed in their respective fields corresponds to a rough and non authoritative… …   Wikipedia

  • Hindley–Milner — In type theory, Hindley–Milner (HM) (also known as Damas–Milner or Damas–Hindley–Milner) is a classical type inference method with parametric polymorphism for the lambda calculus, first described by J. Roger Hindley[1] and later rediscovered by… …   Wikipedia

  • Typinferenz nach Hindley-Milner — Hindley Milner (HM) ist ein klassisches Verfahren der Typinferenz mit parametrischem Polymorphismus für den Lambda Kalkül. Es wurde erstmals von J. Roger Hindley[1] beschrieben und später von Robin Milner[2] wiederentdeckt. Luis Damas trug eine… …   Deutsch Wikipedia

  • LNCS1214 — M.Ridoit/M.Dauchet (Eds.): TAPSOFT 97: Theory and Practice of Software Development. Proccedings, Springer Verlag 1997 …   Acronyms

  • LNCS249 — Ehrig et al.(Eds.): TAPSOFT 87. Volume 1, Proceedings 1987, Springer Verlag 1987 …   Acronyms

  • LNCS250 — Ehrig et al.(Eds.): TAPSOFT 87. Volume 2, Proceedings 1987, Springer Verlag 1987 …   Acronyms

  • LNCS351 — J. Diaz/F. Orejas (Eds.): TAPSOFT 89. Volume 1. Proceedings 1989, Springer Verlag 1989 …   Acronyms

  • LNCS352 — J. Diaz/F. Orejas (Eds.): TAPSOFT 89. Volume 2. Proceedings 1989, Springer Verlag 1989 …   Acronyms

  • LNCS493 — S. Abramsky/T.S.E. Maibaum (Eds.): TAPSOFT 91 Vol.1, Springer Verlag Proceedings 1991 …   Acronyms

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”