Ãëàâíàÿ    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 Äîï.
183912 Borger E., Jager G., Buning H. Computer Science Logic, 6 conf., CSL '92 1993••
154129 Borger E., Jager G., Buning H. Computer Science Logic, 5 conf., CSL '91 1992••
181675 Borger E., Buning H., Richter M. Computer Science Logic, 4 conf., CSL '90 1991••
167811 Duparc J., Henzinger T. Computer Science Logic, 21 conf., CSL 2007 2007••
154461 Esik Z. Computer Science Logic, 20 conf., CSL 2006 2006••
155395 Ong L. Computer Science Logic, 19 conf., CSL 2005 2005••
85057 Marcinkowski J., Tarlecki A. Computer Science Logic, 18 conf., CSL 2004 2004••
197685 Marcinkowski J., Tarlecki A. Computer Science Logic, 18 conf., CSL 2004 2004 •••
183962 Baaz M., Makowsky J. Computer Science Logic, 17 conf., CSL 2003 2003••
178022 Bradfield J. Computer Science Logic, 16 conf., CSL 2002 2002••
132142 Laurent Fribourg Computer Science Logic, 15 conf. 2001 •••
165169 Flum J., Rodriguez-Artalejo M. Computer Science Logic, 13 conf., CSL '99 1999••
178336 Nielsen M., Thomas W. Computer Science Logic, 11 conf., CSL '97 1998••
131444 Dirk van Dalen, Marc Bezem Computer Science Logic, 10 conf., CSL '96 1997 •••
33030 Baaz M. (Ed), Makowsky J.M. (Ed) Computer Science Logic 2003••
127639 Gottlob G., Grandjean E., Seyr K. Computer Science Logic 1999••
129517 Buening H.K. Computer Science Logic 1996••
130179 Kaminski M., Martini S. Computer Science Logic 2008••
132967 Clote P.G., Schwichtenberg H. Computer Science Logic 2000••
143110 Klein R., Six H.-W., Wegner L. Computer Science in Perspective: Essays Dedicated to Thomas Ottmann 2003••
9976 Dale N., Lewis J. Computer science illuminated 2002••
182575 Tucker A. Computer Science Handbook [Section I] 2004 •••
134892 Pamela Walker, Elaine Wood Computer Science Experiments (Facts on File Science Experiments) 2009 •••
138636 Walker P., Wood E. Computer Science Experiments (Facts on File Science Experiments) 2010••
155706 Walker P., Wood E. Computer Science Experiments (Facts on File Science Experiments) 2010••
154425 Fincher S., Petre M. Computer Science Education Research 2004••
177629 Janzing D. Computer Science Approach to Quantum Control 2006••
27907 Tucker A.B. Computer Science and Engineering Handbook 2004 •••
27300 National Research Council (U.S.) Computer Science and Artificial Intelligence 2001••
147597 Diekert V., Volkov M., Voronkov A. Computer Science - Theory and Applications: Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7 2007••
153168 Ablayev F., Mayr E.W. Computer Science - Theory and Applications: 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010, ... Computer Science and General Issues) 2010••
137008 Dima Grigoriev, John Harrison, Edward A. Hirsch Computer Science - Theory and Applications, 1 conf., CSR 2006 2006••
158204 Brookshear J. Computer science - an overview 2006 •••
144809 Covington M. Computer Science (Barron's Ez-101 Study Keys) 1991••
130094 Brookshear J. Computer Science 2007 •••
187890 Kaâniche M., Bitsch F., Guiochet J. Computer Safety, Reliability, and Security: 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings 2013••
195886 Schoitsch E. Computer Safety, Reliability, and Security: 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010, Proceedings 2010••
175549 Buth B., Rabe G., Seyfarth T. Computer Safety, Reliability, and Security: 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings ... Programming and Software Engineering) 2009••
132461 Janusz Gorski Computer Safety, Reliability, and Security: 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings 2006 •••
144229 Heisel M., Liggesmeyer P., Wittmann S. Computer Safety, Reliability, and Security: 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, Proceedings 2004••
161059 Anderson S., Felici M., Littlewood B. Computer Safety, Reliability, and Security: 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings 2003••
151698 Koornneef F., van der Meulen M. Computer Safety, Reliability, and Security: 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings 2000••
89035 Harrison M.D., Sujan M.A. Computer Safety, Reliability, and Security, 27 conf., SAFECOMP 2008 2008••
193258 Winther R., Gran B., Dahll G. Computer Safety, Reliability, and Security : 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings 2005••
153961 Anderson S., Bologna S., Felici M. Computer Safety, Reliability and Security: 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002. Proceedings 2002••
165311 Voges U. Computer Safety, Reliability and Security: 20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 Proceedings 2001••
195297 Felici M. (Ed.), Kanoun K. (Ed.), Pasquini A. (Ed.) Computer Safety, Reliability and Security. 18th International Conference, SAFECOMP’99. Toulouse, France, September 27-29, 1999. Proceedings (Lecture Notes in Computer Science 1698) 1999••
132545 Ñòåðíèíà Ì.À. Computer Revolution: Ó÷åáíîå ïîñîáèå ïî àíãëèéñêîìó ÿçûêó 2002••
129569 Rosenthal M. Computer Repair With Diagnostic Flowcharts 2004••
130471 Peterson J.L. Computer Programs for Spelling Correction: An Experiment in Program Design 1980••
blank
HR
@Mail.ru
© Ýëåêòðîííàÿ áèáëèîòåêà ïîïå÷èòåëüñêîãî ñîâåòà ìåõìàòà ÌÃÓ, 2004-2024
Ýëåêòðîííàÿ áèáëèîòåêà ìåõìàòà ÌÃÓ | Valid HTML 4.01!| Valid CSS! Î ïðîåêòå