Axiomatic domain theory in categories of partial maps von Fiore, Marcelo P.

Axiomatic domain theory in categories of partial maps von Fiore, Marcelo P.

DE-12
DE-92
URL des Erstveröffentlichers

First steps on the representation of domains (extended abstract) von Fiore, Marcelo P.

Axiomatic domain theory in categories of partial maps von Fiore, Marcelo P.

Volltext

La fontana dell'Organo in Villa d'Este il Diluvio, la Natura e la Musica e il michelangiolismo von Fagiolo, Marcello 1941-, Madonna, Maria Luisa

Evolutionary biology and conservation of titis, sakis and uacaris

Inhaltsangabe: “… Jeffrey Meldrum & Masanaru Takai -- The misbegotten : long lineages, long branches and the interrelationships of Aotus, Callicebus and the saki-uacaris / Alfred L. Rosenberger & Marcelo F. Tejedor -- A molecular phylogeography of the uacaris (Cacajao) / Wilsea M.B.  …”
DE-12
DE-92
DE-29
URL des Erstveröffentlichers

Category theory and computer science 6th international conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995 ; proceedings

Inhaltsverzeichnis

Interactions between category theory and computer science 19.07. - 23.07.93

Inhaltsverzeichnis

Evolutionary biology and conservation of Titis, Sakis and Uacaris

Inhaltsverzeichnis

Networking 2011 Workshops International IFIP TC 6 Workshops, PE CRN, NC Pro, WCNS, and SUNSET 2011, held at Networking 2011, Valencia, Spain, May 13, 2011 ; revised selected papers

Inhaltstext
Inhaltsverzeichnis

Symposium on Logic in Computer Science LICS '94 ; proceedings ; CNAM, Paris, France, July 4 - 7, 1994

Inhaltsverzeichnis

Global rotavirus surveillance preparing for the introduction of rotavirus vaccines

Inhaltsverzeichnis

Handbook of smart materials, technologies, and devices applications of industry 4.0 von Hussain, Chaudhery Mustansar 1975-

Inhaltsverzeichnis

Xenocracy state, class and colonialism in the Ionian Islands, 1815-1864 von Gekas, Sakis ca. 20./21. Jh

Inhaltsverzeichnis
Literaturverzeichnis
Register // Gemischte Register

Dzieje Polski von Nowak, Andrzej 1960-

Inhaltsverzeichnis
Register // Personenregister
Register // Ortsregister