Zum Hauptinhalt springen
Hochschulbibliothek der TH OWL

Suchergebnisse

Bestand TH OWL

Artikel & mehr
14 Treffer

Suchmaske

Suchtipp für den Bereich Artikel & mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Thema

Verlag

Publikation

Sprache

Inhaltsanbieter

14 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Runtime verification : lecture notes in computer science
    Cassar, Ian ; Francalanza, Adrian
    2015
    Online unknown
    Zugriff:
    View record at OpenAIRE (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    FM 2015 : formal methods. FM 2015. Lecture notes in computer science
    Ahrendt, Wolfgang ; Jesús Mauricio Chimento ; et al.
    2015
    Online unknown
    Zugriff:
    View record at OpenAIRE (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Lecture Notes in Artificial Intelligence 1415. Subseries of Lecture Notes in Computer Science. Methodology and Tools in Knowledge‐Based Systems
    Harwood, C.J.
    In: Kybernetes, Jg. 28 (1999-12-01), S. 1084-1094
    Online unknown
    Zugriff:
    View record at OpenAIRE (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Lecture Notes in Computer Science: Research on Multi-robot Avoidance Collision Planning Based on XCS
    Yang, Jingyu ; Shao, Jie
    2010
    Online unknown
    Zugriff:
    View record at OpenAIRE (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    S. BRESSAN, S. CERI, E. HUNT, Z. G. IVES, Z. BELLAHSENE, M.RYS AND R. UNLAND (EDS) Database and XML Technologies. Third International XML Database Symposium, XSym 2005, Trondheim, Norway, August 28-29, 2005, Proceedings. Series: Lecture Notes in Computer Science, Vol. 3671. Springer Verlag (2005). ISBN 3-540-28583-0. 44.94/ 32.50/US$58.00. 236 pp. Softbound
    Vakali, Athena
    In: The Computer Journal, Jg. 49 (2005-12-19), S. 376-377
    Online unknown
    Zugriff:
    View record at OpenAIRE (Volltext)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    CMSC-130 Introductory Computer Science, Lecture Notes
    Duane J Jarc ; Fendler, Eric
    1993
    Online unknown
    Zugriff:
    View record at OpenAIRE (Volltext)
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Vaughan R. Pratt. Semantical considerations on Floyd–Hoare logic. 17th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, New York1976, pp. 109–121. - Michael J. Fischer and Richard E. Ladner. Propositional dynamic logic of regular programs. Journal of computer and system sciences, vol. 18 (1979), pp. 194–211. - Krister Segerberg. A completeness theorem in the modal logic of programs. Universal algebra and applications. Papers presented at Stefan Banach International Mathematical Center at the semester 'Universal algebra and applications' held February 15–June 9, 1978, edited by Tadeuz Traczyk, Banach Center Publications, vol. 9, PWN—Polish Scientific Publishers, Warsaw1982, pp. 31–46. - Rohit Parikh. The completeness of propositional dynamic logic. Mathematical foundations of computer science 1978, Proceedings, 7th symposium, Zakopane, Poland, September 4–8, 1978, edited by J. Winkowski, Lecture notes in computer science, vol. 64, Springer-Verlag, Berlin, Heidelberg, and New York, 1978, pp. 403–415. - Dexter Kozen and Rohit Parikh. An elementary proof of the completeness of PDL. Theoretical computer science, vol. 14(1981), pp. 113–118
    Pratt, Vaughan R.
    In: Journal of Symbolic Logic, Jg. 51 (1986-03-01), S. 225-227
    Online unknown
    Zugriff:
    View record at OpenAIRE (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Sheila A. Greibach. Theory of program structures: schemes, semantics, verification. Lecture notes in computer science, vol. 36. Springer-Verlag, Berlin, Heidelberg, and New York, 1975, xv + 364 pp
    Constable, Robert L.
    In: Journal of Symbolic Logic, Jg. 43 (1978-03-01), S. 154-156
    Online unknown
    Zugriff:
    View record at OpenAIRE (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Encarnacao, J. (ed.), Computer Aided Design Modelling Systems Engineering, CAD-Systems, CREST Advanced Course, Darmstadt 1980, Lecture Notes in Computer Science 89, Berlin-Heidelberg-New York, Springer-Verlag, 1980. XIV, 461 S., 219 Abb., DM 45,50. US $ 26.90. ISBN 3-540-10242-6
    Strese, H.
    In: ZAMM - Zeitschrift für Angewandte Mathematik und Mechanik, Jg. 61 (1981), S. 533-533
    Online unknown
    Zugriff:
    View record at OpenAIRE (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    The Programming Language Ada, Reference Manual. Proposed Standard Document, United States Department of Defense. Lecture Notes in Computer Science 106. Berlin-Heidelberg-New York, Springer-Verlag 1981. X, 243 S., DM 16,50, US $ 7.90. ISBN 3-540-10693-6
    Grund, F.
    In: ZAMM - Zeitschrift für Angewandte Mathematik und Mechanik, Jg. 62 (1982), S. 424-424
    Online unknown
    Zugriff:
    View record at OpenAIRE (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Naish, L.: Negation and Control in Prolog. Lecture Notes in Computer Science Vol. 238, Springer-Verlag, Berlin – Heidelberg – New York – London – Paris – Tokyo: 1986, IX, 119 pp., DM 27,– ISBN 3-540-16815-X
    Seese, D.
    In: Biometrical Journal, Jg. 30 (1988), S. 174-174
    Online unknown
    Zugriff:
    View record at OpenAIRE (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Marlin, C. D., Coroutines – A Programming Methodology, a Language Design and an Implementation, Lecture Notes in Computer Science 95, Berlin-Heidelberg-New York, Springer-Verlag 1980, XII, 246 S., 55 Abb., DM 29,50. US $ 17.40. ISBN 3-540-10256-6
    Hartwig, M.
    In: ZAMM - Zeitschrift für Angewandte Mathematik und Mechanik, Jg. 61 (1981), S. 665-665
    Online unknown
    Zugriff:
    View record at OpenAIRE (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Polak, W., Compiler Specification and Verification Lecture Notes in Computer Science 124. Berlin-Heidelberg-New York, Springer-Verlag 1981. XIII, 269 S., DM 29,50. US $ 13.80. ISBN 3-540-10886-6
    Stein, E.
    In: ZAMM - Zeitschrift für Angewandte Mathematik und Mechanik, Jg. 63 (1983), S. 337-337
    Online unknown
    Zugriff:
    View record at OpenAIRE (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Pang, G. K. H.; MacFarlane, A. G. J., An Export Systems Approach to Computer-Aided Design of Multivariable Systems. Berlin etc., Springer-Verlag 1987. XII, 325 pp., DM 54,—. ISBN 3-540-17356-0 (Lecture Notes in Control and Information Sciences 89)
    Sebastian, H.-J.
    In: ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik, Jg. 71 (1991), S. 65-66
    Online unknown
    Zugriff:
    View record at OpenAIRE (Volltext)
    Wie komme ich dran?

Überregionale Kataloge

xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -