Мемориальная библиотека им. А.П. Ершова

Hовые поступления с 1 мая по 6 июня 2008 года


  1. Progress in WWW Research and 
Development: Proc./10th Asia-Pacific Web 
Conference, APWeb 2008. Shenyang, China, 
April 2008/Ed. by  Y.Zhang, G.Yu, E.Bertino, 
G.Xu.-Berlin, Heidelberg: Springer, 2008.
-Vol. 4976.-699 p.-(Lecture Notes in Computer 
Science).
 
  2. Formal Methods and Testing: Revised 
Selected Papers/An Outcome of the FOREST 
Network/Ed. by  R.M.Hierons, J.P.Bowen, 
M.Harmann.-Berlin, Heidelberg: Springer, 2008.
-Vol. 4949.-367 p.-(Lecture Notes in Computer 
Science).
 
  3. Theory and Applications of Models of 
Computation: Proc./5th International 
Conference, TAMC 2008. Xi'an, China, April 
2008/Ed. by  M.Agrawal, D.Du, Zh.Duan, A.Li.
-Berlin, Heidelberg: Springer, 2008.-Vol. 4978.
-598 p.-(Lecture Notes in Computer Science).
 
  4. Combinatorial Image Analysis: Proc./12th 
International Workshop, IWCIA 2008. Buffalo, 
NY, USA, April 2008/Ed. by  V.E.Brimkov, 
R.P.Barneva, H.A.Hauptman.-Berlin, Heidelberg:
 Springer, 2008.-Vol. 4958.-446 p.-(Lecture 
Notes in Computer Science).
 
  5. Logic-Based Program Synthesis and 
Transformation: Revised Selected Papers/17th 
International Symposium, LOPSTR 2007. Kongens 
Lyngby, Denmark, August 2007/Ed. by  A.King.
-Berlin, Heidelberg: Springer, 2008.-Vol. 4915.
-219 p.-(Lecture Notes in Computer Science).
 
  6. Algorithms and Models for the Web-Graph: 
Revised Papers/Fourth International Workshop, 
WAW 2006. Banff, Canada, November/December 
2006/Ed. by  W.Aiello, A.Broder, J.Janssen, 
E.Milios.-Berlin, Heidelberg: Springer, 2008.
-Vol. 4936.-167 p.-(Lecture Notes in Computer 
Science).
 
  7. Trustworthy Global Computing: Revised 
Selected Papers/Third Symposium, TGC 2007. 
Sophia-Antipolis, France, November 2007/Ed. 
by  G.Barthe, C.Fournet.-Berlin, Heidelberg: 
Springer, 2008.-Vol. 4912.-401 p.-(Lecture 
Notes in Computer Science).
 
  8. Advances in Information Retrieval: 
Proc./30th European Conference on IR 
Research, ECIR 2008. Glasgow, UK, March/April 
2008/Ed. by  C.Macdonald, I.Ounis, 
V.Plachouras, I.Ruthven.-Berlin, Heidelberg: 
Springer, 2008.-Vol. 4956.-719 p.-(Lecture 
Notes in Computer Science).
 
  9. Privacy, Security, and Trust in KDD: 
Revised Selected Papers/First ACM SIGKDD 
International Workshop, PinKDD 2007. San 
Jose, CA, USA, August 2007/Ed. by  F.Bonchi, 
E.Ferrari, B.Malin, Y.Saygin.-Berlin, 
Heidelberg: Springer, 2008.-Vol. 4890.-173 p.
-(Lecture Notes in Computer Science).

 10. Reconfigurable Computing: Architectures, 
Tools and Applications: Proc./4th 
International Workshop, ARC 2008. London, UK, 
March 2008/Ed. by  R.Woods, K.Compton, 
Ch.Bouganis, Diniz P.C.-Berlin, Heidelberg: 
Springer, 2008.-Vol. 4943.-344 p.-(Lecture 
Notes in Computer Science).
 
 11. Advances in Web Based Learning - ICWL 
