ГПНТБ России - Полное описание

Полное описание

004-027.21(063)-447622
Theoretical computer science : 6th IFIP TC 1/WG 2.2 international conference, TCS 2010, held as part of WCC 2010, Brisbane, Australia, September 20-23, 2010 : proceedings / ed. C. S. Calude, V. Sassone. - Electronic text data. - Berlin ; Heidelberg : IFIP International Federation for Information Processing, 2010. - (IFIP advances in information and communication technology, ISSN 1868-4238 ; 323). - URL: http://dx.doi.org/10.1007/978-3-642-15240-5. - ISBN 978-3-642-15240-5.

ГРНТИ	УДК
50.07	004-027.21(062)

Кл.слова (ненормированные): теоретическая информатика -- конференции
Доп. точки доступа:
Calude, C.S.\ed.\
SpringerLink (Online service)
Экз-ры полностью 004-027.21(063)-447622
http://dx.doi.org/10.1007/978-3-642-15240-5

Theoretical Computer Science. - Журнал. - Текст : непосредственный.Papers presented at the 2nd conference on cellular automata for research and industry held in Milan, 16-18 Oct.1996 / ACRI, 1999. - 172 p. - Текст : непосредственный.Linear logic I : Meeting, Tokyo, Mar.28- Apr.2, 1996 / Ed. J.-Y. Girard, 1999. - 386 p. - Текст : непосредственный.Theoretical computer science : Exploring new frontiers of theoretical informaticsIntern. conf. IFIP TCS 2000, Sendai, Japan, Aug.17-19, 2000Proc. / IFIP TCS 2000, 2000. - XV,630 p. p. - Текст : непосредственный.Theoretical computer science : 9th italian conference, ICTCS 2005, Siena, Italy, October 12-14, 2005: proceedings / ed. M. Coppo [et al.], 2005 r=on-line.Theoretical computer science : essays in memory of Shimon Even / ed. O. Goldreich [et al.], 2006 r=on-line.Emerging challenges for security, privacy and trust : 24th IFIP TC 11 international information security conference, SEC 2009, Pafos, Cyprus, May 18-20, 2009 : proceedings / ed. D. Gritzalis, J. Lopez, 2009 r=on-line Computer and computing technologies in agriculture II, volume 1 : the second IFIP international conference on computer and computing technologies in agriculture (CCTA2008), October 18-20, 2008, Beijing, China / ed. : D. Li, C. Zhao, 2009 r=on-line Computer and computing technologies in agriculture II, volume 2 : the second IFIP international conference on computer and computing technologies in agriculture (CCTA2008), October 18-20, 2008, Beijing, China / ed. : D. Li, C. Zhao, 2009 r=on-line Computer and computing technologies in agriculture II, volume 3 : the second IFIP international conference on computer and computing technologies in agriculture (CCTA2008), October 18-20, 2008, Beijing, China / ed. : D. Li, C. Zhao, 2009 r=on-line Open source ecosystems: diverse communities interacting : 5th IFIP WG 2.13 International conference on open source systems, OSS 2009, Skvde, Sweden, June 3-6, 2009: proceedings / ed. C. Boldyreff [et al.], 2009 r=on-line.Trust management III : third IFIP WG 11.11 International conference, IFIPTM 2009, West Lafayette, IN, USA, June 15-19, 2009: proceedings / ed. E. Ferrari [et al.], 2009 r=on-line.Information systems - creativity and innovation in small and medium-sized enterprises : IFIP WG 8.2 International conference, creativeSME 2009, GuimarГЈes, Portugal, June 21-24, 2009: proceedings / ed. G. Dhillon [et al.], 2009 r=on-line.Education and technology for a better world : 9th IFIP TC 3 world conference on computers in education, WCCE 2009, Bento Goncalves, Brazil, July 27-31, 2009 : proceedings / ed. A. Tatnall, 2009 r=on-line.The future of identity in the information society : 4th IFIP WG 9.2, 9.6/11.6, 11.7/FIDIS international summer school, Brno, Czech Republic, September 1-7, 2008 : revised selected papers / ed. V. Matyas, 2009 r=on-line. - Текст : электронный.Growth and development of computer-aided innovation : third IFIP WG 5.4 Working conference, CAI 2009, Harbin, China, Aug. 20-21, 2009: proceedings / ed. R. Tan, 2009 r=on-line.History of nordic computing 2 : second IFIP WG 9.7 conference, HiNC2, Turku, Finland, Aug. 21-23, 2007: rev. sel. papers / ed. J. Impagliazzo, 2009 r=on-line.Wireless and mobile networking : second IFIP WG 6.8 joint conference, WMNC 2009, Gdansk, Poland, Sept. 9-11, 2009: proceedings / ed. J. Wozniak, 2009 r=on-line.Software services for e-business and e-society : 9th IFIP WG 6.1 Conference on e-business, e-services and e-society, I3E 2009, Nancy, France, Sept. 23-25, 2009: proceedings / ed. C. Godart, 2009 r=on-line.Analysis, architectures and modelling of embedded systems : third IFIP TC 10 International embedded systems symposium, IESS 2009, Langenargen, Germany, Sept. 14-16, 2009: proceedings / ed. A. Rettberg, 2009 r=on-line.

