Приложение
для AndroidПолное описание
Programming multi-agent systems : 7th international workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009 : revised selected papers / eds. L. Braubach [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 5919). - URL: http://dx.doi.org/10.1007/978-3-642-14843-9. - ISBN 978-3-642-14843-9.
Рубрики:
Computer science
Computer communication networks
Software engineering
Artificial intelligence
Computer simulation
Computer science
Artificial intelligence (incl. robotics)
Software engineering
Computer communication networks
Programming techniques
Simulation and modeling
Software engineering/programming and operating systems
Доп. точки доступа:
Braubach, L.\ed.\
SpringerLink (Online service)
http://dx.doi.org/10.1007/978-3-642-14843-9
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. - Текст : непосредственный.
Показать все результаты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-lineKnowledge-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-lineAdvances 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.
Показать все результатыProgress in cryptology – latincrypt 2010 : first international conference on cryptology and information security in Latin America, Puebla, Mexico, August 8-11, 2010 : proceedings / eds.: M. Abdalla, P. S. Barreto, 2010 r=on-line.Handbook of FPGA design security / T. Huffmire [et al.], 2010 r=on-line.Designing inclusive interactions : inclusive interactions between people and products in their contexts of use / eds P. M. Langdon [et al.], 2010 r=on-line.Strauss P. Proactive spoken dialogue interaction in multi-party environments / P. Strauss, W. Minker, 2010 r=on-line.Venkatesh T. An analytical approach to optical burst switched networks / T. Venkatesh, C. S. Murthy, 2010 r=on-line.Antolovic D. Radiolocation in ubiquitous wireless communication / D. Antolovic, 2010 r=on-line.Bandyopadhyay L.K. Wireless communication in underground mines : RFID-based sensor networking / L. K. Bandyopadhyay, S. K. Chaulya, P. K. Mishra, 2010 r=on-line.SystemC: from the ground up / D. C. Black [et al.], 2010 r=on-line.Seiffertt J. Unified computational intelligence for complex systems / J. Seiffertt, D. C. Wunsch, 2010 r=on-line.Ao S. Applied time series analysis and innovative computing / S. Ao, 2010 r=on-line.Electronic engineering and computing technology / ed. S. Ao, L. Gelman, 2010 r=on-line.Ahmed I. Pipelined adc design and enhancement techniques / I. Ahmed, 2010 r=on-line.Jones K. The regularized fast hartley transform : optimal formulation of real-data fast fourier transform for silicon-based implementation in resource-constrained environments / K. Jones, 2010 r=on-line.Robust computing with nano-scale devices : progresses and challenges / ed. C. Huang, 2010 r=on-line.Intelligent automation and computer engineering / ed. S. Ao [et al.], 2010 r=on-line.Tzafestas S.G. Human and nature minding automation : an overview of concepts, methods, tools and applications / S. G. Tzafestas, 2010 r=on-line.Hong D. Efficient test methodologies for high-speed serial links / D. Hong, K. Cheng, 2010 r=on-line.Secure integrated circuits and systems / ed. I. M. Verbauwhede, 2010 r=on-line.Intelligent interactive multimedia systems and services / ed. G. A. Tsihrintzis [et al.], 2010 r=on-line.Innovation through knowledge transfer / ed. R. J. Howlett, 2010 r=on-line.
Показать все результатыПросмотр издания