Facet browsing currently unavailable
Page 4 of 9018 results
Sort by: relevance publication year
A. J. Pertsin, A. L. Kitaigorodsky. The atom‐atom potential method. Applications to organic molecular solids. Springer Series in Chemical Physics Vol. 43. Springer‐Verlag Berlin, Heidelberg, New York, London, Paris, Tokyo 1987, 397 Seiten ISBN 3‐540‐16246‐1 Springer‐Verlag Berlin, Heidelberg, New York, ISBN 0‐387‐16246‐1 Springer‐Verlag New York, Berlin, Heidelberg, DM 140,— JOURNAL ARTICLE published October 1987 in Crystal Research and Technology |
Graphical Design of Real Time Applications BOOK CHAPTER published 1994 in Real Time Computing |
Communications for Real-Time Industrial Control: The Design Issues BOOK CHAPTER published 1994 in Real Time Computing |
Near Real-Time Pattern Recognition in a Special Purpose Computer with Parallel Architecture BOOK CHAPTER published 1994 in Real Time Computing |
Programming Language Standardization. A Case Study for Forth BOOK CHAPTER published 1994 in Real Time Computing |
Requirements Engineering and Design Tools for Real-Time Systems: the Protob Approach BOOK CHAPTER published 1994 in Real Time Computing |
Program Design Calculi BOOK published 1993 in NATO ASI Series |
Yaroslavsky, L. P., Digital Picture Processing. An Introduction. Berlin‐Heidelberg‐New York, Springer‐Verlag 1985. XII, 276 S., 87 Abb., DM 112,–. ISBN 3‐540‐11934‐5 (Springer Series in Information Sciences 9) JOURNAL ARTICLE published January 1987 in ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik |
Asynchronous Decentralized Realtime Computer Systems BOOK CHAPTER published 1994 in Real Time Computing |
Recognition in microbe‐plant symbiotic and pathogenic interactions. NATO ASI Series H: Cell Biology, Vol. 4. Berlin, Heidelberg, New York, London, Paris, Tokyo: Springer‐Verlag, 1986. 449 pp., 100 fig., 33 tab., 198 DM, ISBN 3‐540‐17 183‐5 JOURNAL ARTICLE published January 1988 in Acta Biotechnologica |
Simulation-Based Analysis for Real-Time Systems Development BOOK CHAPTER published 1994 in Real Time Computing |
Introduction to Categorical Shape Theory, with Applications in Mathematical Morphology BOOK CHAPTER published 1994 in Shape in Picture |
Chemical exchange between the atmosphere and polar snow. Eric W. Wolff and Roger C. Bales (Editors). 1996. Berlin, Heidelberg, New York: Springer Verlag (NATO ASI Series I, Volume 43). xi + 675 p, illustrated, hard cover. ISBN 3-540-61280-7. DM398. JOURNAL ARTICLE published January 1998 in Polar Record |
Static Models and Simulation Engine for Time-Analysis and Verification of Mission-Critical Distributed Systems BOOK CHAPTER published 1994 in Real Time Computing |
Pironneau, O., Optimal Shape Design for Elliptic Systems. Berlin‐Heidelberg‐New York‐Tokyo, Springer‐Verlag 1984. XII, 168 S., DM 80,—. US $ 29.90. ISBN 3‐540‐12069‐6 (Springer Series in Computational Physics) JOURNAL ARTICLE published January 1985 in ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik |
Formal Specification and Timing Analysis of High-Integrity Real-Time Systems BOOK CHAPTER published 1994 in Real Time Computing |
Hard, Soft, and Hybrid Computer Systems BOOK CHAPTER published 1994 in Real Time Computing |
What is the Right Specification/Design/Implementation Paradigm for Real-Time Applications? BOOK CHAPTER published 1994 in Real Time Computing |
H.U. Gerber, Life Insurance Mathematics (Springer-Verlag, Berlin-Heidelberg, and Swiss Association of Actuaries, Zürich, 1990) pp. xiii + 131, $59.50, ISBN 3-540-52944-6 Springer-Verlag, Berlin-Heidelberg-New York. ISBN 0-387-52944-6, Springer-Verlag, New York. Berlin-Heidelberg. JOURNAL ARTICLE published July 1991 in Insurance: Mathematics and Economics |
A Generic Systems Integration Framework for Large and Time-Critical Systems BOOK CHAPTER published 1994 in Real Time Computing |