Приложение
для AndroidПолное описание
LATIN 2008: theoretical informatics : 8th Latin american symposium, Buzios, Brazil, April 7-11, 2008 : proceedings / eds. E. S. Laber [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer-Verlag, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 4957). - URL: http://dx.doi.org/10.1007/978-3-540-78773-0. - ISBN 978-3-540-78773-0.
| ГРНТИ | УДК | |
| 20.01.13 | 004-027.21(062) |
Рубрики:
Информатика теоретическая -- Съезды и конференции
Доп. точки доступа:
Laber, E.S.\ed.\
SpringerLink (Online service)
http://dx.doi.org/10.1007/978-3-540-78773-0
Methods of programming : Selected papers of the CIP-project / сост.ed. M. Broy, сост.ed. M. Wirsing, 1991. - XII,268 p. p. - Текст : непосредственный.VDM'91:formal software development methods : 4th intern.symp.of VDM Europe Noordwijkerhout,The Netherlands,Oct.21-25,1991 / Ed.by:S.Prehn, W.J.Toetenel. Vol. 1 : Conference contributions, 1991. - 698 p. - Текст : непосредственный.VDM'91:formal software development methods : 4th intern.symp.of VDM Europe Noordwijkerhout,The Netherlands,Oct.21-25,1991 / Ed.by:S.Prehn, W.J.Toetenel. Vol. 2 : Tutorials, 1991. - 430 p. - Текст : непосредственный.Proceedings,Oct.1991,Milan / ESEC'91, 1991. - XII,515 p. p. - Текст : непосредственный.Computational geometry-methods,algorithms and applications : Proc.of the 7th intern.workshop on computational geometry,Bern,March 21-22,1991 / CG'91, 1991. - VIII,320 p. p. - Текст : непосредственный.Grahne G. The problem of incomplete information in relational databases / G.Grahne, 1991. - VIII,149 p. p. - Текст : непосредственный.New results and new trends in computer science : Proc.of a symp.,held in Graz,June 20-21,1991 / ed. H. Maurer, 1991. - VIII,403 p. p. - Текст : непосредственный.Jacquet J.-M. Conclog:A methodological approach to concurrent logic programming / J.-M.Jacquet, 1991. - XII,781 p. p. - Текст : непосредственный.ISA'91 algorithms : 2nd intern.symp.on algorithms,Taipei,Dec.16-18,1991:Proc. / Ed.: W. L. Hsu, R. C.T. Lee, 1991. - X,396 p. p. - Текст : непосредственный.Hooman J. Specification and compositional verification of real-time systems / J.Hooman, 1991. - VIII,235 p. p. - Текст : непосредственный.Butler G. Fundamental algorithms for permutation groups / G.Butler, 1991. - XII,238 p. p. - Текст : непосредственный.Herman I. The use of projective geometry in computer graphics / I.Herman, 1992. - 146 p. - Текст : непосредственный.Graph-theoretic concepts in computer science : 17th intern.workshop on graph-theoretic concepts in computer science,Fischbachau,June 17-19,1991Proc. / WG'91, 1992. - VIII,253 p. p. - Текст : непосредственный.Formal techniques in real-time and fault-tolerant systems : 2nd intern.symp.on formal techniques in real-time and fault-tolerant systems,Jan.1992,NijmegenProc. / Ed. J. Vytopil, 1991. - IX,620 p. p. - Текст : непосредственный.Word equations and related topics : 1st intern.workshop on word equations and related topics,Tubingen,Oct.1990Proc. / IWWERT'90, 1992. - 256 p. - Текст : непосредственный.Parallel architectures and languages Europe : 4th intern.PARLE conf.,Paris,June 1992Proc. / PARLE'92, 1992. - XVII,984 p. p. - Текст : непосредственный.Recent trends in data type specification:8th workshop on specification of abstract data types with 3rd COMPASS workshop,Dourdan Aug.26-30,1991 : Selected papers / сост.ed.by M. Bidoit, сост.ed.by C. Choppy, 1993. - 344 p. - Текст : непосредственный.Conditional term rewriting systems:Third intern.workshop,CTRS-92 Pont-a-Mousson,July 8-10,1992 : Proc. / сост.ed.by M. Rusinowitch, сост.ed.by J. L. Remy, 1993. - 501 p. - Текст : непосредственный.Breu R. Algebraic specification techniques in object oriented programming environments / R.Breu, 1991. - 228 p. - Текст : непосредственный.Cheese A. Parallel execution of Parlog / A.Cheese, 1992. - 184 p. - Текст : непосредственный.
Показать все результатыKnapp A. Advanced real analysis : along with a companion volume basic real analysis / A. Knapp, C. Epstein, S. Krantz, 2005 r=on-line.Decreusefond L. Mathematiques informatique physique : au fil des TIPе / L. Decreusefond, A. Maruani, 2005 r=on-lineTrue visions : the emergence of ambient intelligence / ed.: E. Aarts, J. Encarnação, 2006 r=on-line.Bielefeld B. Building projects in China : a manual for architects and engineers / B. Bielefeld, L. P. Rusch, 2006 r=on-line.Horst W. Het herstel van het gewone leven : een handreiking aan alledaagse opvoeders (ouders, onderwijsgevenden, groepsleiding, gezinsverzorgster) in problematische opvoedingssituaties / W. Horst, 2006 r=on-line. - Текст : электронный.Advances in cryptology - CRYPTO - 86 : proceedings / ed. A. M. Odlyzko, 2006 r=on-line.ECOOP - 87 european conference on object-oriented programming : Paris, France, June 15-17, 1987: proceedings / ed. J. Bezivin [et al.], 1987 r=on-line. - Текст : электронный.Prodan R. Grid computing : experiment management, tool integration, and scientific workflows / R. Prodan, T. Fahringer, 2007 r=on-line.Distributed, high-performance and grid computing in computational biology : international Workshop, GCCB 2006, Eilat, Israel, Jan. 21, 2007: proceedings / SpringerLink (Online service), 2007 r=on-line.Engineering self-organising systems : 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006: revised and invited papers / ed. S. Brueckner [et al.], 2007 r=on-line.Evolutionary computation in combinatorial optimization : 7th European conf., EvoCOP 2007, Valencia, Spain, Apr. 11-13, 2007: proceedings / ed.: C. Cotta, J. Hemert, 2007 r=on-line.Systems biology and regulatory genomics : joint Annual RECOMB 2005 satellite workshops on systems biology and on regulatory genomics, San Diego, Ca, USA, Dec. 2-4, 2005: revised selected papers / SpringerLink (Online service), 2006 r=on-line.Languages and compilers for parallel computing : 18th International workshop, LCPC 2005, Hawthorne, NY, USA, Oct. 20-22, 2005: revised selected papers / SpringerLink (Online service), 2006 r=on-line.Ada 2005 reference manual. Language and standard libraries : international Standard ISO/IEC 8652/1995 (E) with technical corrigendum 1 and amendment 1 / SpringerLink (Online service), 2006 r=on-line.Complex motion : 1st International workshop, IWCM 2004, Gunzburg, Germany, Oct. 12-14, 2004: revised papers / ed. B. Jahne [et al.], 2006 r=on-line.Models in software engineering : workshops and symposia at MoDELS 2006, Genoa, Italy, Oct. 1-6, 2006: reports and revised selected papers / ed. T. Kuhne, 2007 r=on-line.Interactive systems. design, specification, and verification : 13th International workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006: revised papers / ed.: G. Doherty, A. Blandford, 2007 r=on-line.Multimodal technologies for perception of humans : first International evaluation workshop on classification of events, activities and relationships, CLEAR 2006, Southampton, UK, Apr. 6-7, 2006: revised selected papers / SpringerLink (Online service), 2007 r=on-line.Computational logic in multi-agent systems : 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006: revised selected and ivited papers / ed. K. Inoue [et al.], 2007 r=on-line.New frontiers in artificial intelligence : JSAI 2006 conference and workshops, Tokyo, Japan, June 5-9 2006:revised selected papers / ed. T. Washio [et al.], 2007 r=on-line.
Показать все результатыПротокол сорок четвертого заседания Комитета Полномочных Представителей стран- членов Международного центра научной и технической информации (22-23 сентября 1993 г.) / Международный центр науч. и технической информации, 1993. - 91 c. - Текст : непосредственный.Научная конференция : Тез.докл.,15-18 февр.1994 г. / Белорусский гос. ун-т информатики и радиоэлектроники (Минск). Ч. 2, 1994. - 145 с. - Текст : непосредственный.Научная конференция : Тез.докл.,15-18 февр.1994 г. / Белорусский гос. ун-т информатики и радиоэлектроники (Минск). Ч. 1, 1994. - 291 с. - Текст : непосредственный.Proceedings of the 2nd international conference on systems integration,June 15-18,1992,Morristown,NJ / ICSI'92, 1992. - XX,746 p. p. - Текст : непосредственный.Innovative developments and applications of microelectronics and information technology : Proc.of congress:2nd German-Chinese electronics week,Oct.7th-11th,1991,Shanghai / ed. E. Raubold, 1991. - 555 p. - Текст : непосредственный.Информационные технологии и системы : Материалы науч. конф. / Воронежский технологический ин-т. Ч. 2, 1994. - 71 с. - Текст : непосредственный.Информационные технологии и системы : Материалы науч. конф. / Воронежский технологический ин-т. Ч. 3, 1994. - 58 с. - Текст : непосредственный.Информационные технологии и системы : Материалы науч. конф. / Воронежский технологический ин-т. Ч. 4, 1994. - 78 с. - Текст : непосредственный.Информационные технологии и системы : Материалы науч. конф. / Воронежский технологический ин-т. Ч. 1, 1994. - 80 с. - Текст : непосредственный.Российская научно-техническая конференция "Информатика и проблемы телекоммуникации" : Тез.докл.,28-29 апр.1994 г / "Информатика и проблемы телекоммуникации", российская науч.-техн.конф. (1994) , 1994. - 144 c. - Текст : непосредственный.Esprit'91 : Proc.of the annu.Esprit conf.,held in Brussels,25-29 Nov.1991 / Ed.by Commission of the European communities, 1991. - XI,881 p. p. - Текст : непосредственный.4th international conference on computing and information,May 28-30,1992,Toronto : Proc. / ICCI'92, 1992. - XXVIII,484 p. p. - Текст : непосредственный.Empowering users in the 21st century : Abstracts, September 27-29, 1993 / Central european conference and exhibition for academic libraries and informatics, 1993. - 55 c. - Текст : непосредственный.Эволюционная информатика и моделирование : Сб. науч. тр.По материалам междунар. конф., дек. 1993г., г.Москва / Институт физ.-технических проблем (Москва), 1994. - 187 c. - Текст : непосредственный.Proceedings : Coll.in two parts / International seminar on information technologies and information services (1994;Shanghai). Pt. B, 1994. - 351 p. - Текст : непосредственный.Информатика и науковедение : Материалы 3 Междунар.(5 Тамбов.) науч.конф."Информатика и науковедение" Тамбов,28-29 нояб.1994 г. / Международный информ. нобелевский центр (Тамбов), 1994. - 60 c. - Текст : непосредственный.Physik and Informatik-Informatik und Physik : Arbeitsgespr@:ach,M@:unchen,21-22 Nov.,1991:Proc. / hrsg. D. Kronig, hrsg. M. Lang, 1992. - 326 S. - Текст : непосредственный.Aslib directory / Aslib. Vol. 1 : Science,technology and commerce / ed. E. M. Codlin, 1982. - 789 p. - Текст : непосредственный.XXX научно-техническая конференция аспирантов и студентов, посвященная 30-летию университета : Материалы докл., 5-7 апр. 1994 г / Белорусский гос. ун-т информатики и радиоэлектроники (Минск), Научно-техническая конф. аспирантов и студентов (30; 1994), 1995. - 165 c. - Текст : непосредственный.Региональные проблемы информатизации : Тр. Республикан. науч.-техн. конф. (20-21 апр. 1995г.) / Администрация Алтайского края (Барнаул), 1995. - 109 c. - Текст : непосредственный.
Показать все результаты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. - Текст : непосредственный.Теоретическая информатика- 2000: от теории к практике : Труды междунар.конф., 2000. - 215 с. - Текст : непосредственный.STACS 2007 : 24th Annual Symposium on theoretical aspects of computer science, Aachen, Germany, February 22-24, 2007: proceedings / ed.: W. Thomas, P. Weil, 2007 r=on-line.FSTTCS 2007: foundations of software technology and theoretical computer science : 27th International conference, New Delhi, India, December 12-14, 2007: proceedings / ed.: V. Arvind, S. Prasad, 2007 r=on-line.Rewriting techniques and applications : 19th International conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008: proceedings / ed. A. Voronkov, 2008 r=on-line.Theoretical aspects of computing - ICTAC 2008 : 5th International colloquium, Istanbul, Turkey, September 1-3, 2008: proceedings / ed. J. Fitzgerald [et al.], 2008 r=on-line.Fifth IFIP international conference on theoretical computer science - TCS 2008 / eds.: G. Ausiello [et al.], 2008 r=on-line.Theoretical aspects of computing - ICTAC 2004 : first International colloquium, Guiyang, China, September 20-24, 2004: revised selected papers / ed. : K. Araki, Z. Liu, 2005 r=on-line.Term rewriting and applications : 16th international conf. RTA 2005, Nara, Japan 19-21, 2005: proc. / ed. J. Giesl, 2005 r=on-line.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 aspects of computing - ICTAC 2005 : second international colloquium, Hanoi, Vietnam, October 17-21, 2005: proceedings / ed.:D. Hung van, M. Wirsing, 2005 r=on-line.FSTTCS 2005: foundations of software technology and theoretical computer science : 25th international conference, Hyderabad, India, December 15-18, 2005 : proceedings / ed. : R. Ramanujam, S. Sen, 2005 r=on-lineSTACS 2006 : 23rd Annual symposium on theoretical aspects of computer science, Marseille, France, February 23-25, 2006: proceedings / ed. : B. Durand, W. Thomas, 2006 r=on-line.LATIN 2006: theoretical informatics : 7th Latin american symposium, Valdivia, Chile, March 20-24, 2006: proceedings / ed. J. Correa [ et al.], 2006 r=on-line.Term rewriting and applications : 17th international conference, RTA 2006, Seattle, Wa, USA, August 12-14, 2006 : proceedings / ed. F. Pfenning, 2006 r=on-lineTheoretical aspects of computing - ICTAC 2006 : third international colloquium, Tunis, Tunisia, November 20-24, 2006 : proceedings / eds. K. Barkaoui [et al.], 2006 r=on-line.Term rewriting and applications : 18th international conference, RTA 2007, Paris, France, June 26-28, 2007 : proceedings / ed. F. Baader, 2007 r=on-line.Theoretical aspects of computing - ICTAC 2007 : 4th international colloquium, Macau, China, September 26-28, 2007 : proceedings / ed. C. B. Jones [et al.], 2007 r=on-lineAlgebraic informatics : second international conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007 : revised selected and invited papers / ed. S. Bozapalidis, G. Rahonis, 2007 r=on-lineLATIN 2008: theoretical informatics : 8th Latin american symposium, Buzios, Brazil, April 7-11, 2008 : proceedings / eds. E. S. Laber [et al.], 2008 r=on-line.
Показать все результатыПросмотр издания