4551. |
Lauer P.E. |
Functional Programming, Concurrency, Simulation and Automated Reasoning | 1993 |
4552. |
Launchbury J. Meijer E. Sheard T. |
Advanced Functional Programming | 2007 |
4553. |
Launchbury J. (ed.) Meijer E. (ed.) Sheard T. (ed.) |
Advanced Functional Programming | 1996 |
4554. |
Laurini R. |
Advances in Visual Information Systems: 4th International Conference, VISUAL 2000, Lyon, France, November 2-4, 2000 Proceedings | 2000 |
4555. |
Lausen G. |
Database Programming Languages: 9th International Workshop, DBPL 2003, Potsdam, Germany, September 6-8, 2003, Revised Papers | 2004 |
4556. |
Lausen G. Vossen G. |
Models and Languages of Object-Oriented Databases | 1997 |
4557. |
Lavine B.K. |
Clustering and classification of analytical data | 2000 |
4558. |
Lavrac N. Dzeroski S. |
Inductive Logic Programming. 7th International Workshop, ILP-97 Prague, Czech Republic September 17-20, 1997 Proceedings | 1997 |
4559. |
Lavrac N. Wrobel S. |
Machine Learning: ECML-95: 8th European Conference on Machine Learning, Heraclion, Crete, Greece, April 25 - 27, 1995. Proceedings | 1995 |
4560. |
Law and Practice |
DIGITAL COPYRIGHT (5 edition) | 2019 |
4561. |
Law C. Lee E.K. Ramzan Z. |
Introduction to the Theory of Computation | 1999 |
4562. |
Lawrence C. Paulson |
ML for the working programmer (2 edition) | 1996 |
4563. |
Lawrence I. Belem R.C.L. |
Professional Ubuntu Mobile Development | 2009 |
4564. |
Lawry J. |
Modelling and Reasoning with Vague Concepts (1st edition) | 2005 |
4565. |
Le Bellac M. de Forcrand-Millard P. |
A Short Introduction to Quantum Information and Quantum Computation | 2006 |
4566. |
LEANNA RIERSON |
Developing Safety-Critical Software | n/a |
4567. |
Lear B.W. |
Adult Programs in the Library | 2001 |
4568. |
Leavens G.T. O'Hearn P. Rajamani S.K. |
Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings | 2010 |
4569. |
Lecky-Thompson E. Nowicki S. Myer T. |
Professional PHP6 | 2009 |
4570. |
Lecky-Thompson G. |
Just enough C/C++ programming (1 edition) | 2008 |
4571. |
Ledgard H. Tauer J. |
C With Excellence: Programming Proverbs | 1987 |
4572. |
Lee C. |
Grid Computing - GRID 2001: Second International Workshop, Denver, CO, USA, November 12, 2001. Proceedings | 2001 |
4573. |
Lee D. Lopes A. Poetzsch-Heffter A. |
Formal Techniques for Distributed Systems Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009 Lisboa, Portugal, June 9-12, 2009 Proceedings | 2009 |
4574. |
Lee E.T. Wang J.W. |
Statistical methods for survival data analysis (3rd edition) | 2003 |
4575. |
Lee G.M.M. Tam N.N. Yen N.D. |
Quadratic Programming and Affine Variational Inequalities | 2005 |
4576. |
Lee J. |
Intelligent Agents and Multi-Agent Systems: 6th Pacific Rim International Workshop on Multi-Agents, PRIMA 2003, Seoul, Korea, November 7-8, 2003, Proceedings | 2004 |
4577. |
Lee J.-K.(ed.) Yi O.(ed.) Yung M.(ed.) |
Information Security Applications 7th International Workshop, WISA 2006 Jeju Island, Korea, August 28-30, 2006 Revised Selected Papers | 2007 |
4578. |
Lee J.J. |
Ajax Programming for the Absolute Beginner | 2008 |
4579. |
Lee M. |
C programming | 2007 |
4580. |
Lee M. Bieker G. |
Mastering SQL Server 2008 (1 edition) | 2010 |
4581. |
Lee P.J. |
Advances in Cryptology - ASIACRYPT 2004: 10th International Conference on the Theory and Application of Cryptology and Information Security | 2004 |
4582. |
Lee S.(ed.) Choo H.(ed.) Ha S.(ed.) |
Computer–Human Interaction 8th Asia-Pacific Conference, APCHI 2008 Seoul, Korea, July 6-9, 2008 Proceedings | 2008 |
4583. |
Lee S.-W. Nakano Y. |
Document Analysis Systems: Theory and Practice: Third IAPR Workshop, DAS'98, Nagano, Japan, November 4-6, 1998, Selected Papers | 1999 |
4584. |
Lee S.-W. Verri A. |
Pattern Recognition with Support Vector Machines: First International Workshop, SVM 2002, Niagara Falls, Canada, August 10, 2002. Proceedings | 2002 |
4585. |
Lee W. |
Beginning iPhone SDK Programming with Objective-C (Wrox Programmer to Programmer) | 2010 |
4586. |
Lee W. |
Professional Windows Vista Gadgets Programming | 2007 |
4587. |
Lee W. (ed.) Mé L. (ed.) Wespi A. (ed.) |
Recent Advances in Intrusion Detection 4th International Symposium, RAID 2001 Davis, CA, USA, October 10-12, 2001 Proceedings | 2001 |
4588. |
Lee W.F. |
Verilog Coding for Logic Synthesis | 2003 |
4589. |
Leeuwen J. |
Handbook of Theoretical Computer Science – Vol. B – Formal Models and Semantics | 1990 |
4590. |
Leeuwen J. Watanabe O Hagiya M. |
Theoretical Computer Science(Exploring New Frontiers of Theoretical Informatics) (1 edition) | 2000 |
4591. |
Leeuwen J. (ed.) Meyer A.R. Nivat M. |
Algorithms and Complexity, Volume A (1st edition) | 1990 |
4592. |
Leeuwen J.(ed.) Italiano G. F.(ed.) Hoek W.(ed.) |
SOFSEM 2007: Theory and Practice of Computer Science 33rd Conference on Current Trends in Theory and Practice of Computer Science Harrachov, Czech Republic, January 20-26, 2007 Proceedings | 2007 |
4593. |
Leeuwen J.V. |
Handbook of Theoretical Computer Science: Algorithms and Complexity | 2005 |
4594. |
Lehman E. Leighton T. |
Mathematics for Computer Science | 2004 |
4595. |
Leigh-lancaster D. |
Functional equations: Mathsworks for teachers | 2005 |
4596. |
Leiss E.L. |
A Programmer's Companion to Algorithm Analysis | 2007 |
4597. |
Leissa A.W. |
Buckling of laminated composite plates and shell panels | 1985 |
4598. |
Leitch S. |
Programming Algol 68 made easy | 2002 |
4599. |
Leite J. Omicini A. Sterling L. |
Declarative Agent Languages and Technologies, 1 conf., DALT 2003 (1 edition) | 2004 |
4600. |
Leith P. |
Software and patents in Europe | 2007 |
4601. |
Leitold H. (ed.) Markatos E. (ed.) |
Lecture Notes in Computer Science (4237). Communications and Multimedia Security: 10th IFIP TC-6 TC 11 International Conference, CMS 2006, Heraklion Crete, Greece, October 19-21, 2006, Proceedings | 2006 |
4602. |
Leitsch A. (Ed) |
Computational Logic and Proof Theory: 5th Kurt Godel Colloquium, Kgc'97, Vienna, Austria, August 25-29, 1997 Proceedings, Vol. 128 | 1997 |
4603. |
Leivant D. |
Logic and Computational Complexity: International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994. Selected Papers | 1995 |
4604. |
Leivant D. |
Logic, Language, Information and Computation, 14 conf., WoLLIC 2007 (1 edition) | 2007 |
4605. |
Lengauer C. Batory D. Consel C. |
Domain-Specific Program Generation 2003 (1 edition) | 2004 |
4606. |
Lenke L. |
Numerische Simulation der turbuienten Stromung in Ruckfuhrkanaien mehrstufiger Radiaiverdichter | 2000 |
4607. |
Lenz M. (ed.) Bartsch-Sporl B. (ed.) Burkhard H.D. (ed.) |
Case-based reasoning technology | 1998 |
4608. |
Leonardi S. |
Algorithms and models for the web-graph (1 edition) | 2005 |
4609. |
Leonardis A. Bischof H. Pinz A. |
Computer Vision -- ECCV 2006: 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006, Proceedings, Part I | 2006 |
4610. |
Leondes C. |
Systems Techniques and Computational Methods | 2000 |
4611. |
Leondes C.T. |
Computer aided and integrated manufacturing systems | 2004 |
4612. |
Leondes C.T. |
Computer Aided and Integrated Manufacturing Systems, Vol. 3: Optimization Methods | 2002 |
4613. |
Leondes C.T. |
Computer techniques and algorithms in digital signal processing | 1996 |
4614. |
Lerdorf R. Tatroe K. |
Programming PHP | 2002 |
4615. |
Lerdorf R. Tatroe K. MacIntyre P. |
Programming PHP (2nd edition) | 2002 |
4616. |
Lerman J. |
Programming Entity Framework (1 edition) | 2009 |
4617. |
Lerner J.(ed.) Wagner D.(ed.) Zweig K.(ed.) |
Algorithmics of Large and Complex Networks: Design, Analysis, and Simulation | 2009 |
4618. |
Leroy X. Ohori A. |
Types in Compilation: Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 Proceedings | 1998 |
4619. |
Lescanne P. |
Rewriting Techniques and Applications | 1987 |
4620. |
Leser U. (ed.) Naumann F. (ed.) Eckman B. (ed.) |
Data Integration in the Life Sciences: Third International Workshop, DILS 2006, Hinxton, UK, July 20-22, 2006, Proceedings | 2006 |