| 178336 |
|
Nielsen M., Thomas W. |
Computer Science Logic, 11 conf., CSL '97 |
1998 | •• |
| 165169 |
|
Flum J., Rodriguez-Artalejo M. |
Computer Science Logic, 13 conf., CSL '99 |
1999 | •• |
| 132142 |
|
Laurent Fribourg |
Computer Science Logic, 15 conf. |
2001 • | •• |
| 178022 |
|
Bradfield J. |
Computer Science Logic, 16 conf., CSL 2002 |
2002 | •• |
| 183962 |
|
Baaz M., Makowsky J. |
Computer Science Logic, 17 conf., CSL 2003 |
2003 | •• |
| 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 • | •• |
| 155395 |
|
Ong L. |
Computer Science Logic, 19 conf., CSL 2005 |
2005 | •• |
| 154461 |
|
Esik Z. |
Computer Science Logic, 20 conf., CSL 2006 |
2006 | •• |
| 167811 |
|
Duparc J., Henzinger T. |
Computer Science Logic, 21 conf., CSL 2007 |
2007 | •• |
| 181675 |
|
Borger E., Buning H., Richter M. |
Computer Science Logic, 4 conf., CSL '90 |
1991 | •• |
| 154129 |
|
Borger E., Jager G., Buning H. |
Computer Science Logic, 5 conf., CSL '91 |
1992 | •• |
| 183912 |
|
Borger E., Jager G., Buning H. |
Computer Science Logic, 6 conf., CSL '92 |
1993 | •• |
| 151117 |
|
Borger E., Gurevich Y., Meinke K. |
Computer Science Logic, 7 conf., CSL '93 |
1994 | •• |
| 184608 |
|
Pacholski L., Tiuryn J. |
Computer Science Logic, 8 conf., CSL '94 |
1995 | •• |
| 33031 |
|
Duparc J. |
Computer Science Logic: 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings |
2007 | •• |
| 168247 |
|
Gradel E., Kahle R. |
Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, ... Computer Science and General Issues) |
2009 | •• |
| 153272 |
|
Dawar A., Veith H. |
Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, ... Computer Science and General Issues) |
2010 | •• |
| 27301 |
|
Harvey B. |
Computer science Logo style (Volume 1) |
1997 • | •• |
| 27302 |
|
Harvey B. |
Computer science Logo style (Volume 2) |
1997 • | •• |
| 27303 |
|
Harvey B. |
Computer science Logo style (Volume 3) |
1997 • | •• |
| 165546 |
|
Spraul V. |
Computer Science Made Simple: Learn how hardware and software work-- and how to make them work for you! |
2005 | •• |
| 143997 |
|
Fant K. |
Computer Science Reconsidered: The Invocation Model of Process Expression |
2007 | •• |
| 81676 |
|
van Leeuwen J. (Editor) |
Computer Science Today: Recent Trends and Developments |
1995 • | •• |
| 9783 |
|
Maeder R.E. |
Computer science with mathematica |
2000 | •• |
| 192484 |
|
Maeder R. |
Computer Science with Mathematica |
2000 | •• |
| 191874 |
|
Maeder R. |
Computer science with Mathematica - Errata |
2000 | •• |
| 212733 |
|
Àëüòõîôô Ê. |
Computer Science äëÿ ïðîãðàììèñòà-ñàìîó÷êè. Âñå, ÷òî íóæíî çíàòü î ñòðóê- òóðàõ äàííûõ è àëãîðèòìàõ. |
2022 | •• |
| 134677 |
|
Ïîñîâ È.À. |
Computer Science êëóá â Ñàíêò-Ïåòåðáóðãå |
2008 | •• |
| 80457 |
|
Hirsch E.A.(ed.), Razborov A.A.(ed.), Semenov A.(ed.) |
Computer Science – Theory andApplications Third International Computer Science Symposium in Russia, CSR 2008 Moscow, Russia, June 7-12, 2008 Proceedings |
2008 | •• |
| 126503 |
|
Brookshear J. G. |
Computer Science. An Overview |
2007 • | •• |
| 53729 |
|
Brookshear J.G. |
Computer Science: An Overview |
2005 • | •• |
| 131670 |
|
|
Computer Science: Reflections On The Field, Reflections From Field |
2004 | •• |
| 47542 |
|
National Research Council |
Computer Science: Reflections on the Field, Reflections from the Field |
2004 | •• |
| 10487 |
|
Flynn R.R. (ed.) |
Computer Sciences (vol. 1) |
2002 | •• |
| 10488 |
|
Flynn R.R. (ed.) |
Computer Sciences (vol. 2) |
2002 | •• |
| 10489 |
|
Flynn R.R. (ed.) |
Computer Sciences (vol. 3) |
2002 | •• |
| 10486 |
|
Flynn R.R. (ed.) |
Computer Sciences (vol. 4) |
2002 | •• |
| 28647 |
|
Cohen W. |
Computer Scientists Guide to Cell Biology |
2007 | •• |
| 31826 |
|
Cooper J.A., Goldreich O. |
Computer Security & Cryptography |
2000 | •• |
| 138734 |
|
Cuppens F., Deswarte Y., Gollmann D. |
Computer Security - ESORICS 2000 |
2000 | •• |
| 133527 |
|
Gollmann D., Karjoth G., Waidner M. |
Computer Security - ESORICS 2002, 7 conf |
2002 | •• |
| 79120 |
|
Snekkenes E. (ed.), Gollmann D. (ed.) |
Computer Security - ESORICS 2003. 8th European Symposium on Research in Computer Security Gjøvik, Norway, October 13-15, 2003 Proceedings |
2003 | •• |
| 85727 |
|
Samarati P., Ryan P., Gollmann D. |
Computer Security - ESORICS 2004: 9th European Symposium on Research Computer Security, Sophia Antipolis, France, September 13-15, 2004. Proceedings |
2004 | •• |
| 186266 |
|
Vimercati S., Syverson P., Gollmann D. |
Computer Security - ESORICS 2005, 10 conf |
2005 | •• |
| 181935 |
|
Asarin E., Gollmann D., Meier J. |
Computer Security - ESORICS 2006, 11 conf |
2006 | •• |
| 77978 |
|
Biskup J. |
Computer Security - ESORICS 2007: 12th European Symposium On Research In Computer Security, Dresden, Germany, September 24 - 26, 2007, Proceedings |
2007 | •• |
| 85017 |
|
Jajodia S., Lopez J. |
Computer Security - ESORICS 2008, 13 conf |
2008 | •• |
| 175947 |
|
Gritzalis D., Preneel B., Theoharidou M. |
Computer Security - ESORICS 2010: 15th European Symposium on Research in Computer Security, Athens, Greece, September 20-22, 2010. Proceedings ... Computer Science Security and Cryptology) |
2010 | •• |
| 161011 |
|
Yves Deswarte, Gerard Eizenberg, Jean-Jacques Quisquater |
Computer Security - ESORICS 92 |
1992 • | •• |
|
|
Î ïðîåêòå