√лавна€    Ex Libris     ниги    ∆урналы    —татьи    —ерии     аталог    Wanted    «агрузка    ’удЋит    —правка    ѕоиск по индексам    ѕоиск    ‘орум   
square ѕервый курс

square ¬торой курс

square “ретий курс

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

square ѕ€тый курс

ѕоиск по указател€м

Ѕыстрый переход
ѕо названию:
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 ® ј Ѕ ¬ ƒ « »   Ћ ћ Ќ ќ ѕ ÷ Ў ў џ Ё ё я
¬се ресурсы

ID asc desc pic јвторы asc desc Ќазвание asc desc √од asc desc ƒоп.
78850 Aichernig B.K., Maibaum T. Formal Methods at the Crossroads: From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST the International Institute for Software Technology of The United Nations University Lisbon, Portugal, March 18-20, 2002 Revised Papers 2004ХХ
78853 Kozen D., Shankland C. Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings 2004ХХ
78854 Davies J., Bussler C. The Semantic Web: Research and Applications: First European Semantic Web Symposium, ESWS 2004 Heraklion, Crete, Greece, May 10-12, 2004 Proceedings 2004ХХ
78865 Wang S. Conceptual Modeling for Advanced Application Domains: ER 2004 Workshops CoMoGIS, CoMWIM ECDM, CoMoA, DGOV, and eCOMO Shanghai, China, November 8-12, 2004 Proceedings 2004ХХ
78871 Fiala J. Mathematical Foundations of Computer Science 2004: 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004, Proceedings 2004ХХ
78872 Barillot C., Haynor D.R. Medical Image Computing and Computer-Assisted Intervention Ц MICCAI 2004: 7th International Conference Saint-Malo, France, September 26-29, 2004 Proceedings, Part I 2004ХХ
78879 Willcox M. (ed.), Bodeker G. (ed.), Rasoanaivo P. (ed.) Traditional medicinal plants and malaria 2004ХХ
78881 Murthy P. Weibull models 2004ХХ
78888 Nikolaidis I. (ed.), Barbeau M. (ed.), Kranakis E. (ed.) Ad-hoc, mobile, and wreless networks. Lecture notes in computer science 3158 2004ХХ
78893 Chi C.-H., van Steen M. Web Content Caching and Distribution: 9th International Workshop, WCW 2004, Beijing, China, October 18-20, 2004. Proceedings 2004ХХ
78894 Laganà A. Computational Science and Its Applications -- ICCSA 2004: International Conference, Assisi, Italy, May 14-17, 2004, Proceedings, Part I 2004ХХ
78906 Knuth D.E. MMIXware: A RISC Computer for the Third Millennium 2004ХХ
78908 Dau F. The Logic System of Concept Graphs with Negation: And Its Relationship to Predicate Logic 2004ХХ
78911 Boiten E., Derrick J. Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings 2004ХХ
78917 Juels A. Financial Cryptography: 8th International Conference, FC 2004, Key West, FL, USA, February 9-12, 2004. Revised Papers 2004ХХ
78919 Hales D., Edmonds B. Multi-Agent-Based Simulation III: 4th International Workshop, MABS 2003, Melbourne, Australia, July 14th, 2003, Revised Papers 2004ХХ
78921 Rauterberg M. Entertainment Computing - ICEC 2004: Third International Conference, Eindhoven, The Netherlands, September 1-3, 2004, Proceedings 2004ХХ
78924 Berendt B., Hotho Web Mining: From Web to Semantic Web: First European Web Mining Forum, EWMF 2003, Cavtat-Dubrovnik, Croatia, September 22, 2003, Revised Selected and Invited 2004ХХ
78930 de Vreede G.-J., Guerrero L.A. Groupware: Design, Implementation, and Use: 10th International Workshop, CRIWG 2004, San Carlos, Costa Rica, September 5-9, 2004, Proceedings 2004ХХ
78936 Lomuscio A., Nute D. Deontic Logic in Computer Science: 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings 2004ХХ
78940 Petrenko A., Ulrich A. Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada October 6th, 2003 Revised Papers 2004ХХ
78948 Hicks D.L. Metainformatics: International Symposium, MIS 2003, Graz, Austria, September 17-20, 2003, Revised Papers 2004ХХ
78951 Perner P. Data Mining on Multimedia Data 2004ХХ
78960 Pimentel A., Vassiliadis S. Computer Systems: Architectures, Modeling, and Simulation: Third and Fourth International Workshop, SAMOS 2003 and SAMOS 2004, Samos, Greece, July 21-23, 2003 and July 19-21, 2004 Proceedings 2004ХХ
78966 Frederking R.E., Taylor K.B. Machine Translation: From Real Users to Research: 6th Conference of the Association for Machine Translation in the Americas, AMTA 2004, Washington, DC, USA, September 28 Ц October 2, 2004 Proceedings 2004ХХ
78982 ¬еликанова —.Ќ. «емельное право. ќтветы на экзаменационные вопросы 2004ХХ
79022 Barnes G.C. Family Therapy in Changing Times 2004 ХХХ
79026 Berakdar J., Kirschner J. Correlation Spectroscopy of Surfaces, Thin Films, and Nanostructures 2004ХХ
79532 van Elst L. (ed.), Abecker A. (ed.), Dignum D. (ed.) Agent-Mediated Knowledge Management: International Symposium AMKM 2003, Stanford, CA, USA, March 24-26, 2003, Revised and Invited Papers 2004 ХХХ
79045 Lindsay J. Darkly Dreaming Dexter 2004ХХ
79054 √рин –. 48 законов власти 2004ХХ
79056 Glendenning N. K. Direct Nuclear Reactions 2004ХХ
79064 ‘едоров Ќ.≈. —овременные системы автоблокировки с тональными рельсовыми цеп€ми 2004ХХ
79070 Jonoska N.(ed.), Paun G.(ed.), Rozenberg G.(ed.) Aspects of Molecular Computing: Essays Dedicated to Tom Head on the Occasion of His 70th Birthday 2004 ХХХ
79077 White J.F. High Frequency Techniques: An Introduction to RF and Microwave Engineering 2004 ХХХ
79090 Markopoulos P.(ed.), Eggen B.(ed.), Aarts E.(ed.) Ambient Intelligence: Second European Symposium, EUSAI 2004, Eindhoven, The Netherlands, November 8-11, 2004, Proceedings 2004 ХХХ
79115 Bellahsène Z. (ed.), Milo T. (ed.), Rys M. (ed.) Database and XML Technologies. Second International XML Database Symposium, XSym 2004 Toronto, Canada, August 29-30, 2004 Proceedings 2004ХХ
79118 Kinzey B. F/A-18E&F/A-18F Super Hornet in detail & scale 2004ХХ
79130 Chen J. (ed.), Reif J. (ed.) DNA Computing. 9th International Workshop on DNA Based Computers, DNA9 Madison, WI, USA, June 1-3, 2003 Revised Papers 2004ХХ
79131 Davies N. (ed.), Mynatt E. (ed.), Siio I. (ed.) UbiComp 2004. Ubiquitous Computing. 6th International Conference Nottingham, UK, September 7-10, 2004 Proceedings 2004ХХ
79135 Wieliczko L. A. Nakajima B6N "Tenzan" - Famous Airplanes No. 3 (polish-english publication) 2004ХХ
79137 Quintarelli E. Model-Checking Based Data Retrieval. An Application to Semistructured and Temporal Data 2004ХХ
79150 van Oostrom V. (ed.) Rewriting Techniques and Applications. 15th International Conference, RTA 2004 Aachen, Germany, June 3-5, 2004 Proceedings 2004ХХ
79153 Stoica I. (ed.) Stateless Core. A Scalable Approach for Quality of Service in the Internet. Winning Thesis of the 2001 ACM Doctoral Dissertation Competition 2004ХХ
79168 Melnik S. Generic Model Management. Concepts and Algorithms 2004ХХ
79173 Bussler C. (ed.), Fensel D. (ed.), Orlowska M.O. (ed.) Web Services, E-Business, and the Semantic Web. Second International Workshop, WES 2003 Klagenfurt, Austria, June 16-17, 2003 Revised Selected Papers 2004ХХ
79175 Gobel S. (red.), Spierling U. (red.), Hoffmann A. (red.) Technologies for Interactive Digital Storytelling and Entertainment, 2 conf., TIDSE 2004 2004ХХ
79177 Matsui M. (Eds.), Zuccherato R.(Eds.) Selected Areas in Cryptography, 10 conf., SAC 2003 2004ХХ
79178 Sheila A.(Eds.), McIlraith D(Eds.), Harmelen F.(Eds.) The Semantic Web - ISWC 2004.. 3 conf 2004ХХ
79184 Bamforth Ch.W. Beer: Health and Nutrition 2004 ХХХ

© Ёлектронна€ библиотека попечительского совета мехмата ћ√”, 2004-2021
Ёлектронна€ библиотека мехмата ћ√” | Valid HTML 4.01!| Valid CSS! ќ проекте