| Springer Nature B.V.

74,480원  | 20230515  | 9783031331640

This book constitutes the refereed proceedings of the?9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023.?The 12 full and 7 short papers included in this volume were carefully reviewed and selected from 47 submissions. The proceedings also include 4 PhD symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.

 | Springer Nature B.V.

74,480원  | 20210527  | 9783030775445

This book constitutes the proceedings of the 8th International Conference on?Rigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Germany, during June 6-11, 2021. The conference changed to an online format due to the COVID-19 pandemic.?The 6 full and 8 short papers included in this volume were carefully reviewed and selected from 18 submissions. The proceedings also include 3 PhD symposium contributions.

 | Springer Nature B.V.

74,480원  | 20200521  | 9783030480783

This book constitutes the refereed proceedings of the 7th International Conference on Rigorous State-Based Methods, ABZ 2020, which was due to be held in Ulm, Germany, in May 2020.?The conference was cancelled due to the COVID-19 pandemic. The 12 full papers and 9 short papers were carefully reviewed and selected from 61 submissions.

Wang, Jiacun (EDT)  | Chapman & Hall

147,730원  | 20170104  | 9781138199354

A concise, lively history of Korea, which explores the richness of Korean civilization from the ancient era through to the jarring transformation that resulted in two distinctive trajectories through the modern world. This new edition of a successful text brings it up-to-date with the latest scholarship and developments in Korea's history.

 | Springer

260,730원  | 20250702  | 9783031945328

This book constitutes the refereed proceedings of the 11th International Conference on Rigorous State-Based Methods, ABZ 2025, held in Dusseldorf, Germany, during June 10?13, 2025. The 10 full papers, 4 short papers, 2 PhD Symposium papers and 5 case study papers presented in this book were carefully reviewed and selected from 33 submissions. The proceedings also contain one invited talk in full paper length.

 | KS OmniScriptum Publishing

206,730원  | 20090702  | 9783639173109

Most motion editing techniques require significant computation resources or considerable manual annotation. This thesis proposes analytical classification and correspondence techniques to support consistent interpolation between pairs or quadruples of motion clips.

Bormann, F. H.  | Springer

102,410원  | 20210101  | 9780387943442

The advent of ecosystem ecology has created great difficulties for ecologists primarily trained as biologists, since inevitably as the field grew, it absorbed components of other disciplines relatively foreign to most ecologists yet vital to the understanding of the structure and function of ecosystems.

 | Lulu.com

0원  | 20130617  | 9781304145529

The Average Crop Revenue Election, or ACRE, program is a commodity support program that bases coverage on aggregate State-level and individual farm-level revenue variability. Changing the level of aggregation from State to one closer to the farm level-Crop Reporting District or county-would generally increase payments.

Daniel Brandell, Jonas Mindemark, Guiomar Hernandez  | de Gruyter

148,490원  | 20210719  | 9781501521133

 | CRC Press

335,800원  | 20241204  | 9781032882277

This book is devoted to logic synthesis of field programmable gate array (FPGA)-based circuits of Mealy finite state machines (FSM). Three new methods of state assignment are proposed which allows obtaining FSM circuits required minimum amount of internal chip resources.

Nelson, Paul J.  | Springer Nature Switzerland AG

242,100원  | 20220430  | 9783030689667

This first study of faith-based development NGOs' (FBOs) political roles focuses on how U.S. FBOs in international development educate and mobilize their constituencies.

 | Springer Nature B.V.

74,480원  | 20221126  | 9783031160288

The book is devoted to design and optimization of control units represented by combined finite state machines (CFSMs). The CFSMs combine features of both Mealy and Moore FSMs. Having states of Moore FSM, they produce output signals of both Mealy and Moore types. To optimize the circuits of CFSMs, we propose to use optimization methods targeting both Mealy and Moore FSMs. The book contains some original synthesis and optimization methods targeting hardware reduction in VLSI-based CFSM circuits.

 | Usborne Publishing Ltd

14,250원  | 20210527  | 9781474990868

An exciting book packed with addictive pencil-and-paper games for one or more player. Crammed full of puzzles and games that will keep children occupied for hours, this book contains 17 solo games and 13 to play with a friend, including classics such as 0s and Xs, word searches, matching games and Sudoku.

Stoddard, Brad  | University of North Carolina Press

176,930원  | 20210405  | 9781469663074

Takes the reader deep inside faith and character-based correctional institutions, analysing the subtle meanings and difficult choices with which the incarcerated, prison administrators, staff, and chaplains grapple every day.

 | Routledge

67,140원  | 20240415  | 9781032364018

The Absorption of Immigrants (1954) examines the assimilation of immigrants in the Yishuv (the Jewish Community in Palestine) and in the State of Israel. It provides a historical analysis of the social structure of the Yishuv and of the development of the new Israeli society.