22.11.2010

Hовые поступления с 8 ноября по 22 ноября 2010 года


  1. Web Services and Formal Methods: Revised Selected Papers/6th 
International Workshop, WS-FM 2009, Bologna, Italy, September 2009
/Ed. by  C.Laneve, J.Su.-Berlin: Springer, 2010.-Vol. 6194.-197 p.
-(Lecture Notes in Computer Science).
 
  2. Parallel Problem Solving from Nature - PPSN XI, Part I: 
Proc./11th International Conference, Krakow, Poland, September 
2010/Ed. by  R.Schaefer, C.Cotta, J.Kolodziej, G.Rudolph.-Berlin: 
Springer, 2010.-Vol. 6238.-742 p.-(Lecture Notes in Computer 
Science).
 
  3. Parallel Problem Solving from Nature - PPSN XI, Part II: 
Proc./11th International Conference, Krakow, Poland, September 
2010/Ed. by  R.Schaefer, C.Cotta, J.Kolodziej, G.Redolph.-Berlin: 
Springer, 2010.-Vol. 6239.-556 p.-(Lecture Notes in Computer 
Science).
 
  4. Artificial Neural Networks - ICANN 2010, Part I: Proc./20th 
International Conference, Thessaloniki, Greece, September 2010/
Ed. by  K.Diamantaras, W.Duch, L.S.Iliadis.-Berlin: Springer, 2010.
-Vol. 6352.-587 p.-(Lecture Notes in Computer Science).
 
  5. Artificial Neural Networks - ICANN 2010, Part II: Proc./20th 
International Conference, Thessaloniki, Greece, September 2010/
Ed. by  K.Diamantaras, W.Duch, L.S.Iliadis.-Berlin: Springer, 2010.
-Vol. 6353.-543 p.-(Lecture Notes in Computer Science).
 
  6. Artificial Neural Networks - ICANN 2010, Part III: 
Proc./20th International Conference, Thessaloniki, Greece, 
September 2010/Ed. by  K.Diamantaras, W.Duch, L.S.Iliadis.-Berlin:
 Springer, 2010.-Vol. 6354.-575 p.-(Lecture Notes in Computer 
Science).
 
  7. Network and Parallel Computing: Proc./IFIP International 
Conference, NPC 2010, Zhengzhou, China, Septeber 2010/Ed. by  
Ch.Ding, Zh.Shao, R.Zheng.-Berlin: Springer, 2010.-Vol. 6289.-492 
p.-(Lecture Notes in Computer Science).
 
  8. Mathematical Software - ICMS 2010: Proc./Third International 
Congress on MS, Kobe, Japan, September 2010/Ed. by  K.Fukuda, 
J.Van_Der_Hoeven, M.Joswig, N.Takayama.-Berlin: Springer, 2010.
-Vol. 6327.-368 p.-(Lecture Notes in Computer Science).
 
  9. Life System Modeling and Intelligent Computing, Part I: 
Proc./International Conference, LSMS 2010 and International 
Conference, ICSEE 2010, Wuxi, China, September 2010/Ed. by  K.Li, 
M.Fei, L.Jia, G.W.Irwin.-Berlin: Springer, 2010.-Vol. 6328.-518 p.
-(Lecture Notes in Computer Science).
 
 10. Life System Modeling and Intelligent Computing, Part II: 
Proc./International Conference, LSMS 2010, and International 
Conference, ICSEE 2010, Wuxi, China, September 2010/Ed. by  K.Li, 
M.Fei, L.Jia, G.W.Irwin.-Berlin: Springer, 2010.-Vol. 6329.-518 p.
-(Lecture Notes in Computer Science).
 
 11. Principles and Practice of Constraint Programming - CP 2010: 
Proc./16th International Conference, CP 2010, St.Andrews, 
Scotland, September 2010/Ed. by  D.Cohen.-Berlin: Springer, 2010.
-Vol. 6308.-650 p.-(Lecture Notes in Computer Science).
 
 12. Testing - Practice and Research Techniques: Proc./5th 
International Academic and Industrial Conference, TAIC PART 2010, 
Windsor, UK, September 2010/Ed. by  L.Bottici, G.Fraser.-Berlin: 
Springer, 2010.-Vol. 6303.-219 p.-(Lecture Notes in Computer 
Science).
 
 13. Agents and Data Mining Interaction: Revised Selected 
Papers/6th International Workshop, ADMI 2010, Toronto,ON,Canada, 
May 2010/Ed. by  L.Cao, A.L.C.Bazzan, V.Gorodetsky, P.A.Mitkas.
-Berlin: Springer, 2010.-Vol. 5980.-192 p.-(Lecture Notes in 
Artificial Intelligence).
 
 14. Text, Speech and Dialogue: Proc./13th International 
Conference, TSD 2010, Brno, Czech Republic, September 2010/Ed. by 
P.Sojka, A.Horak, I.Kopecek, K.Pala.-Berlin: Springer, 2010.-Vol. 
6231.-593 p.-(Lecture Notes in Artificial Intelligence).
 
 15. Incentives, Overlays, and Economic Traffic Control: 
Proc./Third International Workshop, ETM 2010, Amsterdam, The 
Netherlands, September 2010/Ed. by  B.Stiller, T.Hossfeld, 
G.D.Stamoulis.-Berlin: Springer, 2010.-Vol. 6236.-109 p.-(Lecture 
Notes in Computer Science).
 
 16. Businnes Process Management: Proc./8th International 
Conference, BPM 2010, Hoboken,NJ,USA, September 2010/Ed. by  
R.Hull, J.Mendling, S.Tai.-Berlin: Springer, 2010.-Vol. 6336.-359 
p.-(Lecture Notes in Computer Science).
 
 17. Reasoning Web. Semantic Tethnologies for Software 
Engineering: Tutorial Lectures/6th International Summer School 
2010, Dresden, Germany, August/September 2010/Ed. by  U.Assmann, 
A.Bartho, Ch.Wende.-Berlin: Springer, 2010.-Vol. 6325.-183 p.
-(Lecture Notes in Computer Science).
 
 18. Database and XML Technologies: Proc./7th International XML 
Database Symposium, XSym 2010, Singapore, September 2010/Ed. by  
M.L.Lee, J.X.Yu, Z.Bellahsene, R.Unland.-Berlin: Springer, 2010.
-Vol. 6309.-156 p.-(Lecture Notes in Computer Science).
 
 19. Database Systems for Advanced Applications: Revised Selected 
Papers/15th International Conference, DASFAA 2010, International 
Workshops: GDM, BenchmarX, MCIS, SNSMW, DIEW, UDM, Tsukuba, 
Japan, April 2010/Ed. by  M.Yoshikawa, X.Meng, T.Yumoto, Q.Ma.
-Berlin: Springer, 2010.-Vol. 6193.-472 p.-(Lecture Notes in 
Computer Science).
 
 20. Logic and the Foundations of Game and Decision Theory - LOFT 
8: Revised Selected Papers/8th International Conference, 
Amsterdam, The Netherlands, July 2008/Ed. by  G.Bonanno, B.Lowe, 
W.Van_Der_Hoek.-Berlin: Springer, 2010.-Vol. 6006.-207 p.
-(Lecture Notes in Artificial Intelligence).
 
 21. Grammatical Inference: Theoretical Results and Applications: 
Proc./10th International Colloquium, ICGI 2010, Valencia, Spain, 
September 2010/Ed. by  J.M.Sempere, P.Garcia.-Berlin: Springer, 
2010.-Vol. 6339.-317 p.-(Lecture Notes in Artificial 
Intelligence).
 
 22. Programming Multi-Agent Systems: Revised Selected Papers/7th 
International Workshop, ProMAS 2009, Budapest, Hungary, May 2009/
Ed. by  L.Braubach, J.-P.Briot, J.Thangarajan.-Berlin: Springer, 
2010.-Vol. 5919.-285 p.-(Lecture Notes in Artificial 
Intelligence).
 
 23. Intelligent Virtual Agents:Proc./10th International 
Conference, IVA 2010, Philadelphia,PA,USA, September 2010/Ed. by  
J.Allbeck, N.Badler, T.Bickmore, C.Pelachaud.-Berlin: Springer, 
2010.-Vol. 6356.-490 p.-(Lecture Notes in Artificial 
Intelligence).
 
 24. Machine Learning and Knowledge Discovery in Databases, Part 
I: Proc./European Conference, ECML PKDD 2010, Barcelona, Spain, 
September 2010/Ed. by  J.L.Balcazar, F.Bonchi, A.Gionis, M.Sebag.
-Berlin: Springer, 2010.-Vol. 6321.-620 p.-(Lecture Notes in 
Artificial Intelligence).
 
 25. Machine Learning and Knowledge Discovery in Databases, Part 
II: Proc./European Conference, ECML PKDD 2010, Barcelona, Spain, 
September 2010/Ed. by  J.L.Balcazar, F.Bonchi, A.Gionis, M.Sebag.
-Berlin: Springer, 2010.-Vol. 6322.-518 p.-(Lecture Notes in 
Artificial Intelligence).
 
 26. Machine Learning and Knowledge Discovery in Databases, Part 
III: Proc./European Conference, ECML PKDD 2010, Barcelona, Spain, 
September 2010/Ed. by  J.L.Balcazar, F.Bonchi, A.Gionis, M.Sebag.
-Berlin: Springer, 2010.-Vol. 6323.-632 p.-(Lecture Notes in 
Artificial Intelligence).
 
 27. The Mathematics of Language: Revised Selected Papers/10th 
and 11th Biennial Conference MOL 10, Los Angeles,CA,USA, July 
2007 and MOL 11, Bielefeld, Germany, August 2009/Ed. by  
Ch.Ebert, G.Jager, J.Michaelis.-Berlin: Springer, 2010.-Vol. 6149.
-297 p.-(Lecture Notes in Artificial Intelligence).
 
 28. Diagrammatic Representation and Inference: Proc./6th 
International Conference, Digrams 2010, Portland,OR,USA, August 
2010/Ed. by  A.K.Goel, M.Jamnik, N.H.Narayanan.-Berlin: Springer, 
2010.-Vol. 6170.-356 p.-(Lecture Notes in Artificial 
Intelligence).
 
 29. Trends in Applied Intelligent Systems, Part I: Proc./23rd 
International Confference on Industrial Engineering and Other 
Applications of AIS, IEA/AIE 2010, Cordoba, Spain, June 2010/Ed. 
by  N.Garcia-Pedrajas, F.Herrera, C.Fyfe, J.M.Benitez.-Berlin: 
Springer, 2010.-Vol. 6096.-770 p.-(Lecture Notes in Artificial 
Intelligence).
 
 30. Trends in Applied Intelligent Systems, Part II: Proc./23rd 
International Conference on Industrial Engineering and Other 
Applications of AIS, IEA/AIS 2010, Cordova, Spain, June 2010/Ed. 
by  N.Garcia-Pedrajas, F.Herrera, C.Fyfe, J.M.Benitez.-Berlin: 
Springer, 2010.-Vol. 6097.-679 p.-(Lecture Notes in Artificial 
Intelligence).
 
 31. Trends in Applied Intelligent Systems, Part III: Proc./23rd 
International Conferenceon Industrial Engineering and Other 
Applications of AIS, IEA/AIS 2010, Cordoba, Spain, June 2010/Ed. 
by  N.Garsia-Pedrajas, F.Herrera, C.Fyfe, J.M.Benitez.-Berlin: 
Springer, 2010.-Vol. 6098.-673 p.-(Lecture Notes in Artificial 
Intelligence).
 
 32. Transactions on Edutainment IV/Ed. by  Zh.Pan, A.D.Cheok, 
