|
|
|
|
|
Linear Algebra and Geometry
This book is the result of a series of lectures on linear algebra and the geometry of multidimensional spaces given in the 1950s through 1970s by Igor R. Shafarevich at the Faculty of Mechanics and Mathematics of Moscow State University.
Notes for some of these lectures were preserved in the faculty library, and these were used ... | | Electromagnetic Simulation Using the FDTD Method
A straightforward, easy-to-read introduction to the finite-difference time-domain (FDTD) method
Finite-difference time-domain (FDTD) is one of the primary computational electrodynamics modeling techniques available. Since it is a time-domain method, FDTD solutions can cover a wide frequency range with a single simulation run... | | Relational and Algebraic Methods in Computer Science: 13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-21, 2012, Proceedings (Lecture Notes in Computer Science)
This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 13, held in Cambridge, UK, in September 2012. The 23 revised full papers presented were carefully selected from 39 submissions in the general area of relational and... |
|
CVD Diamond for Electronic Devices and SensorsSynthetic diamond is diamond produced by using chemical or physical processes. Like naturally occurring diamond it is composed of a three-dimensional carbon crystal. Due to its extreme physical properties, synthetic diamond is used in many industrial applications, such as drill bits and scratch-proof coatings, and has the potential to be used in... | | Understanding Complex Datasets: Data Mining with Matrix Decompositions
Many data-mining algorithms were developed for the world of business, for
example for customer relationship management. The datasets in this environment,
although large, are simple in the sense that a customer either did or
did not buy three widgets, or did or did not fly from Chicago to Albuquerque.
In contrast,... | | Software Abstractions: Logic, Language, and Analysis
As a programmer working for Logica UK in London in the mid-1980’s, I became a passionate advocate of formal methods. Extrapolating from small successes with VDM and JSP, I was sure that widespread use of formal methods would bring an end to the software crisis.
One approach especially intrigued me. John Guttag and Jim... |
|
|
|
Result Page: 103 102 101 100 99 98 97 96 95 94 93 92 91 90 89 88 87 86 85 |