Hypertext Glossar informatikbezogener
Abkürzungen und ausgewählter Begriffe



Ergebnisse für LNCS215

LNCS215 - Mathematical Methods of Specification and Synthesis of Software Systems '85. Proceedings, Springer-Verlag 1985. Edited by W. Bibel and K. P. Jantke. 245 pages, 1986

LNCS2150 - R. Sakellariou, J. Keane, J. Gurd, L. Freeman (Eds.): Euro-Par 2001 Parallel Processing. Proceedings, 2001. Springer Verlag 2001

LNCS2151 - A. Caplinskas, J. Eder (Eds.): Advances in Databases and Information Systems. Proceedings, 2001. Springer Verlag 2001

LNCS2152 - R.J. Boulton, P.B. Jackson (Eds.): Theorem Proving in Higher Order Logics. Proceedings, 2001. Springer Verlag 2001

LNCS2153 - A.L. Buchsbaum, J. Snoeyink (Eds.): Algorithm Engineering and Experimentation. Revised Papers, 2001. Springer Verlag 2001

LNCS2154 - K.G. Larsen, M. Nielsen (Eds.): CONCUR 2001 - Concurrency Theory. Proceedings, 2001. Springer Verlag 2001

LNCS2155 - H. Bunt, R.-J. Beun (Eds.): Cooperative Multimodal Communication. International Conference 1998, Selected Papers. Springer Verlag 2001 (Subseries LNAI)

LNCS2156 - M.I. Smirnov et al. (Eds.): Quality of Future Internet Services. Proceedings, 2001. Springer Verlag 2001

LNCS2157 - C. Rouveirol, M. Sebag (Eds.): Inductive Logic Programming - ILP 2001. Proceedings, 2001. Springer Verlag 2001. (Subseries LNAI)

LNCS2158 - D. Shepherd, J. Finney, L. Mathy, N. Race (Eds.): Interactive Distributed Multimedia Systems. Proceedings, 2001. Springer Verlag 2001

LNCS2159 - J. Kelemen, P. Sosik (Eds.): Advances in Artificial Life. European Conference Proceedings, 2001. Springer Verlag 2001. (Subseries LNAI)

11 Einträge gefunden.
60540 Einträge durchsucht.


Dies ist ein durchsuchbarer Index:
Volltextsuche
Groß-/Kleinschreibung beachten
Exakte Suche


index

-- jd --