| 4621. |
Leeuwen J. |
Handbook of Theoretical Computer Science – Vol. B – Formal Models and Semantics | 1990 |
| 4622. |
Leeuwen J. Watanabe O Hagiya M. |
Theoretical Computer Science(Exploring New Frontiers of Theoretical Informatics) (1 edition) | 2000 |
| 4623. |
Leeuwen J. (ed.) Meyer A.R. Nivat M. |
Algorithms and Complexity, Volume A (1st edition) | 1990 |
| 4624. |
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 |
| 4625. |
Leeuwen J.V. |
Handbook of Theoretical Computer Science: Algorithms and Complexity | 2005 |
| 4626. |
Lehman E. Leighton T. |
Mathematics for Computer Science | 2004 |
| 4627. |
Leigh-lancaster D. |
Functional equations: Mathsworks for teachers | 2005 |
| 4628. |
Leiss E.L. |
A Programmer's Companion to Algorithm Analysis | 2007 |
| 4629. |
Leissa A.W. |
Buckling of laminated composite plates and shell panels | 1985 |
| 4630. |
Leitch S. |
Programming Algol 68 made easy | 2002 |
| 4631. |
Leite J. Omicini A. Sterling L. |
Declarative Agent Languages and Technologies, 1 conf., DALT 2003 (1 edition) | 2004 |
| 4632. |
Leith P. |
Software and patents in Europe | 2007 |
| 4633. |
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 |
| 4634. |
Leitsch A. (Ed) |
Computational Logic and Proof Theory: 5th Kurt Godel Colloquium, Kgc'97, Vienna, Austria, August 25-29, 1997 Proceedings, Vol. 128 | 1997 |
| 4635. |
Leivant D. |
Logic and Computational Complexity: International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994. Selected Papers | 1995 |
| 4636. |
Leivant D. |
Logic, Language, Information and Computation, 14 conf., WoLLIC 2007 (1 edition) | 2007 |
| 4637. |
Lempert S. |
IoT-Software-Plattformen: Methode zur Bewertung und Auswahl der am besten geeigneten Plattform | 2021 |
| 4638. |
Lengauer C. Batory D. Consel C. |
Domain-Specific Program Generation 2003 (1 edition) | 2004 |
| 4639. |
Lenke L. |
Numerische Simulation der turbuienten Stromung in Ruckfuhrkanaien mehrstufiger Radiaiverdichter | 2000 |
| 4640. |
Lenz M. (ed.) Bartsch-Sporl B. (ed.) Burkhard H.D. (ed.) |
Case-based reasoning technology | 1998 |
| 4641. |
Leon F. |
Inteligenţă artificială | n/a |
| 4642. |
Leon F. |
Inteligență artificială: raționament probabilistic, tehnici de clasificare | 2012 |
| 4643. |
Leonardi S. |
Algorithms and models for the web-graph (1 edition) | 2005 |
| 4644. |
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 |
| 4645. |
Leondes C. |
Systems Techniques and Computational Methods | 2000 |
| 4646. |
Leondes C.T. |
Computer aided and integrated manufacturing systems | 2004 |
| 4647. |
Leondes C.T. |
Computer Aided and Integrated Manufacturing Systems, Vol. 3: Optimization Methods | 2002 |
| 4648. |
Leondes C.T. |
Computer techniques and algorithms in digital signal processing | 1996 |
| 4649. |
Lerdorf R. Tatroe K. |
Programming PHP | 2002 |
| 4650. |
Lerdorf R. Tatroe K. MacIntyre P. |
Programming PHP (2nd edition) | 2002 |
| 4651. |
Lerman J. |
Programming Entity Framework (1 edition) | 2009 |
| 4652. |
Lerner J.(ed.) Wagner D.(ed.) Zweig K.(ed.) |
Algorithmics of Large and Complex Networks: Design, Analysis, and Simulation | 2009 |
| 4653. |
Leroy X. Ohori A. |
Types in Compilation: Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 Proceedings | 1998 |
| 4654. |
Lescanne P. |
Rewriting Techniques and Applications | 1987 |
| 4655. |
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 |
| 4656. |
Lesk A. |
Introduction to Bioinformatics | 2002 |
| 4657. |
Lessard B. |
Netslaves 2.0: Tales of Surviving the Great Tech Gold Rush | 2003 |
| 4658. |
Lester J.C. (ed.) Vicari R.M. (ed.) Paraguaçu F. (ed.) |
Intelligent Tutoring Systems, 7 conf., ITS 2004 | 2004 |
| 4659. |
Letovsky S.I. |
Bioinformatics: Databases and Systems | 1999 |
| 4660. |
Leung C. (ed.) |
Visual Information Systems | 1997 |
| 4661. |
Leung H. (ed.) Li F. (ed.) Lau R. (ed.) |
Advances in web based learning | 2008 |
| 4662. |
Leung K.S. Chan L.-w. |
Intelligent Data Engineering and Automated Learning - IDEAL 2000. Data Mining, Financial Engineering, and Intelligent Agents: Second International Conference Intelligent Data Engineering and Automated Learning - IDEAL 2000. Data Mining, Financial Engineer | 2001 |
| 4663. |
Leuschel M. Wehrheim H. |
Integrated Formal Methods: 7th International Conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009, Proceedings (Lecture Notes in Computer Science Programming and Software Engineering) | 2009 |
| 4664. |
Lever N. |
Flash MX Games: ActionScript for Artists | 2002 |
| 4665. |
Levesque R. |
SPSS Programming and Data Management (4-th edition) | 2006 |
| 4666. |
Levine J.R. |
Linkers and Loaders [compilers, ELF] | 2000 |
| 4667. |
Levy P. |
Cibercultera | n/a |
| 4668. |
Levy S. |
Hackers: Heroes of the computer revolution | 1985 |
| 4669. |
Lew A. Mauch H. |
Dynamic programming a computational tool | 2007 |
| 4670. |
Lewenstein M. |
Quanteninformationstheorie | 1999 |
| 4671. |
Lewis D. |
Fundamentals of embedded software: where C and Assembly meet | 2001 |
| 4672. |
Lewis H.R. Papadimitriou C.H. |
Elements of the Theory of Computation | 1998 |
| 4673. |
Lewis T.G. |
Network Science - Theory and Applications | 2009 |
| 4674. |
Lex W. |
Informatik 1 & 2 | 1995 |
| 4675. |
Leypoldt J.K. |
The Artificial Kidney: Physiological Modeling and Tissue Engineering | 1999 |
| 4676. |
Li D. Du Y. |
Artificial Intelligence with Uncertainty | 2007 |
| 4677. |
Li D. Zhao C. |
Computer and Computing Technologies in Agriculture II, Volume 1 | 2009 |
| 4678. |
Li D. Zhao C. |
Computer and Computing Technologies in Agriculture II: The Second IFIP International Conference on Computer and Computing Technologies in Agriculture ... in Information and Communication Technology) | 2009 |
| 4679. |
Li D. Sun X. |
Nonlinear Integer Programming | 2006 |
| 4680. |
Li F. (ed.) Zhao J. (ed.) Shin T. (ed.) |
Advances in Web Based Learning - ICWL 2008: 7th International Conference, Jinhua, China, August 20-22, 2008, Proceedings | 2008 |
| 4681. |
Li H. |
Multivariate survival models induced by genetic frailties, with application to linkage analysis | 2002 |
| 4682. |
Li K. Jesshope C. |
Network and Parallel Computing: IFIP International Conference, NPC 2007, Dalian, China, September 18-21, 2007, Proceedings | 2007 |
| 4683. |
Li M. Sun X. Deng Q. |
Grid and Cooperative Computing: Second International Workshop, GCC 2003, Shanghai, China, December 7 - 10, 2003, Revised Papers, Part I | 2004 |
| 4684. |
Li Q. Shih T.K. |
Ubiquitous Multimedia Computing | 2009 |
| 4685. |
Li S. Li D. |
DNA Microaray Technology and Data Analysis in Cancer Research | 2009 |
| 4686. |
Li S. Mital D. Teoh E.K. |
Recent Developments in Computer Vision: Second Asian Conference on Computer Vision, ACCV `95, Singapore, December 5-8, 1995. Invited Session Papers | 1996 |
| 4687. |
Li W. Mollá-Aliod D. |
Computer Processing of Oriental Languages. Language Technology for the Knowledge-based Economy: 22nd International Conference, ICCPOL 2009, Hong Kong, March 26-27, 2009. Proceedings | 2009 |
| 4688. |
Lian Goh G.H.(ed.) Cao T.H.(ed.) Sølvberg I.(ed.) |
Asian Digital Libraries Looking Back 10 Years and Forging New Frontiers 10th International Conference on Asian Digital Libraries, ICADL 2007 Hanoi, Vietnam, December 10-13, 2007 Proceedings | 2007 |
| 4689. |
Lian S. |
Security and Privacy in Mobile Information and Communication Systems | 2009 |
| 4690. |
Liberty J. |
Programming C# (2nd Edition) (2nd edition) | 2002 |
На уровень выше
AI, knowledge
|
|
О проекте