【预订】Algebraic Methodology and Software Technology (Amast 93)
美国库房发货,通常付款后3-5周到货!
/ 1993-12-17
/ 暂无出版社信息
¥520.00
【预订】Foundations of Software Science and Computation Structur
国外库房发货,通常付款后3-5周到货!
/ 1998-03-11
Product Details 基本信息 ISBN-13 书号 9783540643005 Author 作者 Nivat Format 版本 平装-胶订 Pages Number 页数 297页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1998-03-11 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the First International Conference on the Foundations of Software Science and Computation Structures, FoSSaCS’98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS’98, in Lisbon, Portugal, in March/April 1998.The 19 revised full papers presented in the book were carefully selected from a total of 44 submissions. Among the topics covered are formal specification, automata theory, term rewriting and rewriting systems, process algebras, formal language theory, type theory, event structures, and iteration theory.
¥520.00
WAKE OF WAR, THE(ISBN=9780807002391) 英文原版
/ 2006-10-01
The truth that Nivat constructs in The Wake of War is .. . compelling. Nivat is perhaps best known for her reporting onChechnya, where she disguised herself as a Chechen woman to evade aban on journalists. Her new work is no less courageous.--TomMontgomery-Fate, Boston Globe "The wars in which the United States has been engaged since 9/11seem distant and almost unreal. This book provides us with vividfirsthand voices of ordinary people from these two devastatedbattlefields . . . A riveting and essential book for anunderstanding of the true import of these faraway wars." --RashidKhalidi, author of Resurrecting Empire
¥48.70