Zum Hauptinhalt springen

Suchergebnisse

UB Katalog
Ermittle Trefferzahl…

Artikel & mehr
1.321 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

1.321 Treffer

Sortierung: 
  1. ANGIULLI, Fabrizio ; BEN-ELIYAHU-ZOHARY, Rachel ; et al.
    In: Artificial intelligence (General ed.), Jg. 210 (2014), S. 56-77
    Online academicJournal
  2. MIAO, ZHANG ; XIANHUA, HOU ; et al.
    In: Journal of alloys and compounds, Jg. 588 (2014), S. 206-211
    academicJournal
  3. LINTAO, ZHANG
    In: Theory and applications of satisfiability testing (St Andrews, 19-23 June 2005), 2005, S. 482-489
    Konferenz
  4. HEULE, Marijn ; VAN MAAREN, Hans
    In: SAT 2004 : theory and applications of satisfiability testing (Vancouver BC, 10-13 May 2004, revised selected papers), 2005, S. 145-156
    Konferenz
  5. BAILLEUX, Olivier
    In: JNPC'02 : 8es journées nationales sur la résolution pratique de problèmes NP-complets (Nice, 27-29 mai 2002 ), 2002, S. 5-17
    Konferenz
  6. LIM, Jun-Young ; OH, Se-Il ; et al.
    In: Materials science & engineering. A, Structural materials : properties, microstructure and processing, Jg. 556 (2012), S. 337-342
    academicJournal
  7. LANGBERG, Michael ; PNUELI, Amir ; et al.
    In: CHARME 2003 : correct hardware design and verification methods (L'Aquila, 21-24 October 2003), 2003, S. 363-377
    Konferenz
  8. BEGUM, Nasima ; NAKANISHI, Toru ; et al.
    In: IEICE transactions on fundamentals of electronics, communications and computer science, Jg. 96 (2013), Heft 12, S. 2422-2433
    academicJournal
  9. SINZ, Carsten
    In: Principles and practice of constraint programming - CP 2005 (11th international conference, 2005, S. 827-831
    Konferenz
  10. GERSHMAN, Roman ; STRICHMAN, Ofer
    In: Theory and applications of satisfiability testing (St Andrews, 19-23 June 2005), 2005, S. 423-429
    Konferenz
  11. GANAI, Malay K ; ZHANG, Lintao ; et al.
    In: DMC : 39th design automation conference (New Orleans LA, 10-14 June 2002), 2002, S. 747-750
    Konferenz
  12. ANSOTEGUI, C ; BEJAR, R ; et al.
    In: 34th International Symposium on Multiple-Valued Logic (proceedings), 2004, S. 251-256
    Konferenz
  13. BAILLEUX, Olivier ; BOUFKHAD, Yacine
    In: CP 2003 : principles and practice of constraint programming (Kinsale, 29 September - 3 October 2003), 2003, S. 108-122
    Konferenz
  14. CALABRO, Chris ; IMPAGLIAZZO, Russell ; et al.
    In: Parameterized and Exact Computation, Part II, Jg. 65 (2013), Heft 4, S. 817-827
    Online academicJournal
  15. RAMOS-DE VALLE, L. F ; NEIRA-VELAZQUEZ, M. G ; et al.
    In: Journal of applied polymer science (Print), Jg. 107 (2008), Heft 3, S. 1893-1899
    Online academicJournal
  16. WILLIAMS, Ryan
    In: Theory and applications of satisfiability testing (Santa Margherita Ligure, 5-8 May 2003, selected revised papers), 2004, S. 330-340
    Konferenz
  17. BAOGUO, HAN ; KUN, ZHANG ; et al.
    In: Journal of materials in civil engineering, Jg. 24 (2012), Heft 6, S. 658-665
    Online academicJournal
  18. FEIGE, Uriel ; FLAXMAN, Abraham D ; et al.
    In: SIAM journal on discrete mathematics (Print), Jg. 25 (2011), Heft 1-2, S. 736-749
    Online academicJournal
  19. MAKINO, Kazuhisa ; TAMAKI, Suguru ; et al.
    In: Theoretical computer science, Jg. 412 (2011), Heft 35, S. 4613-4618
    Online academicJournal
  20. SUN, L. L ; LI, B ; et al.
    In: European polymer journal, Jg. 46 (2010), Heft 11, S. 2112-2119
    academicJournal
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -