Your search returned 485 results.

Sort
Results
441.
Beweisprogrammnach einem modifizierten gentzenkalkul fur die pradikatenlogik erster stufe J. Ciesinger by
Publication details: Munchen Universite Munchen 1972
Availability: Items available for loan: IMAR (1)Call number: III 12342.

442.
Der verband der zopfe Gunther Schmidt by
Publication details: Munchen Universite Munchen 1971
Availability: Items available for loan: IMAR (1)Call number: III 12341.

443.
Klassen unwesentlich verschiedener ableitungsfolgen als verbande Hans Langmaack by
Publication details: Munchen Universite Munchen 1971
Availability: Items available for loan: IMAR (1)Call number: III 12340.

444.
Bemerkungen uber kettenbruche Armin Leutbecher by
Publication details: Munchen Universite Munchen 1971
Availability: Items available for loan: IMAR (2)Call number: III 12339, ...

445.
446.
Der raumschlitten Georg Aumann
Publication details: Munchen Akademie-Verlag 1956
Availability: Items available for loan: IMAR (1)Call number: III 11657.

447.
Vollautomatische funktiosrechenmaschine mit zweistufiger interpolation K. Ramsayer
Publication details: MUNCHEN Akademie der Wissenschaften 1954
Availability: Items available for loan: IMAR (1)Call number: III 12896.

448.
Ein programmpaket zur linguistischen syntaxalyse fur die dokumentation Stephan Braun by
Publication details: Munchen Universitat Munchen 1971
Availability: Items available for loan: IMAR (1)Call number: III 14867.

449.
The operating systems BSM, viewed as a commuting of parallel processes G. Goos; J. Jurgesens by Series: Report. 7208
Publication details: Munchen Universitat Munchen 1972
Availability: Items available for loan: IMAR (1)Call number: III 15062.

450.
Automatische analyse der flexioms-morpheme deutscher substantinvr teilalgorithmus zur automatischen indexieren Schott Gerda by
Publication details: Munchen Universite Munchen 1970
Availability: Items available for loan: IMAR (1)Call number: III 14529.

451.
An approach to a systematic theorem proving procedure in first-order logic Wolfgang Bibel by
Publication details: Munchen Universitat Munchen 1970
Availability: Items available for loan: IMAR (1)Call number: III 14365.

452.
Das segmentierungsverfahren zwischen Kern- und halbleiterspeicher H. Schecher by
Publication details: Munchen Universitat Munchen 1971
Availability: Items available for loan: IMAR (1)Call number: III 14171.

453.
Mengen in algorithmischen sprachen oder: Arten und Pradikate F. L. Bauer; R. Gnatz by
Publication details: Munchen Universitat Munchen 1970
Availability: Items available for loan: IMAR (1)Call number: III 14170.

454.
Geometriekolloquium 1971 an dertechnischen Universitat Munchen
Publication details: Munchen Universitat Munchen 1970
Availability: Items available for loan: IMAR (1)Call number: III 14168.

455.
Tensorprodukt von metrischen vektorraumen undahangig von der charakteristik Karlhorst Meyer by
Publication details: Munchen Universitat Munchen 1970
Availability: Items available for loan: IMAR (1)Call number: III 14169.

456.
Eine erweiterung des Paull-Ungar'schen minierungsverfahrens zur reduktion der internen zustande von schaltwerken H. Schecher by
Publication details: Munchen Universitat Munchen 1971
Availability: Items available for loan: IMAR (1)Call number: III 14167.

457.
Eine graphische zwis zwischensprache R. Gnatz; M. Hirsch; C. Ringel
Publication details: Mchchen Universitat Munchen 1972
Availability: Items available for loan: IMAR (1)Call number: III 15423.

458.
Erweiterungs des standarorhamens fuer Ps440 -programme R. Nolmann by
Publication details: Universitat Universitat Munchen
Availability: Items available for loan: IMAR (1)Call number: III 15422.

459.
Arbeitsgemeinschaft Meyer. Kombinatorische geometrie
Publication details: Munchen Universitat Munchen 1971
Availability: Items available for loan: IMAR (3)Call number: III 15274, ...

460.
KLEX- eine graphiche zwischensprache G. Gerold; R. Gnatz; C. Ringel by
Publication details: Munchen Universitat Munchen 1971
Availability: Items available for loan: IMAR (1)Call number: III 15273.

Pages

Powered by Koha