Главная    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

1990


3.   Lecture Notes in Computer Science (№445 1990). On the Shape of Mathematical Arguments

1992


4.   Lecture Notes in Computer Science (593). Advanced Information Systems Engineering: 4th International Conference CAiSE '92, Manchester, UK, May 12-15, 1992. Proceedings

1993


5.   Lecture Notes in Computer Science (663). Computer Aided Verification

1994


6.   Lecture Notes in Computer Science (750). Software Engineering Education: 7th SEI CSEE Conference, San Antonio, Texas, USA, January 5-7, 1994. Proceedings

1996


7.   Lecture Notes in Computer Science (1032). Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem
8.   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
9.   Lecture Notes in Computer Science (1131). Visualization in Biomedical Computing: 4th International Conference, VBC '96, Hamburg, Germany, September 22 - 25, 1996, Proceedings

1998


10.   Lecture Notes in Computer Science (1396). Information Security: First International Workshop, ISW'97, Tatsunokuchi, Ishikawa, Japan, September 17-19, 1997, Proceedings

2000


11.   Lecture Notes in Computer Science (1855). Computer Aided Verification

2001


12.   Lecture Notes in Computer Science. Logic Based Program Synthesis and Transformation, 10 conf., LOPSTR 2000

2002


13.   Lecture Notes in Computer Science (2429). Peer-to-Peer Systems
14.   Lecture Notes in Computer Science (№2270 2002). On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors
15.   Lecture Notes in Computer Science (№2412 2002). Intelligent Data Engineering and Automated Learning - IDEAL 2002
16.   Lecture Notes in Computer Science (№2486 2002). Neural Nets

2003


17.   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
18.   Lecture Notes in Computer Science (2588). Computational linguistics and intelligent text processing
19.   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
20.   Lecture Notes in Computer Science (2770). Digital Rights Management - Technological, Economic, Political Aspects
21.   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
22.   Lecture Notes in Computer Science (№2822 2003). Databases in Networked Information Systems: Third International Workshop, DNIS 2003, Aizu, Japan, September 22-24, 2003, Proceedings

2004


23.   Lecture Notes in Computer Science (2948). Finite Fields and Applications: 7th International Conference, Fq7, Toulouse, France, May 5-9, 2003, Revised Papers
24.   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
25.   Lecture Notes in Computer Science (3266). Quality of Service in the Emerging Networking Panorama
26.   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


27.   Lecture Notes in Computer Science (3047). Software Architecture: First European Workshop, EWSA 2004, St Andrews, UK, May 21-22, 2004, Proceedings
28.   Lecture Notes in Computer Science (3385). Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings
29.   Lecture Notes in Computer Science (3479). Location- and Context-Awareness: First International Workshop, LoCA 2005, Oberpfaffenhofen, Germany, May 12-13, 2005, Proceedings
30.   Lecture Notes in Computer Science (3553). Embedded Computer Systems: Architectures, Modeling, and Simulation: 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, Proceedings
31.   Lecture Notes in Computer Science (3588). Database and Expert Systems Applications: 16th International Conference, DEXA 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings
32.   Lecture Notes in Computer Science (3709). Principles and Practice of Constraint Programming - CP 2005
33.   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
34.   Lecture Notes in Computer Science (№1540 2005). Image Analysis: 14th Scandinavian Conference, SCIA 2005, Joensuu, Finland, June 19-22, 2005, Proceedings

2006


35.   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
36.   Lecture Notes in Computer Science (3945). Functional and Logic Programming
37.   Lecture Notes in Computer Science (3991). Computational Science - ICCS 2006: 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part I
38.   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
39.   Lecture Notes in Computer Science (№4179 2006). Advanced Concepts for Intelligent Vision Systems: 8th International Conference, ACIVS 2006, Antwerp, Belgium, September 18-21, 2006, Proceedings
40.   Lecture Notes in Computer Science (№4224 2006). Intelligent Data Engineering and Automated Learning - IDEAL 2006: 7th International Conference, Burgos, Spain, September 20-23, 2006, Proceedings
41.   Lecture notes in computer science (№4226 2006). Advanced intelligent computing theories and applications with aspects of theoretical and methodological issues

2007


42.   Lecture Notes in Computer Science (4670). Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings

2008


43.   Lecture Notes in Computer Science (№5393 2008). Mathematical Methods in Computer Science

2009


44.   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
45.   Lecture Notes in Computer Science (5720). Mathematical morphology and its application to signal and image processing
46.   Lecture Notes in Computer Science (5779). Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers
47.   Lecture Notes in Computer Science (5846). Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
48.   Lecture Notes in Computer Science (№5632 2009). Machine Learning and Data Mining in Pattern Recognition: 6th International Conference, MLDM 2009, Leipzig, Germany, July 23-25, 2009, Proceedings

2010


49.   Lecture Notes in Computer Science (5765). Graph Transformations and Model-Driven Engineering: Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday
50.   Lecture Notes in Computer Science (6009). Functional and Logic Programming: 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings
51.   Lecture Notes in Computer Science (6037). Logic-Based Program Synthesis and Transformation
52.   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
53.   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
54.   Lecture Notes in Computer Science (№5935 2010). Distributed Computing and Networking: 11th International Conference, ICDCN 2010, Kolkata, India, January 3-6, 2010, Proceedings
55.   Lecture Notes in Computer Science (№6099 2010). Fun with Algorithms: 5th International Conference, FUN 2010, Ischia, Italy, June 2-4, 2010, Proceedings
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2019
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте