{"product_id":"9781475744286","title":"IFIP Advances in Information and Communication Technology: Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995","description":"\u003ch1\u003eIFIP Advances in Information and Communication Technology: Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995\u003c\/h1\u003e \u003ch2\u003eRiitahuhta, Asko; Sudweeks, Fay\u003c\/h2\u003e \u003cp\u003eDesigning is one of the most significant of human acts.  Surprisingly, given that designing has been occurring for many  millenia, our  understanding of the processes of designing is  remarkably limited.  Recently, design methods have been formalised not  as humano-centred  processes but as processes capable of computer  implementation with  the goal of augmenting human designers. This  volume contains  contributions which cover design methods based on  evolutionary  systems, generative processes, evaluation methods and  analysis  methods. It presents the state of the art in formal design  methods  for computer aided design.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2013-01-17\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9781475744286\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-0-387-34925-1\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 300\u003c\/p\u003e ","brand":"Springer US","offers":[{"title":"Default Title","offer_id":44343421698188,"sku":"9781475744286","price":197.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9781475744286.jpg?v=1779503936","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9781475744286","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}