W.Muller.-Berlin: Springer, 2010.-Vol. 6250.-277 p.-(Lecture 
Notes in Computer Science).
 
 33. Entertainment Computing - ICEC 2010: Proc./9th International 
Conference, ICEC 2010, Seoul, Korea, September 2010/Ed. by  
H.S.Yang, R.Malaka, J.Hoshino, J.H.Han.-Berlin: Springer, 2010.
-Vol. 6243.-521 p.-(Lecture Notes in Computer Science).
 
 34. Machine Learning in Medical Imaging: Proc./First 
International Workshop, MLMI 2010 Held in Conjunction with MICCAI 
2010, Beijing, China, September 2010/Ed. by  F.Wang, P.Yan, 
K.Suzuki, D.Shen.-Berlin: Springer, 2010.-Vol. 6357.-192 p.
-(Lecture Notes in Computer Science).
 
 35. Statistical Atlases and Computational Models of the Heart: 
Proc./First IW, STACOM 2010 and Cardiac Electrophysiological 
Simulation Challenge, CESC 2010 Held in Conjunction with MICCAI 
2010, Beijing, China, September 2010/Ed. by  O.Camara, M.Pop, 
K.Rhode, M.Sermesant.-Berlin: Springer, 2010.-Vol. 6364.-292 p.
-(Lecture Notes in Computer Science).
 
 36. Prostate Cancer Imaging. Computer-Aided Diagnosis, 
Prognosis, and Intervention: Proc./International Workshop Held in 
Conjunction with MICCAI 2010, Beijing, China, September 2010/Ed. 
by  A.Madabhushi, J.Dowling, P.Yan, A.Fenster.-Berlin: Springer, 
2010.-Vol. 6367.-146 p.-(Lecture Notes in Computer Science).
 
 37. Madical Image Computing and Computer-Assisted Intervention - 
MICCAI 2010, Part I: Proc./13th International Conference, 
Beijing, China, September 2010/Ed. by  T.Jiang, N.Navab, 
J.P.W.Pluim, M.A.Viergever.-Berlin: Springer, 2010.-Vol. 6361.
-709 p.-(Lecture Notes in Computer Science).
 
 38. Medical Image Computing and Computer Assisted Intervention - 
MICCAI 2010, Part II: Proc./13th International Conference, 
Beijing, China, September 2010/Ed. by  T.Jiang, N.Navab, 
J,P.W.Pluim, M.A.Viergever.-Berlin: Springer, 2010.-Vol. 6362.
-703 p.-(Lecture Notes in Computer Science).
 
 39. Medical Image Computing and Computer-Assisted Intervention - 
MICCAI 2010, Part III: Proc./13th International Conference, 
Beijing, China, September 2010/Ed. by  T.Jiang, N.Navab, 
J.P.W.Pluim, M.A.Viergever.-Berlin: Springer, 2010.-Vol. 6363.
-685 p.-(Lecture Notes in Computer Science).
 
 40. Medical Imaging and Augmented Reality: Proc./5th 
International Workshop, MIAR 2010, Beijing, China, September 2010/
Ed. by  H.Liao, P.J."Eddie"Edwards, X.Pan, Y.Fan.-Berlin: Springer,
 2010.-Vol. 6326.-573 p.-(Lecture Notes in Computer Science).
 
 41. Information Technology in Bio-and Medical Informatics, ITBAM 
2010: Proc./First International Conference, Bilbao, Spain, 
September 2010/Ed. by  S.Khuri, L.Lhotska, N.Pisanti.-Berlin: 
Springer, 2010.-Vol. 6266.-236 p.-(Lecture Notes in Computer 
Science).
 
 42. Computational Intelligence Methods for Bioinformatics and 
