History

Please fill in your query. A complete syntax description you will find on the General Help page.
first | previous | 1 21 41 61 81 101 | next | last

Result 1 to 20 of 579 total

Czumaj, Artur (ed.) et al., Automata, languages, and programming. 39th international colloquium, ICALP 2012, Warwick, UK, July 9‒13, 2012. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-31584-8/pbk). Lecture Notes in Computer Science 7392, 79-91 (2012).
1
Regularized posteriors in linear ill-posed inverse problems. (English)
Scand. J. Stat. 39, No. 2, 214-235 (2012).
2
Feasibility pump heuristics for column generation approaches. (English)
Klasing, Ralf (ed.), Experimental algorithms. 11th international symposium, SEA 2012, Bordeaux, France, June 7‒9, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30849-9/pbk). Lecture Notes in Computer Science 7276, 332-343 (2012).
3
Guide to FPGA implementation of arithmetic functions. (English)
Lecture Notes in Electrical Engineering 149. Dordrecht: Springer (ISBN 978-94-007-2986-5/hbk; 978-94-007-2987-2/ebook). xv, 469~p. EUR~169.95/net; SFR~226.50; \sterling~153.00; \$~229.00 (2012). 4 Robust beam compensation for laser-based additive manufacturing. (English) Comput.-Aided Des. 43, No. 8, 876-888 (2011). 5 A approach to clinical proteomics data quality control and import. (English) Böhm, Christian (ed.) et al., Information technology in bio- and medical informatics. Second international conference, ITBAM 2011, Toulouse, France, August 29‒September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23207-7/pbk). Lecture Notes in Computer Science 6865, 168-182 (2011). 6 A Datalog recognizer for almost affine$λ$-CFGs. (English) Kanazawa, Makoto (ed.) et al., The mathematics of language. 12th biennial conference, MOL 12, Nara, Japan, September 6‒8, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23210-7/pbk). Lecture Notes in Computer Science 6878. Lecture Notes in Artificial Intelligence, 21-38 (2011). 7 A co-design methodology based on model driven architecture for real time embedded systems. (English) Math. Comput. Modelling 53, No. 3-4, 471-484 (2011). 8 The Newton method in problems of variational data assimilation: application to an infiltration model. (English) Int. J. Pure Appl. Math. 69, No. 1, 15-32 (2011). 9 Game semantics and uniqueness of type inhabitance in the simply-typed$λ$-calculus. (English) Ong, Luke (ed.), Typed lambda calculi and applications. 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1‒3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21690-9/pbk; 978-3-642-21691-6/ebook). Lecture Notes in Computer Science 6690, 61-75 (2011). 10 IUPHAR-DB: new receptors and tools for easy searching and visualization of pharmacological data. (English) Nucleic Acids Res. 39, No. Database-Issue, 534-538 (2011). 11 Multi-component tree insertion grammars. (English) de Groote, Philippe (ed.) et al., Formal grammar. 14th international conference, FG 2009, Bordeaux, France, July 25‒26, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-20168-4/pbk). Lecture Notes in Computer Science 5591. Lecture Notes in Artificial Intelligence, 31-46 (2011). 12 The fractional chromatic number of Zykov products of graphs. (English) Appl. Math. Lett. 24, No. 4, 432-437 (2011). 13 A co-design methodology based on model driven architecture for real time embedded systems (English) Mathematical and Computer Modelling 53, No. 3-4, 471-484 (2011). 14 Broadband dispersion extraction using simultaneous sparse penalization (English) IEEE Transactions on Signal Processing 59, No. 10, 4821-4837 (2011). 15 Job vs. Portioned partitioning for the earliest deadline first semi-partitioned scheduling (English) Journal of Systems Architecture - Embedded Systems Design 57, No. 5, 518-535 (2011). 16 Les ontologies en agriculture (English) Ingénierie des Systèmes d’Information 16, No. 3, 55-84 (2011). 17 Robust beam compensation for laser-based additive manufacturing (English) Computer-Aided Design 43, No. 8, 876-888 (2011). 18 Foundations of an ontology of philosophy (English) Synthese 182, No. 2, 185-204 (2011). 19 Game semantics and uniqueness of type inhabitance in the simply-typed {$\it λ\$}-calculus (English)
TLCA, 61-75 (2011).
20
first | previous | 1 21 41 61 81 101 | next | last

Result 1 to 20 of 579 total