2007: Proc./6th International Conference. 
Edinburgh, UK, August 2007/Ed. by  H.Leung, 
F.Li, R.Lau, Q.Li.-Berlin, Heidelberg: 
Springer, 2008.-Vol. 4823.-654 p.-(Lecture 
Notes in Computer Science).
 
 12. Compiler Construction: 17th 
International Conference, CC 2008 - part of 
ETAPS 2008. Budapest, Hungary, March/April 
2008/Ed. by  L.Hendren.-Berlin, Heidelberg: 
Springer, 2008.-Vol. 4959.-307 p.-(Lecture 
Notes in Computer Science).
 
 13. Programming Languages and Systems: 
Proc./17th European Symposium on Programming, 
ESOP 2008, Part of ETAPS 2008. Budapest, 
Hungary, March/April 2008/Ed. by  
Drossopoulou S.-Berlin, Heidelberg: Springer, 
2008.-Vol. 4960.-399 p.-(Lecture Notes in 
Computer Science).
 
 14. Fundamental Approaches to Software 
Engineering: Proc./11th International 
Conference, FASE 2008, Part of ETAPS 2008. 
Budapest, Hungary, March/April 2008/Ed. by  
J.L.Fiadeiro, P.Inverardi.-Berlin, Heidelberg:
 Springer, 2008.-Vol. 4961.-430 p.-(Lecture 
Notes in Computer Science).
 
 15. Foundations of Software Science and 
Computational Structures: Proc./11th 
International Conference, FOSSACS 2008, Part 
of ETAPS 2008/Ed. by  R.Amadio.-Berlin, 
Heidelberg: Springer, 2008.-Vol. 4962.-505 p.
-(Lecture Notes in Computer Science).
 
 16. Tools and Algorithms for the 
Construction and Analysis of Systems: 
Proc./14th International Conference, TACAS 
2008, Part of ETAPS 2008. Budapest, Hungary, 
March/April 2008/Ed. by  C.R.Ramakrishnan, 
J.Rehof.-Berlin, Heidelberg: Springer, 2008.
-Vol. 4963.-518 p.-(Lecture Notes in Computer 
Science).
 
 17. E-Voting and Identity: First 
International Conference, VOTE-ID 2007. 
Bochum, Germany, October 2007/Ed. by  
A.Alkassar, M.Volkamer.-Berlin, Heidelberg: 
Springer, 2008.-Vol. 4896.-189 p.-(Lecture 
Notes in Computer Science).
 
 18. Advances in Geometric Modeling and 
Processing: Proc./5th International 
Conference, GMP 2008. Hangzhou, China, April 
2008/Ed. by  F.Chen, B.Juettler.-Berlin, 
Heidelberg: Springer, 2008.-Vol. 4975.-606 p.
-(Lecture Notes in Computer Science).
 
 19. Topics in Cryptology - CT-RSA 2008: 
Proc./The Cryptographer's Track at the RSA 
Conference 2008. San Francisco, CA, USA, 
April 2008/Ed. by  T.Malkin.-Berlin, 
Heidelberg: Springer, 2008.-Vol. 4964.-437 p.
-(Lecture Notes in Computer Science).
 
 20. Discrete Geometry for Computer Imagery: 
Proc./14th IAPR International Conference, 
DGCI 2008. Lyon, France, April 2008/Ed. by  
D.Coeurjolly, I.Sivignon, L.Tougne, F.Dupont.
-Berlin, Heidelberg: Springer, 2008.-Vol. 4992.
-554 p.-(Lecture Notes in Computer Science).
 
 21. Integer Programming and Combinatorial 
Optimization: Proc./13th International 
Conference, IPCO 2008. Bertinoro, Italy, May 
2008/Ed. by  A.Lodi, A.Panconesi, G.Rinaldi.
-Berlin, Heidelberg: Springer, 2008.-Vol. 5035.
-477 p.-(Lecture Notes in Computer Science).
 
 22. High-Confidence Software Reuse in Large 
