Result 1 to 20 of 1894 total
Inference of polynomial invariants for imperative programs: a farewell to Gröbner bases. (English)
Miné, Antoine (ed.) et al., Static analysis. 19th international symposium, SAS 2012, Deauville, France, September 11‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33124-4/pbk). Lecture Notes in Computer Science 7460, 58-74 (2012).
1
Can file level characteristics help identify system level fault-proneness? (English)
Eder, Kerstin (ed.) et al., Hardware and software: verification and testing. 7th international Haifa verification conference, HVC 2011, Haifa, Israel, December 6‒8, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-34187-8/pbk). Lecture Notes in Computer Science 7261, 176-189 (2012).
2
Heterotic computing examples with optics, bacteria, and chemicals. (English)
Durand-Lose, Jérôme (ed.) et al., Unconventional computation and natural computation. 11th international conference, UCNC 2012, Orléan, France, September 3‒7, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32893-0/pbk). Lecture Notes in Computer Science 7445, 198-209 (2012).
3
Scalable integrity-guaranteed AJAX. (English)
Sheng, Quan Z. (ed.) et al., Web technologies and applications. 14th Asia-Pacific web conference, APWeb 2012, Kunming, China, April 11‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29252-1/pbk). Lecture Notes in Computer Science 7235, 1-19 (2012).
4
Conditional epistemic planning. (English)
Fariñas del Cerro, Luis (ed.) et al., Logics in artificial intelligence. 13th European conference, JELIA 2012, Toulouse, France, September 26‒28, 2012. Proceeding. Berlin: Springer (ISBN 978-3-642-33352-1/pbk). Lecture Notes in Computer Science 7519. Lecture Notes in Artificial Intelligence, 94-106 (2012).
5
Controller design for a class of nonlinear systems with input saturation using convex optimization. (English)
Syst. Control Lett. 61, No. 1, 258-265 (2012).
6
Irreducible coefficient relations. (English)
Helleseth, Tor (ed.) et al., Sequences and their applications ‒ SETA 2012. 7th international conference, Waterloo, ON, Canada, June 4‒8, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30614-3/pbk). Lecture Notes in Computer Science 7280, 117-125 (2012).
7
A non-iterative sampling approach using noise subspace projection for EIT. (English)
Inverse Probl. 28, No. 7, Article ID 075015, 25 p. (2012).
8
Local refinement of analysis-suitable T-splines. (English)
Comput. Methods Appl. Mech. Eng. 213-216, 206-222 (2012).
9
Three-dimensional mortar-based frictional contact treatment in isogeometric analysis with NURBS. (English)
Comput. Methods Appl. Mech. Eng. 209-212, 115-128 (2012).
10
Excel 2007 for social science statistics. A guide to solving practical problems. (English)
New York, NY: Springer (ISBN 978-1-4614-3621-8/pbk; 978-1-4614-3622-5/ebook). xv, 249~p. EUR~42.75/pbk (2012).
11
Excel 2010 for social science statistics. A guide to solving practical problems. (English)
New York, NY: Springer (ISBN 978-1-4614-3636-2/pbk; 978-1-4614-3637-9/ebook). xv, 254~p. EUR~42.75/pbk (2012).
12
A finite strain Eulerian formulation for compressible and nearly incompressible hyperelasticity using high-order B-spline finite elements. (English)
Int. J. Numer. Methods Eng. 89, No. 6, 762-785 (2012).
13
On linear independence of T-spline blending functions. (English)
Comput. Aided Geom. Des. 29, No. 1, 63-76 (2012).
14
Wei-type duality theorems for matroids. (English)
Des. Codes Cryptography 62, No. 3, 331-341 (2012).
15
On linear independence of T-spline blending functions (English)
Computer Aided Geometric Design 29, No. 1, 63-76 (2012).
16
Controller design for a class of nonlinear systems with input saturation using convex optimization (English)
Systems & Control Letters 61, No. 1, 258-265 (2012).
17
Isogeometric finite element data structures based on Bézier extraction of T-splines. (English)
Int. J. Numer. Methods Eng. 88, No. 2, 126-156 (2011).
18
An isogeometric approach to cohesive zone modeling. (English)
Int. J. Numer. Methods Eng. 87, No. 1-5, 336-360 (2011).
19
Isogeometric finite element data structures based on Bézier extraction of NURBS. (English)
Int. J. Numer. Methods Eng. 87, No. 1-5, 15-47 (2011).
20
Result 1 to 20 of 1894 total
Start
Contact
Print
General Help
