6 products were found matching your search for Proceedings Of The 14Th in 1 shops:

491pp, wear/soil. W/full markings, bookplate and/or pocket. Weight is 3 lb. Item does NOT FIT in Flat Rate envelopes. Any Priority Mail or Overseas shipment will require extra funds, the amount depending on location. Ex-Library Size: 4to

Zustand: Gut - Gebrauchs- und Lagerspuren. Außen: angestoßen. Innen: Seiten verschmutzt. Seiten: 728 Sprache: Englisch Produktart: Bücher

The volume comprises papers that were presented at the 14th European conference on «Formal Description of Slavic Languages 10.5» at Masaryk University in Brno, Czech Republic. The conference focuses on formal approaches to Slavic phonology, morphology, syntax and semantics. The present contributions describe interesting data patterns found in Slavic languages and analyze them from the perspective of formal grammar, including generative syntax, Distributed Morphology, formal semantics and others.

The volume comprises papers that were presented at the 14th European conference on «Formal Description of Slavic Languages 10.5» at Masaryk University in Brno, Czech Republic. The conference focuses on formal approaches to Slavic phonology, morphology, syntax and semantics. The present contributions describe interesting data patterns found in Slavic languages and analyze them from the perspective of formal grammar, including generative syntax, Distributed Morphology, formal semantics and others.

The volume is comprised of the proceedings of the 14e Rencontre egeenne internationale/14th International Aegean Conference, held in Paris, at the Institut National d'Histoire de l'art (INHA), on 11-14 December 2012, on the theme PHYSIS. L'environnement naturel et la relation homme-milieu dans le monde egeen protohistorique (568 pages, 176 plates). 50 contributions were presented in seven sections: "Cadre naturel," "Ressources naturelles," "Paysage et climat," "Iconographie," "Agriculture," "Ressources animales," "Peuplement et population." 23 short presentations are included as posters.

This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. Fourteen full papers are presented, together with four tool presentation papers and the abstracts of two invited talks. The papers are organized into topical sections covering directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, and tool demonstrations.