Systems: Proc./10th International Conference 
on Software Reuse, ICSR 2008. Beijing, China, 
May 2008/Ed. by  H.Mei.-Berlin, Heidelberg: 
Springer, 2008.-Vol. 5030.-402 p.-(Lecture 
Notes in Computer Science).
 
 23. Integration of AI and OR Techniques in 
Constraint Programming for Combinatorial 
Optimization Problems: Proc./5th 
International Conference, CPAIOR 2008. Paris, 
France, May 2008/Ed. by  L.Perron, M.A.Trick.
-Berlin, Heidelberg: Springer, 2008.-Vol. 5015.
-394 p.-(Lecture Notes in Computer Science).
 
 24. Advances in Grid and Pervasive 
Computing: Proc./Third International 
Conference, GPC 2008. Kunming, China, May 2008
/Ed. by  S.Wu, L.T.Yang, T.L.Xu.-Berlin, 
Heidelberg: Springer, 2008.-Vol. 5036.-518 p.
-(Lecture Notes in Computer Science).
 
 25. FM 2008: Formal Methods: Proc./15th 
International Symposium on Formal Methods. 
Turku, Finland, May 2008/Ed. by  J.Cuellar, 
T.Maibaum, K.Sere.-Berlin, Heidelberg: 
Springer, 2008.-Vol. 5014.-436 p.-(Lecture 
Notes in Computer Science).
 
 26. Experimental Algorithms: Proc./7th 
International Workshop, WEA 2008. 
Provincetown, MA, USA, May/June 2008/Ed. by  
C.C.Mcgeoch.-Berlin, Heidelberg: Springer, 
2008.-Vol. 5038.-363 p.-(Lecture Notes in 
Computer Science).
 
 27. Pervasive Computing: Proc./6th 
International Conference, Pervasive 2008. 
Sydney, Australia, May 2008/Ed. by  
J.Indulska, D.J.Patterson, T.Rodden, M.Ott.
-Berlin, Heidelberg: Springer, 2008.-Vol. 5013.
-315 p.-(Lecture Notes in Computer Science).
 
 28. Information Security Theory and 
Practices: Smart Devices, Convergence and 
Next Generation Networks: Proc./Second IFIP 
WG 11.2 International Workshop, WISTP 2008. 
Seville, Spain, May 2008/Ed. by  J.A.Onieva, 
D.Sauveron, S.Chaumette, D.Gollmann.-Berlin, 
Heidelberg: Springer, 2008.-Vol. 5019.-151 p.
-(Lecture Notes in Computer Science).
 
 29. Job Scheduling Strategies for Parallel 
Processing: Revised Papers/13th International 
Workshop, JSSPP 2007. Seattle, WA, USA, June 
2007/Ed. by  E.Frachtenberg, U.Schwiegelshohn.
-Berlin, Heidelberg: Springer, 2008.-Vol. 4942.
-189 p.-(Lecture Notes in Computer Science).
 
 30. Web Services and Formal Methods: 
Proc./4th International Workshop, WS-FM 2007. 
Brisbane, Australia, September 2007/Ed. by  
M.Dumas, R.Heckel.-Berlin, Heidelberg: 
Springer, 2008.-Vol. 4937.-169 p.-(Lecture 
Notes in Computer Science).
 
 31. Service-Oriented Computing: Agents, 
Semantics, and Engineering: Proc./AAMAS 2008 
International Workshop, SOCASE 2008. Estoril, 
Portugal, May 2008/Ed. by  R.Kowalczyk, 
M.Huhns, M.Klusch, Z.Maamar.-Berlin, 
Heidelberg: Springer, 2008.-Vol. 5006.-149 p.
-(Lecture Notes in Computer Science).
 
 32. Tests and Proofs: Proc./Second 
