24.06.2013

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

  1. Визовитин Н.В., Непомнящий В.А. Алгоритмы трансляции 
UCM-спецификаций в раскрашенные сети Петри.-Новосибирск, 2012.
-55 с.-(Препринт/ИСИ СО РАН; N 168).
 
  2. Шелехов В.И. Разработка и верификация алгоритмов 
пирамидальной сортировки в технологии предикатного 
программирования.-Новосибирск, 2012.-25 с.-(Препринт/ИСИ СО 
РАН; N 164).
 
  3. Батраков В.А., Шелехов В.И. Автоматическое 
доказательство формул корректности предикатной программы в 
системе Russell.-Новосибирск, 2012.-32 с.-(Препринт/ИСИ СО 
РАН; N 163).
 
  4. Чушкин М.С., Шелехов В.А. Генерация и доказательство 
условий корректности предикатных программ.-Новосибирск, 2012.
-49 с.-(Препринт/ИСИ СО РАН; N 166).
 
  5. Каблуков И.В., Шелехов В.И. Реализация склеивания 
переменных в предикатной программе.-Новосибирск, 2012.-13 с.
-(Препринт/ИСИ СО РАН; N 167).
 
  6. Речистов Г.С. Разработка методов моделирования для 
оценки производительности суперкомпьютерных систем для 
параллельных приложений с однородным характером поведения: 
Автореф. дис... канд. тех. наук: 05.13.11.-М., 2013.-22 с.
-Библиогр.: c.20-22.
 
  7. Хатько Е.Е. Исследование и разработка метода, моделей и 
алгоритмов тестирования приложений для мобильных устройств: 
Автореф. дис... канд. тех. наук: 05.13.11.-М., 2013.-21 с.
-Библиогр.: c.21.
 
  8. Байда Ю.В. Методология разработки аппаратных моделей 
микропроцессора на программируемых логических интегральных 
схемах: Автореф. дис... канд. тех. наук: 05.13.15.-М., 2013.
-22 с.-Библиогр.: c.21-22.
 
  9. Бухаров Д.С. Методика решения задач оптимизации 
региональной транспортно-логистической инфраструктуры: 
Автореф. дис... канд. тех. наук: 05.13.18.-Иркутск, 2013.-16 
с.-Библиогр.: c.15-16.
 
 10. Литвинович А.В. Синтез визуальных объектов по 
естественно-языковому описанию на базе интегрированной 
онтологии: Автореф. дис... канд. тех. наук: 05.13.11.-М., 
2013.-17 с.-Библиогр.: c.17.
 
 11. Ershov Informatics Conference, 8th Edition: 
Proc./Novosibirsk, Russia, June, 2011/IIS SB RAS; .
-Novosibirsk, 2011.-328 p.-(PSI Conference Series).
 
 12. Jackson P. Introduction to Expert Systems (Third 
Edition).- Edinburgh: Addison-Wesley, 1999.- 542 p.
-Bibliogr.: p.514-531.
 
 13. Olson D.L., Courtney J.F.,Jr Decision Support Models 
and Expert Systems.- Houston,Tx: DAME, 1998.- 334 p.
 
 14. Facing the Multicore-Challenge III: Aspects of New 
Paradigms and Technologies in Parallel Computing/Ed. by  
R.Keller, D.Kramer, J.-Ph.Weiss.-Berlin: Springer, 2013.
-Vol. 7686.-146 p.-(Lecture Notes in Computer Science).

 15. Adaptive and Natural Computing Algorithms: Proc./11th 
International Conference, ICANNGA 2013, Lausanne, 
Switzerland, April 2013/Ed. by  M.Tomassini, A.Antonioni, 
F.Daolio, P.Buesser.-Berlin: Springer, 2013.-Vol. 7824.-506 
p.-(Lecture Notes in Computer Science).
 
 16. Formal Aspects of Component Software: Revised Selected 
Papers/9th International Symposium, FACS 2012, Mountain 
View,CA,USA, September 2012/Ed. by  C.S.Pasareanu, G.Salaun.
-Berlin: Springer, 2013.-Vol. 7684.-277 p.-(Lecture Notes in 
Computer Science).
 
 17. Job Scheduling Strategies for Parallel Processing: 