Biostatistics: Revised Selected Papers/6th International Meeting, 
CIBB 2009, Genoa, Italy, October 2009/Ed. by  F.Masulli, 
L.E.Peterson, R.Tagliaferri.-Berlin: Springer, 2010.-Vol. 6160.
-320 p.-(Lecture Notes in Bioinformatics).
 
 43. Algorithms in Bioinformatics: Proc./10th International 
Workshop, WABI 2010, Liverpool, UK, September 2010/Ed. by  
V.Moulton, M.Singh.-Berlin: Springer, 2010.-Vol. 6293.-376 p.
-(Lecture Notes in Bioinformatics).
 
 44. Advances in Bioinformatics and Computational Biology: 
Proc./5th Brazilian Symposium om Bioinformatics, BSB 2010, Rio de 
Janeiro, Brazil, August/September 2010/Ed. by  C.E.Ferreira, 
S.Miyano, P.F.Stadler.-Berlin: Springer, 2010.-Vol. 6268.-81 p.
-(Lecture Notes in Bioinformatics).
 
 45. Data Integration in the Life Sciences: Proc./7th 
International Conference, DILS 2010, Gothenburg, Sweden, August 
2010/Ed. by  P.Lambrix, G.Kemp.-Berlin: Springer, 2010.-Vol. 6254.
-215 p.-(Lecture Notes in Bioinformatics).
 
 46. Artificial Intelligence: Methodology, Systems, and 
Applications: Proc./14th International Conference, AIMSA 2010, 
Varna, Bulgaria, September 2010/Ed. by  D.Dicheva, D.Dochev.
-Berlin: Springer, 2010.-Vol. 6304.-286 p.-(Lecture Notes in 
Artificial Intelligence).
 
 47. PRICAI 2010: Trends in Artificial Intelligence: Proc./11th 
Pacific Pim International Conference on AI, Daegu, Korea, 
August/September 2010/Ed. by  B.-T.Zhang, M.A.Orgun.-Berlin: 
Springer, 2010.-Vol. 6230.-715 p.-(Lecture Notes in Artificial 
Intelligence).
 
 48. Knowledge Management and Acquisition for Smart Systems and 
Services: Proc./11th International Workshop, PKAW 2010, Daegu, 
Korea, August/September 2010/Ed. by  B.-H.Kang, D.Richards.-Berlin:
 Springer, 2010.-Vol. 6232.-313 p.-(Lecture Notes in Artificial 
Intelligence).
 
 49. From Animals to Animats 11: Proc./11th International 
Conference on Simulation of Adaptive Behavior, SAB 2010, Paris - 
Clos Luce, France, August 2010/Ed. by  S.Doncieux, B.Girard, 
A.Guillot, J.Hallam.-Berlin: Springer, 2010.-Vol. 6226.-662 p.
-(Lecture Notes in Artificial Intelligence).
 
 50. Finite-State Methods and Natural Language Processing: 
Revised Selected Papers/8th International Workshop, FSMNLP 2009, 
Pretoria, South Africa, July 2009/Ed. by  A.Yli-Jyra, A.Kornai, 
J.Sakarovitch, B.Watson.-Berlin: Springer, 2010.-Vol. 6062.-147 p.
-(Lecture Notes in Artificial Intelligence).
 
 51. Knowledge Science, Engineering and Management: Proc./4th 
International Conference, KSEM 2010, Belfast, Northern Ireland, 
UK, September 2010/Ed. by  Y.Bi, M.-A.Williams.-Berlin: Springer, 
2010.-Vol. 6291.-618 p.-(Lecture Notes in Artificial 
Intelligence).
 
 52. New Frontiers in Artificial Intelligence: Revised Selected 
Papers/ JSAI-isAI 2009 Workshops, LENLS, JURISIN, KCSD, LLLL, 
Tokyo, Japan, November 2009/Ed. by  K.Nakakoji, Y.Murakami, 
E.Mccready.-Berlin: Springer, 2010.-Vol. 6284.-374 p.-(Lecture 
Notes in Artificial Intelligence).
 
 53. Копнов М.В. Модели, алгоритмы и программные средства для 