International Conference, TAP 2008. Prato, 
Italy, April 2008/Ed. by  B.Beckert, R.Haehnle.
-Berlin, Heidelberg: Springer, 2008.-Vol. 4966.
-193 p.-(Lecture Notes in Computer Science).
 
 33. OpenMP in a New Era of Parallelism: 
Proc./4th International Workshop, IWOMP 2008. 
West Lafayette, IN, USA, May 2008/Ed. by  
R.Eigenmann, Supinski B.R.De.-Berlin, 
Heidelberg: Springer, 2008.-Vol. 5004.-191 p.
-(Lecture Notes in Computer Science).
 
 34. Service Availability: Proc./5th 
International Service Availability Symposium, 
ISAS 2008. Tokyo, Japan, May 2008/Ed. by  
T.Nanya, F.Maruyama, A.Pataricza, M.Malek.
-Berlin, Heidelberg: Springer, 2008.-Vol. 5017.
-225 p.-(Lecture Notes in Computer Science).
 
 35. Parameterized and Exact Computation: 
Proc./Third International Workshop, IWPEC 
2008. Victoria, Canada, May 2008/Ed. by  
M.Grohe, R.Niedermeier.-Berlin, Heidelberg: 
Springer, 2008.-Vol. 5018.-225 p.-(Lecture 
Notes in Computer Science).
 
 36. Arabic and Chinese Handwriting 
Recognition: Selected Papers/SACH 2006 
Summit. College Park, MD, USA, September 2006/
Ed. by  D.Doermann, S.Jaeger.-Berlin, 
Heidelberg: Springer, 2008.-Vol. 4768.-279 p.
-(Lecture Notes in Computer Science).
 
 37. Agent-Oriented Software Engineering 
VIII: Revised Selected Papers/8th 
International Workshop, AOSE 2007. Honolulu, 
HI, USA, May 2007/Ed. by  M.Luck, L.Padgham.
-Berlin, Heidelberg: Springer, 2008.-Vol. 4951.
-225 p.-(Lecture Notes in Computer Science).
 
 38. Computational Intelligence: Research 
Frontiers: Plenary/Invited Papers/IEEE World 
Congress on Computational Intelligence, WCCI 
2008. Hong Kong, China, June 2008/Ed. by  
J.M.Zurada, G.G.Yen, J.Wang.-Berlin, 
Heidelberg: Springer, 2008.-Vol. 5050.-389 p.
-(Lecture Notes in Computer Science).
 
 39. Modeling Communication with Robots and 
Virtual Humans: Revised Selected Papers/2nd 
ZiF Research Group Intl WS on Embodied 
Communication in Humans and Machines. 
Bielefeld, Germany, April 2006/Ed. by  
I.Wachsmuth, G.Knoblich.-Berlin, Heidelberg: 
Springer, 2008.-Vol. 4930.-337 p.-(Lecture 
Notes in Computer Science).
 
 40. Passive and Active Network Management: 
Proc./9th International Conference, PAM 2008. 
Cleveland, OH, USA, April 2008/Ed. by  
M.Claypool, S.Uhlig.-Berlin, Heidelberg: 
Springer, 2008.-Vol. 4979.-233 p.-(Lecture 
Notes in Computer Science).
 
 41. Virtual Systems and Multimedia: Revised 
Selected Papers/13th International 
Conference, VSMM 2007. Brisbane, Australia, 
September 2007/Ed. by  Th.G.Wyeld, 
S.Kenderdine, M.Docherty.-Berlin, Heidelberg: 
Springer, 2008.-Vol. 4820.-215 p.-(Lecture 
Notes in Computer Science).
 
 42. Algorithmic Game Theory: Proc./First 
International Symposium, SAGT 2008. 
Paderborn, Germany, April/May 2008/Ed. by  
B.Monien, U.-P.Schroeder.-Berlin, Heidelberg: 
Springer, 2008.-Vol. 4997.-363 p.-(Lecture 
Notes in Computer Science).
 
 43. Relations and Kleene Algebra in Computer 