Показать все результаты

Verification of object-oriented software. The KeY approach : foreword by K. Rustan M. Leino / ed. B. Beckert [et al.], 2006 r=on-line.Medical image computing and computer-assisted intervention вђ“ MICCAI 2007 : 10th International conference, Brisbane, Australia, October 29 - November 2, 2007: proceedings, part 2 / ed. N. Ayache [et al.], 2007 r=on-line.Mobile response : first International workshop on mobile information technology for emergency response, mobile response 2007, Sankt Augustin, Germany, February 22-23, 2007: revised selected papers / SpringerLink (Online service), 2008 r=on-line.Computational science - ICCS 2008 : 8th International conference, KrakГіw, Poland, June 23-25, 2008: proceedings, part 2 / ed. M. Bubak [et al.], 2008 r=on-line.Computational science - ICCS 2008 : 8th International conference, KrakГіw, Poland, June 23-25, 2008: proceedings, part 3 / ed. M. Bubak [et al.], 2008 r=on-line.Computational science and its applications - ICCSA 2008 : international conference, Perugia, Italy, June 30вЂ“ July 3, 2008: proceedings, part 2 / ed. O. Gervasi [et al.], 2008 r=on-line.On the move to meaningful internet systems: OTM 2008 : OTM 2008 confederated International conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, November 9-14, 2008: proceedings, part 2 / ed.: R. Meersman, Z. Tari, 2008 r=on-line.Image and video encryption : from digital rights management to secured personal communication / SpringerLink (Online service), 2005 r=on-line.Worzel B. Genetic programming theory and practice vi / B. Worzel, R. Riolo, T. Soule, 2009 r=on-line.Gerdjikov V. Integrable hamiltonian hierarchies : spectral and geometric methods / V. S. Gerdikov [et al.], 2008 r=on-line Knowledge-based intelligent information and engineering systems : 9th international conference, KES 2005, Melbourne, Australia, September 14-16, 2005: proceedings. Part 3 / ed. R. Khosla [et al.], 2005 r=on-line.Service availability : second international service availability symposium, ISAS 2005, Berlin, Germany, April 25 – 26, 2005: revised selected papers / ed. M. Malek [et al.], 2005 r=on-line. - Текст : электронный.Information retrieval technology : second asia information retrieval symposium, AIRS 2005, Jeju Island, Korea, October 13-15, 2005: proceedings / ed. G. Lee [et al.], 2005 r=on-line.Programming languages and systems : third asian symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005: proceedings / ed. K. Yi, 2005 r=on-line.ECOOP'87 - European conference on object-oriented programming : Paris, France, June 15-17, 1987 : proceedings / ed. J. BГ©zivin [et al.], 2006 r=on-line Advances in multimedia modeling : 13th international multimedia modeling conference, MMM 2007, Singapore, January 9-12, 2007 : proceedings : part 2 / eds. T. Cham [et al.], 2006 r=on-line.Complex motion : first international workshop, IWCM 2004, GГјnzburg, Germany, October 12-14, 2004 : revised papers / eds. B. Jahne [et al.], 2007 r=on-line.Adaptive and natural computing algorithms : 8th international conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007 : proceedings : part 2 / ed. B. Beliczynski [et al.], 2007 r=on-line.Public key cryptography вђ“ pkc 2007 : 10th International Conference on Practice and Theory in Public-Key Cryptography Beijing, China, April 16-20, 2007. Proceedings / ed. T. Okamoto, 2007 r=on-line.Computational science - ICCS 2007 : 7th international conference, Beijing, China, May 27 - 30, 2007 : proceedings : part 2 / ed. Y. Shi [et al.], 2007 r=on-line.

Показать все результаты

Показать все результаты

Показать все результаты

Просмотр издания

Полное описание

Заглавие54

Коллектив/Мероприятие6119

Тематический рубрикатор (ГРНТИ)449

УДК/ББК25