Revised Selected Papers/16th International Workshop, JSSPP 
2012, Shanghai, China, May 2012/Ed. by  W.Cirne, N.Desai, 
E.Frachtenberg, U.Schwiegelshohn.-Berlin: Springer, 2013.
-Vol. 7698.-273 p.-(Lecture Notes in Computer Science).
 
 18. Programming Logics: Essays in Memory of Harald Ganzinger
/Ed. by  A.Voronkov, Ch.Weidenbach.-Berlin: Springer, 2013.
-Vol. 7797.-447 p.-(Lecture Notes in Computer Science).
 
 19. Web Services and Formal Methods: Revised Selected 
Papers/9th International Workshop, WS-FM 2012, Tallinn, 
Estonia, September 2012/Ed. by  M.H.Ter_Beek, N.Lohmann.
-Berlin: Springer, 2013.-Vol. 7843.-151 p.-(Lecture Notes in 
Computer Science).
 
 20. Transactions on Rough Sets XVI/Ed. by  J.F.Peters, 
A.Skowron, Sh.Ramanna, Z.Suraj.-Berlin: Springer, 2013.-Vol. 
7736.-221 p.-(Lecture Notes in Computer Science).
 
 21. Requirements Engineering: Foundation for Software 
Quality: Proc./19th International Working Conference, REFSQ 
2013, Essen, Germany, April 2013/Ed. by  J.Doerr, A.L.Opdahl.
-Berlin: Springer, 2013.-Vol. 7830.-402 p.-(Lecture Notes in 
Computer Science).
 
 22. Persuasive Technology: Proc./8th International 
Conference, PERSUASIVE 2013, Sydny,NSW,Australia, April 2013/
Ed. by  S.Berkovsky, J.Freyne.-Berlin: Springer, 2013.-Vol. 
7822.-268 p.-(Lecture Notes in Computer Science).
 
 23. Recent Trends in Algebraic Development Techniques: 
Revised Selected Papers/21st International Workshop, WART 
2012, Salamanca. Spain, June 2013/Ed. by  N.Marti-Oliet, 
M.Paliomino.-Berlin: Springer, 2013.-Vol. 7841.-283 p.
-(Lecture Notes in Computer Science).
 
 24. Transactions on Edutainment X/Ed. by  Zh.Pan, 
A.D.Cheok, W.Muller, I.Iurgel.-Berlin: Springer, 2013.-Vol. 
7775.-269 p.-(Lecture Notes in Computer Science).
 
 25. Languages and Compilers for Parallel Computing: Revised 
Selected Papers/25th International Workshop, LCPC 2012, 
Tokyo, Japan, September 2012/Ed. by  H.Kasahara, K.Kimura.
-Berlin: Springer, 2013.-Vol. 7760.-276 p.-(Lecture Notes in 
Computer Science).
 
 26. Automated Reasoning and Mathematics: Essays in Memory 
of William W. McCune/Ed. by  M.P.Bonacina, M.E.Stickel.
-Berlin: Springer, 2013.-Vol. 7788.-259 p.-(Lecture Notes in 
Computer Science).
 
 27. Distributed Computing and Internet Technology: 
Proc./9th International Conference, ICDCIT 2013, 
Bhubaneswar, India, February, 2013/Ed. by  Ch.Hota, 
P.K.Srimani.-Berlin: Springer, 2013.-Vol. 7753.-574 p.
-(Lecture Notes in Computer Science).
 
 28. Information Retrieval Meets Information Visualization: 
Revised Selected Papers/ PROMISE Winter School, 2012, Zinal, 
Switzerland, January, 2012/Ed. by  M.Agosti, N.Ferro, 
P.Forner, H.Muller.-Berlin: Springer, 2013.-Vol. 7757.-177 p.
-(Lecture Notes in Computer Science).
 
 29. Software Engineering: Revised Tutoreal Lectures/ 
International Summer Schools, ISSSE 2009-2011, Salerno, Italy
/Ed. by  A.De_Lucia, F.Ferrucci.-Berlin: Springer, 2013.
-Vol. 7171.-237 p.-(Lecture Notes in Computer Science).
 
 30. Informatics in Schools. Sustainable Informatics 
Education for Pupils of all Ages: Proc./6th Internatioanl 
Conference, ISSEP 2013, Oldenburg, Germany, February 2013/
Ed. by  I.Diethelm, R.T.Mittermeir.-Berlin: Springer, 2013.
-Vol. 7780.-209 p.-(Lecture Notes in Computer Science).
 
 31. System Analysis and Modeling: Theory and Practice: 
Revised Selected Papers/7th International Workshop, SAM 
2012, Innsbruck, Austria, October 2012/Ed. by  O.Haugen, 
R.Reed, .Gotzhein.-Berlin: Springer, 2013.-Vol. 7744.-249 p.
-(Lecture Notes in Computer Science).
 
 32. Reversible Computation: Revised Papers/4th 
International Workshop, RC 2012, Copenhagen, Danmark, July 
2012/Ed. by  R.Gluck, T.Yokoyama.-Berlin: Springer, 2013.
-Vol. 7581.-241 p.-(Lecture Notes in Computer Science).
 
 33. Unifying Theories of Programming: Revised Selected 
Papers/4th International Symposium, UTP 2012, Paris, France, 
August 2012/Ed. by  B.Wolff, M.-C.Gaudel, A.Feliachi.-Berlin:
 Springer, 2013.-Vol. 7681.-249 p.-(Lecture Notes in 
Computer Science).
 
 34. SOFSEM 2013: Theory and Practice of Computer Science: 
Proc./39th International Conference on Current Trends in 
Theory and Practice of CS, Spindleruv Mlyn, Czech Republic, 
January 2013/Ed. by  P.Van_Emde_Boas, F.C.A.Groen, 
G.F.Italiano, J.Nawrocki.-Berlin: Springer, 2013.-Vol. 7741.
-566 p.-(Lecture Notes in Computer Science).
 
 35. Logic and Its Applications: Proc./5th Indian 
Conference, ICLA 2013, Chennai, India, January 2013/Ed. by  
K.Lodaya.-Berlin: Springer, 2013.-Vol. 7750.-259 p.-(Lecture 
Notes in Computer Science).
 
 36. Algorithms for Sensor Systems: Revised Selected 
Papers/8th International Symposium, ALGOSENSORS 2012, 
Ljubljana, Slovenia, September 2012/Ed. by  A.Bar-Noy, 
M.M.Halldorsson.-Berlin: Springer, 2013.-Vol. 7718.-145 p.
-(Lecture Notes in Computer Science).
 
 37. NASA Formal Methods: Proc./5th International Symposium, 
NFM 2013, Moffett Field,CA,USA, May 2013/Ed. by  G.Brat, 
N.Rungta, A.Venet.-Berlin: Springer, 2013.-Vol. 7871.-486 p.
-(Lecture Notes in Computer Science).
 
 38. Selected Topics in Performance Evaluation and 
Benchmarking: Revised Selected Papers/4th TPC Technology 
Conference, TPCTC 2012, Istanbul, Turkey, August 2012/Ed. by 
R.Nambiar, M.Poess.-Berlin: Springer, 2013.-Vol. 7755.-209 p.
-(Lecture Notes in Computer Science).
 
 39. New Frontiers in Mining Complex Patterns: Revised 
Selected Papers/1st International Workshop, NFMCP 2012 Held 
in Conjanction with ECML-PKDD 2012, Bristol, UK, September 
2012/Ed. by  A.Appice, M.Ceci, C.Loglisci, G.Manco.-Berlin: 
Springer, 2013.-Vol. 7765.-231 p.-(Lecture Notes in 
Artificial Intelligence).
 
 40. Бредихин С.В., Кузнецов А.Ю., Щербакова Н.Г. Анализ 
цитирования в библиометрии/ИВМ и МГ СО РАН. .- Новосибирск: 
НЭИКОН, 2013.- 344 с.-Библиогр.: c.293-332.
 
 41. Logic-Based Program Synthesis and Transformation: 
Revised Selected Papers/22nd International Symposium, LOPSTR 
2012, Leuven, Belgium, September 2012/Ed. by  E.Albert.
-Berlin: Springer, 2013.-Vol. 7844.-245 p.-(Lecture Notes in 
Computer Science).
 
 42. Advanced Infocomm Technology: Revised Papers/5th IEEE 
International Conference, ICAIT 2012, Paris, France, July 
2012/Ed. by  V.Guyot.-Berlin: Springer, 2013.-Vol. 7593.-358 
p.-(Lecture Notes in Computer Science).
 
 43. Web Information System Engineering - WISE 2011 and 2012 
Workshops: Revised Selected Papers/ Combinet WISE 2011 and 
WISE 2012 Workshops, Sydney, Australia, October 2011 and 
Paphos, Cyprus, November 2012/Ed. by  A.Haller, G.Huang, 
Z.Huang, H.Paik.-Berlin: Springer, 2013.-Vol. 7652.-350 p.
-(Lecture Notes in Computer Science).
 
 44. Cryptology and Network Security: Proc./11th 
International Conference, CANS 2012, Darmstadt, Germany, 
December 2012/Ed. by  J.Pierpzyk, A.-R.Sadeghi, M.Manulis.
-Berlin: Springer, 2013.-Vol. 7712.-311 p.-(Lecture Notes in 
Computer Science).
 
 45. Big Data Analytics: Proc./1st International Conference, 
BDA 2012, New Delhi, India, December 2012/Ed. by  
S.Srinivasa, V.Bhatnagar.-Berlin: Springer, 2013.-Vol. 7678.
-181 p.-(Lecture Notes in Computer Science).
 
 46. Algorithmic Game Theory: Proc./5th International 
Symposium, SAGT 2012, Barcelona, Spain, October 2012/Ed. by  
M.Serna.-Berlin: Springer, 2013.-Vol. 7615.-263 p.-(Lecture 
Notes in Computer Science).
 
 47. Data Traffic Monitoring and Analysis: From Measurement, 
Classification, and Anomaly Detection to Quality of 
Experience/Ed. by  E.Biersack, Ch.Callegari, M.Matijasevic.
-Berlin: Springer, 2013.-Vol. 7754.-359 p.-(Lecture Notes in 
Computer Science).
 
 48. Genetic Programming: Proc./16th Eropean Conference, 
EuroGP 2013, Vienna, Austria, April 2013/Ed. by  K.Krawiec, 
A.Moraglio, T.Hu, A.S.Etaner-Uyar.-Berlin: Springer, 2013.
-Vol. 7831.-277 p.-(Lecture Notes in Computer Science).
 
 49. Evolutionary Computation in Combinatorial Optimization: 
Proc./13th European Conference, EvoCOP 2013, Vienna, 
Austria, April 2013/Ed. by  M.Middendorf, Ch.Blum.-Berlin: 
Springer, 2013.-Vol. 7832.-275 p.-(Lecture Notes in Computer 
Science).
 
 50. Radio Frequency Identification. Security and Privacy 
Issues: Revised Selected Papers/8th International Workshop, 
RFIDSec 2012, Nijmegen, The Netherlands, July 2012/Ed. by  
J.-H.Hoepman, I.Verbauwhede.-Berlin: Springer, 2013.-Vol. 
7739.-181 p.-(Lecture Notes in Computer Science).
 
 51. Aliasing in Object-Oriented Programming: Types, 
Analysis, and Verification/Ed. by  D.Clarke, J.Noble, 
T.Wrigstad.-Berlin: Springer, 2013.-Vol. 7850.-515 p.
-(Lecture Notes in Computer Science).
 
 52. Smart Card Research and Advanced Applications: Revised 
Selected Papers/11th International Conference, CARDIS 2012, 
Graz, Austria, November 2012/Ed. by  S.Mangard.-Berlin: 
Springer, 2013.-Vol. 7771.-297 p.-(Lecture Notes in Computer 
Science).
 
 53. Verification, Modal Checking, and Abstract 
Interpretation: Proc./14th International Conference, VMCAI 
2013, Rome, Italy, January, 2013/Ed. by  R.Giacobazzi, 
J.Berdine, I.Mastroeni.-Berlin: Springer, 2013.-Vol. 7737.
-556 p.-(Lecture Notes in Computer Science).
 
 54. Agent Based Simulation for a Sustainable Society and 
Multi-agent Smart Computing: Revised Selected Papers/ 
International Workshops, PRIMA 2011, Wollongong, Australia, 
November 2011/Ed. by  S.Cranefield, I.Song.-Berlin: Springer,
 2013.-Vol. 7580.-125 p.-(Lecture Notes in Artificial 
Intelligence).
 
 55. Advances Data Mining and Applications: Proc./8th 
International Conference, ADMA 2012, Nanjing, China, 
December 2012/Ed. by  S.Zhou, S.Zhang, G.Karypis.-Berlin: 
Springer, 2013.-Vol. 7713.-795 p.-(Lecture Notes in 
Artificial Intelligence).
 
 56. Computing and Combinatorics: Proc./19th International 
Conference, COCOON 2013, Hangzhou, China, June 2013/Ed. by  
D.-Z.Du, G.Zhang.-Berlin: Springer, 2013.-Vol. 7936.-861 p.
-(Lecture Notes in Computer Science).
 
 57. Recent Trends in Applied Artificial Intelligence: 
Proc./26th International Conference on Industrial, 
Engineering and Others Applications on AIS, IEA/AIE 2013, 
Amsterdam, The Netherlands, June 2013/Ed. by  M.Ali, 
T.Bosse, K.V.Hindriks, M.Hoogendoorn.-Berlin: Springer, 2013.
-Vol. 7906.-697 p.-(Lecture Notes in Artificial 
Intelligence).
 
 58. Research in Computational Molecular Biology: Proc./17th 
Annual International Conference, RECOMB 2013, Beijing, 
China, April 2013/Ed. by  M.Deng, R.Jiang, F.Sun, X.Zhang.
-Berlin: Springer, 2013.-Vol. 7821.-346 p.-(Lecture Notes in 
Bioinformatics).
 
 59. Citizen in Sensor Networks: Revised Selected Papers/1st 
International Workshop, CitiSens 2012, Monpellier, France, 
August 2012/Ed. by  J.Nin, D.Villatoro.-Berlin: Springer, 
2013.-Vol. 7685.-95 p.-(Lecture Notes in Artificial 
Intelligence).

 60. Evaluation of Natural Language and Speech Tools for 
Italian: Revised Selected Papers/ International Workshop, 
EVALITA 2011, Rome, Januare 2012/Ed. by  B.Magnini, 
F.Cutugno, M.Falcone, E.Pianta.-Berlin: Springer, 2013.-Vol. 
7689.-339 p.-(Lecture Notes in Artificial Intelligence).
 
 61. Conceptual Structures for STEM Research and Education: 
Proc./20th International Conference on CS, ICCS 2013, 
Mumbai, India, January 2013/Ed. by  H.D.Pfeiffer, 
D.I.Ignatov, J.Poelmans, N.Gadiraju.-Berlin: Springer, 2013.
-Vol. 7735.-333 p.-(Lecture Notes in Artificial 
Intelligence).
 
 62. Declarative Agent Languages and Technologies X: Revised 
Selected Papers/10th International Workshop, DALT 2012, 
Valencia, Spain, June 2012/Ed. by  M.Baldoni, L.Dennis, 
V.Mascardi, W.Vasconcelos.-Berlin: Springer, 2013.-Vol. 7784.
-209 p.-(Lecture Notes in Artificial Intelligence).
 
 63. Coordination, Organizations, Institutions, and Norms in 
Agent Systems VIII: Revised Selected Papers/14th 
International Workshop, COIN 2012 Held Co-located with AAMAS 
2012, Valencia, Spain, June 2012/Ed. by  H.Aldewereld, 
J.S.Sichman.-Berlin: Springer, 2013.-Vol. 7756.-193 p.
-(Lecture Notes in Artificial Intelligence).
 
 64. Knowledge Engineering, Machine Learning and Lattice 
Computing with Applications: Revised Selected Papers/16th 
International Conference, KES 2012, San Sebastian, Spain, 
September 2012/Ed. by  M.Grana, C.Toro, R.J.Howlett, L.C.Jain.
-Berlin: Springer, 2013.-Vol. 7828.-207 p.-(Lecture Notes in 
Artificial Intelligence).
 
 65. Advances in Computational Intelligence, Part I: Revised 
Selected Papers/11th Mexican International Conference, On 
AI, MICAI 2012, San Luis Potosi, Mexico, October 2012/Ed. by 
I.Batyrshin, M.G.Mendoza.-Berlin: Springer, 2013.-Vol. 7629.
-482 p.-(Lecture Notes in Artificial Intelligence).
 
 66. Advances in Computational Intelligence, Part II: 
Revised Selected Papes/11th Mexican International Conference 
on AI, MICAI 2012, San Luis Potosi, Mexico, October 2012/Ed. 
by  I.Batyrshin, M.G.Mendoza.-Berlin: Springer, 2013.-Vol. 
7630.-469 p.-(Lecture Notes in Artificial Intelligence).
 
 67. Advances in Knowledge Discovery and Data Mining, Part 
I: Proc./17th Pacific-Asia Conference, PAKDD 2013, Gold 
Coast, Australia, April 2013/Ed. by  J.Pei, V.S.Tseng, 
L.Cao, H.Motoda.-Berlin: Springer, 2013.-Vol. 7818.-610 p.
-(Lecture Notes in Artificial Intelligence).
 
 68. Advances in Knowledge Discovery and Data Mining, Part 
II: Proc./17th Pacific-Asia Conference, PAKDD 2013, Golg 
Coast, Australia, April 2013/Ed. by  J.Pei, V.S.Tseng, 
L.Cao, H.Motoda.-Berlin: Springer, 2013.-Vol. 7819.-586 p.
-(Lecture Notes in Artificial Intelligence).
 
 69. Computational Linguistics and Intelligent Text 
Processing, Part I: Proc./14th International Conference, 
CICLing 2013, Samos, Greece, March 2013/Ed. by  A.Gelbukh.
-Berlin: Springer, 2013.-Vol. 7816.-576 p.-(Lecture Notes in 
Computer Science).
 
 70. Computational Linguistics and Intelligent Text 
Processing, Part II: Proc./14th International Conference, 
CICLing 2013, Samos, Greece, March 2013/Ed. by  A.Gelbukh.
-Berlin: Springer, 2013.-Vol. 7817.-576 p.-(Lecture Notes in 
Computer Science).
 
 71. Health Information Science: Proc./2nd International 
Conference, HIS 2013, London, UK, March 2013/Ed. by  
G.Huang, X.Liu, J.He, F.Klawoon.-Berlin: Springer, 2013.
-Vol. 7798.-280 p.-(Lecture Notes in Computer Science).
 
 72. Statistical Atlases and Computational Models of the 
Heart. Imaging and Modelling Challenges: Revised Selected 
Papers/3rd International Workshop, STACOM 2012 Held in 
Conjanction with MICCAI 2012, Nice, France, October 2012/Ed. 
by  O,Camara, T.Mansi, M.Pop, K.Rhode.-Berlin: Springer, 2013.
-Vol. 7746.-385 p.-(Lecture Notes in Computer Science).
 
 73. Pairing-Based Cryptography - Pairing 2012: Revised 
Selected Papers/5th International Conference, Cologne, 
Germany, May 2012/Ed. by  M.Abdalla, T.Lange.-Berlin: 
Springer, 2013.-Vol. 7708.-333 p.-(Lecture Notes in Computer 
Science).
 
 74. Information Security and Cryptology - ICISC 2012: 
Revised Selected Papers/15th International Conference, 
Seoul, Korea, November 2012/Ed. by  T.Kwon, M.-K.Lee, D.Kwon.
-Berlin: Springer, 2013.-Vol. 7839.-512 p.-(Lecture Notes in 
Computer Science).
 
 75. Security Protocols XVII: Revised Selected Papers/17th 
