Kapak Resmi

QR Kod

Formal methods applied to complex systems /

Kaydedildi:

Detaylı Bibliyografya
Diğer Yazarlar:	Boulanger, Jean-Louis (Editör)
Materyal Türü:	Elektronik Ekitap
Dil:	İngilizce
Baskı/Yayın Bilgisi:	London, [England] ; Hoboken, New Jersey : ISTE : Wiley, 2014.
Seri Bilgileri:	Computer engineering series.
Konular:	Computer-aided design. Computer engineering. Systems engineering. Electronic books.
Online Erişim:	An electronic book accessible through the World Wide Web; click to view
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Benzer Materyaller

Engineering computations : international journal for computer-aided engineering and software.
Baskı/Yayın Bilgisi: (2005)

Pro/Engineer wildfire 4.0 instructor /
Yazar:: Kelly, David S.
Baskı/Yayın Bilgisi: (2009)

Systems approach to engineering design
Yazar:: Sydenham, P. H.
Baskı/Yayın Bilgisi: (2004)

AutoCAD 2011 & AutoCAD LT 2011 bible
Yazar:: Finkelstein, Ellen A.
Baskı/Yayın Bilgisi: (2010)

On line and on paper visual representations, visual culture, and computer graphics in design engineering /
Yazar:: Henderson, Kathryn
Baskı/Yayın Bilgisi: (1999)

Flexibility in engineering design
Yazar:: De Neufville, Richard, 1939-
Baskı/Yayın Bilgisi: (2011)

Research in engineering and management of advanced manufacturing systems : selected, peer reviewed papers from the 4th International Conference on Management of Manufacturing Systems (MMS 2014), October 1-3, 2014, High Tatras, Slovakia /
Baskı/Yayın Bilgisi: (2015)

Success through failure the paradox of design /
Yazar:: Petroski, Henry
Baskı/Yayın Bilgisi: (2006)

Approaches to improve engineering design
Baskı/Yayın Bilgisi: (2001)

Introduction to design for civil engineers
Yazar:: Narayanan, R.
Baskı/Yayın Bilgisi: (2003)

Design for manufacturing a structured approach /
Yazar:: Poli, C., 1935-
Baskı/Yayın Bilgisi: (2001)

Advanced design and manufacturing technology I : special topic volume with invited papers only /
Baskı/Yayın Bilgisi: (2011)

Case studies in advanced engineering design : proceedings of the 1st international symposium /
Baskı/Yayın Bilgisi: (2013)

Visual design fundamentals a digital approach /
Yazar:: Hashimoto, Alan
Baskı/Yayın Bilgisi: (2004)

Visual design fundamentals a digital approach /
Yazar:: Hashimoto, Alan
Baskı/Yayın Bilgisi: (2009)

Service science design for scaling and transformation /
Yazar:: Hsu, Cheng, 1951-
Baskı/Yayın Bilgisi: (2009)

Mudbox 2013 cookbook over 60 recipes to sculpt digital masterpieces like a modern Michelangelo /
Yazar:: Roland, Jeremy
Baskı/Yayın Bilgisi: (2012)

Design in the new millennium advanced engineering environments : phase 2 /
Baskı/Yayın Bilgisi: (2000)

Advanced engineering environments achieving the vision : phase 1 /
Baskı/Yayın Bilgisi: (1999)

Delft science in design 2 conference proceedings, 4 April 2007 /
Baskı/Yayın Bilgisi: (2008)

Introduction to optimum design
Yazar:: Arora, Jasbir S.
Baskı/Yayın Bilgisi: (2004)

Innovating processes : special topic volume with invited peer reviewed papers only /
Baskı/Yayın Bilgisi: (2012)

3D printing with SketchUp : real-world case studies to help you design models in SketchUp for 3D printing on anything ranging from the smallest desktop machines to the largest industrial 3D printers /
Yazar:: Ritland, Marcus
Baskı/Yayın Bilgisi: (2014)

Understanding design and technology in primary schools cases from teachers' research /
Baskı/Yayın Bilgisi: (1996)

Design processes what architects & industrial designers can teach each other about managing the design process /
Baskı/Yayın Bilgisi: (2008)

Anti-fatigue design and manufacturing technologies
Baskı/Yayın Bilgisi: (2012)

Environmentally assisted wear processes : selected, peer reviewed papers from the International Conference on Wear Processes 2012 September 12-14, 2012, Świnoujście, Poland /
Baskı/Yayın Bilgisi: (2015)

Metaheuristics for big data.
Yazar:: Dhaenens, Clarisse, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Visualization in Engineering

Theoretical foundations for decision making in engineering design
Baskı/Yayın Bilgisi: (2001)

Formal methods in circuit design /
Yazar:: Stavridou, V.
Baskı/Yayın Bilgisi: (1993)

AutoCAD 2013 & AutoCAD LF 2013 bible
Yazar:: Finkelstein, Ellen
Baskı/Yayın Bilgisi: (2012)

The engineering design of systems : models and methods /
Yazar:: Buede, Dennis M., ve diğerleri
Baskı/Yayın Bilgisi: (2016)

SolidWorks 2010 no experience required /
Yazar:: Ruiz, Alex, 1974-
Baskı/Yayın Bilgisi: (2010)

SolidWorks 2013 bible
Yazar:: Lombard, Matt
Baskı/Yayın Bilgisi: (2013)

Engineering systems meeting human needs in a complex technological world /
Yazar:: De Weck, Olivier L.
Baskı/Yayın Bilgisi: (2011)

Practical applications of soft computing in engineering
Baskı/Yayın Bilgisi: (2001)

Formal methods applied to complex systems : implementation of the B method /
Baskı/Yayın Bilgisi: (2014)

Engineering informatics fundamentals of computer-aided engineering /
Yazar:: Raphael, B. (Benny)
Baskı/Yayın Bilgisi: (2013)

Beginning software engineering /
Yazar:: Stephens, Rod
Baskı/Yayın Bilgisi: (2015)