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

square Второй курс

square Третий курс

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

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

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

blank
Красота
blank
blank
Журнал Lecture Notes in Computer Science

Журнал Lecture Notes in Computer Science




1975


1.   Lecture Notes in Computer Science. 25

1977


2.   Lecture Notes in Computer Science. 56

1980


3.   Lecture Notes in Computer Science (85). Automata, Languages and Programming

1981


4.   Lecture Notes in Computer Science. 117

1983


5.   Lecture Notes in Computer Science. 158

1985


6.   Lecture Notes in Computer Science. 199

1986


7.   Lecture Notes in Computer Science. №233. Mathematical Foundations of Computer Science 1986

1989


8.   Lecture Notes in Computer Science.Fundamentals of Computation Theory

1990


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

1991


10.   Lecture Notes in Computer Science. 493
11.   Lecture Notes in Computer Science. 519
12.   Lecture Notes in Computer Science. 527
13.   Lecture Notes in Computer Science. 529

1992


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

1993


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

1994


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

1996


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

1997


24.   Lecture Notes in Computer Science. 1214
25.   Lecture Notes in Computer Science. 1217
26.   Lecture Notes in Computer Science.1279

1998


27.   Lecture Notes in Computer Science (1396). Information Security: First International Workshop, ISW'97, Tatsunokuchi, Ishikawa, Japan, September 17-19, 1997, Proceedings
28.   Tools and Algorithms for the Construction and Analysis of Systems - 4th International Conference, TACAS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 - April 4, 1998 Proceedings

1999


29.   Compiler Construction - 8th International Conference, CC’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands, March 22-28, 1999 Proceedings

2000


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

2001


31.   Financial Cryptography 4th International Conference, FC 2000 Anguilla, British West Indies, February 20-24, 2000 Proceedings
32.   Lecture Notes in Computer Science
33.   Lecture Notes in Computer Science. Logic Based Program Synthesis and Transformation, 10 conf., LOPSTR 2000

2002


34.   Algorithmic Number Theory - 5th International Symposium, ANTS-V Sydney, Australia, July 7-12, 2002 Proceedings
35.   Compiler Construction - 11th International Conference, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002 Proceedings
36.   Lecture Notes in Computer Science (2429). Peer-to-Peer Systems
37.   Lecture Notes in Computer Science (№2270 2002). On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors
38.   Lecture Notes in Computer Science (№2412 2002). Intelligent Data Engineering and Automated Learning - IDEAL 2002
39.   Lecture Notes in Computer Science (№2486 2002). Neural Nets

2003


40.   Compiler Construction - 12th International Conference, CC 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7-11, 2003 Proceedings
41.   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
42.   Lecture Notes in Computer Science (2588). Computational linguistics and intelligent text processing
43.   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
44.   Lecture Notes in Computer Science (2770). Digital Rights Management - Technological, Economic, Political Aspects
45.   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
46.   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


47.   Compiler Construction - 13th International Conference, CC 2004 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Barcelona, Spain, March 29 –April 2
48.   Lecture Notes in Computer Science (2948). Finite Fields and Applications: 7th International Conference, Fq7, Toulouse, France, May 5-9, 2003, Revised Papers
49.   Lecture Notes in Computer Science (3047). Software Architecture: First European Workshop, EWSA 2004, St Andrews, UK, May 21-22, 2004, Proceedings
50.   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
51.   Lecture Notes in Computer Science (3266). Quality of Service in the Emerging Networking Panorama
52.   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
53.   Public Key Infrastructure - First European PKI Workshop: Research and Applications, EuroPKI 2004 Samos Island, Greece, June 25-26, 2004 Proceedings

2005


54.   Functional Imaging and Modeling of the Heart (Third International Workshop, FIMH 2005 Barcelona, Spain, June 2-4, 2005 Proceedings)
55.   Lecture Notes in Computer Science (3385). Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings
56.   Lecture Notes in Computer Science (3479). Location- and Context-Awareness: First International Workshop, LoCA 2005, Oberpfaffenhofen, Germany, May 12-13, 2005, Proceedings
57.   Lecture Notes in Computer Science (3553). Embedded Computer Systems: Architectures, Modeling, and Simulation: 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, Proceedings
58.   Lecture Notes in Computer Science (3588). Database and Expert Systems Applications: 16th International Conference, DEXA 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings
59.   Lecture Notes in Computer Science (3709). Principles and Practice of Constraint Programming - CP 2005
60.   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
61.   Lecture Notes in Computer Science (№1540 2005). Image Analysis: 14th Scandinavian Conference, SCIA 2005, Joensuu, Finland, June 19-22, 2005, Proceedings
62.   Lecture Notes in Computer Science. 3378

2006


63.   Extreme Programming and Agile Processes in Software Engineering 7th International Conference, XP 2006 Oulu, Finland, June 17-22, 2006 Proceedings
64.   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
65.   Lecture Notes in Computer Science (3945). Functional and Logic Programming
66.   Lecture Notes in Computer Science (3991). Computational Science - ICCS 2006: 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part I
67.   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
68.   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
69.   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
70.   Lecture notes in computer science (№4226 2006). Advanced intelligent computing theories and applications with aspects of theoretical and methodological issues

2007


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

2008


72.   Compiler Construction - 17th International Conference, CC 2008 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008 Budapest, Hungary, March 29 – April 6, 2008 Proceedings
73.   Lecture Notes in Computer Science (№5393 2008). Mathematical Methods in Computer Science
74.   Reliable Implementation of Real Number Algorithms: Theory and Practice

2009


75.   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
76.   Lecture Notes in Computer Science (5720). Mathematical morphology and its application to signal and image processing
77.   Lecture Notes in Computer Science (5779). Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers
78.   Lecture Notes in Computer Science (5846). Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
79.   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


80.   Lecture Notes in Computer Science (5765). Graph Transformations and Model-Driven Engineering: Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday
81.   Lecture Notes in Computer Science (6009). Functional and Logic Programming: 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings
82.   Lecture Notes in Computer Science (6037). Logic-Based Program Synthesis and Transformation
83.   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
84.   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
85.   Lecture Notes in Computer Science (№5935 2010). Distributed Computing and Networking: 11th International Conference, ICDCN 2010, Kolkata, India, January 3-6, 2010, Proceedings
86.   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-2021
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте