Search
Feedback
About
Help
News
| Listing 1 - 10 of 13 | << page >> |
Sort by
|
Dissertation
Year: 1982 Publisher: Braunschweig : Technische Universität Carolo-Wilhelmina, Fakultät Für Maschinenbau und Elektrotechnick,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
SEDIMENTOLOGIE --- PETROLOGIE ROCHES SEDIMENTAIRES --- ROCHES EVAPORITIQUES --- TECTONIQUE --- TECTONIQUE DETAIL --- PLISSEMENTS, FAILLES, JOINTS, DIAPIRISME... --- PETROLOGIE ROCHES SEDIMENTAIRES --- ROCHES EVAPORITIQUES --- TECTONIQUE DETAIL --- PLISSEMENTS, FAILLES, JOINTS, DIAPIRISME...
Book
ISBN: 9070160277 Year: 1982 Publisher: Beek Elektuur
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 0582643546 9780582643543 Year: 1982 Publisher: Harlow, Essex Longman
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Manyika (African people) --- Manyika (African people) --- Commerce --- Politics and government --- Zimbabwe --- History. --- Manyika (African people) --- Commerce --- Manyika (African people) --- Politics and government --- Zimbabwe --- History
ISBN: 0906780128 Year: 1982 Publisher: London Council for British archaeology
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Cities and towns --- -Environmental archaeology --- -Urban archaeology --- -Archaeology, Urban --- Archaeology --- Archaeology, Environmental --- Global cities --- Municipalities --- Towns --- Urban areas --- Urban systems --- Human settlements --- Sociology, Urban --- History --- -Congresses --- Congresses --- Methodology --- Great Britain --- Antiquities --- -Congresses. --- Environmental archaeology --- Urban archaeology --- Congresses. --- -History --- Archaeology, Urban --- History&delete&
Book
ISBN: 9020253980 Year: 1982 Publisher: Deventer Ankh-Hermes
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
#gsdb10 --- 248*31 --- #GBIB:SMM --- #GOSA:X.GEBE.M --- 248*31 Oosters-orthodoxe spiritualiteit --- Oosters-orthodoxe spiritualiteit
Book
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Laser spectroscopy --- Nuclear physics --- Congresses --- Congresses
Book
ISBN: 3920112954 Year: 1982 Publisher: Frankfurt am Main Verlag Das Musikinstrument
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 0133288072 9780133288070 Year: 1982 Publisher: Englewood Cliffs (N.J.): Prentice Hall
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer programs --- -Computer programs --- -Formal methods (Computer science) --- 681.3*D24 --- 681.3*F31 --- System design --- Computer program files --- Files, Computer program --- Program files, Computer --- Programs, Computer --- Computer files --- Computer software --- Specifications --- Verification --- Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- 681.3*F31 Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Formal methods (Computer science) --- Verification of computer programs --- Computer programs - Verification --- Computer programs - Specifications
| Listing 1 - 10 of 13 | << page >> |
Sort by
|