04.10.2010

Hовые поступления c 12 августа по 4 октября 2010 г.

  1. Coordination, Organizations, Institutions, and Norms in 
Agent Systems V: Revised Selected Papers/ COIN 2009 IW, 
COIN@AAMAS 2009, COIN@IJCAI 2009, COIN@MALLOW 2009/Ed. by  
J.Padget, A.Artikis, W.Vasconcelos, K.Stathis.-Berlin: 
Springer, 2010.-Vol. 6069.-335 p.-(Lecture Notes in 
Artificial Intelligence).
 
  2. Brain Informatics: Proc./International Conference, BI 
2010, Toronto, ON, Canada, August 2010/Ed. by  Y.Yao, R.Sun, 
T.Poggio, J.Liu.-Berlin: Springer, 2010.-Vol. 6334.-440 p.
-(Lecture Notes in Artificial Intelligence).
 
  3. Computational Intelligence for Knowledge-Based Systems 
Design: Proc./13th IC on Information Processing and 
Management of Uncertainty, IPMU 2010, Dortmund Germany, 
June/July 2010/Ed. by  E.Hullermeier, R.Kruse, F.Hoffmann.
-Berlin: Springer, 2010.-Vol. 6178.-771 p.-(Lecture Notes in 
Artificial Intelligence).
 
  4. Multi-Agent-Based Simulation X: Revised Selected 
Papers/ International Workshop, MABS 2009, Budapest, 
Hungary, May 2009/Ed. by  G.Di_Tosto, H.Van_Dyke_Parunak.
-Berlin: Springer, 2010.-Vol. 5683.-160 p.-(Lecture Notes in 
Artificial Intelligence).
 
  5. Conceptual Structures: From Information to 
Intelligence: Proc./18th International Conference on 
Conceptual Structures, ICCS 2010, Kuching, Sarawak, 
Malaysia, July 2010/Ed. by  M.Croitoru, S.Ferre, D.Lukose.
-Berlin: Springer, 2010.-Vol. 6208.-207 p.-(Lecture Notes in 
Artificial Intelligence).
 
  6. Current Topics in Artificial Intelligence: Selected 
Papers/13th Conference of the Spanish Association for AI, 
CAEPIA 2009, Seville, Spain, Novenber 2009/Ed. by  
P.Meseguer, L.Mandow, R.M.Gasca.-Berlin: Springer, 2010.
-Vol. 5988.-302 p.-(Lecture Notes in Artificial 
Intelligence).
 
  7. Advances in Data Mining. Applications and Theoretical 
Aspects: Proc./10th Industrial Conference, ICDM 2010, 
Berlin, Germany, July 2010/Ed. by  P.Perner.-Berlin: Springer,
 2010.-Vol. 6171.-654 p.-(Lecture Notes in Artificial 
Intelligence).
 
  8. Future Internet - FIS 2009: Revised Selected Papers/ 
Second Future Internet Symposium, FIS 2009, Berlin, Germany, 
September 2009/Ed. by  T.Zseby, R.Savola, M.Pistore.-Berlin: 
Springer, 2010.-Vol. 6152.-117 p.-(Lecture Notes in Computer 
Science).
 
  9. Artificial Immune System: Proc./9th International 
Conference, ICARIS 2010, Edinburg, UK, July 2010/Ed. by  
E.Hart, Ch.Mcewan, J.Timmis, A.Hone.-Berlin: Springer, 2010.
-Vol. 6209.-329 p.-(Lecture Notes in Computer Science).
 
 10. Structural, Syntactic, and Statistical Pattern 
Recognition: Proc./Joint IAPR International Workshop, 
SSPR&SPR 2010, Cesme, Izmir, Turkey, August 2010/Ed. by  
E.R.Hancock, R.C.Wilson, T.Windeatt, I.Ulusoy.-Berlin: 
Springer, 2010.-Vol. 6218.-758 p.-(Lecture Notes in Computer 
Science).
 
 11. Future Multimedia Networking: Proc./Third International 
Workshop, FMN 2010, Krakow, Poland, June 2010/Ed. by  
S.Zeadally, E.Cerqueira, M.Curado, M.Leszczuk.-Berlin: 
Springer, 2010.-Vol. 6157.-184 p.-(Lecture Notes in Computer 
Science).
 
 12. Learning and Intelligent Optimization: Proc./4th 
International Conference, LION 4, Venice, Italy, January 2010
/Ed. by  Ch.Blum, R.Battiti.-Berlin: Springer, 2010.-Vol. 
6073.-344 p.-(Lecture Notes in Computer Science).
 
 13. Web Engineering: Proc./10th International Conference, 
ICWE 2010, Vienna, Austria, July 2010/Ed. by  B.Benatallah, 
F.Casati, G.Kappel, G.Rossi.-Berlin: Springer, 2010.-Vol. 
6189.-530 p.-(Lecture Notes in Computer Science).
 
 14. Artificial Evolution: Revised Selected Papers/9th 
International Conference, EA 2009, Strasbourg, France, 
October 2009/Ed. by  P.Collet, N.Monmarche, P.Legrand, 
M.Schoenauer.-Berlin: Springer, 2010.-Vol. 5975.-207 p.
-(Lecture Notes in Computer Science).
 
 15. Resourse Discovery: Revised Papers/ Second 
International Workshop, RED 2009, Lyon, France, August 2009/
Ed. by  Z.Lacroix.-Berlin: Springer, 2010.-Vol. 6162.-141 p.
-(Lecture Notes in Computer Science).
 
 16. Theory and Practice of Model Transformations: 
Proc./Third International Conference, ICMT 2010, Malaga, 
Spain, June 2010/Ed. by  L.Tratt, M.Gogolla.-Berlin: Springer,
 2010.-Vol. 6142.-278 p.-(Lecture Notes in Computer Science).
 
 17. Networked Services and Applications - Engineering, 
Control and Management: Proc./16th EUNICE/IFIP WG 6.6 
Workshop, EUNICE 2010, Trondheim, Norway, June 2010/Ed. by  
F.A.Aagesen, S.J.Knapskog.-Berlin: Springer, 2010.-Vol. 6164.
-275 p.-(Lecture Notes in Computer Science).
 
 18. Software Composition: Proc./9th International 
Conference, SC 2010, Malaga, Spain, July 2010/Ed. by  
B.Baudry, E.Wohlstadter.-Berlin: Springer, 2010.-Vol. 6144.
-155 p.-(Lecture Notes in Computer Science).
 
 19. Natural Lnaguage Processing and Information Systems: 
15th International Conference on Applications of NL to IS, 
NLDB 2010, Cardiff, UK, June 2010/Ed. by  Ch.J.Hopfe, 
Ya.Rezgui, E.Metais, A.Preece.-Berlin: Springer, 2010.-Vol. 
6177.-314 p.-(Lecture Notes in Computer Science).
 
 20. Scientific and Statistical Database Management: 
Proc./22nd International Conference, SSDBM 2010, Heidelberg, 
Germany, June/July 2010/Ed. by  M.Gertz, B.Ludascher.-Berlin:
 Springer, 2010.-Vol. 6187.-660 p.-(Lecture Notes in 
Computer Science).
 
 21. New Modeling Concepts for Today's Software Processes: 
Proc./ International Conference on Software Process, ICSP 
2010, Padeborn, Germany, July 2010/Ed. by  J.Munch, Y.Yang, 
W.Schafer.-Berlin: Springer, 2010.-Vol. 6195.-382 p.
-(Lecture Notes in Computer Science).
 
 22. Languages and Compilers for Parallel Computing: Revised 
Selected Papers/22nd International Workshop, LCPC 2009, 
Newark,DE,USA, October 2009/Ed. by  G.R.Gao, L.L.Pollock, 
J.Cavazos, X.Li.-Berlin: Springer, 2010.-Vol. 5898.-426 p.
-(Lecture Notes in Computer Science).

 23. Computer Science - Theory and Applications: Proc./5th 
International Computer Science Symposium in Russia, CSR 
2010, Kazan, Russia, June 2010/Ed. by  F.Ablayev, E.W.Mayr.
-Berlin: Springer, 2010.-Vol. 6072.-397 p.-(Lecture Notes in 
Computer Science).
 
 24. Time for Verification: Essays in Memory of Amir Pnueli/
Ed. by  Z.Manna, D.A.Peled.-Berlin: Springer, 2010.-Vol. 6200.
-401 p.-(Lecture Notes in Computer Science).
 
 25. Computer Aided Verification: Proc./22nd International 
Conference, CAV 2010, Edinburgh, UK, July 2010/Ed. by  
T.Touili, B.Cook, P.Jackson.-Berlin: Springer, 2010.-Vol. 
6174.-676 p.-(Lecture Notes in Computer Science).
 
 26. Architecting Critical Systems: Proc./First 
International Symposium, ISARCS 2010, Prague, Czech 
Republic, June 2010/Ed. by  H.Giese.-Berlin: Springer, 2010.
-Vol. 6150.-193 p.-(Lecture Notes in Computer Science).
 
 27. Computing and Combinatorics: Proc./16th Annual 
International Conference, COCOON 2010, Nha Trang, Vietnam, 
July 2010/Ed. by  M.T.Thai, S.Sahni.-Berlin: Springer, 2010.
-Vol. 6196.-542 p.-(Lecture Notes in Computer Science).
 
 28. Deontic Logic in Computer Science: Proc./10th 
International Conference, DEON 2010, Fiesole, Italy, July 
2010/Ed. by  G.Governatori, G.Sartor.-Berlin: Springer, 2010.
-Vol. 6181.-323 p.-(Lecture Notes in Artificial 
Intelligence).
 
 29. Language, Mathodologies, and Development Tools for 
Multi-Agent Systems: Revised Selrcted Papers/ Second 
International Workshop, LADS 2009, Torino, Italy, September 
2009/Ed. by  M.Dastani, A.E.F.Seghrouchni, J.Leite, P.Torroni.
-Berlin: Springer, 2010.-Vol. 6039.-183 p.-(Lecture Notes in 
Artificial Intelligence).
 
 30. Agent and Multi-Agent Systems: Technologies and 
Applications, Part I: Proc./4th KES International Symposium, 
KES-AMSTA 2010, Gdynia, Poland, June 2010/Ed. by  
P.Jedrzejowicz, N.Th.Nguyen, R.J.Howlett, L.C.Jain.-Berlin: 
Springer, 2010.-Vol. 6070.-443 p.-(Lecture Notes in 
Artificial Intelligence).
 
 31. Agent and Multi-Agent Systems: Technologies and 
Applications, Part II: Proc./4th KES International 
Symposium, KES-AMSTA 2010, Gdynia, Poland, June 2010/Ed. by  
P.Jedrzejowicz, N.Th.Nguyen, R.J.Howlett, L.C.Jain.-Berlin: 
Springer, 2010.-Vol. 6071.-411 p.-(Lecture Notes in 
Artificial Intelligence).
 
 32. Computer Network Security: Proc./5th International 
Conference on Mathematical Methods, Models and Architecture 
for CNS, MMM-ACNS 2010, St.Petersburg, Russia, September 2010
/Ed. by  I.Kotenko, V.Skormin.-Berlin: Springer, 2010.-Vol. 
6258.-345 p.-(Lecture Notes in Computer Science).
 
 33. Progress in Cryptology - LATINCRYPT 2010: Proc./First 
International Conference on Cryptology and Information 
Security in Latin America, Puebla, Mexico, August 2010/Ed. 
by  M.Abdalla, P.S.L.M.Barreto.-Berlin: Springer, 2010.-Vol. 
6212.-323 p.-(Lecture Notes in Computer Science).

 34. Advances in Cryptology - CRYPTO 2010: Proc./30th Annual 
Cryptology Conference, Santa Barbara,CA,USA, August 2010/Ed. 
by  T.Rabin.-Berlin: Springer, 2010.-Vol. 6223.-744 p.
-(Lecture Notes in Computer Science).
 
 35. Cryptographic Hardware and Embedded Systems - CHES 
2010: Proc./12th International Workshop, Santa Barbara,USA, 
August 2010/Ed. by  S.Mangard, F.-X.Standaert.-Berlin: 
Springer, 2010.-Vol. 6225.-458 p.-(Lecture Notes in Computer 
Science).
 
 36. Financial Cryptography and Data Secirity: Revised 
Selected Papers/14th International Conference, FC 2010, 
Tenerife, Canary Islands, Spain, January 2010/Ed. by  R.Sion.
-Berlin: Springer, 2010.-Vol. 6052.-432 p.-(Lecture Notes in 
Computer Science).
 
 37. Financial Cryptography and Data Security: Revised 
Selected Papers/ FC 2010 Workshops, RLCPS, WECSR, and WLC 
2010, Tenerife, Canary Islands, Spain, January 2010/Ed. by  
R.Sion, R.Curtmola, S.Dietrich, A.Kiayias.-Berlin: Springer, 
2010.-Vol. 6054.-257 p.-(Lecture Notes in Computer Science).
 
 38. Trusted Systems: Revised Selected Papers/ First 
