Ãëàâíàÿ    Ex Libris    Êíèãè    Æóðíàëû    Ñòàòüè    Ñåðèè    Êàòàëîã    Wanted    Çàãðóçêà    ÕóäËèò    Ñïðàâêà    Ïîèñê ïî èíäåêñàì    Ïîèñê    Ôîðóì   
Ìåõìàòÿíàì
square Ïåðâûé êóðñ

square Âòîðîé êóðñ

square Òðåòèé êóðñ

square ×åòâåðòûé êóðñ

square Ïÿòûé êóðñ
blank
Àâòîðèçàöèÿ

       
blank
Ïîèñê ïî óêàçàòåëÿì

blank
Êðàñîòà
blank
blank
Áûñòðûé ïåðåõîä
Ïî íàçâàíèþ:
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z À Á Â Ã Ä Å ¨ Æ Ç È É Ê Ë Ì Í Î Ï Ð Ñ Ò Ó Ô Õ Ö × Ø Ù Û Ý Þ ß
Ïî àâòîðó:
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z ¨ À Á Â Ã Ä Å Æ Ç È É Ê Ë Ì Í Î Ï Ð Ñ Ò Ó Ô Õ Ö × Ø Ù Û Ý Þ ß
blank
Âñå ðåñóðñû
Ñîðòèðîâêà:

