NieR Automata World Guide Volume 2

Dark Horse Books and Square Enix come together again to present this adaptation of the original Japanese volume, officially offered in English for the first time!

NieR  Automata World Guide Volume 2

Over 300 full-color pages collected into a hardcover volume that explores the secrets and strategies of Square Enix's NieR:Automata! Revisit the characters, combat, and environment that enchanted players with stunning action and profound adventure from video game director Yoko Taro. Discover the intricacies of Submergence City, learn more about the characters and enemies with the Data Library, and master the Androids' arsenal! Also featuring concept art and commentary, this second volume of the NieR:Automata World Guide is a must have item for fans of the game! Dark Horse Books and Square Enix come together again to present this adaptation of the original Japanese volume, officially offered in English for the first time!

NieR Automata World Guide Volume 1

Dark Horse Books and Square Enix present a faithful localization of the original Japanese volume of the same name, offered in English for the first time!

NieR  Automata World Guide Volume 1

Step into the boots of a YoRHa combat android and discover the world of NieR: Automata from a firsthand perspective! 192 pages of art, lore, and exploration collected into a fantastic full-color hardcover volume in English for the very first time! Whether locked in open combat, zipping through the air on a flying mech, or bonding with nature through the indigenous fauna, NeiR: Automata captivated players through a genre-bending blend of action and adventure. Now, journey through this unique and ruined world, discovering its each and every intricacy with the NieR: Automata World Guide! Dark Horse Books and Square Enix present a faithful localization of the original Japanese volume of the same name, offered in English for the first time! Explore the world of NieR: Automata through maps, character biographies, short stories, concept art, commentary, and more!

CONCUR 99 Concurrency Theory

Distributing automata for asynchronous networks of processors. ... N. Halbwachs, F. Lagnier, and Ratel C. Programming and verifying real-time systems by means of the synchronous dataflow language lustre. ... Syndex v4.2 user guide.

CONCUR 99  Concurrency Theory

This book constitutes the proceedings of the 10th International Conference on Concurrency Theory, CONCUR'99, held in Eindhoven, The Netherlands in August 1999. The 32 revised full papers presented together with four invited contributions were selected from a total of 91 submissions. The papers address all areas of semantics, logics, and verification techniques for concurrent systems, in particular process algebras, Petri nets, event-structures, real-time systems, hybrid systems, stochastic systems, decidability, model-checking, verification, refinement, term and graph rewriting, distributed programming, logic constraint programming, typing systems, etc.

Books in Print Supplement

Books in Print Supplement

Includes authors, titles, subjects.

Science Citation Index

Science Citation Index

Vols. for 1964- have guides and journal lists.