Alessandro Armando – författare
Visar alla böcker från författaren Alessandro Armando. Handla med fri frakt och snabb leverans.
6 produkter
Story of a Section
Designing the Shougang Oxygen Factory
Av Michele Bonino, Edoardo Bruno m. fl.
Häftad, 2022
384 kr
Lägg i varukorg
This book is an experiment on constructing a text starting — exclusively and strictly — from the materials of an architectural project. As in an archive, it contains all the documents produced by the design team, which become the only sources of a text that allows the reader to generalise the …
Frontiers of Combining Systems
4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002. Proceedings
Häftad, 2002
568 kr
Lägg i varukorg
This volume contains the proceedings of FroCoS 2002, the 4th International Workshop on Frontiers of Combining Systems, held April 8-10, 2002 in Santa Margherita Ligure (near Genova), Italy. Like its predecessors, organized in - nich (1996), Amsterdam (1998), and Nancy (2000), FroCoS 2002 o?ered a …
Frontiers of Combining Systems
4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002. Proceedings
E-bok, 2003
755 kr
Lägg i varukorg
This volume contains the proceedings of FroCoS 2002, the 4th International Workshop on Frontiers of Combining Systems, held April 8-10, 2002 in Santa Margherita Ligure (near Genova), Italy. Like its predecessors, organized in - nich (1996), Amsterdam (1998), and Nancy (2000), FroCoS 2002 o?ered a …
Automated Reasoning
4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings
Av Alessandro Armando, Peter Baumgartner m. fl.
Häftad, 2008
568 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in August 2008. The 26 revised full research papers and 13 revised system descriptions presented together with 4 invited papers and a summary of …
Automated Reasoning
4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings
Av Gilles Dowek, Peter Baumgartner m. fl.
E-bok, 2008
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in August 2008. The 26 revised full research papers and 13 revised system descriptions presented together with 4 invited papers and a summary of …
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010, Revised Selected Papers
Av Gavin Lowe, Alessandro Armando
E-bok, 2010
903 kr
Lägg i varukorg
