Hовые поступления с 9 сентября по 2 октября 2008 года
1. Changing Television Environments: Proc./6th European
Conference, EuroITV 2008. Salzburg, Austria, July 2008/Ed. by
M.Tscheligi, M.Obrist, A.Lugmayr.-Berlin, Heidelberg: Springer,
2008.-Vol. 5066.-324 p.-(Lecture Notes in Computer Science).
2. Rewriting Techniques and Applications: Proc./19th
International Conference, RTA 2008. Hagenberg, Austria, July 2008/
Ed. by A.Voronkov.-Berlin, Heidelberg: Springer, 2008.-Vol. 5117.
-457 p.-(Lecture Notes in Computer Science).
3. Mathematics of Program Construction: Proc./9th International
Conference, MPC 2008. Marseille, France, July 2008/Ed. by
Ph.Audebaud, Ch.Paulin-Mohring.-Berlin, Heidelberg: Springer, 2008.
-Vol. 5133.-423 p.-(Lecture Notes in Computer Science).
4. Embedded Computer Systems: Architectures, Modeling, and
Simulation: Proc./8th International Workshop, SAMOS 2008. Samos,
Greece, July 2008/Ed. by M.Berekovic, N.Dimopoulos, S.Wong.
-Berlin, Heidelberg: Springer, 2008.-Vol. 5114.-300 p.-(Lecture
Notes in Computer Science).
5. Natural Image and Information Systems: Proc./13th
International Conference on Applications of Natural Language to
Information Systems, NLDB 2008. London, UK, June 2008/Ed. by
E.Kapetanios, V.Sugumaran, M.Spiliopoulou.-Berlin, Heidelberg:
Springer, 2008.-Vol. 5039.-386 p.-(Lecture Notes in Computer
Science).
6. Medical Imaging and Informatics: Revised Selected Papers/2nd
International Conference, MIMI 2007. Beijing, China, August 2007/
Ed. by X.Gao, H.Mueller, M.Loomes, R.Comley.-Berlin, Heidelberg:
Springer, 2008.-Vol. 4987.-388 p.-(Lecture Notes in Computer
Science).
7. Intelligent Tutoring Systems: Proc./9th International
Conference, ITS 2008. Montreal, Canada, June 2008/Ed. by
B.P.Woolf, E.Aimeur, R.Nkambou, S.Lajoie.-Berlin, Heidelberg:
Springer, 2008.-Vol. 5091.-832 p.-(Lecture Notes in Computer
Science).
8. Technologies for E-Learning and Digital Entertainment:
Proc./Third International Conference, Edutainment 2008. Nanjing,
China, June 2008/Ed. by Zh.Pan, X.Zhang, Rhalibi A.El, W.Woo.
-Berlin, Heidelberg: Springer, 2008.-Vol. 5093.-791 p.-(Lecture
Notes in Computer Science).
9. Information Theoretic Security: Proc./Third International
Conference, ICITS 2008. Calgary, Canada, August 2008/Ed. by
R.Safavi-Naini.-Berlin, Heidelberg: Springer, 2008.-Vol. 5155.
-249 p.-(Lecture Notes in Computer Science).
10. Privacy Enhancing Technologies: Proc./8th International
Symposium, PETS 2008. Leuven, Belgium, July 2008/Ed. by
N.Borisov, I.Goldberg.-Berlin, Heidelberg: Springer, 2008.-Vol.
5134.-237 p.-(Lecture Notes in Computer Science).
11. Model-Driven Development of Reliable Automotive Services:
Revised Selected Papers/Second Automotive Software Workshop,
ASWSD 2006. San Diego, CA, USA, March 2006/Ed. by M.Broy,
I.H.Krueger, M.Meisinger.-Berlin, Heidelberg: Springer, 2008.
-Vol. 4922.-183 p.-(Lecture Notes in Computer Science).
12. Semantic Web, Ontologies, and Databases: Revised Selected
Papers/VLDB Workshop, SWDB-ODBIS 2007. Vienna, Austria, September
2007/Ed. by V.Christophides, M.Collard, C.Gutierrez.-Berlin,
Heidelberg: Springer, 2008.-Vol. 5005.-153 p.-(Lecture Notes in
Computer Science).
13. Theorem Proving in Higher Order Logics: Proc./21st
International Conference, TPHOLs 2008. Montreal, Canada, August
2008/Ed. by Ait Mohammed O., C.Munoz, S.Tahar.-Berlin, Heidelberg:
Springer, 2008.-Vol. 5170.-321 p.-(Lecture Notes in Computer
Science).
14. Balancing Agility and Formalism in Software Engineering:
Revised Selected Papers/Second IFIP TC 2 Central and East
European Conference on Software Engineering Techniques, CEE-SET
2007. Poznan, Poland, October 2007/Ed. by B.Meyer, J.R.Nawrocki,
B.Walter.-Berlin, Heidelberg: Springer, 2008.-Vol. 5082.-305 p.
-(Lecture Notes in Computer Science).
15. Financial Cryptography and Data Security: Revised Selected
Papers/12th International Conference, FC 2008. Cozumel, Mexico,
January 2008/Ed. by G.Tsudik.-Berlin, Heidelberg: Springer, 2008.
-Vol. 5143.-326 p.-(Lecture Notes in Computer Science).
16. Scientific and Statistical Database Management: Proc./20th
International Conference, SSDBM 2008. Hong Kong, China, July 2008/
Ed. by B.Ludaescher, N.Mamoulis.-Berlin, Heidelberg: Springer,
2008.-Vol. 5069.-620 p.-(Lecture Notes in Computer Science).
17. Algebraic Methodology and Software Technology: Proc./12th
International Conference, AMAST 2008. Urbana, IL, USA, July 2008/
Ed. by J.Meseguer, G.Rosu.-Berlin, Heidelberg: Springer, 2008.
-Vol. 5140.-432 p.-(Lecture Notes in Computer Science).
18. Sippl Ch.J. Computer Dictionary.- New York: Harward W. Sams
& Co., Inc., 1966.- 336 p.
19. Пумпянский А.Л. Введение в практику перевода научной и
технической литературы на английский язык.- М.: Наука, 1981.- 344
с.
20. Ильиш Б.А. История английского языка.- М.: Высш. шк., 1968.-
419 с.
21. Ахманова О.С. Словарь линвистических терминов.- М.:
Советская энциклопедия, 1966.- 606 с.
22. Гиляревский Р.С., Старостин Б.А. Иностранные имена и
названия в русском тексте. Справочник. - 3 изд.- М.: Высш. шк.,
1985.- 302 с.
23. Французско-русский математический словарь/Ред. Н.Х.Розов. .-
М.: Советская энциклопедия, 1970.- 303 с.
24. Вирт Н. Алгоритмы и структуры данных/Пер. Д.Б.Подшивалов.- М.:
Мир, 1989.- 360 с.
25. Ливий Т. История Рима от основания города/Пер. Е.С.Голубцова.
- М.: Наука, 1993.- 768 с.-(Памятники исторической мысли; Т. 3).
26. Ливий Т. История Рима от основания города/Пер. Е.С.Голубцова.
- М.: Наука, 1991.- 526 с.; Т. 2.
27. Optical Supercomputing: Proc./First International Workshop,
OSC 2008. Vienna, Austria, August 2008/Ed. by Sh.Dolev, T.Haist,
M.Oltean.-Berlin, Heidelberg: Springer, 2008.-Vol. 5172.-129 p.
-(Lecture Notes in Computer Science).
28. Grid Economics and Business Models: Proc./5th International
Workshop, GECON 2008. Las Palmas de Gran Canaria, Spain, August
2008/Ed. by J.Altmann, D.Neumann, Th.Fahringer.-Berlin,
Heidelberg: Springer, 2008.-Vol. 5206.-235 p.-(Lecture Notes in
Computer Science).
29. Secure Data Management: Proc./5th VLDB Workshop, SDM 2008.
Auckland, New Zealand, August 2008/Ed. by W.Jonker, M.Petkovic.
-Berlin, Heidelberg: Springer, 2008.-Vol. 5159.-229 p.-(Lecture
Notes in Computer Science).
30. Trusted Computing - Challenges and Applications: Proc./1-st
Intl Conf. TRUST 2008. Villach, Austria, March 2008/Ed. by
P.Lipp, A.-R.Sadeghi, K.-M.Koch.-Berlin, Heidelberg: Springer,
2008.-Vol. 4968.-191 p.-(Lecture Notes in Computer Science).
31. Unconventional Computation: Proc./7th International
Conference, UC 2008. Vienna, Austria, August 2008/Ed. by
Ch.S.Salude, J.F.Costa, R.Freund, M.Oswald.-Berlin, Heidelberg:
Springer, 2008.-Vol. 5204.-259 p.-(Lecture Notes in Computer
Science).
32. Computational Forensics: Proc./Second International
Workshop, IWCF 2008. Washington, DC, USA, August 2008/Ed. by
S.N.Srihari, K.Franke.-Berlin, Heidelberg: Springer, 2008.-Vol.
5158.-229 p.-(Lecture Notes in Computer Science).
33. Machine Learning for Multimodal Interaction: Proc./5th
International Workshop, MLMI 2008. Utrecht, The Netherlands,
September 2008/Ed. by A.Popescu-Belis, R.Stiefelhagen.-Berlin,
Heidelberg: Springer, 2008.-Vol. 5237.-364 p.-(Lecture Notes in
Computer Science).
34. Reliable Implementation of Real Number Algorithms: Theory
and Practice: Revised Papers/International Seminar. Dagstuhl
Castle, Germany, January 2006/Ed. by P.Hertling, Ch.M.Hoffmann,
W.Luther, N.Revol.-Berlin, Heidelberg: Springer, 2008.-Vol. 5045.
-239 p.-(Lecture Notes in Computer Science).
35. Recent Advances in Parallel Virtual Machine and Message
Passing Interface: Proc./15th European PVM/MPI Users' Group
Meeting. Dublin, Ireland, September 2008/Ed. by A.Lastovetsky,
T.Kechadi, J.Dongarra.-Berlin, Heidelberg: Springer, 2008.-Vol.
5205.-342 p.-(Lecture Notes in Computer Science).
36. Visual Information Systems: Web-Based Visual Information
Search and Management: Proc./10th International Conference,
VISUAL 2008. Salerno, Italy, September 2008/Ed. by M.Sebillo,
G.Vitiello, G.Schaefer.-Berlin, Heidelberg: Springer, 2008.-Vol.
5188.-340 p.-(Lecture Notes in Computer Science).
37. Principles and Practice of Constraint Programming:
Proc./14th International Conference, CP 2008. Sydney, Australia,
September 2008/Ed. by P.J.Stuckey.-Berlin, Heidelberg: Springer,
2008.-Vol. 5202.-648 p.-(Lecture Notes in Computer Science).
38. Security and Cryptography for Networks: Proc./6th
International Conference, SCN 2008. Amalfi, Italy, September 2008/
Ed. by R.Ostrovsky, Prisco R.De, I.Visconti.-Berlin, Heidelberg:
Springer, 2008.-Vol. 5229.-423 p.-(Lecture Notes in Computer
Science).
39. Electronic Government: Proc./7th International Conference,
EGOV 2008. Turin, Italy, August/September 2008/Ed. by
M.A.Wimmer, H.J.Scholl, E.Ferro.-Berlin, Heidelberg: Springer,
2008.-Vol. 5184.-390 p.-(Lecture Notes in Computer Science).
40. Focused Access to XML Documents: Revised and Selected
Papers/6th Intl WS of the Initiative for the Evaluation of XML
Retrieval, INEX 2007. Dagstuhl Castle, Germany, December 2007/Ed.
by N.Fuhr, J.Kamps, M.Lalmas, A.Trotman.-Berlin, Heidelberg:
Springer, 2008.-Vol. 4862.-456 p.-(Lecture Notes in Computer
Science).
41. Web Information Systems Engineering - WISE 2008: Proc./9th
International Conference. Auckland, New Zealand, September 2008/
Ed. by J.Bailey, D.Maier, K.-D.Schewe, B.Thalheim.-Berlin,
Heidelberg: Springer, 2008.-Vol. 5175.-460 p.-(Lecture Notes in
Computer Science).
42. Euro-Par 2008: Parallel Processing: Proc./14th International
Conference. Las Palmas de Gran Canaria, Spain, August 2008/Ed. by
E.Lugue, Th.Margalef, D.Benitez.-Berlin, Heidelberg: Springer,
2008.-Vol. 5168.-964 p.-(Lecture Notes in Computer Science).
43. Combinatorial Optimization and Applications: Proc./Second
International Conference, COCOA 2008. St.John's, NL, Canada,
August 2008/Ed. by B.Yang, D.-Zh.Du, Wang C.An.-Berlin,
Heidelberg: Springer, 2008.-Vol. 5165.-480 p.-(Lecture Notes in
Computer Science).
44. Approximation, Randomization and Combinatorial Optimization:
Algorithms and Technologies: Proc./11th Intl WS APPROX 2008 &
12th Intl WS RANDOM 2008. Boston, MA, USA, August 2008/Ed. by
A.Goel, K.Jansen, J.D.P.Rolim, R.Rubinfeld.-Berlin, Heidelberg:
Springer, 2008.-Vol. 5171.-604 p.-(Lecture Notes in Computer
Science).
45. Computers Helping People WIth Special Needs: Proc./11th
International Conference, ICCHP 2008. Linz, Austria, July 2008/
Ed. by K.Miesenberger, J.Klaus, W.Zagler, A.Karshmer.-Berlin,
Heidelberg: Springer, 2008.-Vol. 5105.-1350 p.-(Lecture Notes in
Computer Science).
46. Advances in Cryptology - CRYPTO 2008: Proc./28th Annual
International Cryptology Conference. Santa Barbara, CA, USA,
August 2008/Ed. by D.Wagner.-Berlin, Heidelberg: Springer, 2008.
-Vol. 5157.-594 p.-(Lecture Notes in Computer Science).
47. Advances in Web Based Learning - ICWL 2008: Proc./7th
International Conference. Jinhua, China, August 2008/Ed. by
F.Li, J.Zhao, T.K.Shih, R.Lau.-Berlin, Heidelberg: Springer, 2008.
-Vol. 5145.-554 p.-(Lecture Notes in Computer Science).
48. Advanced Intelligent Computing Theories and Applications:
With Aspects of Theoretical and Methodological Issues: Proc./4th
Intl Conf.ICIC 2008. Shanghai, China, September 2008/Ed. by
D.-S.Huang, Ii D.C.Wunsch.-Berlin, Heidelberg: Springer, 2008.
-Vol. 5226.-1273 p.-(Lecture Notes in Computer Science).
49. Cellular Automata: Proc./8th International Conference on CA
for Research and Industry, ACRI 2008. Yokohama, Japan, September
2008/Ed. by H.Umeo, Sh.Morishita, K.Nishinari, T.Komatsuzaki.
-Berlin, Heidelberg: Springer, 2008.-Vol. 5191.-577 p.-(Lecture
Notes in Computer Science).
50. Graph Transformations: Proc./4th International Conference,
ICGT 2008. Leicester, UK, September 2008/Ed. by H.Ehrig,
R.Heckel, G.Rozenberg, G.Taentzer.-Berlin, Heidelberg: Springer,
2008.-Vol. 5214.-523 p.-(Lecture Notes in Computer Science).
51. CONCUR 2008 - Concurrency Theory: Proc./19th International
Conference, CONCUR 2008. Toronto, Canada, August 2008/Ed. by
Breugel F.Van, M.Chechik.-Berlin, Heidelberg: Springer, 2008.
-Vol. 5201.-524 p.-(Lecture Notes in Computer Science).
52. Medical Imaging and Augmented Reality: Proc./4th
International Workshop. Tokyo, Japan, August 2008/Ed. by T.Dohi,
I.Sakuma, H.Liao.-Berlin, Heidelberg: Springer, 2008.-Vol. 5128.
-441 p.-(Lecture Notes in Computer Science).
53. Computer Music Modeling and Retrieval: Revised Papers/4th
International Symposium, CMMR 2007. Copenhagen, Denmark, August
2007/Ed. by R.Kronland-Martinet, S.Ystad, K.Jensen.-Berlin,
Heidelberg: Springer, 2008.-Vol. 4969.-508 p.-(Lecture Notes in
Computer Science).
54. Hybrid Learning and Education: Proc./First International
Conference, ICHL 2008. Hong Kong, China, August 2008/J. H.Fong,
R.Kwan, F.L.Wang.-Berlin, Heidelberg: Springer, 2008.-Vol. 5169.
-474 p.-(Lecture Notes in Computer Science).
55. Recent Advances in Intrusion Detection: Proc./11th
International Symposium, RAID 2008. Cambridge, MA, USA, September
2008/Ed. by R.Lippmann, E.Kirda, A.Trachtenberg.-Berlin,
Heidelberg: Springer, 2008.-Vol. 5230.-424 p.-(Lecture Notes in
Computer Science).
56. Mathematical Foundations of Computer Science 2008:
Proc./33rd International Symposium, MFCS 2008. Torun, Poland,
August 2008/Ed. by E.Ochmanski, J.Tyszkiewicz.-Berlin, Heidelberg:
Springer, 2008.-Vol. 5162.-626 p.-(Lecture Notes in Computer
Science).
57. Information Visualization: Human-Centered Issues and
Perspectives/Ed. by A.Kerren, J.T.Stasko, J.-D.Fekete, Ch.North.
-Berlin, Heidelberg: Springer, 2008.-Vol. 4950.-177 p.-(Lecture
Notes in Computer Science).
58. GeoSensor Networks: Revised Selected and Invited
Papers/Second International Conference, GSN 2006. Boston, MA,
USA, October 2006/Ed. by S.Nittel, A.Labrinidis, A.Stefanidis.
-Berlin, Heidelberg: Springer, 2008.-Vol. 4540.-271 p.-(Lecture
Notes in Computer Science).
59. Architecting Dependable Systems V/Ed. by Lemos R.De,
Giandomenico F.Di, C.Gacek, H.Muccini.-Berlin, Heidelberg:
Springer, 2008.-Vol. 5135.-343 p.-(Lecture Notes in Computer
Science).
60. Verified Software: Theories, Tools, Experiments: Revised
Selected Papers and Discussions/1st IFIP TC 2/WG 2.3 Conference,
VSTTE 2005. Zurich, Switzerland, October 2005/Ed. by B.Meyer,
J.Woodcock.-Berlin, Heidelberg: Springer, 2008.-Vol. 4171.-546 p.
-(Lecture Notes in Computer Science).
61. Secure Transaction Protocol Analysis: Models and Applications
/Ed. by Q.Chen, Ch.Zhang, Sh.Zhang.-Berlin, Heidelberg: Springer,
2008.-Vol. 5111.-234 p.-(Lecture Notes in Computer Science).
62. Transactions on Rough Sets VIII/Ed. by J.F.Peters, A.Skowron.
-Berlin, Heidelberg: Springer, 2008.-Vol. 5084.-521 p.-(Lecture
Notes in Computer Science).
63. Advances in Mass Data Analysis of Images and Signals in
Medicine, Biotechnology, Chemistry and Food Industry: Proc./Third
International Conference, MDA 2008. Leipzig, Germany, July 2008/
Ed. by P.Perner, O.Salvetti.-Berlin, Heidelberg: Springer, 2008.
-Vol. 5108.-173 p.-(Lecture Notes in Artificial Intelligence).
64. Multi-Agent-Based Simulation VIII: Revised and Invited
Papers/International Workshop, MABS 2007. Honolulu, HI, USA, May
2007/Ed. by L.Antunes, M.Paolucci, E.Norling.-Berlin, Heidelberg:
Springer, 2008.-Vol. 5003.-141 p.-(Lecture Notes in Artificial
Intelligence).
65. Massively Multi-Agent Technology: Selected and Revised
Papers/AAMAS Workshops MMAS/LSMAS 2006 & CCMS 2007. Hakodate,
Japan, May 2006; Honolulu, HI, USA, May 2007/Ed. by N.Jamali,
P.Scerri, T.Sugawara.-Berlin, Heidelberg: Springer, 2008.-Vol.
5043.-191 p.-(Lecture Notes in Artificial Intelligence).
66. Scaling Topic Maps: Revised Selected Papers/Third
International Conference on Topic Maps Research and Applications,
TMRA 2007. Leipzig, Germany, October 2007/Ed. by L.Maicher,
L.M.Garshol.-Berlin, Heidelberg: Springer, 2008.-Vol. 4999.-253 p.
-(Lecture Notes in Artificial Intelligence).
67. Engineering Environment-Mediated Multi-Agent Systems:
Selected Revised and Invited Papers/International Workshop,
EEMMAS 2007. Dresden, Germany, October 2007/Ed. by D.Weyns,
S.A.Brueckner, Y.Demazeau.-Berlin, Heidelberg: Springer, 2008.
-Vol. 5049.-297 p.-(Lecture Notes in Artificial Intelligence).
68. Languages, Methodologies and Development Tools for
Multi-Agent Systems: Revised Selected and Invited Papers/First
International Workshop, LADS 2007. Durham, UK, September 2007/Ed.
by M.Dastani, Fallah Seghrouchni A.El, J.Leite, P.Torroni.
-Berlin, Heidelberg: Springer, 2008.-Vol. 5118.-279 p.-(Lecture
Notes in Artificial Intelligence).
69. Cooperative Information Agents XII: Proc./12th International
Workshop, CIA 2008. Prague, Czech Republic, September 2008/Ed. by
M.Klusch, M.Pechoucek, A.Polleres.-Berlin, Heidelberg: Springer,
2008.-Vol. 5180.-321 p.-(Lecture Notes in Artificial
Intelligence).
70. Advances in Natural Language Processing: Proc./6th
International Conference, GoTAL 2008. Gothenburg, Sweden, August
2008/Ed. by B.Nordstrom, A.Ranta.-Berlin, Heidelberg: Springer,
2008.-Vol. 5221.-512 p.-(Lecture Notes in Artificial
Intelligence).
71. Intelligent Computer Mathematics: Proc./9th Intl Conf AISC
2008/15th Symposium Calculemus 2008/7th Intl Conf MKM 2008.
Birmingham, UK, July/August 2008/Ed. by S.Autexier, J.Campbell,
J.Rubio, V.Sorge.-Berlin, Heidelberg: Springer, 2008.-Vol. 5144.
-600 p.-(Lecture Notes in Artificial Intelligence).
72. Automated Reasoning: Proc./4th International Joint
Conference, IJCAR 2008. Sydney, Australia, August 2008/Ed. by
A.Armando, P.Baumgartner, G.Dowek.-Berlin, Heidelberg: Springer,
2008.-Vol. 5195.-556 p.-(Lecture Notes in Artificial
Intelligence).
73. Intelligent Virtual Agents: Proc./8th International
Conference, IVA 2008. Tokyo, Japan, September 2008/Ed. by
H.Prendinger, J.Lester, M.Ishizuka.-Berlin, Heidelberg: Springer,
2008.-Vol. 5208.-557 p.-(Lecture Notes in Artificial
Intelligence).
74. Advanced Intelligent Computing Theories adn Applications:
Proc./4th International Conference on Intelligent Computing, ICIC
2008. Shanghai, China, September 2008/Ed. by D.-Sh.Huang, Ii
D.C.Wunsch, D.S.Levine, K.-H.Jo.-Berlin, Heidelberg: Springer,
2008.-Vol. 5227.-1251 p.-(Lecture Notes in Artificial
Intelligence).
75. Advances in Bioinformatics and Computational Biology:
Proc./Third Brazilian Symposium on Bioinformatics, BSB 2008.
Santo Andre, Brazil, August 2008/Ed. by A.L.C.Bazzan, M.Craven,
N.F.Martins.-Berlin, Heidelberg: Springer, 2008.-Vol. 5167.-183 p.
-(Lecture Notes in Bioinformatics).
76. Бабкова В.В. Методология поддержки разработки эффективных
параллельных программ: Автореф. дис... канд. ф.-м. наук: 05.13.11.
-Москва, 2008.-25 с.-Библиогр.: c.24-25.
77. Белеванцев А.А. Спекулятивные оптимизации программ для
архитектур с явно выраженным параллелизмом команд: Автореф.
дис... канд. ф.-м. наук: 05.13.11.-Москва, 2008.-21 с.-Библиогр.:
c.20-21.
78. Рубанов В.В. Автоматизация построения инструментария
кросс-разработки программного обеспечения для расширяемых
встраиваемых систем: Автореф. дис... канд. ф.-м. наук: 05.13.11.
-Москва, 2008.-23 с.-Библиогр.: c.23.
79. Languages and Compilers for Parallel Computing: Revised
Selected Papers/20th Intl Workshop, LCPC 2007. Urbana, IL, USA,
October 2007/Ed. by V.Adve, M.J.Garzaran, P.Petersen.-Berlin,
Heidelberg: Springer, 2008.-Vol. 5234.-129 p.-(Lecture Notes in
Computer Science).