טוען...

QR Code

Computer aided proofs in analysis

other_versions_link

מידע ביבליוגרפי
מחברים אחרים:	Meyer, Kenneth R (Editor)
פורמט:	Printed Book
יצא לאור:	Springer-Verlag, New York 1990
נושאים:	Computer science

פריטים דומים

Computer aided proofs in analysis/
מאת: Meyer, Kenneth R
יצא לאור: (1990)

Proofs and computations /
מאת: Schwichtenberg, Helmut, et al.
יצא לאור: (2012)

Handbook of logic and proof techniques for computer science
מאת: karntz, Steven G
יצא לאור: (2002)

Computer aided management /
מאת: Sanjeev Gupta .
יצא לאור: (2007)

Discrete mathematics : proofs, structures and applications
מאת: Garnier, Rowan
יצא לאור: (2010)

Computer - aided analysis and design
מאת: Ghoshal, S
יצא לאור: (1997)

Computer aided experimentation interfacing to minicomputers
מאת: Finkel, Jules
יצא לאור: (1975)

Graph-based proof procedures for horn clauses
מאת: Raatz, Stan
יצא לאור: (1990)

Discrete mathematics: proof techniques and mathematical structures
מאת: Garnier, Rowan
יצא לאור: (2010)

Computer aided analysis and design
מאת: Regalla, Srinivas Prakash
יצא לאור: (2010)

Mathematical methods in computer aided geometric design
יצא לאור: (1989)

Computer aided design
מאת: Krishnamoorthy, C S

Computer aided manufacturing /
מאת: Rao, P. Netc
יצא לאור: (1993)

Computer Aided Simulations

Computer - Aided Heat Transfer Analysis
מאת: Adams, Alan J
יצא לאור: (1973)

Computer aided mechanical design and analysis
מאת: Ramamurti, V
יצא לאור: (1996)

Introduction to computer aided drafting
מאת: Voisinet, Donald D; Author
יצא לאור: (1986)

Introduction to computer aided drafting
מאת: Voisinet, Donald D; Author
יצא לאור: (1986)

Computer-aided drafting and design /
מאת: McKissick, Michael Landon
יצא לאור: (1987)

Computer aids to clinical decisions
מאת: Williams, Ben T
יצא לאור: (1982)

Computer aided anlysis and design
מאת: Regalla,Srinivasa Prakash
יצא לאור: (2011)

Handbook of logic and proof techniques for computer science /
מאת: Krantz, Steven G.
יצא לאור: (2002)

Computer-aided manufacturing /
יצא לאור: (2006)

Hack proofing : Your network /
יצא לאור: (2002)

Computer aided design :software and analytical tools
מאת: Krishnamoorthy, C S
יצא לאור: (1991)

Discrete mathematics with proof.-2nd ed. /
מאת: Gossett, Eric
יצא לאור: (2009)

Introduction to computer - aided drafting /
מאת: Voisinet, Donald D
יצא לאור: (1986)

CAD/CAM: computer-aided design and manufacturing
מאת: Groover, Mikell P.
יצא לאור: (2004)

Computer-aided drafting and design : concepts and applications /
מאת: Voisinet, Donald D.
יצא לאור: (1987)

Computer aided engineering drawing /
מאת: Dubey, N. H.
יצא לאור: (2006)

Fundamentals of computer aided manufacturing /
מאת: Sawhney, G. S.
יצא לאור: (2007)

Computer aided automatic design
מאת: Bona, C
יצא לאור: (1974)

Computer aided design and manufacturing: Methods and tools
מאת: Rembold, U
יצא לאור: (1984)

Design and analysis of computer algorithms /
מאת: Aho,, Alfred V.
יצא לאור: (1998)

Design and Analysis of Computer Algorithms /
מאת: Aho,, Alfred V.
יצא לאור: (2001)

Design and analysis of computer algorithms /
מאת: Aho,, Alfred V.
יצא לאור: (2003)

Fundamentals of computer-aided geometric design /
מאת: Hoschek, Josef
יצא לאור: (1993)

Computer aided design of digital systems
מאת: Lewin, Douglas
יצא לאור: (1977)

Advances in Computer- Aided Manufacture
יצא לאור: (1977)

Computer-aided process control
מאת: Singh, S. K.
יצא לאור: (2003)