Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
Мехматянам
square Первый курс

square Второй курс

square Третий курс

square Четвертый курс

square Пятый курс
blank
Авторизация

       
blank
Поиск по указателям

blank
Красота
blank
blank
Журнал 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
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2017
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте