Voyages et aventures dans L'Alaska: (Ancienne Amérique Russe)

Esta es una traducción al francés de la obra Travel and Adventure in the Territory of Alaska publicada en Londres en 1868. El libro describe los viajes llevados a cabo en Alaska por el explorador y artista británico Frederick Whymper entre 1865 y 1867. Desde 1862 Whymper venía participando en distintas proyectos exploratorios de la Columbia Británica, como la expedición de exploración de la Isla de Vancouver (Vancouver Island Exploring Expedition, 1864), y el proyecto del telégrafo ruso americano, que buscaba unir a San Francisco y Moscú, por el estrecho de Bering (Western Union Telegraph Expedition 1865-1867), pasando por los territorios estadounidenses, británicos y rusos de Norte América

Automatic code generation: from process algebraic architectural descriptions to multithreaded java programs

Process algebraic architectural description languages provide a formal means for modeling software systems and assessing their properties. In order to bridge the gap between system modeling and system im- plementation, in this thesis an approach is proposed for automatically generating multithreaded object-oriented code from process algebraic architectural descriptions, in a way that preserves – under certain assumptions – the properties proved at the architectural level. The approach is divided into three phases, which are illustrated by means of a running example based on an audio processing system. First, we develop an architecture-driven technique for thread coordination management, which is completely automated through a suitable package. Second, we address the translation of the algebraically-specified behavior of the individual software units into thread templates, which will have to be filled in by the software developer according to certain guidelines. Third, we discuss performance issues related to the suitability of synthesizing monitors rather than threads from software unit descriptions that satisfy specific constraints. In addition to the running example, we present two case studies about a video animation repainting system and the implementation of a leader election algorithm, in order to summarize the whole approach. The outcome of this thesis is the implementation of the proposed approach in a translator called PADL2Java and its integration in the architecture-centric verification tool TwoTowers.

Diagnoses fungorum novorum in Insula Java collectorum / O. Penzig et P.A. Saccardo.

ser. 1-3

Recueil de Voyages et de Mémoires publié de la Société de Geographie

Tom 6 Part 2

Recueil de Voyages et de Mémoires publié de la Société de Geographie

1

Recueil de Voyages et de Mémoires publié de la Société de Geographie

Tom 5 Part 1

Recueil de Voyages et de Mémoires publié de la Société de Geographie

Tom 4

Voyages dans la Basse et la Haute Égypte, pendant les campagnes de Bonaparte /

Mode of access: Internet.

Voyages agronomiques dans la sénatorerie de Dijon, contenant l'exposition du moyen employé avec succès, depuis un siècle, pour corriger l'abus de la désunion des terres, par la manière de tracer les chemins d'exploitation; avec un gravure et plusieurs pièces relatives à l'objet du mémoire ...

Mode of access: Internet.

Les roches et leur éléments minéralogiques, descriptions--analyses microscopiques--structures--gisements.

Mode of access: Internet.

Voyages et voyageurs, 1837-1854 /

Mode of access: Internet.

Voyages en Corse. à l'île d'Elbe, et en Sardaigne;

Mode of access: Internet.