Sciece: Proc./10th Intl Conf on Relational 
Methods in CS & 5th Intl Conf on Applications 
of Kleene Algebra, RelMiCS/AKA 2008. 
Frauenwoerth, Germany, April 2008/Ed. by  
R.Berghammer, B.Moeller, G.Struth.-Berlin, 
Heidelberg: Springer, 2008.-Vol. 4988.-397 p.
-(Lecture Notes in Computer Science).
 
 44. Functional and Logic Programing: 
Proc./9th International Symposium, FLOPS 
2008. Ise, Japan, April 2008/Ed. by  
J.Garrigue, M.Hermenegildo.-Berlin, Heidelberg:
 Springer, 2008.-Vol. 4989.-337 p.-(Lecture 
Notes in Computer Science).
 
 45. Theory and Applications of 
Satisfiability Testing - SAT 2008: Proc./11th 
International Conference. Guangzhou, China, 
May 2008/Ed. by  Buenig H.Kleine, X.Zhao.
-Berlin, Heidelberg: Springer, 2008.-Vol. 4996.
-305 p.-(Lecture Notes in Computer Science).
 
 46. Wireless Sensor Networks: Proc./5th 
European Conference, EWSN 2008. Bologna, 
Italy, January/February 2008/Ed. by  R.Verdone.
-Berlin, Heidelberg: Springer, 2008.-Vol. 4913.
-388 p.-(Lecture Notes in Computer Science).
 
 47. Information Security Practice and 
Experience: Proc./4th International 
Conference, ISPEC 2008. Sydney, Australia, 
April 2008/Ed. by  L.Chen, Y.Mu, W.Susilo.
-Berlin, Heidelberg: Springer, 2008.-Vol. 4991.
-420 p.-(Lecture Notes in Computer Science).
 
 48. Artificial Evolution: Revised Selected 
Papers/8th International Conference, 
Evolution Artificielle, EA 2007. Tours, 
France, October 2007/Ed. by  N.Monmarche, 
Talbi E.-G., P.Collet, M.Schoenauer.-Berlin, 
Heidelberg: Springer, 2008.-Vol. 4926.-330 p.
-(Lecture Notes in Computer Science).
 
 49. Graph Drawing: Revised Papers/15th 
Internaional Symposium, GD 2007. Sydney, 
Australia, September 2007/Ed. by  S.-H.Hong, 
T.Nishizeki, W.Quan.-Berlin, Heidelberg: 
Springer, 2008.-Vol. 4875.-402 p.-(Lecture 
Notes in Computer Science).
 
 50. Making Globally Distributed Software 
Development a Success Story: 
Proc./International Conference on Software 
Process, ICSP 2008. Leipzig, Germany, May 2008
/Ed. by  Q.Wang, D.Pfahl, D.M.Raffo.-Berlin, 
Heidelberg: Springer, 2008.-Vol. 5007.-422 p.
-(Lecture Notes in Computer Science).
 
 51. Financial Cryptography and Data 
Security: Revised Selected Papers/11th 
International Conference, FC 2007, and 1st 
International Workshop on Usable Security, 
USEC 2007. Scarborough, Trinidad e Tobago, 
February 2007/Ed. by  S.Dietrich, R.Dhamija.
-Berlin, Heidelberg: Springer, 2008.-Vol. 4886.
-390 p.-(Lecture Notes in Computer Science).
 
 52. Advances in Computer Science - ASIAN 
2006: Secure Software and Related Issues: 
Revised Selected Papers/11th Asian Computing 
Science Conference. Tokyo, Japan, December 
2006/Ed. by  M.Okada, I.Satoh.-Berlin, 
Heidelberg: Springer, 2008.-Vol. 4435.-361 p.
-(Lecture Notes in Computer Science).

 53. Foundations of Information and Knowledge 
Systems: Proc./5th International Symposium, 
FolKS 2008. Pisa, Italy, February 2008/Ed. by 
S.Hartmann, G.Kern-Isberner.-Berlin, 
Heidelberg: Springer, 2008.-Vol. 4932.-397 p.
-(Lecture Notes in Computer Science).
 
 54. Practice and Theory of Automated 
Timetabling VI: Revised Selected Papers/6th 
International Conference, PATAT 2006. Brno, 
Czech Republic, August/September 2006/Ed. by  
E.K.Burke, H.Rudova.-Berlin, Heidelberg: 
Springer, 2008.-Vol. 3867.-413 p.-(Lecture 
Notes in Computer Science).
 
 55. Practical Aspects of Declarative 
Languages: Proc./10th International 
Symposium, PADL 2008. San Francisco, CA, USA, 
January 2008/Ed. by  P.Hudak, D.S.Warren.
-Berlin, Heidelberg: Springer, 2008.-Vol. 4902.
-333 p.-(Lecture Notes in Computer Science).
 
 56. Formal Methods for Components and 
Objects: Revised Lectures/5th International 
Symposium, FMCO 2006. Amsterdam, The 
Netherlands, November 2006/Ed. by  Boer 
F.S.De, M.M.Bonsangue, S.Graf, Roever W.-P.De.
-Berlin, Heidelberg: Springer, 2008.-Vol. 4709.
-297 p.-(Lecture Notes in Computer Science).
 
 57. Large-Scale Scientific Computing: 
Revised Papers/6th International Conference, 
LSSC 2007. Sozopol, Bulgaria, June 2007/Ed. 
by  I.Lirkov, S.Margenov, J.Wasniewski.
-Berlin, Heidelberg: Springer, 2008.-Vol. 4818.
-755 p.-(Lecture Notes in Computer Science).
 
 58. Advances in Multimedia Modeling: 
Proc./14th International Multimedia Modeling 
Conference, MMM 2008. Kyoto, Japan, January 
2008/Ed. by  Sh.Satoh, F.Nack, M.Etoh.
-Berlin, Heidelberg: Springer, 2008.-Vol. 4903.
-510 p.-(Lecture Notes in Computer Science).
 
 59. Computer Vision Systems: Proc./6th 
International Conference, ICVS 2008. 
Santorini, Greece, May 2008/Ed. by  
A.Gasteratos, M.Vincze, J.K.Tsotsos
.-Berlin, 
Heidelberg: Springer, 2008.-Vol. 5008.-560 p.
-(Lecture Notes in Computer Science).
 
 60. NETWORKING 2008: Ad Hoc and Sensor 
Networks, Wireless Networks, Next Generation 
Internet: Proc./7th International IFIP-TC6 
Networking Conference. Singapore, May 2008/
Ed. by  A.Das, H.K.Pung, F.B.S.Lee, 
L.W.Ch.Wong.-Berlin, Heidelberg: Springer, 
2008.-Vol. 4982.-945 p.-(Lecture Notes in 
Computer Science).
 
 61. Computer Science - Theory and 
Applications: Proc./Third International 
Computer Science Symposium in Russia, CSR 
2008. Moscow, Russia, June 2008/Ed. by  
E.A.Hirsch, A.A.Razborov, A.Semenov, 
A.Slissenko.-Berlin, Heidelberg: Springer, 
2008.-Vol. 5010.-411 p.-(Lecture Notes in 
Computer Science).
 
 62. Advances in Cryptology - EUROCRYPT 2008: 
Proc./27th Annual International Conference on 
the Theory and Applications of Cryptographic 
Techniques. Istanbul, Turkey, April 2008/Ed. 
by  N.Smart.-Berlin, Heidelberg: Springer, 
2008.-Vol. 4965.-564 p.-(Lecture Notes in 
Computer Science).
 
 63. Hybrid Systems: Computation and Control: 
Proc./11th International Workshop, HSCC 2008. 
St.Louis, MO, USA, April 2008/Ed. by  
M.Egerstedt, B.Mishra.-Berlin, Heidelberg: 
Springer, 2008.-Vol. 4981.-680 p.-(Lecture 
Notes in Computer Science).
 
 64. Advances in Multimedia Information 
Processing - PCM 2007: Proc./8th Pacific Rim 
Conference on Multimedia. Hong Kong, China, 
December 2007/Ed. by  H.H.-S.Ip, O.C.Au, 
H.Leung, M.-T.S.-Berlin, Heidelberg: Springer,
 2008.-Vol. 4810.-834 p.-(Lecture Notes in 
Computer Science).
 
 65. Distributed Computing and Networking: 
Proc./9th International Conference, ICDCN 
2008. Kolkatta, India, January 2008/Ed. by  
Sh.Rao, M.Chatterjee, P.Jayanti, Murty C.S.Ram.
-Berlin, Heidelberg: Springer, 2008.-Vol. 4904.
-588 p.-(Lecture Notes in Computer Science).
 
 66. Algorithmic Number Theory: Proc./8th 
International Symposium, ANTS-VIII. Banff, 
Canada, May 2008/Ed. by  Van Der Poorten 
A.J., A.Stein.-Berlin, Heidelberg: Springer, 
2008.-Vol. 5011.-455 p.-(Lecture Notes in 
Computer Science).
 
 67. Bioinformatics Research and 
Applications: Proc./Fourth International 
Symposium, ISBRA 2008. Atlanta, GA, USA, May 
2008/Ed. by  I.Mandoiu, R.Sunderraman, 
A.Zelikovsky.-Berlin, Heidelberg: Springer, 
2008.-Vol. 4983.-510 p.-(Lecture Notes in 
Bioinformatics).
 
 68. Argumentation in Multi-Agent Systems: 
Revised Selected and Invited Papers/4th 
International Workshop, ArgMAS 2007. 
Honolulu, HI, USA, May 2007/Ed. by  I.Rahwan, 
S.Parsons, Ch.Reed.-Berlin, Heidelberg: 
Springer, 2008.-Vol. 4946.-235 p.-(Lecture 
Notes in Artificial Intelligence).
 
 69. Programming Multi-Agent Systems: Revised 
and Invited Papers/5th International 
Workshop, ProMAS 2007. Honolulu, HI, USA, May 
2007/Ed. by  M.Dastani, A.F.Seghrouchni, 
A.Ricci, M.Winikoff.-Berlin, Heidelberg: 
Springer, 2008.-Vol. 4908.-267 p.-(Lecture 
Notes in Artificial Intelligence).
 
 70. Concept Lattices and Their Applications: 
Selected Papers/Fourth International 
Conference, CLA 2006. Tunis, Tunisia, 
October/November 2006/Ed. by  Yahia S.Ben, 
E.M.Nguifo, R.Belohlavek.-Berlin, Heidelberg: 
Springer, 2008.-Vol. 4923.-283 p.-(Lecture 
Notes in Artificial Intelligence).
 
 71. Coordination, Organizations, 
Institutions, and Norms in Agent Systems III: 
Revised Selected Papers/COIN 2007 IWs. 
Honolulu, USA, May 2007 & Durham, UK, 
September 2007/Ed. by  Sichman J.Simao, 
J.Padget, A.Ossowski, P.Noriega.-Berlin, 
Heidelberg: Springer, 2008.-Vol. 4870.-331 p.
-(Lecture Notes in Artificial Intelligence).
 
 72. Advances in Artificial Intelligence: 
Proc./21st Conference of the Canadian Society 
for Computational Studies of Intelligence, 
Canadian AI 2008. Windsor, Canada, May 2008/
Ed. by  S.Bergler.-Berlin, Heidelberg: 
Springer, 2008.-Vol. 5032.-382 p.-(Lecture 
Notes in Artificial Intelligence).
 
 73. Foundations of Intelligent Systems: 
Proc./17th International Symposium, ISMIS 
2008. Toronto, Canada, May 2008/Ed. by  A.An, 
S.Matwin, Z.W.Ras, D.Slezak.-Berlin, 
Heidelberg: Springer, 2008.-Vol. 4994.-653 p.
-(Lecture Notes in Artificial Intelligence).
 
 74. Rough Sets and Knowledge Technology: 
Proc./Third International Conference, RSKT 
2008. Chengdu, China, May 2008/Ed. by  
G.Wang, T.Li, J.W.Grzymala-Busse, D.Miao.
-Berlin, Heidelberg: Springer, 2008.-Vol. 5009.
-765 p.-(Lecture Notes in Artificial 
Intelligence).
 
 75. Advances in Knowledge Discovery and Data 
Mining: Proc./12th Pacific-Asia Conference, 
PAKDD 2008. Osaka, Japan, May 2008/Ed. by  
T.Washio, E.Suzuki, K.M.Ting, A.Inokuchi.
-Berlin, Heidelberg: Springer, 2008.-Vol. 5012.
-1102 p.-(Lecture Notes in Artificial 
Intelligence).
 
 76. Transactions on Computational Science I/
Ed. by  M.L.Gavrilova, Tan C.J.Kenneth.
-Berlin, Heidelberg: Springer, 2008.-Vol. 4750.
-181 p.-(Lecture Notes in Computer Science).
 
 77. Левин Д., Малюх В., Ушаков Д. 
Энциклопедия PLM.- Новосибирск: Издательский 
дом "Азия", 2008.- 445 с.
 
 78. Докукин А.А. Синтез полиномов над 
экстремальными алгоритмами вычисления оценок: 
Автореф. дисc. канд. ф.-м. наук: 01.01.09.
-Москва, 2008.-19 с.-Библиогр.: c.18-19.
 
 79. Гончар Д.Р. Методы планирования 
вычислений в САПР систем реального времени: 
Автореф. дис... канд. техн. наук: 05.13.11.
-Москва, 2008.-24 с.-Библиогр.: c.22-24.
 
 80. Матвеев П.П. Принципы и решения по 
совершенствованию эффективности 
функционирования операционных систем и 
приложений микропроцессорных карт: Автореф. 
дис... канд. техн. наук: 05.13.11.-Москва, 
2008.-19 с.-Библиогр.: c.19.
 
 81. Скворцов Е.С. Об эффективных алгоритмах 
для задачи CSP и их программной реализации: 
Автореф. дис... канд. ф.-м. наук: 05.13.18.
-Екатеринбург, 2008.-21 с.-Библиогр.: c.18-21.
 
 82. Лукичев А.Н. Денотативно-объектная 
модель вычислений для встроенных систем: 
Автореф. дис... канд. техн. наук: 05.13.12.
-Санкт-Петербург, 2008.-16 с.-Библиогр.: c.16.
 
 83. Матвеев В.И. Модели оценки стоимости 
опционов на программные системы и 
формирования оптимальных портфелей заказов: 
Автореф. дис... канд. экон. наук: 08.00.13.
-Санкт-Петербург, 2008.-17 с.-Библиогр.: c.17.
 
 84. Флерова А.Ю. Исследование гипотезы 
Коуза: Автореф. дис... канд. ф.-м. наук: 
05.13.18.-М., 2008.-24 с.-Библиогр.: c.22-24.
 
 85. Березкин В.Е. Методы аппроксимации 
границы парето в нелинейных задачах 
многокритериальной оптимизации: Автореф. 
дис... канд. ф.-м. наук: 05.13.18.-М., 2008.
-20 с.-Библиогр.: c.18-20.
 
 86. Эдиев Д.М. Теория и приложения 
демографических потенциалов: Автореф. дис... 
докт. ф.-м. наук: 05.13.18.-М., 2008.-36 с.
-Библиогр.: c.33-36.
 
 87. Методы и инструменты конструирования 
программ/ИСИ СО РАН; Ред. В.Н.Касьянов.
-Новосибирск, 2007.-253 с.



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