Results
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Logic for programming, artificial intelligence, and reasoning : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : Proceedings / Eds. : Nachum Dershowitz, Andrei Voronkov. by LPAR 2007 (2007 : Yerevan, Armenia) | Dershowitz, Nachum [edt] | Voronkov, Andrei, 1959- [edt]. Series: Lectures notes in computer science | Lecture notes in artificial intelligence ; 4790Edition: 1st ed.Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: New York : Springer, 2007Availability: Items available for loan: 2 Call number: И II/113655, ...
|
|
|
|
|
|
The nautical magazine : a journal of papers on subjects connected with maritime affairs. Material type: Continuing resource; Format:
print
Publication details: [London] : Brown, Son and Ferguson, 1832-Other title: Nautical magazine | Nautical magazine and naval chronicle | Nautical magazine and journal of the Royal Naval Reserve | Nautical magazine and journal of the Naval Reserves.Availability: Items available for loan: 2 Call number: ИЖ 3901, ...
|
|
|
|
|
|
|
|
|
|
|
|
Les travaux de Mars, ou L'art de la guerre : Divisé en trois parties. La premiere, enseigne la methode de fortifier toutes sortes de places regulieres & irregulieres. La seconde, explique leurs constructions, selon les plus fameux auteurs, qui en ont traité jusqu'à present, & donne aussi la maniere de les bâtir. La troisiéme, enseigne les fonctions de la cavalerie & de l'infanterie, traite de l'artillerie, & donne la methode d'attaquer & de deffendre les places. Avec un ample détail de la milice des Tures, tant pour l'attaque que pour la deffence. Ouvrage enrichi de plus de quatre cens planches gravées en taille-douce. / Par Allain Manesson Mallet ... . by Manesson-Mallet, Allain, 1630?-1706? | Thierry, Denys, d. 1712 [prt]. Material type: Text; Format:
print
; Literary form:
Not fiction
Language: French Publication details: A Paris : Chez Denys Thierry ..., M. DC. LXXXV (1684)Availability: Items available for loan: 1 Call number: Amb/454.
|
|
|
|
|
|
|
|
|
Utriusque cosmi maioris scilicet et minoris metaphysica, physica atque technica historia in duo volumina secundum cosmi differentiam diuisa / Authore Roberto Flud aliàs de Fluctibus ... . Tomus primus De macrocosmi historia in duos tractatus diuisa. Quorum primus de metaphysico macrocosmi et creaturaru[m] illius ortu. Physico macrocosmi in generatione et corruptione progressu. Secundus de arte naturæ simia in macrocosmo producta & in eo nutrita & multiplicata, cujus filias præcipuas hîc anatomia vivâ recensuimus, nempe arithmeticam. Musicam. Geometriam. Perspectivam. Artem pictoriam. Artem militarem. Motus scientiam. Temporis [scientiam]. Cosmographiam. Astrologiam. Geomantiam. by Fludd, Robert, 1574-1637 | Bry, Johann Theodor de, 1561-1623? [pbl] | Galler, Hieronymus [prt] | Kempfer, Erasmus [prt]. Material type: Text; Format:
print
; Literary form:
Not fiction
Language: Latin Publication details: Oppenhemii : Ære Johan-Theodori de Bry. Typis Hieronymi Galleri, Anno MDCXVII.(1617-)Other title: Utriusque cosmi majoris scilicet et minoris metaphysica, physica atque technica historia in duo volumina secundum cosmi differentiam divisa.Availability: Items available for loan: 2 Call number: Amb/434, ...
|