Download or read book Katoen Natie 150 Years written by Greta Devos and published by Lannoo Uitgeverij. This book was released on 2002 with total page 216 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Teysmannia written by and published by . This book was released on 1908 with total page 910 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Surinaams contrast written by A.A. van Stipriaan and published by BRILL. This book was released on 2015-03-20 with total page 510 pages. Available in PDF, EPUB and Kindle. Book excerpt: Plantages en slaven vormden meer dan twee eeuwen de kern van de Surinaamse maatschappij. Surinaams contrast biedt op basis van een bijna tienjarig onderzoek van Nederlands, Surinaams en Engels archiefmateriaal over enkele honderden plantages de meest uitvoerige en diepgaande studie over deze tweeëenheid. De studie schetst een levendig en gedetailleerd beeld van de Surinaamse samenleving in de achttiende en negentiende eeuw. Aangetoond wordt dat er meerdere plantagesectoren waren—koffie, suiker en katoen—die structureel van elkaar verschilden en ieder een geheel eigen geschiedenis hebben gekend. Ook wordt uitvoerig stilgestaan bij de strijd tegen het water die het leven op de meeste Surinaamse plantages verzwaarde. Voor het grootste deel van de Surinaamse bevolking was de plantage behalve werk- ook woonplaats. Daarom wordt niet alleen de arbeid, maar ook de leefwereld van de plantagebewoners beschreven. Dat daarbij de meeste aandacht uitgaat naar de levenswijze en bestaansstrijd van de slaven ligt voor de hand: zij vormden nu eenmaal de overgrote meerderheid van de bevolking en waren van generatie op generatie gebonden aan de plantages. Surinaams contrast toont voorts aan dat de Surinaamse samenleving voortdurend in beweging was en veranderde. Roofbouw en overleven kenmerkten, in wankel evenwicht, de Surinaamse plantagemaatschappij. In hoeverre Suriname in dit en in andere opzichten afweek van het algemene Caraïbische patroon wordt duidelijk uit de vele vergelijkingen die worden gemaakt met andere plantagekoloniën in de regio.

Download or read book Graph Transformation written by Fabio Gadducci and published by Springer Nature. This book was released on 2021-06-17 with total page 311 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 14th International Conference on Graph Transformation, ICGT 2021, which took place virtually during June 24-25, 2021. The 14 full papers and 2 tool papers presented in this book were carefully reviewed and selected from 26 submissions. They deal with the following topics: theoretical advances; application domains; and tool presentations.

Download or read book Automated Technology for Verification and Analysis written by Cyrille Artho and published by Springer. This book was released on 2016-10-07 with total page 527 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016. The 31 papers presented in this volume were carefully reviewed and selected from 82 submissions. They were organized in topical sections named: keynote; Markov models, chains, and decision processes; counter systems, automata; parallelism, concurrency; complexity, decidability; synthesis, refinement; optimization, heuristics, partial-order reductions; solving procedures, model checking; and program analysis.

Download or read book ModelEd TestEd TrustEd written by Joost-Pieter Katoen and published by Springer. This book was released on 2017-10-16 with total page 394 pages. Available in PDF, EPUB and Kindle. Book excerpt: This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday. The contributions in this Festschrift are written by a number of Ed's former Ph.D. students and collaborators. The papers are a reflection on his research contributions and interests and all fall into the area of formal methods, or in Ed's terminology applied mathematics in computer science. The papers address modeling languages and semantics, model-based testing, verification and performance analysis, probabilistic computation, system dynamics, and applications of formal methods.

Download or read book Formal Methods for Industrial Critical Systems written by Gwen Salaün and published by Springer. This book was released on 2011-09-19 with total page 270 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, held in Trento, Italy, in August 2011. The 16 papers presented together with 2 invited talks were carefully reviewed and selected from 39 submissions. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications.

Download or read book Maatschappij Belangen written by and published by . This book was released on 1905 with total page 672 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Crops and Markets written by South Africa. Division of Agricultural Economic Research and published by . This book was released on 1922 with total page 782 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Technical Communication written by and published by . This book was released on 1978 with total page 948 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book S M L XL written by Rem Koolhaas and published by The Monacelli Press, LLC. This book was released on 1997-10-01 with total page 1383 pages. Available in PDF, EPUB and Kindle. Book excerpt: S,M,L,XL presents a selection of the remarkable visionary design work produced by the Dutch firm Office for Metropolitan Architecture (O.M.A.) and its acclaimed founder, Rem Koolhaas, in its first twenty years, along with a variety of insightful, often poetic writings. The inventive collaboration between Koolhaas and designer Bruce Mau is a graphic overture that weaves together architectural projects, photos and sketches, diary excerpts, personal travelogues, fairy tales, and fables, as well as critical essays on contemporary architecture and society. The book's title is also its framework: projects and essays are arranged according to scale. While Small and Medium address issues ranging from the domestic to the public, Large focuses on what Koolhaas calls "the architecture of Bigness." Extra-Large features projects at the urban scale, along with the important essay "What Ever Happened to Urbanism?" and other studies of the contemporary city. Running throughout the book is a "dictionary" of an adventurous new Koolhaasian language -- definitions, commentaries, and quotes from hundreds of literary, cultural, artistic, and architectural sources.

Download or read book Computer Aided Verification written by Constantin Enea and published by Springer Nature. This book was released on 2023-07-16 with total page 513 pages. Available in PDF, EPUB and Kindle. Book excerpt: The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis; Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification.

Download or read book Quantitative Evaluation of Systems written by Erika Ábrahám and published by Springer Nature. This book was released on 2022-09-10 with total page 406 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 19th International Conference on Quantitative Evaluation Systems, QEST 2022, held in Warsaw, Poland, in September 2022. The 19 full papers presented together with 1 keynote paper were carefully reviewed and selected from 44 submissions. The papers are organized in the following topics: program analysis; parameter synthesis; markovian agents and population models; dynamical systems; tools; applications and automata theory; and applications.

Download or read book Software Engineering and Formal Methods written by Dimitra Giannakopoulou and published by Springer. This book was released on 2014-08-04 with total page 412 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014. The 23 full papers presented together with 3 invited and 6 tool papers were carefully reviewed and selected from 106 submissions. They are organized in topical section on program verification, testing, component-based systems, real-time and embedded systems, model checking and automata learning, program correctness, and adaptive and multi-agent systems.

Download or read book Government Gazette written by South Africa and published by . This book was released on 1966-04 with total page 1258 pages. Available in PDF, EPUB and Kindle. Book excerpt: Certain issues called also Regulation gazette no. 1-

Download or read book Computer Safety Reliability and Security written by Amund Skavhaug and published by Springer. This book was released on 2016-09-06 with total page 324 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 35th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2016, held in Trondheim, Norway, in September 2016. The 24 revised full papers presented were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on fault injection, safety assurance, formal verification, automotive, anomaly detection and resilience, cyber security, fault trees, and safety analysis.

Download or read book Crops and Markets written by and published by . This book was released on 1924 with total page 362 pages. Available in PDF, EPUB and Kindle. Book excerpt: