Ebók

Computer Aided Verification

26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings

Springer Nature

Prísur

439,95 kr.

Vørulýsing av

Computer Aided Verification

Finn líknandi bøkur her

Computer Aided Virtual Manufacturing Using Creo Parametric

Paul Obiora Kanife

599,95 kr.

Computer-Aided Design International Yearbook 1985

189,95 kr.

Computer-Aided Analysis and Design of Switch-Mode Power Supplies

Lee

1.909,95 kr.

Computer Aided Systems Theory – EUROCAST 2015

374,95 kr.

Computer-Aided Design of User Interfaces VI

Victor Lopez Jaquero

1.489,95 kr.

Computer Aided Systems Theory - EUROCAST 2003

Robeto Moreno Diaz; ‎Franz Pichler

679,95 kr.

Computer Aided Systems Theory – EUROCAST 2017

374,95 kr.

Computer-Aided Graphics and Design

Daniel L. Ryan

1.229,95 kr.

Computer Aided Architectural Design Futures 2005

Bob Martens; ‎Andre Brown

1.499,95 kr.

Computer Aided Systems Theory - EUROCAST'99

Franz Pichler; Roberto MorenoDiaz; Peter Kopacek

679,95 kr.

Computer Aided Systems Theory - EUROCAST 2001

Roberto MorenoDiaz; Bruno Buchberger; JoseLuis Freire

679,95 kr.

Computer Aided Systems Theory – EUROCAST 2019

Roberto MorenoDíaz; Franz Pichler; Alexis QuesadaArencibia

374,95 kr.