Sebanyak 1044 item atau buku ditemukan

Fundamental Approaches to Software Engineering

13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings

Includes the refereed proceedings of the 13th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software.

[Har07b] Harman, M.: The current state and future of search based software
engineering. In: Briand, L., Wolf, A. (eds.) Future of Software Engineering 2007,
pp. 342–357. IEEE Computer Society Press, Los Alamitos (2007) [Har07c]
Harman, ...

Fundamental Approaches to Software Engineering

8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings

ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conf- ences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, CMSB, COCV, FAC, FESCA, FINCO, GCW-DSE, GLPL, LDTA, QAPL, SC, SLAP, TGC, UITP), seven invited lectures (not including those that were speci?c to the satellite events), and several tutorials. We received over 550 submissions to the ?ve conferences this year, giving acceptance rates below 30% for each one. Congratulations to all the authors who made it to the ?nal program! I hope that most of the other authors still found a way of participating in this exciting event and I hope you will continue submitting. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware s- tems,andtheemphasisonsoftwareisnotintendedtobeexclusive.

The string preconditions is a place holder for the preconditions necessary to
establish the correct execution of aMethod. One of the obvious conditions to put
there, is that the self reference is not null: !self = null. With this proof obligation we
 ...

An Active Approach to Wellness and Fitness

Course Number 807-210

Pengembangan perencanaan pendidikan daerah Jawa Timur

lokakarya diselenggarakan pada tanggal 27 s/d 28 September 1974 di Batu (Malang)

Kesadaran gizi nasional dalam rangka peningkatan kualitas sumberdaya manusia

prosiding Simposium Pangan dan Gizi serta Kongres IV Perhimpunan Peminat Gizi dan Pangan (Pergizi-Pangan) Indonesia, Padang, Sumatera Barat, 26-28 September 1989

Symposium on food and nutrition in Indonesia; papers.

Untuk mencapai tujuan ini GBHN telah menggariskan suatu kebijakan
pengembangan dan peningkatan sumber daya manusia yang mencakup
kegiatan dalam empat bidang, yakni: kesehatan, gizi, pendidikan dan
perencanaan ...

Memilih kerangka acuan

tatabahasa bahasa Indonesia: pidato Pengukuhan Gurubesar Ilmubahasa Fakultas Keguruan Sastra dan Seni IKIP Malang, 23 Juni 1973

Issues in Canadian Transport Policy

Papers and Discussions from the Conference on Canadian National Transport Policy, Held at York University, Toronto in May 1972

A Nation upon the Ocean Sea

Portugal's Atlantic Diaspora and the Crisis of the Spanish Empire, 1492-1640

With the opening of sea routes in the fifteenth century, groups of men and women left Portugal to establish themselves across the ports and cities of the Atlantic or Ocean sea. They were refugees and migrants, traders and mariners, Jews , Catholics, and the Marranos of mixed Judaic-Catholic culture. They formed a diasporic community known by contemporaries as the Portuguese Nation. By the early seventeenth century, this nation without a state had created a remarkable trading network that spanned the Atlantic, reached into the Indian Ocean and Asia, and generated millions of pesos that were used to bankroll the Spanish empire. A Nation Upon the Ocean Sea traces the story of the Portuguese Nation from its emergence in the late fifteenth century to its fragmentation in the middle of the seventeenth and situates it in relation to the parallel expansion and crisis of Spanish imperial dominion in the Atlantic. Against the backdrop of this relationship, the book reconstitutes the rich inner life of a community based on movement, maritime trade, and cultural hybridity. We are introduced to mariners and traders in such disparate places as Lima, Seville and Amsterdam, their day-to-day interactions and understandings, their houses and domestic relations, their private reflections and public arguments. This finaly-textured account reveals how the Portuguese Nation created a cohesive and meaningful community despite the mobility and dispersion of its members; how its forms of sociability fed into the development of robust transatlantic commercial networks; and how the day-to-day experience of trade was translated into the sphere of Spanish imperial politics of commercial reform based on religious-ethnic toleration and the liberalization of trade. A microhistory, A Nation Upon the Ocean Sea contributes to our understanding of the broader histories of capitalism, empire, and diaspora in the early Atlantic.

A Nation Upon the Ocean Sea traces the story of the Portuguese Nation from its emergence in the late fifteenth century to its fragmentation in the middle of the seventeenth and situates it in relation to the parallel expansion and crisis of ...

Instant Habitat Dioramas

12 Super-Cool, Easy 3-D Paper Models With Companion Observation Sheets That Teach About Polar Regions, Rain Forests, Oceans & More

This guide to making dioramas, 3-D paper models, includes easy, step-by-step instructions for 12 models of familiar habitats and the animals that live in them, companion observation sheets that teach about polar regions, rain forest, oceans, and more. Illustrations.

12 Super-Cool, Easy 3-D Paper Models With Companion Observation Sheets
That Teach About Polar Regions, Rain Forests, Oceans & More Donald M. Silver,
Patricia J. Wynne, Patricia Wynne. Instant Habitat Dioramas 12 Super-Cool, Easy
 ...