International Workshop, Cambridge, UK, April 2009/Ed. by  
B.Christianson, J.A.Malcolm, V.Matyas, M.Roe.-Berlin: 
Springer, 2013.-Vol. 7028.-367 p.-(Lecture Notes in Computer 
Science).
 
 76. Foundations and Practice of Security: Revised Selected 
Papers/5th International Symposium, FPS 2012, 
Montreal,QC,Canada, October 2012/Ed. by  J.Garcia-Alfaro, 
F.Cuppens, N.Cuppens-Boulahia, A.Miri.-Berlin: Springer, 2013.
-Vol. 7743.-383 p.-(Lecture Notes in Computer Science).
 
 77. Detection of Intrusions and Malware, and Vulnerability 
Assessment: Revised Selected Papers/9th International 
Conference, DIMVA 2012, Heraclion, Crete, Greece, July 2012/
Ed. by  U.Flegel, E.Markatos, W.Robertson.-Berlin: Springer, 
2013.-Vol. 7591.-243 p.-(Lecture Notes in Computer Science).
 
 78. Engineering Secure Software and Systems: Proc./5th 
International Symposium, ESSoS 2013, Peris, France, February 
2013/Ed. by  J.Jurjens, B.Livshits, R.Scandariato.-Berlin: 
Springer, 2013.-Vol. 7781.-229 p.-(Lecture Notes in Computer 
Science).
 
 79. Topics in Cryptology - CT-RSA 2013: Proc./ The 
Cryptographers'Track at the RSA Conference 2013, San 
Francisco,CA,USA, February 2013/Ed. by  E.Dawson.-Berlin: 
Springer, 2013.-Vol. 7779.-405 p.-(Lecture Notes in Computer 
Science).
 
 80. Advances in Multimedia Modeling, Part I: Proc./19th 
International Conference, MMM 2013, Huangshan, China, 
January 2013/Ed. by  Sh.Li, A.El_Saddic, M.Wang, T.Mei.
-Berlin: Springer, 2013.-Vol. 7732.-562 p.-(Lecture Notes in 
Computer Science).
 
 81. Advances in Multimedia Modeling, Part II: Proc/19th 
International Conference, MMM 2013, Huangshan, China, 
January 2013/Ed. by  Sh.Li, A.El_Saddik, M.Wang, T.Mei.
-Berlin: Springer, 2013.-Vol. 7733.-560 p.-(Lecture Notes in 
Computer Science).
 
 82. Pervasive Computing and the Networked World: Revised 
Selected Papers/ Joint International Conference, ICPCA/SWS 
2012, Istanbul, Turkey, November 2012/Ed. by  Q.Zu, B.Hu, 
A.Elci.-Berlin: Springer, 2013.-Vol. 7719.-921 p.-(Lecture 
Notes in Computer Science).
 
 83. Grid and Pervasive Computing: Proc./8th International 
Conference, GPC 2013 and Colocated Workshops, Seoul, Korea, 
May 2013/Ed. by  J.J.Park, H.R.Arabnia, Ch.Kim, W.Shi.-Berlin:
 Springer, 2013.-Vol. 7861.-956 p.-(Lecture Notes in 
Computer Science).
 
 84. Web and Wireless Geographical Information Systems: 
Proc./12th International Symposium, W2GIS 2013, 
Banff,AB,Canada, April 2013/Ed. by  S.H.L.Liang, X.Wang, 
Ch.Claramunt.-Berlin: Springer, 2013.-Vol. 7820.-223 p.
-(Lecture Notes in Computer Science).
 
 85. Smart Grid Security: Revised Selected Papers/1st 
International Workshop, SmartGridSec 2012, Berlin, Germany, 
December 2012/Ed. by  J.Cuellar.-Berlin: Springer, 2013.
-Vol. 7823.-151 p.-(Lecture Notes in Computer Science).
 
 86. Web Technologies and Applications: Proc./15th 
Asia-Pacific Web Conference, APWeb 2013, Sydney, Australia, 
April 2013/Ed. by  Y.Ishikawa, J.Li, W.Wang, R.Zhang.-Berlin:
 Springer, 2013.-Vol. 7808.-845 p.-(Lecture Notes in 
Computer Science).



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