анализа геополей: Автореф. дис... канд. тех. наук: 05.13.01.-Томск,
 2010.-19 с.-Библиогр.: c.18-19.
 
 54. Саутин А.С. Разработка и исследование методов построения 
регрессивных моделей на основе алгоритма опорных векторов и его 
модификаций: Автореф. дис... канд. тех. наук: 05.13.17.
-Новосибирск, 2010.-19 с.-Библиогр.: c.18-19.
 
 55. Иванов М.А. Алгоритмические и программные средства повышения 
эффективности 3D-гидродинамического моделирования месторождений 
нефти и газа: Автореф. дис... канд. тех. наук: 05.13.01.-Томск, 
2010.-21 с.-Библиогр.: c.20-21.
 
 56. Никищенков С.А. Автоматизированное диагностирование 
железнодорожных технологических процессов на основе операторных 
схем: Автореф. дис... докт. тех. наук: 05.13.06.-Санкт-Петербург, 
2010.-32 с.-Библиогр.: c.30-32.
 
 57. Владимир Анатольевич Евстигнеев (к 70-летию со дня рождения)/
ИСИ СО РАН. .- Новосибирск, 2010.- 31 с.
 

 58. Козырева А.В. Алгоритмы и программный инструментарий для 
задачи позиционирования мобильных устройств на основе данных от 
встроенной фотокамеры: Автореф. дис... канд. ф.-м. наук: 05.13.11.
-Новосибирск, 2010.-21 с.-Библиогр.: c.20-21.
 
 59. Козырева А.В. Алгоритмы и программный инструментарий для 
задачи позиционирования мобильных устройств на основе данных от 
встроенной фотокамеры: Дис... канд. ф.-м. наук: 05.13.11.
-Новосибирск, 2010.-111 с.-Библиогр.: c.105-111.
 
 60. Арыков С.Б. Язык и система фрагментированного параллельного 
программирования задач численного моделирования: Автореф. дис... 
канд. ф.-м. наук: 05.13.11.-Новосибирск, 2010.-24 с.-Библиогр.: 
c.23-24.
 
 61. Арыков С.Б. Язык и система фрагментированного параллельного 
программирования задач численного моделирования: Дис... канд. 
ф.-м. наук: 05.13.11.-Новосибирск, 2010.-195 с.-Библиогр.: 
c.152-166.
 
 62. Distributed Computing: Proc./24th International Symposium, 
DISC 2010, Cambridge,MA,USA, September 2010/Ed. by  N.A.Lynch, 
A.A.Shvartsman.-Berlin: Springer, 2010.-Vol. 6343.-532 p.
-(Lecture Notes in Computer Science).
 
 63. Formal Modeling and Analysis of Timed Systems: Proc./8th 
International Conference, FORMATS 2010, Klosterneuburg, Austria, 
September 2010/Ed. by  K.Chatterjee, T.A.Henzinger.-Berlin: 
Springer, 2010.-Vol. 6246.-257 p.-(Lecture Notes in Computer 
Science).
 
 64. Graph Transformations: Proc./5th International Conference, 
ICGT 2010, Enschede, The Netherland, September/October 2010/Ed. 
by  H.Ehrig, A.Rensink, G.Rozenberg, A.Schurr.-Berlin: Springer, 
2010.-Vol. 6372.-419 p.-(Lecture Notes in Computer Science).
 
 65. Rewriting Logic and Its Applications: Revised Selected 
Papers/8th International Workshop, WRLA 2010, Helds as Satellite 
Event of ETAPS 2010, Paphos, Cyprus, March 2010/Ed. by  
P.C.Olveczky.-Berlin: Springer, 2010.-264 p.-(Lecture Notes in 
Computer Science).
 
 66. Cellular Automata: Proc./9th International Conference on CA 
