Andere Kunden interessierten sich auch für
![High-performance and hardware-aware computing: proceedings of the second International Workshop on New Frontiers in High-performance and Hardware-aware Computing (HipHaC'11), San Antonio, Texas, USA, February 2011 ; (in conjunction with HPCA-17)]( "High-performance and hardware-aware computing: proceedings of the second International Workshop on New Frontiers in High-performance and Hardware-aware Computing (HipHaC'11), San Antonio, Texas, USA, February 2011 ; (in conjunction with HPCA-17)")
High-performance and hardware-aware computing: proceedings of the second International Workshop on New Frontiers in High-performance and Hardware-aware Computing (HipHaC'11), San Antonio, Texas, USA, February 2011 ; (in conjunction with HPCA-17)33,00 €![Parallel and Distributed Computing for Symbolic and Irregular Applications - Proceedings of the International Workshop Pdsia '99]( "Parallel and Distributed Computing for Symbolic and Irregular Applications - Proceedings of the International Workshop Pdsia '99")
Parallel and Distributed Computing for Symbolic and Irregular Applications - Proceedings of the International Workshop Pdsia '99157,99 €![Computer Algebra 2006: Latest Advances in Symbolic Algorithms - Proceedings of the Waterloo Workshop]( "Computer Algebra 2006: Latest Advances in Symbolic Algorithms - Proceedings of the Waterloo Workshop")
Computer Algebra 2006: Latest Advances in Symbolic Algorithms - Proceedings of the Waterloo Workshop104,99 €![Multimedia Databases and Image Communication - Proceedings of the Workshop on MDIC 2004]( "Multimedia Databases and Image Communication - Proceedings of the Workshop on MDIC 2004")
Multimedia Databases and Image Communication - Proceedings of the Workshop on MDIC 2004107,99 €![Advanced Visual Interfaces - Proceedings of the International Workshop AVI '92]( "Advanced Visual Interfaces - Proceedings of the International Workshop AVI '92")
Advanced Visual Interfaces - Proceedings of the International Workshop AVI '92164,99 €![Neural Nets Wirn Vietri '95 - Proceedings of the VII Italian Workshop]( "Neural Nets Wirn Vietri '95 - Proceedings of the VII Italian Workshop")
Neural Nets Wirn Vietri '95 - Proceedings of the VII Italian Workshop125,99 €![Image: E-Learning, Understanding, Information Retrieval, Medical - Proceedings of the First International Workshop]( "Image: E-Learning, Understanding, Information Retrieval, Medical - Proceedings of the First International Workshop")
Image: E-Learning, Understanding, Information Retrieval, Medical - Proceedings of the First International Workshop145,99 €
This volume contains the proceedings of the third workshop of the Theory and Formal Methods Section of the Department of Computing, Imperial College, London. It covers various topics in theoretical computer science. Formal specification, theorem proving, operational and denotational semantics, real number computation, computational measure theory, and neural networks are all represented.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.