|
|
Электронная библиотека
механико-математического факультета
Московского государственного университета
|
|
|
|
|
| Журнал Lecture Notes in Computer Science |
Журнал Lecture Notes in Computer Science
1980
1. Lecture Notes in Computer Science (85). Automata, Languages and Programming
1986
2. Lecture Notes in Computer Science. ?233. Mathematical Foundations of Computer Science 1986
1992
3. Lecture Notes in Computer Science (593). Advanced Information Systems Engineering: 4th International Conference CAiSE '92, Manchester, UK, May 12-15, 1992. Proceedings
1993
4. Lecture Notes in Computer Science (663). Computer Aided Verification
1994
5. Lecture Notes in Computer Science (750). Software Engineering Education: 7th SEI CSEE Conference, San Antonio, Texas, USA, January 5-7, 1994. Proceedings
1996
6. Lecture Notes in Computer Science (1032). Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem
7. Lecture Notes in Computer Science (1065). Computer Vision - ECCV '96: Fourth European Conference on Computer Vision, Cambridge, UK, April 15-18, 1996. Proceedings, Volume II
8. Lecture Notes in Computer Science (1131). Visualization in Biomedical Computing: 4th International Conference, VBC '96, Hamburg, Germany, September 22 - 25, 1996, Proceedings
1998
9. Lecture Notes in Computer Science (1396). Information Security: First International Workshop, ISW'97, Tatsunokuchi, Ishikawa, Japan, September 17-19, 1997, Proceedings
2000
10. Lecture Notes in Computer Science (1855). Computer Aided Verification
2001
11. Lecture Notes in Computer Science. Logic Based Program Synthesis and Transformation, 10 conf., LOPSTR 2000
2002
12. Lecture Notes in Computer Science (2429). Peer-to-Peer Systems
2003
13. Lecture Notes in Computer Science (2563). Advances in Informatics: 8th Panhellenic Conference on Informatics, PCI 2001, Nicosia, Cyprus, November 8-10, 2001, Revised Selected Papers
14. Lecture Notes in Computer Science (2588). Computational linguistics and intelligent text processing
15. Lecture Notes in Computer Science (2601). Quality of Service in Multiservice IP Networks: Second International Workshop, QoS-IP 2003, Milano, Italy, February 24-26, 2003, Proceedings
16. Lecture Notes in Computer Science (2770). Digital Rights Management - Technological, Economic, Political Aspects
17. Lecture Notes in Computer Science (2860). Correct Hardware Design and Verification Methods: 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 Proceedings
2004
18. Lecture Notes in Computer Science (2948). Finite Fields and Applications: 7th International Conference, Fq7, Toulouse, France, May 5-9, 2003, Revised Papers
19. Lecture Notes in Computer Science (3255). Advances in Databases and Information Systems: 8th East European Conference, ADBIS 2004, Budapest, Hungary, September 22-25, 2004, Proceedings
20. Lecture Notes in Computer Science (3266). Quality of Service in the Emerging Networking Panorama
21. Lecture Notes in Computer Science (3299). Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings
2005
22. Lecture Notes in Computer Science (3047). Software Architecture: First European Workshop, EWSA 2004, St Andrews, UK, May 21-22, 2004, Proceedings
23. Lecture Notes in Computer Science (3385). Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings
24. Lecture Notes in Computer Science (3479). Location- and Context-Awareness: First International Workshop, LoCA 2005, Oberpfaffenhofen, Germany, May 12-13, 2005, Proceedings
25. Lecture Notes in Computer Science (3553). Embedded Computer Systems: Architectures, Modeling, and Simulation: 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, Proceedings
26. Lecture Notes in Computer Science (3588). Database and Expert Systems Applications: 16th International Conference, DEXA 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings
27. Lecture Notes in Computer Science (3709). Principles and Practice of Constraint Programming - CP 2005
28. Lecture Notes in Computer Science (3738). Ad-Hoc, Mobile, and Wireless Networks: 4th International Conference, ADHOC-NOW 2005, Cancun, Mexico, October 6-8, 2005, Proceedings
2006
29. Lecture Notes in Computer Science (3933). Knowledge Discovery in Inductive Databases: 4th International Workshop, KDID 2005, Porto, Portugal, October 3, 2005, Revised Selected and Invited Papers
30. Lecture Notes in Computer Science (3945). Functional and Logic Programming
31. Lecture Notes in Computer Science (3991). Computational Science - ICCS 2006: 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part I
32. 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
33. Lecture notes in computer science (?4226 2006). Advanced intelligent computing theories and applications with aspects of theoretical and methodological issues
2007
34. Lecture Notes in Computer Science (4670). Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings
2009
35. Lecture Notes in Computer Science (5588). Dataspace: The Final Frontier: 26th British National Conference on Databases, BNCOD 26, Birmingham, UK, July 7-9, 2009, Proceedings
36. Lecture Notes in Computer Science (5720). Mathematical morphology and its application to signal and image processing
37. Lecture Notes in Computer Science (5779). Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers
38. Lecture Notes in Computer Science (5846). Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
2010
39. Lecture Notes in Computer Science (5765). Graph Transformations and Model-Driven Engineering: Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday
40. Lecture Notes in Computer Science (6009). Functional and Logic Programming: 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings
41. Lecture Notes in Computer Science (6037). Logic-Based Program Synthesis and Transformation
42. Lecture Notes in Computer Science (6056). Public Key Cryptography - PKC 2010: 13th International Conference on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010, Proceedings
43. Lecture Notes in Computer Science (6253). Job Scheduling Strategies for Parallel Processing: 15th International Workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010, Revised Selected Papers
|
|
|
|
|
|
|
О проекте