for Research and Industry, ACRI 2010, Ascoli Piceno, Italy, 
September 2010/Ed. by  S.Bandini, S.Manzoni, H.Umeo, G.Vizzari.
-Berlin: Springer, 2010.-Vol. 6350.-672 p.-(Lecture Notes in 
Computer Science).
 
 67. Algorithmic Game Theory: Proc./Third International 
Symposium, SAGT 2010, Athens, Greece, October 2010/Ed. by  
S.Kontogiannis, E.Koutsoupias, P.G.Spirakis.-Berlin: Springer, 
2010.-Vol. 6386.-359 p.-(Lecture Notes in Computer Science).
 
 68. Integrated Formal Methods: Proc./8th International 
Conference, IFM 2010, Nancy, France, October 2010/Ed. by  D.Mery, 
S.Merz.-Berlin: Springer, 2010.-Vol. 6396.-337 p.-(Lecture Notes 
in Computer Science).
 
 69. Logic and Programming, Artificial Intelligence, and 
Reasoning: Proc./17th International Conference, LPAR-17, 
Yogyakarta, Indonesia, October 2010/Ed. by  Ch.G.Fermuller, 
A.Voronkov.-Berlin: Springer, 2010.-Vol. 6397.-656 p.-(Lecture 
Notes in Computer Science).
 
 70. Model Checking Software: Proc./17th International SPIN 
Workshop, Enschede, The Netherlands, September 2010/Ed. by  
J.Van_De_Pol, M.Weber.-Berlin: Springer, 2010.-Vol. 6349.-263 p.
-(Lecture Notes in Computer Science).
 
 71. Leveraging Applications of Formal Methods, Verification, and 
Validation, Part I: Proc./4th International Symposium on LA, 
ISoLA 2010, Heraklion,Grete,Greece, October 2010/Ed. by  
T.Margaria, B.Steffen.-Berlin: Springer, 2010.-Vol. 6415.-708 p.
-(Lecture Notes in Computer Science).
 
 72. Leveraging Applications of Formal Methods, Verification, and 
Validation, Part II: Proc./4th International Symposium on LA, 
ISoLA 2010, Heraclion, Grete, Greece, October 2010/Ed. by  
T.Margaria, B.Steffen.-Berlin: Springer, 2010.-Vol. 6416.-500 p.
-(Lecture Notes in Computer Science).
 
 73. Implementation and Application of Functional Languages: 
Revised Selected Papers/21st International Symposium, IFL 2009, 
South Orange,NJ,USA, September 2009/Ed. by  M.T.Morazan, 
S.-B.Scholz.-Berlin: Springer, 2010.-Vol. 6041.-237 p.-(Lecture 
Notes in Computer Science).
 
 74. Unifying Theories of Programming: Proc./Third International 
Symposium, UTP 2010, Shanghai, China, November 2010/Ed. by  Sh.Qin.
-Berlin: Springer, 2010.-Vol. 6445.-310 p.-(Lecture Notes in 
Computer Science).
 
 75. Runtime Verification: Proc./First International Conference, 
RV 2010, St.Julians, Malta, November 2010/Ed. by  H.Barringer, 
Y.Falcone, B.Filkbeiner, K.Havelund.-Berlin: Springer, 2010.-Vol. 
6418.-492 p.-(Lecture Notes in Computer Science).
 
 76. Testing Software and Systems: Proc./22nd IFIP WG 6.1 
International Conference, ICTSS 2010, Natal, Brazil, November 2010
/Ed. by  A.Petrenko, A.Simao, J.C.Maldonado.-Berlin: Springer, 
2010.-Vol. 6435.-267 p.-(Lecture Notes in Computer Science).
 



Вы обнаружили ошибку в следующем тексте:
Просто нажмите кнопку "Отправить сообщение об ошибке" для завершения. Вы можете также ввести комментарий (желательно).