Hовые поступления с 7 августа по 4 сентября 2006 года
1. Algorithm Theory - SWAT 2006: Proc./10th International Workshop on Algorithm Theory. Riga, Latvia, July 2006/Ed. by L.Arge, R.Freivalds.-Berlin, Heidelberg: Springer, 2006.-Vol. 4059.-436 p.-(Lecture Notes in Computer Science). 2. DNA Computing: Revised Selected Papers/11th International Workshop on DNA Computing, DNA 11. London, ON, Canada, June 2005/Ed. by A.Carbone, N.A.Pierce.-Berlin, Heidelberg: Springer, 2006.-Vol. 3892.-440 p. -(Lecture Notes in Computer Science). 3. Formal Approaches to Software Testing: Revised Selected Papers/5th International Workshop, FATES 2005. Edinburgh, UK, July 2005 /Ed. by W.Grieskamp, C.Weise.-Berlin, Heidelberg: Springer, 2006.-Vol. 3997.-219 p. -(Lecture Notes in Computer Science). 4. Interactive Systems. Design, Specification, and Verification: Revised Papers/12th International Workshop, DSVIS 2005. Newcastle upon Tyne, UK, July 2005/Ed. by S.W.Gilroy, M.D.Harrison.-Berlin, Heidelberg: Springer, 2006.-Vol. 3941.-267 p. -(Lecture Notes in Computer Science). 5. Rapid Integration of Software Engineering Techniques: Revised Selected Papers/Second International Workshop, RISE 2005. Heraklion, Crete, Greece, September 2005 /Ed. by N.Guelfi, A.Savidis.-Berlin, Heidelberg: Springer, 2006.-Vol. 3943.-289 p. -(Lecture Notes in Computer Science). 6. Subspace, Latent Structure and Feature Selection: Revised Selected Papers/Statistical and Optimization Perspectives Workshop, SLSFS 2005. Bohinj, Slovenia, February 2005/Ed. by C.Saunders, M.Grobelnik, S.Gunn, J.Shawe-Taylor.-Berlin, Heidelberg: Springer, 2006.-Vol. 3940.-209 p. -(Lecture Notes in Computer Science). 7. Self-Managed Networks, Systems, and Services: Proc./Second IEEE International Workshop, SelfMan 2006. Dublin, Ireland, June 2006/Ed. by A.Keller, J.-Ph.Martin-Flatin. -Berlin, Heidelberg: Springer, 2006.-Vol. 3996. -185 p.-(Lecture Notes in Computer Science). 8. Performability Has its Price: Proc./5th International Workshop on Internet Charging and QoS Technologies, ICQT 2006. St.Malo, France, June 2006/Ed. by B.Stiller, P.Reichl, B.Tuffin.-Berlin, Heidelberg: Springer, 2006.-Vol. 4033.-103 p.-(Lecture Notes in Computer Science). 9. Formal Methods and Stochastic Models for Performance Evaluation: Proc./Third European Performance Engineering Workshop, EPEW 2005. Budapest, Hungary, June 2006/Ed. by A.Horvath, M.Telek.-Berlin, Heidelberg: Springer, 2006.-Vol. 4054.-239 p.-(Lecture Notes in Computer Science). 10. Privacy Enhancing Technologies: Revised Selected Papers/5th International Workshop, PET 2005. Cavtat, Croatia, May/June 2005/Ed. by G.Danezis, D.Martin.-Berlin, Heidelberg: Springer, 2006.-Vol. 3856.-273 p.-(Lecture Notes in Computer Science). 11. Data Engineering Issues in E-Commerce and Services: Proc./Second International Workshop, DEECS 2006. San Francisco, CA, USA, June 2006/Ed. by J.Lee, J.Shim, S.-G.Lee, S.Shim Ch.Bussler,.-Berlin, Heidelberg: Springer, 2006.-Vol. 4055.-290 p.-(Lecture Notes in Computer Science). 12. Experimental Algorithms: Proc./5th International Workshop, WEA 2006. Cala Galdana, Menorca, Spain, May 2006/Ed. by C.Alvarez, M.Serna.-Berlin, Heidelberg: Springer, 2006.-Vol. 4007.-329 p.-(Lecture Notes in Computer Science). 13. Structural Information and Communication Complexity: Proc./13th International Colloquium, SIROCCO 2006. Chester, UK, July 2006/Ed. by P.Flocchini, L.Gasieniec. -Berlin, Heidelberg: Springer, 2006.-Vol. 4056. -357 p.-(Lecture Notes in Computer Science). 14. Detection of Intrusions and Malware & Vulnerability Assessment: Proc./Third International Conference, DIMVA 2006. Berlin, Germany, July 2006/Ed. by R.Bueschkes, P.Laskov.-Berlin, Heidelberg: Springer, 2006. -Vol. 4064.-195 p.-(Lecture Notes in Computer Science). 15. Biomedical Simulation: Proc./Third International Symposium, ISBMS 2006. Zurich, Switzerland, July 2006/Ed. by M.Harders, G.Szekely.-Berlin, Heidelberg: Springer, 2006. -Vol. 4072.-215 p.-(Lecture Notes in Computer Science). 16. Journal on Data Semantics VI/Ed. by S.Spaccapietra.-Berlin, Heidelberg: Springer, 2006.-Vol. 4090.-211 p.-(Lecture Notes in Computer Science). 17. Secure Mobile Ad-hoc Networks and Sensors: Revised Selected Papers/First International Workshop, MADNES 2005. Singapore, September 2005/Ed. by M.Burmester, A.Yasinac.-Berlin, Heidelberg: Springer, 2006.-Vol. 4074.-193 p.-(Lecture Notes in Computer Science). 18. Architecturing Systems with Trustworthy Components: Revised Selected Papers/International Seminar. Dagstuhl Castle, Germany, December 2004/Ed. by R.H.Reussner, J.A.Stafford, C.A.Szyperski. -Berlin, Heidelberg: Springer, 2006.-Vol. 3938. -299 p.-(Lecture Notes in Computer Science). 19. Computer Science - Theory and Applications: Proc./First International Computer Science Symposium in Russia, CSR 2006. St.Petersburg, Russia, June 2006/Ed. by D.Grigoriev, J.Harrison, E.A.Hirsch.-Berlin, Heidelberg: Springer, 2006.-Vol. 3967.-684 p. -(Lecture Notes in Computer Science). 20. Component-Based Software Engineering: Proc./9th International Symposium, CBSE 2006. Vasteras, Sweden, June/July 2006/Ed. by I.Gorton, G.T.Heineman, I.Crnikovic, H.W.Schmidt.-Berlin, Heidelberg: Springer, 2006.-Vol. 4063.-394 p.-(Lecture Notes in Computer Science). 21. Next Generation Information Technologies and Systems: Proc./6th International Conference, NGITS 2006. Kibbutz Shefayim, Israel, July 2006/Ed. by O.Etzion, T.Kuflik, A.Motro.-Berlin, Heidelberg: Springer, 2006. -Vol. 4032.-366 p.-(Lecture Notes in Computer Science). 22. Digital Mammography: Proc./8th International Workshop, IWDM 2006. Manchester, UK, June 2006/Ed. by S.M.Astley, M.Brady, Ch.Rose, R.Zwiggelaar.-Berlin, Heidelberg: Springer, 2006.-Vol. 4046.-654 p. -(Lecture Notes in Computer Science). 23. Theory and Applications of Satisfiability Testing - SAT 2006: Proc./9th International Conference. Seattle, WA, USA, August 2006/Ed. by A.Biere, C.P.Gomes. -Berlin, Heidelberg: Springer, 2006.-Vol. 4121. -438 p.-(Lecture Notes in Computer Science). 24. Graphic Recognition: Ten Years Review and Future Perspectives: Revised Selected Papers/6th International Workshop, GREC 2005. Hong Kong, China, August 2005/Ed. by W.Liu, J.Llados.-Berlin, Heidelberg: Springer, 2006. -Vol. 3926.-427 p.-(Lecture Notes in Computer Science). 25. Fast Software Encryption: Revised Selected Papers/13th International Workshop, FSE 2006. Graz, Austria, March 2006/Ed. by M.Robshaw.-Berlin, Heidelberg: Springer, 2006. -Vol. 4047.-433 p.-(Lecture Notes in Computer Science). 26. Reconfigurable Computing: Architectures and Applications: Revised Selected Papers/Second International Workshop, ARC 2006. Delft, The Netherlands, March 2006/Ed. by K.Bertels, J.M.P.Cardoso, S.Vassiliadis. -Berlin, Heidelberg: Springer, 2006.-Vol. 3985. -469 p.-(Lecture Notes in Computer Science). 27. Term Rewriting and Applications: Proc./17th International Conference, RTA 2006. Seattle, WA, USA, August 2006/Ed. by F.Pfenning.-Berlin, Heidelberg: Springer, 2006. -Vol. 4098 p.-415 p.-(Lecture Notes in Computer Science). 28. Emerging Trends in Information and Communication Security: Proc./International Conference, ETRICS 2006. Freiburg, Germany, June 2006/Ed. by G.Mueller.-Berlin, Heidelberg: Springer, 2006.-Vol. 3995.-524 p. -(Lecture Notes in Computer Science). 29. The Semantic Web: Research and Application: Proc./3rd European Semantic Web Conference, ESWC 2006. Budva, Montenegro, June 2006/Ed. by Y.Sure, J.Domingue.-Berlin, Heidelberg: Springer, 2006.-Vol. 4011.-726 p. -(Lecture Notes in Computer Science). 30. Image and Video Retrieval: Proc./5th International Conference, CIVR 2006. Tempe, AZ, USA, July 2006/Ed. by H.Sundaram, M.Naphade, J.R.Smith, Y.Rui.-Berlin, Heidelberg: Springer, 2006.-Vol. 4071.-547 p. -(Lecture Notes in Computer Science). 31. Computing and Combinatorics: Proc./12th Annual Internatonal Conference, COCOON 2006. Taipei, Taiwan, August 2006/Ed. by D.Z.Chen, D.T.Lee.-Berlin, Heidelberg: Springer, 2006. -Vol. 4112.-528 p.-(Lecture Notes in Computer Science). 32. Next Generation Teletraffic and Wired/Wireless Advanced Networking: Proc./6th International Conference, NEW2AN 2006. St.Petersburg, Russia, May/June 2006/Ed. by Y.Koucheryavy, J.Harju, V.B.Iversen.-Berlin, Heidelberg: Springer, 2006.-Vol. 4003.-582 p. -(Lecture Notes in Computer Science). 33. Advanced Information Systems Engineering: Proc./18th International Conference, CAiSE 2006. Luxembourg, Luxembourg, June 2006/Ed. by E.Dubois, K.Pohl. -Berlin, Heidelberg: Springer, 2006.-Vol. 4001. -560 p.-(Lecture Notes in Computer Science). 34. Automata, Languages, and Programming: Part II: Proc./33rd International Colloquium, ICALP 2006. Venice, Italy, July 2006/Ed. by M.Bulgiesi, B.Preneel, V.Sassone, I.Wegener. -Berlin, Heidelberg: Springer, 2006.-Vol. 4052. -603 p.-(Lecture Notes in Computer Science). 35. Automata, Languages, and Programming: Part I: Proc./33rd International Colloquium, ICALP 2006. Venice, Italy, July 2006/Ed. by M.Bugliesi, B.Preneel, V.Sassone, I.Wegener. -Berlin, Heidelberg: Springer, 2006.-Vol. 4051. -729 p.-(Lecture Notes in Computer Science). 36. Articulated Motion and Deformable Objects: Proc./4th International Conference, AMDO 2006. Port d'Andratx, Mallorca, Spain, July 2006/Ed. by F.J.Perales, R.B.Fischer. -Berlin, Heidelberg: Springer, 2006.-Vol. 4069. -526 p.-(Lecture Notes in Computer Science). 37. Advances in Cryptology - EUROCRYPT 2006: Proc./24th Annual International Conference on the Theory and Applications of Cryptographic Techniques. St.Petersburg, Russia, May/June 2006/Ed. by S.Vaudenay.-Berlin, Heidelberg: Springer, 2006.-Vol. 4004.-613 p.-(Lecture Notes in Computer Science). 38. Computers Helping People with Special Needs: Proc./10th International Conference, ICCHP 2006. Linz, Austria, July 2006/Ed. by K.Miesenberger, J.Klaus, W.Zagler, A.Karshmer. -Berlin, Heidelberg: Springer, 2006.-Vol. 4061. -1356 p.-(Lecture Notes in Computer Science). 39. Applied Cryptography and Network Security: Proc./4th International Conference, ACNS 2006. Singapore, June 2006/Ed. by J.Zhou, M.Yung, F.Bao.-Berlin, Heidelberg: Springer, 2006.-Vol. 3989.-488 p.-(Lecture Notes in Computer Science). 40. Parallel Processing and Applied Mathematics: Revised Selected Papers/6th International Conference, PPAM 2005. Poznan, Poland, September 2005/Ed. by R.Wyrzykowsky, J.Dongarra, N.Meyer, J.Wasniewski.-Berlin, Heidelberg: Springer, 2006.-Vol. 3911.-1126 p. -(Lecture Notes in Computer Science). 41. Advances in Neural Networks - ISNN 2006: Part I: Proc./Third International Symposium on Neural Networks. Chengdu, China, May/June 2006/Ed. by J.Wang, Zh.Yi, J.M.Zurada, B.-L.Lu.-Berlin, Heidelberg: Springer, 2006. -Vol. 3971.-1442 p.-(Lecture Notes in Computer Science). 42. Formal Methods for Hardware Verification: Advanced Lectures/6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006. Bertinoro, Italy, May 2006/Ed. by M.Bernardo, A.Cimatti. -Berlin, Heidelberg: Springer, 2006.-Vol. 3965. -243 p.-(Lecture Notes in Computer Science). 43. Developments in Language Theory: Proc./10th International Conference, DLT 2006. Santa Barbara, CA, USA, June 2006/Ed. by O.H.Ibarra, Zh.Dang.-Berlin, Heidelberg: Springer, 2006.-Vol. 4036.-456 p.-(Lecture Notes in Computer Science). 44. Information Security and Privacy: Proc./11th Australian Conference, ACISP 2006. Melbourne, Australia, July 2006/Ed. by L.M.Batten, R.Safavi-Naini.-Berlin, Heidelberg: Springer, 2006.-Vol. 4058.-446 p.-(Lecture Notes in Computer Science). 45. Emerging Directions in Embedded and Ubiquitous Programming: Proc./EUC 2006 Workshops: NCUS, SecUbiq, USN, TRUST, ESO, and MSA. Seoul, Korea, August 2006/Ed. by X.Zhou.-Berlin, Heidelberg: Springer, 2006. -Vol. 4097.-1034 p.-(Lecture Notes in Computer Science). 46. Intelligent Computing: Part I: Proc./International Conference on Intelligent Computing, ICIC 2006. Kunming, China, August 2006/Ed. by D.-Sh.Huang, K.Li, G.W.Irwin. -Berlin, Heidelberg: Springer, 2006.-Vol. 4113. -1331 p.-(Lecture Notes in Computer Science). 47. Algorithmic Number Theory: Proc./7th International Symposium, ANTS-VII. Berlin, Germany, July 2006/Ed. by F.Hess, S.Pauli, M.Pohst.-Berlin, Heidelberg: Springer, 2006. -Vol. 4076.-599 p.-(Lecture Notes in Computer Science). 48. Biomedical Image Registration: Proc./Third International Workshop, WBIR 2006. Utrecht, The Netherlands, July 2006/Ed. by J.P.W.Pluim, B.Likar, F.A.Gerritsen. -Berlin, Heidelberg: Springer, 2006.-Vol. 4057. -324 p.-(Lecture Notes in Computer Science). 49. Agent-Oriented Software Engineering VI: Revised and Invited Papers/6th International Workshop, AOSE 2005. Utrecht, The Netherlands, July 2005/Ed. by J.P.Mueller, F.Zambonelli.-Berlin, Heidelberg: Springer, 2006.-Vol. 3950.-249 p.-(Lecture Notes in Computer Science). 50. Smart Graphics: Proc./6th International Symposium, SG 2006. Vancouver, Canada, July 2006/Ed. by A.Butz, B.Fisher, A.Krueger, P.Olivier.-Berlin, Heidelberg: Springer, 2006. -Vol. 4073.-263 p.-(Lecture Notes in Computer Science). 51. Digital Rights Management: Technologies, Issues, Challenges and Systems: Revised Selected Papers/First International Conference, DRMTICS 2005. Sydney, Australia, October/November 2005/Ed. by R.Safavi-Naini, M.Yung.-Berlin, Heidelberg: Springer, 2006. -Vol. 3919.-357 p.-(Lecture Notes in Computer Science). 52. Data and Applications Security XX: Proc./20th Annual IFIP WG 11.3 Working Conference on Data And Applications Security. Sophia Antipolis, France, July/August 2006/ Ed. by E.Damiani, P.Liu.-Berlin, Heidelberg: Springer, 2006.-Vol. 4127.-319 p.-(Lecture Notes in Computer Science). 53. Model Driven Architecture - Foundations and Applications: Proc./Second European Conference, ECMDA-FA 2006. Bilbao, Spain, July 2006/Ed. by A.Rensink, J.Warmer. -Berlin, Heidelberg: Springer, 2006.-Vol. 4066. -392 p.-(Lecture Notes in Computer Science). 54. Coding and Cryptography: Revised Selected Papers/International Workshop, WCC 2005. Bergen, Norway, March 2005/Ed. by O.Ytrehus.-Berlin, Heidelberg: Springer, 2006. -Vol. 3969.-443 p.-(Lecture Notes in Computer Science). 55. Geometric Modeling and Processing: Proc./4th International Conference. Pittsburgh, PA, USA, July 2006/Ed. by M.-S.Kim, K.Shimada.-Berlin, Heidelberg: Springer, 2006.-Vol. 4077.-696 p.-(Lecture Notes in Computer Science). 56. Embedded and Ubiquitous Computing: Proc./International Conference, EUC 2006. Seoul, Korea, August 2006/Ed. by E.Sha, S.-K.Han, Ch.-Zh.Xu, M.H.Kim.-Berlin, Heidelberg: Springer, 2006.-Vol. 4096.-1170 p. -(Lecture Notes in Computer Science). 57. Petri Nets and Other Models of Concurrency - ICATPN 2006: Proc./27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency. Turku, Finland, June 2006/Ed. by S.Donatelli, P.S.Thiagarajan.-Berlin, Heidelberg: Springer, 2006.-Vol. 4024.-441 p. -(Lecture Notes in Computer Science). 58. Designing Smart Homes: The Role of Artificial Intelligence/Ed. by J.C.Augusto, Ch.D.Nugent.-Berlin, Heidelberg: Springer, 2006.-Vol. 4008.-183 p.-(Lecture Notes in Artificial Intelligence). 59. Recent Advances in Constraints: Revised Selected and Invited Papers/Joint ERCIM/CoLogNET International Workwshop, CSCLP 2005. Uppsala, Sweden, June 2005/Ed. by B.Hnich, M.Carlsson, F.Fages, F.Rossi. -Berlin, Heidelberg: Springer, 2006.-Vol. 3978. -179 p.-(Lecture Notes in Artificial Intelligence). 60. Diagrammatic Representation and Inference: Proc./4th International Conference, Diagrams 2006. Stanford, CA, USA, June 2006/Ed. by D.Barker-Plummer, R.Cox, N.Swoboda.-Berlin, Heidelberg: Springer, 2006. -Vol. 4045.-301 p.-(Lecture Notes in Artificial Intelligence). 61. Perception and Interactive Technologies: Proc./International Tutorial and Research Workshop, PIT 2006. Kloster Irsee, Germany, June 2006/Ed. by E.Andre, L.Dybkjaer, W.Minker, H.Neumann.-Berlin, Heidelberg: Springer, 2006.-Vol. 4021.-217 p.-(Lecture Notes in Artificial Intelligence). 62. Artificial Intelligence and Neural Networks: Revised Selected Papers/14th Turkish Symposium, TAINN 2005. Izmir, Turkey, June 2005/Ed. by Savaci F.Acar.-Berlin, Heidelberg: Springer, 2006.-Vol. 3949.-227 p. -(Lecture Notes in Artificial Intelligence). 63. Deontic Logic and Artificial Normative Systems: Proc./8th International Workshop on Deontic Logic in Computer Science, DEON 2006. Utrecht, The Netherlands, July 2006/Ed. by L.Goble, J.-J.Ch.Meyer.-Berlin, Heidelberg: Springer, 2006.-Vol. 4048.-273 p.-(Lecture Notes in Artificial Intelligence). 64. Engineering Societies in the Agents World VI: Revised Selected and Invited Papers/6th International Workshop, ESAW 2005. Kusadasi, Turkey, October 2005/Ed. by O.Dikenelli, M.-P.Gleizes, A.Ricci.-Berlin, Heidelberg: Springer, 2006.-Vol. 3963.-303 p. -(Lecture Notes in Artificial Intelligence). 65. Mathematical Knowledge Management: Proc./5th International Conference, MKM 2006. Workingham, UK, August 2006/Ed. by J.M.Borwein, W.M.Farmer.-Berlin, Heidelberg: Springer, 2006.-Vol. 4108.-295 p.-(Lecture Notes in Artificial Intelligence). 66. Conceptual Structures: Inspiration and Application: Proc./14th International Conference on Conceptual Structures, ICCS 2006. Aalborg, Denmark, July 2006/Ed. by H.Schaerfe, P.Hitzler, P.Ohrstrom.-Berlin, Heidelberg: Springer, 2006.-Vol. 4068.-455 p. -(Lecture Notes in Artificial Intelligence). 67. Knowledge Science, Engineering, and Management: Proc./First International Conference, KSEM 2006. Guilin, China, August 2006.-Berlin, Heidelberg: Springer, 2006. -Vol. 4092.-664 p.-(Lecture Notes in Artificial Intelligence). 68. Flexible Query Answering Systems: Proc./7th International Conference, FQAS 2006. Milan, Italy, June 2006/Ed. by H.L.Larsen, G.Pasi, D.Oritz-Arroyo, T.Andreasen.-Berlin, Heidelberg: Springer, 2006.-Vol. 4027.-714 p.-(Lecture Notes in Artificial Intelligence). 69. Agent Computing and Multi-Agent Systems: Proc./9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006. Guilin, China, August 2006/Ed. by Zh.-Zh.Shi, R.Sadananda. -Berlin, Heidelberg: Springer, 2006.-Vol. 4088. -827 p.-(Lecture Notes in Artificial Intelligence). 70. Advances in Data Mining: Applications in Medicine, Web Mining, Marketing, Image and Signal Mining: Proc./6th Industrial Conference on Data Mining, ICDM 2006. Leipzig, Germany, July 2006/Ed. by P.Perner. -Berlin, Heidelberg: Springer, 2006.-Vol. 4065. -592 p.-(Lecture Notes in Artificial Intelligence). 71. Advanced Data Mining and Applications: Proc./Second International Conference, ADMA 2006. Xi'an, China, August 2006/Ed. by X.Li, O.R.Zaiane, Zh.Li.-Berlin, Heidelberg: Springer, 2006.-Vol. 4093.-1110 p.-(Lecture Notes in Artificial Intelligence). 72. PRICAI 2006: Trends in Artificial Intelligence: Proc./9th Pacific Rim International Conference on Artificial Intelligence. Guilin, China, August 2006/Ed. by Q.Yang, G.Webb.-Berlin, Heidelberg: Springer, 2006.-Vol. 4099.-1263 p.-(Lecture Notes in Artificial Intelligence). 73. Computational Intelligence: Part II: Proc./International Conference on Intelligent Computing, ICIC 2006. Kunming, China, August 2006/Ed. by D.-Sh.Huang, K.Li, G.W.Irwin.-Berlin, Heidelberg: Springer, 2006. -Vol. 4114.-1337 p.-(Lecture Notes in Artificial Intelligence). 74. RoboCup 2005: Robot Soccer World Cup IX/ Ed. by A.Bredenfeld, A.Jacoff, I.Noda, Y.Takahashi.-Berlin, Heidelberg: Springer, 2006.-Vol. 4020.-727 p.-(Lecture Notes in Artificial Intelligence). 75. Transactions on Computational Systems Biology V/Ed. by C.Priami.-Berlin, Heidelberg: Springer, 2006.-Vol. 4070.-129 p.-(Lecture Notes in Bioinformatics). 76. Concurrency, Specification, and Programming - CS&P'2004: Multiagent Systems and Applications: Proc./Workshop. Caputh, September 24-26, 2004/Humboldt Univ. Berlin; Ed. by H.-D.Burkhard, L.Czaja, A.Skowron, H.Schlinghof.-Berlin, 2004.-Vol. 3.-158 p. 77. Concurrency, Specification, and Programming - CS&P'2004: Specification and Verification: Proc./Workshop. Caputh, September 24-26, 2004/Humboldt Univ. Berlin; Ed. by H.-D.Burkhard, L.Czaja, A.Skowron, H.Schlingloff.-Berlin, 2004.-Vol. 2.-238 p. 78. Concurrency, Specification, and Programming - CS&P'2004: Petri Nets and Automata: Proc./Workshop. Caputh, September 24-26, 2004/Humboldt Univ. Berlin; Ed. by H.-D.Burkhard, L.Czaja, A.Skowron, H.Schlingloff.-Berlin, 2004.-Vol. 1.-189 p. 79. Parallel and Distributed Systems: Proc./ICPADS 2000 Workshops of the Seventh International Conference, Iwata, Japan, 4-7 July 2000/Ed. by D.C.Young.-Washington, Brussel: IEEE Computer Society, 2000.-563 p. 80. Модификация модели ветрового восполнения для компьютерной системы "Нострадамус"/С.В. Антипов, В.М. Головизнин, В.Н. Семенов и др. . -Москва, 2006.-20 с.-(Препринт/ИБРАЭ РАН; N IBRAE-2006-04). 81. Пакулин Н.В. Формализация стандартов и тестовых наборов протоколов Интернета: Автореф. дис... канд. ф.-м. наук: 05.13.11. -Москва, 2006.-22 с.-Библиогр.: c.21-22. 82. Караваев М.В. Применение нечеткой логики в системах автоносного адаптивного управления: Автореф. дис. канд. ф.-м. наук: 05.13.11.-Москва, 2006.-24 с.-Библиогр.: c.23-24.