ID asc desc pic Àâòîðû asc desc Íàçâàíèå asc desc Ãîä asc desc Äîï.
141394 Loucopoulos P. (ed.) Lecture Notes in Computer Science (593). Advanced Information Systems Engineering: 4th International Conference CAiSE '92, Manchester, UK, May 12-15, 1992. Proceedings 1992••
145827 Gibbons J. (ed.), Oliveira J.O. (ed.) Lecture Notes in Computer Science (5846). Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings 2009••
145150 Bensalem S., Peled D.A. Lecture Notes in Computer Science (5779). Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers 2009••
145755 Engels G., Lewerentz C., Schafer W. Lecture Notes in Computer Science (5765). Graph Transformations and Model-Driven Engineering: Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday 2010••
145184 Wilkinson M.H.F., Roerdink J.B.T.M. Lecture Notes in Computer Science (5720). Mathematical morphology and its application to signal and image processing 2009••
145856 Sexton A.P. (ed.) 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 2009••
176196 Bry F. (ed.), Małuszynski J. (ed.) Lecture Notes in Computer Science (5500). Semantic Techniques for the Web 2009••
145158 Nielsen M., Kucera A., Miltersen P.B. Lecture Notes in Computer Science (5404). SOFSEM 2009: Theory and Practice of Computer Science 2009••
145221 Dahl V., Niemela I. Lecture Notes in Computer Science (4670). Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings 2007••
145838 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••
145214 Alexandrov V.N., van Albada G.D., Sloot P.M.A. Lecture Notes in Computer Science (3991). Computational Science - ICCS 2006: 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part I 2006••
145117 Hagiya M. (ed.), Wadler P. (ed.) Lecture Notes in Computer Science (3945). Functional and Logic Programming 2006••
145942 Bonchi F. (ed.), Boulicaut J.-F. (ed.) 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 2006••
138625 Syrotiuk V.R. (ed.), Chávez E. (ed.) 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 2005••
145160 Dongarra J., Madsen K., Wasniewski J. Lecture Notes in Computer Science (3732). Applied Parallel Computing: State of the Art in Scientific Computing 2006••
145805 van Beek P. (ed.) Lecture Notes in Computer Science (3709). Principles and Practice of Constraint Programming - CP 2005 2005••
145212 Andersen K.V., Debenham J., Wagner R. Lecture Notes in Computer Science (3588). Database and Expert Systems Applications: 16th International Conference, DEXA 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings 2005••
145940 Hamalainen T.D. (ed.), Pimentel A.D. (ed.), Takala J. (ed.) Lecture Notes in Computer Science (3553). Embedded Computer Systems: Architectures, Modeling, and Simulation: 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, Proceedings 2005••
145055 Sunderam V.S., van Albada G.D., Sloot P.M.A. Lecture Notes in Computer Science (3516). Computational Science -- ICCS 2005: 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part III 2005••
145504 Strang T., Linnhoff-Popien C. Lecture Notes in Computer Science (3479). Location- and Context-Awareness: First International Workshop, LoCA 2005, Oberpfaffenhofen, Germany, May 12-13, 2005, Proceedings 2005••
145898 Cousot R. (ed.) Lecture Notes in Computer Science (3385). Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings 2005••
145533 Wang F. 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 2004••
145852 Sole-Pareta J. (ed.), Smirnov M. (ed.) Lecture Notes in Computer Science (3266). Quality of Service in the Emerging Networking Panorama 2004••
145083 Benczur A. (ed.), Demetrovics J. (ed.), Gottlob G. (ed.) 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 2004••
145067 Oquendo F., Warboys B., Morrison R. Lecture Notes in Computer Science (3047). Software Architecture: First European Workshop, EWSA 2004, St Andrews, UK, May 21-22, 2004, Proceedings 2004••
145777 Mullen G.L., Poli A., Stichtenoth H. Lecture Notes in Computer Science (2948). Finite Fields and Applications: 7th International Conference, Fq7, Toulouse, France, May 5-9, 2003, Revised Papers 2004••
145351 Geist D., Tronci E. 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 2003••
138816 Pfenning F. (ed.), Smaragdakis Y. (ed.) Lecture Notes in Computer Science (2830). Generative Programming and Component Engineering: Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings 2003••
129263 Becker E., Buhse W., Günnewig D. Lecture Notes in Computer Science (2770). Digital Rights Management - Technological, Economic, Political Aspects 2003••
145516 Marsan M., Corazza G., Listanti M. 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 2003••
128279 Gelbukh A. (Ed.) Lecture Notes in Computer Science (2588). Computational linguistics and intelligent text processing 2003••
145876 Manolopoulos Y. (ed.), Evripidou S. (ed.), Kakas A.C. (ed.) 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 2003••
145829 Druschel P., Kaashoek F., Rowstron A. Lecture Notes in Computer Science (2429). Peer-to-Peer Systems 2002••
138722 Barthe G., Dybjer P., Pinto L. Lecture Notes in Computer Science (2395). Applied Semantics: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures (Lecture Notes in Computer Science) 2002••
144826 Schiele B., Sagerer G. Lecture Notes in Computer Science (2095). Computer Vision Systems: Second International Workshop, ICVS 2001 Vancouver, Canada, July 7-8, 2001 Proceedings 2001••
128179 Emerson A.E., Sistla A.P. Lecture Notes in Computer Science (1855). Computer Aided Verification 2000••
145791 Okamoto E. (ed.), Davida G. (ed.), Mambo M. (ed.) Lecture Notes in Computer Science (1396). Information Security: First International Workshop, ISW'97, Tatsunokuchi, Ishikawa, Japan, September 17-19, 1997, Proceedings 1998••
138718 Flynn M.J., Harris N.R., McCarthy D.P. Lecture Notes in Computer Science (126). Microcomputer System Design, Advanced Course 1982••
145234 Hohne K.H., Kikinis R. Lecture Notes in Computer Science (1131). Visualization in Biomedical Computing: 4th International Conference, VBC '96, Hamburg, Germany, September 22 - 25, 1996, Proceedings 1996••
145154 Buxton B. (ed.), Cipolla R. (ed.) 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 1996••
145905 Godefroid P. Lecture Notes in Computer Science (1032). Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem 1996••
197697 Goos G. (ðåä.), Hartmanis J. (ðåä.), J. van Leeuwen (ðåä.) Lecture Notes in Computer Science 2001••
20078 Chen J. Lecture Notes in Computational Optimization 1995••
52854 Čársky P., Urban M. Lecture Notes in Chemistry: Ab Initio Calculations 1980••
92776 Priami C. (editor-in-chief) Lecture notes in bioinformatics. Volume 4780. Transactions on computational systems biology 8 2007••
92768 Yao J.T. (editor), Lingras P. (editor), Wu W.-Z. (editor) Lecture notes in artificial intelligence. Volume 4481. Rough sets and knowledge technology. 2nd international conference, RSKT 2007, Toronto, Canada, may 14-16, 2007, proceedings 2007••
198739 K.R Jantke (ed), S. Kobayashi (ed) Lecture Notes in Artificial Intelligence. Algorithmic Learning Theory 1993••
198993 G. Goos (ed), J. Hartmanis (ed) Lecture Notes in Artificial Intelligence. 872 1994••
198753 G. Goos (ed), J. Hartmanis (ed) Lecture Notes in Artificial Intelligence. 1160 1996••
147184 Wang F., Deng H., Lei J. Lecture Notes in Artificial Intelligence(6319). Artificial Intelligence and Computational Intelligence: International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part I 2010••
blank
HR
@Mail.ru
© Ýëåêòðîííàÿ áèáëèîòåêà ïîïå÷èòåëüñêîãî ñîâåòà ìåõìàòà ÌÃÓ, 2004-2024
Ýëåêòðîííàÿ áèáëèîòåêà ìåõìàòà ÌÃÓ | Valid HTML 4.01!| Valid CSS! Î ïðîåêòå