Zum Hauptinhalt springen

Suchergebnisse

UB Katalog
Ermittle Trefferzahl…

Artikel & mehr
527 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"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Strichcode".

Suchergebnisse einschränken oder erweitern

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Gefunden in

Art der Quelle

Schlagwort

Verlag

Publikation

Sprache

Geographischer Bezug

527 Treffer

Sortierung: 
  1. VAN DER HOUWEN, P. J ; DE SWART, J. J. B ; et al.
    In: Report - Department of Numerical Mathematics, 1996, Heft 16, S. 1-24
    academicJournal
  2. BRENT, Richard P ; MONTGOMERY, Peter L ; et al.
    In: Report - Modelling, analysis and simulation, 2001, Heft 7, S. i- (8S.)
    academicJournal
  3. MALEKNEJAD, K ; SHAHREZAEE, M
    In: Applied mathematics and computation, Jg. 149 (2004), Heft 2, S. 399-410
    Online academicJournal
  4. LIOEN, W. M ; DE SWART, J. J. B
    In: Report - Modelling, analysis and simulation, 1998, Heft 32, S. 1-16
    academicJournal
  5. VERWER, J. G ; HUNDSDORFER, W. H ; et al.
    In: Report - Modelling, analysis and simulation, 1998, Heft 25, S. 1-58
    academicJournal
  6. DUVAL, B. K
    In: Library software review, Jg. 17 (1998), Heft 4, S. 277-286
    academicJournal
  7. DUVAL, B. K
    In: Library software review, Jg. 17 (1998), Heft 4, S. 277-286
    academicJournal
  8. VAN HECKE, T ; VANDEN BERGHE, G ; et al.
    In: International journal of computer mathematics, Jg. 63 (1997), Heft 1-2, S. 149-157
    Online academicJournal
  9. LIOEN, W. M ; DE SWART, J. J. B ; et al.
    In: Report - Department of Numerical Mathematics, 1996, Heft 15, S. i- (16S.)
    academicJournal
  10. DE GOUW, Stijn ; DE BOER, Frank ; et al.
    In: Journal of automated reasoning, Jg. 53 (2014), Heft 2, S. 129-139
    Online academicJournal
  11. TEMME, N. M
    In: Proceedings of the conference in honour of Dr. Nico Temme, Jg. 207 (2007), Heft 2, S. 301-322
    Online Konferenz
  12. FOKKINK, Wan ; VAN GLABBEEK, Rob ; et al.
    In: Foundations of computation theory (FCT 2003), Jg. 354 (2006), Heft 3, S. 421-440
    Online Konferenz
  13. ACETO, Luca ; FOKKINK, Wan ; et al.
    In: Algebra and coalgebra in computer science, Jg. 366 (2006), Heft 1-2, S. 60-81
    Online Konferenz
  14. HOOMAN, Jozef ; VAN DE POL, Jaco
    In: Formal Methods for Components and Objects, Jg. 331 (2005), Heft 2-3, S. 291-323
    Online Konferenz
  15. LUTTIK, Bas ; VAN OOSTROM, Vincent
    In: Process algebra, Jg. 335 (2005), Heft 2-3, S. 147-186
    Online Konferenz
  16. ACETO, Luca ; FOKKINK, Wan ; et al.
    In: Expressiveness in Concurrency, Jg. 330 (2005), Heft 3, S. 377-405
    Online Konferenz
  17. BATENBURG, K. J
    In: IWCIA 2003 - Ninth International Workshop on Combinatorial Image Analysis, Jg. 151 (2005), Heft 1-3, S. 36-54
    Online Konferenz
  18. ABRAHAM, Erika ; DE BOER, Frank S ; et al.
    In: Formal Methods for Components and Objects, Jg. 331 (2005), Heft 2-3, S. 251-290
    Online Konferenz
  19. RUTTEN, J. J. M. M
    In: Formal Methods for Components and Objects, Jg. 343 (2005), Heft 3, S. 443-481
    Online Konferenz
  20. PIERIK, Cees ; DE BOER, Frank S
    In: Formal Methods for Components and Objects, Jg. 343 (2005), Heft 3, S. 413-442
    Online Konferenz
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -