Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Gefunden in

Art der Quelle

Schlagwort

Verlag

Publikation

Sprache

103 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    STG decomposition strategies in combination with unfolding
    Khomenko, Victor ; Schaefer, Mark ; et al.
    In: Acta Informatica, Jg. 46 (2009-10-01), Heft 6, S. 433-474
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record at Springer (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Combining Decomposition and Unfolding for STG Synthesis : Petri Nets and Other Models of Concurrency - ICATPN 2007
    Khomenko, V. ; Schaefer, M.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2007, Heft 4546, S. 223-243
    serialPeriodical
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Effective Contraction of Timed STGs for Decomposition Based Timed Circuit Synthesis : Automated Technology for Verification and Analysis
    Yoneda, T. ; Myers, C. J.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2006, Heft 4218, S. 229-244
    serialPeriodical
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Determinate STG Decomposition of Marked Graphs : Applications and Theory of Petri Nets 2005
    Schafer, M. ; Vogler, W. ; et al.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2005, Heft 3536, S. 365-384
    serialPeriodical
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Component Refinement and CSC Solving for STG Decomposition : Foundations of Software Science and Computation Structures 8th International Conference, FOSSACS 2005 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 Edinburgh, UK, April 4-8, 2005 Proceedings
    Schaefer, M. ; Vogler, W.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2005, Heft 3441, S. 348-363
    serialPeriodical
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Proving the Correctness of the STG Machine : Implementation of Functional Languages
    de la Encina, A. ; Pena, R.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2002, Heft 2312, S. 88-104
    serialPeriodical
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    STG: A Symbolic Test Generation Tool : Tools and Algorithms for the Construction and Analysis of Systems
    Clarke, D. ; Jeron, T. ; et al.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2002, Heft 2280, S. 470-475
    serialPeriodical
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    The Brisk Machine: A Simplified STG Machine
    Holyer, Ian ; Spiliopoulou, Eleni ; et al.
    In: ftp://ftp.cs.bris.ac.uk/pub/tech-reports/1998/1998-holyer.ps.gz, 1997
    academicJournal
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    MRI of anterior cruciate ligament repair with patellar and hamstring tendon autografts
    Jansson, Kim A. ; Karjalainen, Pertti T. ; et al.
    In: Skeletal Radiology: A Journal of Radiology, Pathology and Orthopedics, Jg. 30 (2001-02-01), Heft 1, S. 8-14
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    A genome-wide comparison of genes responsive to autopolyploidy inIsatis indigotica usingArabidopsis thaliana Affymetrix genechips
    Lu, Beibei ; Pan, Xinzhu ; et al.
    In: Plant Molecular Biology Reporter, Jg. 24 (2006-06-01), Heft 2, S. 197-204
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record at Springer (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    StgR, a new Streptomyces alboniger member of the LysR family of transcriptional regulators
    Tercero, J. A. ; Espinosa, J. C. ; et al.
    In: Molecular and General Genetics MGG, Jg. 259 (1998-09-01), Heft 5, S. 475-483
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Caractère et degré formel pour les formes intérieures de GL(n) sur un corps local de caractéristique non nulle
    Bushnell, Colin J. ; Henniart, Guy ; et al.
    In: manuscripta mathematica, Jg. 131 (2010), Heft 1-2, S. 11-24
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Different factors predict CentraLoc and Intrafix fixation of quadruple hamstring allografts in low density cadaveric tibiae
    Smith, Chad ; Nyland, John ; et al.
    In: European Journal of Orthopaedic Surgery & Traumatology, Jg. 18 (2008-04-01), Heft 3, S. 203-210
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Human middle longitudinal fascicle: variations in patterns of anatomical connections
    Makris, N. ; Preti, M. G. ; et al.
    In: Brain Structure and Function, Jg. 218 (2013-07-01), Heft 4, S. 951-968
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Technical and Oncologic Safety of Robotic Thyroid Surgery
    Yi, Onvox ; Yoon, Jong Ho ; et al.
    In: Annals of Surgical Oncology, Jg. 20 (2013-06-01), Heft 6, S. 1927-1933
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Nucleotide sequencing analysis of the swine 433-kb genomic segment located between the non-classical and classical SLA class I gene clusters
    2004
    Online Elektronische Ressource
    Zugriff:
    View this record from OAIster (Volltext)
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Nucleotide sequencing analysis of the swine 433-kb genomic segment located between the non-classical and classical SLA class I gene clusters
    2004
    Online Elektronische Ressource
    Zugriff:
    View this record from OAIster (Volltext)
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Assessment of functional performance after anterior cruciate ligament reconstruction: a systematic review of measurement procedures
    Engelen-van Melick, Nicky ; van Cingel, Robert E. H. ; et al.
    In: Knee Surgery, Sports Traumatology, Arthroscopy, Jg. 21 (2013-04-01), Heft 4, S. 869-879
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Postablation Stimulated Thyroglobulin Level is an Important Predictor of Biochemical Complete Remission after Reoperative Cervical Neck Dissection in Persistent/Recurrent Papillary Thyroid Carcinoma
    Lang, Brian Hung-Hin ; Wong, Kai Pun ; et al.
    In: Annals of Surgical Oncology, Jg. 20 (2013-02-01), Heft 2, S. 653-659
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Mapping of Neuropeptides in the Crustacean Stomatogastric Nervous System by Imaging Mass Spectrometry
    Ye, Hui ; Hui, Limei ; et al.
    In: Journal of The American Society for Mass Spectrometry: The official journal of The American Society for Mass Spectrometry, Jg. 24 (2013), Heft 1, S. 134-147
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -