• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1516
  • 536
  • 188
  • 169
  • 79
  • 56
  • 43
  • 32
  • 12
  • 11
  • 10
  • 10
  • 8
  • 6
  • 5
  • Tagged with
  • 2824
  • 595
  • 494
  • 339
  • 324
  • 297
  • 240
  • 211
  • 199
  • 188
  • 185
  • 181
  • 174
  • 167
  • 166
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

An experimental study of some Z-transform discrete filters

Flakas, Gerald Kenneth, January 1968 (has links)
Thesis (M.S.)--University of Wisconsin--Madison, 1968. / eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references.
2

A precise determination of the forward-backward asymmetry of b quarks the final DELPHI result for AbFB using inclusive charge reconstruction and lifetime tagging /

Liebig, Wolfgang. January 2003 (has links) (PDF)
Wuppertal, Univ., Diss., 2003. / Computerdatei im Fernzugriff.
3

Messung der Vorwärts-Rückwärts-Ladungsasymmetrie von b-Quarks bei Energien nahe der Z0-Resonanz Untersuchung von Ereignissen mit initialem b-Quark unter Verwendung der Jetladungstechnik mit dem DELPHI Detektor /

Schwering, Britta. January 1999 (has links) (PDF)
Wuppertal, Universiẗat, Diss., 1999.
4

Präzisionsmessung der Vorwärts-Rückwärts-Asymmetrie schwerer Quarks mit dem DELPHI-Detektor

Brand, Klaus D. January 1996 (has links) (PDF)
Wuppertal, Universiẗat, Diss., 1996.
5

Matrixgebundene topologisch fixierte DNA

Junghans, Claas. January 2000 (has links)
Berlin, Freie Universiẗat, Diss., 2000. / Dateiformat: zip, Dateien im PDF-Format.
6

A precise determination of the forward-backward asymmetry of b quarks the final DELPHI result for AbFB using inclusive charge reconstruction and lifetime tagging /

Liebig, Wolfgang. January 2003 (has links) (PDF)
Wuppertal, University, Diss., 2003.
7

An Eclipse Environment for Z

Xu, Chengdong January 2006 (has links)
This thesis reports on the design, implementation and evaluation of a new interactive Z environment that is integrated into the Eclipse environment. The Z language is a formal specification notation that is used to describe and model computer-based systems. For the widespread use of Z, it is desirable to integrate Z support with a mature and popular editing environment, such as Eclipse. Eclipse was chosen as the basis for the new Z environment because it is widely used, it provides rich functionality and it is designed to be extensible. The Z environment described in this thesis extends Eclipse to provide a large set of useful features for editing and analyzing Z specifications, such as a table of Z symbols, constant detection of syntax and type errors, outlining facilities, cross-referencing of Z names and conversion between different Z markups. User feedback shows that the resulting Z environment is helpful for editing and correcting Z specifications. The development of the Z support for Eclipse is a part of the CZT (Community Z Tools) project, which is a Java framework for building Z tools and provides parsers, typecheckers and other Z tools.
8

Die Kopelewsche Brücke: Problemaufriss zum öffentlichen Wirken von Lew Kopelew in der Bundesrepublik Deutschland von 1981-1997 /

Sonnenberg, Uwe. January 2007 (has links)
Zugl.: Potsdam, Universiẗat, Magisterarbeit, 2006.
9

Automatic test data generation from formal specification using genetic algorithms and case based reasoning

Salama, Mohamed Ahmed Said January 2003 (has links)
No description available.
10

Logic, programming and formal specification

Goldsmith, M. H. January 1985 (has links)
No description available.

Page generated in 0.0302 seconds