International Conference, INTRUST 2009, Beijing, China, 
December 2009/Ed. by  L.Chen, M.Yung.-Berlin: Springer, 2010.
-Vol. 6163.-263 p.-(Lecture Notes in Computer Science).
 
 39. Information Security and Privacy: Proc./15th 
Australasian Conference, ACISP 2010, Sydney, Australia, July 
2010/Ed. by  R.Steinfeld, Ph.Hawkes.-Berlin: Springer, 2010.
-Vol. 6168.-403 p.-(Lecture Notes in Computer Science).
 
 40. Fast Software Encryption: Revised Selected Papers/17th 
International Workshop, FSE 2010, Seoul, Korea, February 2010
/Ed. by  S.Hong, T.Iwata.-Berlin: Springer, 2010.-Vol. 6147.
-385 p.-(Lecture Notes in Computer Science).
 
 41. Data and Applications Security and Privacy XXIV: 
Proc./24th Annual IFIP WG 11.3 Working Conference, Rome, 
Italy, June 2010/Ed. by  S.Foresti, S.Jajodia.-Berlin: 
Springer, 2010.-Vol. 6166.-376 p.-(Lecture Notes in Computer 
Science).
 
 42. Information Security and Cryptology - ICISC 2009: 
Revised Selected Papers/12th International Conference, 
Seoul. Korea, December 2009/Ed. by  D.Lee, S.Hong.-Berlin: 
Springer, 2010.-Vol. 5984.-387 p.-(Lecture Notes in Computer 
Science).
 
 43. Detection of Intrusions and Malware, and Vulnerability 
Assessment: Proc./7th International Conference, DIMVA 2010, 
Bonn, Germany, July 2010/Ed. by  Ch.Kreibich, M.Jahnke.
-Berlin: Springer, 2010.-Vol. 6201.-219 p.-(Lecture Notes in 
Computer Science).
 
 44. Transactions on Data Hiding and Multimedia Security V/
Ed. by  Y.Q.Shi.-Berlin: Springer, 2010.-Vol. 6010.-129 p.
-(Lecture Notes in Computer Science).
 
 45. Privacy Enhancing Technologies: Proc./10th 
International Symposium, PETS 2010, Berlin, Germany, July 
2010/Ed. by  M.J.Atallach, N.J.Hopper.-Berlin: Springer, 2010.
-Vol. 6205.-291 p.-(Lecture Notes in Computer Science).
 
 46. Critical Information Infrastructures Security: Revised 
Papers/4th International Workshop, CRITIS 2009, Bonn, 
Germany, September/October 2009/Ed. by  E.Rome, R.Bloomfield.
-Berlin: Springer, 2010.-Vol. 6027.-213 p.-(Lecture Notes in 
Computer Science).
 
 47. Arithmetic of Finite Fields: Proc./Third International 
Workshop, WAIFI 2010, Istanbul, Turkey, June 2010/Ed. by  
M.A.Hasan, T.Helleseth.-Berlin: Springer, 2010.-Vol. 6087.
-269 p.-(Lecture Notes in Computer Science).
 
 48. Testing Techniques in Softwarw Engineering: Revised 
Lectures/Second Pernambuco Summer School on SE, PSSE 2007, 
Recife, Brazil, December 2007/Ed. by  P.Borba, A.Cavalcanti, 
A.Sampaio, J.Woodcock.-Berlin: Springer, 2010.-Vol. 6153.
-313 p.-(Lecture Notes in Computer Science).
 
 49. User Modeling, Adaptation, and Personalization: 
Proc./18th International Conference, UMAP 2010, Big 
Island,HI,USA, June 2010/Ed. by  P.De_Bra, A.Kobsa, D.Chin.
-Berlin: Springer, 2010.-Vol. 6075.-428 p.-(Lecture Notes in 
Computer Science).
 
 50. Objects, Models, Components, Patterns: Proc./48th 
International Conference, TOOLS 2010/Ed. by  J.Vitek.-Berlin:
 Springer, 2010.-Vol. 6141.-311 p.-(Lecture Notes in 
Computer Science).
 
 51. Tests and Proofs: Proc./4th International Conference, 
TAP 2010, Malaga, Spain, July 2010/Ed. by  G.Fraser, 
A.Gargantini.-Berlin: Springer, 2010.-Vol. 6143.-183 p.
-(Lecture Notes in Computer Science).
 
 52. ECOOP 2010 - Object-Oriented Programming: Proc./24th 
European Conference, Maribor, Slovenia, June 2010/Ed. by  
T.D'Hondt.-Berlin: Springer, 2010.-Vol. 6183.-599 p.
-(Lecture Notes in Computer Science).
 
 53. Programs, Proofs, Processes: Proc./6th Conference on 
Computability in Europe, CiE 2010, Ponta Delgada, Azores, 
Portugal, June/July 2010/Ed. by  F.Ferreira, B.Lowe, 
E.Mayordomo, L.M.Gomes.-Berlin: Springer, 2010.-Vol. 6158.
-450 p.-(Lecture Notes in Computer Science).
 
 54. Analytical and Stochastic Modeling Techniques and 
Applications: Proc./17th International Conference, ASMTA 
2010, Cardiff, UK, June 2010/Ed. by  K.Al-Begain, D.Fiems, 
W.J.Knottenbelt.-Berlin: Springer, 2010.-Vol. 6148.-409 p.
-(Lecture Notes in Computer Science).
 
 55. Combinatorial Pattern Matching: Proc./21st Annual 
Symposium, CPM 2010, New York,NY,USA, June 2010/Ed. by  
A.Amir, L.Parida.-Berlin: Springer, 2010.-Vol. 6129.-362 p.
-(Lecture Notes in Computer Science).
 
 56. Integration of AI and OR Techniques in Constraint 
Programming for Combinatorial Optimization Problems: 
Proc./7th International Conference, CPAIOR 2010, Bologna, 
Italy, June 2010/Ed. by  A.Lodi, M.Milano, P.Toth.-Berlin: 
Springer, 2010.-Vol. 6140.-369 p.-(Lecture Notes in Computer 
Science).
 
 57. A 25-Year Perspective on Logic Programming: 
Achievements of the Italian Association for Logic 
Programming, GULP/Ed. by  A.Dovier, E.Pontelli.-Berlin: 
Springer, 2010.-Vol. 6125.-329 p.-(Lecture Notes in Computer 
Science).
 
 58. Modellimg Foundations and Applications: Proc./6th 
European Conference, ECMFA 2010, Paris, France, June 2010/
Ed. by  Th.Kuhne, B.Selic, M.-P.Gervais, F.Terrier.-Berlin: 
Springer, 2010.-Vol. 6138.-356 p.-(Lecture Notes in Computer 
Science).
 
 59. Intelligent Computer Mathematics: Proc./10th 
International Conference, AISC 2010, 17th Symposium, 
Calculemus 2010, and 9th International Conference, MKM 2010, 
Paris, France, July 2010/Ed. by  S.Autexier, J.Calmet, 
D.Delahaye, P.D.F.Ion.-Berlin: Springer, 2010.-Vol. 6167.
-471 p.-(Lecture Notes in Artificial Intelligence).
 
 60. Automated Reasoning: Proc./5th International Joint 
Conference, IJCAR 2010, Edinburg, UK, July 2010/Ed. by  
J.Giesl, R.Hahnle.-Berlin: Springer, 2010.-Vol. 6173.-534 p.
-(Lecture Notes in Artificial Intelligence).
 
 61. Logic, Language, Information and Computation: 
Proc./17th International Workshop, WoLLIC 2010, Brasilia, 
Brazil, July 2010/Ed. by  A.Dawar, E.De-Queiroz.-Berlin: 
Springer, 2010.-Vol. 6188.-259 p.-(Lecture Notes in 
Artificial Intelligence).
 
 62. Methods and Tools of Parallel Programming 
Multicomputers: Revised Selected Pappers/ Second 
Russia-Taiwan Symposium, MTPP 2010, Vladivostok, Russia, May 
2010/Ed. by  Ch.-H.Hsu, V.Malyshkin.-Berlin: Springer, 2010.
-Vol. 6083.-302 p.-(Lecture Notes in Computer Science).
 
 63. Wireless Algorithms, Systems, and Applications: 
Proc./5th International Conference, WASA 2010, Beijing, 
China, August, 2010/Ed. by  G.Pandurangan, V.S.A.Kumar, 
G.Ming, Y.Liu.-Berlin: Springer, 2010.-Vol. 6221.-256 p.
-(Lecture Notes in Computer Science).
 
 64. Verified Software: Theories, Tools, Experiments: 
Proc./Third International Conference, VSTTE 2010, 
Edinburg,UK, August 2010/Ed. by  G.T.Leavens, P.O'Hearn, 
S.K.Rajamani.-Berlin: Springer, 2010.-Vol. 6217.-217 p.
-(Lecture Notes in Computer Science).
 
 65. Fields of Logic and Computation: Essays Dedicated to 
Yuri Gurevich on the Occasion of His 70th Birthday/Ed. by  
A.Blass, N.Dershowitz, W.Reisig.-Berlin: Springer, 2010.
-Vol. 6300.-627 p.-(Lecture Notes in Computer Science).
 
 66. Research into Practice - Reality and Gaps: Proc./6th 
International Conferemce on the Qualuty of Software 
Architectures, QoSA 2010, Prague, Czech Republic, June 2010/
Ed. by  G.T.Heineman, J.Kofron, F.Plasil.-Berlin: Springer, 
2010.-Vol. 6093.-183 p.-(Lecture Notes in Computer Science).
 
 67. Requirements Engineering: Foundation for Software 
Quality: Proc./16th International Working Conference, REFSQ 
2010, Essen, Germany, June/July 2010/Ed. by  R.Wieringa, 
A.Persson.-Berlin: Springer, 2010.-Vol. 6182.-280 p.
-(Lecture Notes in Computer Science).
 
 68. Mechanisms for Autonomous Management of Networks and 
Services: Proc./4th International Conference on Autonomous 
Infrastructure, Management and Security, AIMS 2010, Zurich, 
Switzerland, June 2010/Ed. by  B.Stiller, F.De_Turck.-Berlin:
 Springer, 2010.-Vol. 6155.-179 p.-(Lecture Notes in 
Computer Science).
 
 69. Self-Organizing Architectures: Revised Selected and 
Invite Papers/ First International Workshop, SOAR 2009, 
Cambridge, UK, September 2009/Ed. by  D.Weyns, S.Malek, 
R.De_Lemos, J.Andersson.-Berlin: Springer, 2010.-Vol. 6090.
-301 p.-(Lecture Notes in Computer Science).
 
 70. Transactions on Rough Sets XII/Ed. by  J.F.Peters, 
A.Skovrov.-Berlin: Springer, 2010.-Vol. 6190.-339 p.
-(Lecture Notes in Computer Science).
 
 71. Focused Retrieval and Evaluation: Revised and Selected 
Papers/8th International Workshop of the Initiative for the 
Evaluation of XML Retrieval, INEX 2009, Brisbane, Australia, 
December 2009/Ed. by  Sh.Geva, J.Kamps, A.Trotman.-Berlin: 
Springer, 2010.-Vol. 6203.-464 p.-(Lecture Notes in Computer 
Science).
 
 72. Mathematical Foundations of Computer Science 2010: 
Proc./35th International Symposium, MFCS 2010, Brno, Czech 
Republic, August 2010/Ed. by  P.Hlineny, A.Kucera.-Berlin: 
Springer, 2010.-Vol. 6281.-714 p.-(Lecture Notes in Computer 
Science).
 
 73. Object Databases: Revised Papers/ Second International 
Conference, ICOODB 2009, Zurich, Switzerland, July 2009/Ed. 
by  M.C.Norrie, M.Grossniklaus.-Berlin: Springer, 2010.-Vol. 
5936.-167 p.-(Lecture Notes in Computer Science).
 
 74. Developments in Language Theory: Proc./14th 
International Conference, DLT 2010, London, ON, Canada, 
August 2010/Ed. by  Y.Gao, H.Lu, Sh.Seki, Sh.Yu.-Berlin: 
Springer, 2010.-Vol. 6224.-446 p.-(Lecture Notes in Computer 
Science).
 
 75. Unifying Theories of Programming: Revised Selected 
Papers/ Second International Symposium, UTP 2008, 
Dublin,Ireland, September 2009/Ed. by  A.Butterfield.-Berlin:
 Springer, 2010.-Vol. 5713.-279 p.-(Lecture Notes in 
Computer Science).
 
 76. Dependency Structures and Lexicalized Grammars: An 
Algebraic Approach/Ed. by  M.Kuhlmann.-Berlin: Springer, 2010.
-Vol. 6270.-137 p.-(Lecture Notes in Artificial 
Intelligence).
 
 77. Computational Logic in Multi-Agent Systems: Proc./11th 
International Workshop, CLIMA XI, Lisbon, Portugal, August 
2010/Ed. by  J.Dix, J.Leite, G.Governatori, W.Jamroga.-Berlin:
 Springer, 2010.-Vol. 6245.-257 p.-(Lecture Notes in 
Artificial Intelligence).
 
 78. Титлянова А.А. Рассыпанные страницы.- М.: ФОЛИУМ, 2009.
- 386 с.



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