Authors:Manuel Hermenegildo, German Puebla,
Publisher: Springer
Keywords: analysis, static
Number of Pages: 538
Published: 2002-10-28
List price: $91.00
ISBN-10: 3540442359
ISBN-13: 9783540442356

This book constitutes the refereed proceedings of the 9th International Static Analysis Symposium, SAS 2002, held in Madrid, Spain in September 2002. The 32 revised full papers presented were carefully reviewed and selected from 86 submissions. The papers are organized in topical sections on theory, data structure analysis, type inference, analysis of numerical problems, implementation, data flow analysis, compiler optimizations, security analyses, abstract model checking, sematics and abstract verification, and termination analysis.

Author: Timothy J.Henderso
Publisher: Duke University Pre
Keywords: puebla, tlaxcala, valley, mexico, struggle, agrarian, wheat, rosalie, evans, worm
Number of Pages: 304
Published: 1998-09-01
List price: $23.95
ISBN-10: 0822322161
ISBN-13: 9780822322160

The Worm in the Wheat is a compelling tale of political intrigue, violence, shifting allegiances, extreme poverty, and the recalcitrance of one woman. Above all, it is a multileveled interpretation of the Mexican revolution and the ultimate failure of agrarian reform. Timothy J. Henderson recounts the story of Rosalie Evans, a woman who lost her life defending her Mexican hacienda in defiance of confiscation decrees. This dramatic narrative is populated with many diverse actors: Mexican, British, and American officials, soldiers, rebel leaders, bureaucrats, peasants, vigilantes, and the unforg

Author: Miguel Leon Chavez
Publisher: Elsevier Science
Keywords: volume, proceedings, ifac, mexico, november, ipv, puebla, conference, systems, fieldbus, international, applications
Number of Pages: 282
Published: 2007-04-11
List price: $143.00
ISBN-10: 0080453643
ISBN-13: 9780080453644

The FeT series - Fieldbus Systems and their Applications Conferences started in 1995 in Vienna, Austria. Since FeT’2001 in Nancy, France, the conference became an IFAC - International Federation of Automatic Control sponsored event. These proceedings focus on 13 sessions, covering, fieldbus based systems, services, protocols and profiles, system integration with heterogeneous networks, management, real-time, safety, dependability and security, distributed embedded systems, wireless networking for field applications, education and emerging trends. Two keynote speeches from experts outside

Author: José Francisco Martínez-TrinidadJesús Ariel Carra
Publisher: Springer
Keywords: recognition, pattern, september, proceedings, graphics, mexico, vision, mcpr, second, mexican, conference, advances, puebla
Number of Pages: 398
Published: 2010-10-13
List price: $83.00
ISBN-10: 3642159915
ISBN-13: 9783642159916

This book constitutes the thoroughly refereed proceedings of the Second Mexican Conference on Pattern Recognition, MCPR 2010, held in Puebly, Mexico, in September 2010. The 39 revised papers were carefully reviewed and selected from 89 submissions and are organized in topical sections on computer vision and robotics, image processing, neural networks and signal processing, pattern recognition, data mining, natural language and document processing.