Formal methods applied to complex systems /
שמור ב:
מחברים אחרים: | Boulanger, Jean-Louis (Editor) |
---|---|
פורמט: | אלקטרוני ספר אלקטרוני |
שפה: | אנגלית |
יצא לאור: |
London, [England] ; Hoboken, New Jersey :
ISTE : Wiley,
2014.
|
סדרה: | Computer engineering series.
|
נושאים: | |
גישה מקוונת: | An electronic book accessible through the World Wide Web; click to view |
תגים: |
הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!
|
פריטים דומים
Engineering computations : international journal for computer-aided engineering and software.
יצא לאור: (2005)
יצא לאור: (2005)
Pro/Engineer wildfire 4.0 instructor /
מאת: Kelly, David S.
יצא לאור: (2009)
מאת: Kelly, David S.
יצא לאור: (2009)
Systems approach to engineering design
מאת: Sydenham, P. H.
יצא לאור: (2004)
מאת: Sydenham, P. H.
יצא לאור: (2004)
AutoCAD 2011 & AutoCAD LT 2011 bible
מאת: Finkelstein, Ellen A.
יצא לאור: (2010)
מאת: Finkelstein, Ellen A.
יצא לאור: (2010)
On line and on paper visual representations, visual culture, and computer graphics in design engineering /
מאת: Henderson, Kathryn
יצא לאור: (1999)
מאת: Henderson, Kathryn
יצא לאור: (1999)
Flexibility in engineering design
מאת: De Neufville, Richard, 1939-
יצא לאור: (2011)
מאת: De Neufville, Richard, 1939-
יצא לאור: (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 /
יצא לאור: (2015)
יצא לאור: (2015)
Success through failure the paradox of design /
מאת: Petroski, Henry
יצא לאור: (2006)
מאת: Petroski, Henry
יצא לאור: (2006)
Approaches to improve engineering design
יצא לאור: (2001)
יצא לאור: (2001)
Introduction to design for civil engineers
מאת: Narayanan, R.
יצא לאור: (2003)
מאת: Narayanan, R.
יצא לאור: (2003)
Design for manufacturing a structured approach /
מאת: Poli, C., 1935-
יצא לאור: (2001)
מאת: Poli, C., 1935-
יצא לאור: (2001)
Advanced design and manufacturing technology I : special topic volume with invited papers only /
יצא לאור: (2011)
יצא לאור: (2011)
Case studies in advanced engineering design : proceedings of the 1st international symposium /
יצא לאור: (2013)
יצא לאור: (2013)
Visual design fundamentals a digital approach /
מאת: Hashimoto, Alan
יצא לאור: (2009)
מאת: Hashimoto, Alan
יצא לאור: (2009)
Visual design fundamentals a digital approach /
מאת: Hashimoto, Alan
יצא לאור: (2004)
מאת: Hashimoto, Alan
יצא לאור: (2004)
Service science design for scaling and transformation /
מאת: Hsu, Cheng, 1951-
יצא לאור: (2009)
מאת: Hsu, Cheng, 1951-
יצא לאור: (2009)
Mudbox 2013 cookbook over 60 recipes to sculpt digital masterpieces like a modern Michelangelo /
מאת: Roland, Jeremy
יצא לאור: (2012)
מאת: Roland, Jeremy
יצא לאור: (2012)
Delft science in design 2 conference proceedings, 4 April 2007 /
יצא לאור: (2008)
יצא לאור: (2008)
Advanced engineering environments achieving the vision : phase 1 /
יצא לאור: (1999)
יצא לאור: (1999)
Design in the new millennium advanced engineering environments : phase 2 /
יצא לאור: (2000)
יצא לאור: (2000)
Introduction to optimum design
מאת: Arora, Jasbir S.
יצא לאור: (2004)
מאת: Arora, Jasbir S.
יצא לאור: (2004)
Innovating processes : special topic volume with invited peer reviewed papers only /
יצא לאור: (2012)
יצא לאור: (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 /
מאת: Ritland, Marcus
יצא לאור: (2014)
מאת: Ritland, Marcus
יצא לאור: (2014)
Understanding design and technology in primary schools cases from teachers' research /
יצא לאור: (1996)
יצא לאור: (1996)
Design processes what architects & industrial designers can teach each other about managing the design process /
יצא לאור: (2008)
יצא לאור: (2008)
Environmentally assisted wear processes : selected, peer reviewed papers from the International Conference on Wear Processes 2012 September 12-14, 2012, Świnoujście, Poland /
יצא לאור: (2015)
יצא לאור: (2015)
Anti-fatigue design and manufacturing technologies
יצא לאור: (2012)
יצא לאור: (2012)
Metaheuristics for big data.
מאת: Dhaenens, Clarisse, et al.
יצא לאור: (2016)
מאת: Dhaenens, Clarisse, et al.
יצא לאור: (2016)
Visualization in Engineering
Theoretical foundations for decision making in engineering design
יצא לאור: (2001)
יצא לאור: (2001)
Formal methods in circuit design /
מאת: Stavridou, V.
יצא לאור: (1993)
מאת: Stavridou, V.
יצא לאור: (1993)
AutoCAD 2013 & AutoCAD LF 2013 bible
מאת: Finkelstein, Ellen
יצא לאור: (2012)
מאת: Finkelstein, Ellen
יצא לאור: (2012)
The engineering design of systems : models and methods /
מאת: Buede, Dennis M., et al.
יצא לאור: (2016)
מאת: Buede, Dennis M., et al.
יצא לאור: (2016)
SolidWorks 2013 bible
מאת: Lombard, Matt
יצא לאור: (2013)
מאת: Lombard, Matt
יצא לאור: (2013)
SolidWorks 2010 no experience required /
מאת: Ruiz, Alex, 1974-
יצא לאור: (2010)
מאת: Ruiz, Alex, 1974-
יצא לאור: (2010)
Engineering systems meeting human needs in a complex technological world /
מאת: De Weck, Olivier L.
יצא לאור: (2011)
מאת: De Weck, Olivier L.
יצא לאור: (2011)
Practical applications of soft computing in engineering
יצא לאור: (2001)
יצא לאור: (2001)
Formal methods applied to complex systems : implementation of the B method /
יצא לאור: (2014)
יצא לאור: (2014)
Engineering informatics fundamentals of computer-aided engineering /
מאת: Raphael, B. (Benny)
יצא לאור: (2013)
מאת: Raphael, B. (Benny)
יצא לאור: (2013)
Beginning software engineering /
מאת: Stephens, Rod
יצא לאור: (2015)
מאת: Stephens, Rod
יצא לאור: (2015)
פריטים דומים
-
Engineering computations : international journal for computer-aided engineering and software.
יצא לאור: (2005) -
Pro/Engineer wildfire 4.0 instructor /
מאת: Kelly, David S.
יצא לאור: (2009) -
Systems approach to engineering design
מאת: Sydenham, P. H.
יצא לאור: (2004) -
AutoCAD 2011 & AutoCAD LT 2011 bible
מאת: Finkelstein, Ellen A.
יצא לאור: (2010) -
On line and on paper visual representations, visual culture, and computer graphics in design engineering /
מאת: Henderson, Kathryn
יצא לאור: (1999)