121. 29, 2010. Proceedings-Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27
Author: / Alessandro Cimatti (auth.), Jaco van de Pol, Michael Weber (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
122. 15, 2011. Proceedings-Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14
Author: / Jasmin Fisher (auth.), Alex Groce, Madanlal Musuvathi (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
123. 16, 2010. Proceedings-Motion in Games: Third International Conference, MIG 2010, Utrecht, The Netherlands, November 14
Author: / Demetri Terzopoulos (auth.), Ronan Boulic, Yiorgos Chrysanthou, Taku Komura (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
124. 20, 2011. Proceedings-NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18
Author: / K. Rustan M. Leino (auth.), Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
125. 15, 2010. Proceedings-Network and Parallel Computing: IFIP International Conference, NPC 2010, Zhengzhou, China, September 13
Author: / Xiaodong Zhang (auth.), Chen Ding, Zhiyuan Shao, Ran Zheng (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
126. 9, 2011, Proceedings, Part I- INTERACT 2011: 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5ع۰بComputer Interaction -Human
Author: / mara (auth.), Pedro Campos, Nicholas Graham, Joaquim Jorge, Nuno Nunes, Philippe Palanque, Marco Winckler (eds.)عnio CلAnt
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
127. 24, 2011. Proceedings, Part I-Image Analysis and Recognition: 8th International Conference, ICIAR 2011, Burnaby, BC, Canada, June 22
Author: / lio Campilho (eds.)فKai Zeng, Zhou Wang (auth.), Mohamed Kamel, Aur
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
128. 9, 2011, Proceedings, Part II- INTERACT 2011: 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5ع۰بComputer Interaction -Human
Author: / Michael Haller, Christoph Richter, Peter Brandl, Sabine Gross, Gerold Schossleitner (auth.), Pedro Campos, Nicholas Graham, Joaquim Jorge, Nuno Nunes, Philippe Palanque, Marco Winckler (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
129. 27, 2012. Proceedings, Part II-Image Analysis and Recognition: 9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25
Author: / lio Campilho, Mohamed Kamel (eds.)فAndreas Uhl, Peter Wild (auth.), Aur
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
130. 24, 2011. Proceedings, Part II-Image Analysis and Recognition: 8th International Conference, ICIAR 2011, Burnaby, BC, Canada, June 22
Author: / lio Campilho (eds.)فa, Jim Murray (auth.), Mohamed Kamel, AurغPedro Quelhas, Jeroen Nieuwland, Walter Dewitte, Ana Maria Mendon
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
131. 15, 2011. Proceedings, Part II-Ubiquitous Computing and Multimedia Applications: Second International Conference, UCMA 2011, Daejeon, Korea, April 13
Author: / hoon Kim, Hojjat Adeli, Rosslin John Robles, Maricel Balitanas (eds.)-Jin Ah Kang, Hong Kook Kim (auth.), Tai
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
132. 23, 2010, Proceedings, Part II-voa de Varzin, Portugal, June 21Image Analysis and Recognition: 7th International Conference, ICIAR 2010, P
Author: / lio Campilho, Mohamed Kamel (eds.)فXiao Dong, Guoyan Zheng (auth.), Aur
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
133. 9, 2011, Proceedings, Part III- INTERACT 2011: 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5ع۰بComputer Interaction -Human
Author: / lez (auth.), Pedro Campos, Nicholas Graham, Joaquim Jorge, Nuno Nunes, Philippe Palanque, Marco Winckler (eds.)عa, Pascual Gonzک P. Molina, Arturo S. GarcفY. Lionel Lawson, Jos-nez, JکDiego Mart
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
134. 9, 2011, Proceedings, Part IV- INTERACT 2011: 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5ع۰بComputer Interaction -Human
Author: / Yin Choong, Mary Theofanos (auth.), Pedro Campos, Nicholas Graham, Joaquim Jorge, Nuno Nunes, Philippe Palanque, Marco Winckler (eds.)-Celeste Lyn Paul, Emile Morse, Aiping Zhang, Yee
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
135. 7, 2011. Proceedings-Photogrammetric Image Analysis: ISPRS Conference, PIA 2011, Munich, Germany, October 5
Author: / Jochen Meidow (auth.), Uwe Stilla, Franz Rottensteiner, Helmut Mayer, Boris Jutzi, Matthias Butenuth (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
136. 4, 2010. Proceedings-Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1
Author: / Chris Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles Shelton (auth.), Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rou, Oleg Sokolsky, Nikolai Tillmann (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
137. 14, 2010. Proceedings- SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11ع۰بTheory and Applications of Satisfiability Testing
Author: / Yehuda Naveh (auth.), Ofer Strichman, Stefan Szeider (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
138. 10, 2010. Proceedings-Testing Software and Systems: 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8
Author: / Carlos Maldonado (eds.)فo, JosعIna Schieferdecker (auth.), Alexandre Petrenko, Adenilso Sim
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
139. 20, 2011. Proceedings-Theory and Practice of Algorithms in (Computer) Systems: First International ICST Conference, TAPAS 2011, Rome, Italy, April 18
Author: / Spaccamela, Michael Segal (eds.)-Shay Kutten (auth.), Alberto Marchetti
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
140. 17, 2011. Proceedings-Top Productivity through Software Reuse: 12th International Conference on Software Reuse, ICSR 2011, Pohang, South Korea, June 13
Author: / Krzysztof Czarnecki (auth.), Klaus Schmid (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
