59441. 25, 2011. Proceedings-Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23
پدیدآورنده : / David L. Dill (auth.), Ranjit Jhala, David Schmidt (eds.)
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
59442. 24, 2012. Proceedings-Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22
پدیدآورنده : / Ahmed Bouajjani, Cezara Drgoi (auth.), Viktor Kuncak, Andrey Rybalchenko (eds.)
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
59443. 12, 2010. Proceedings-WALCOM: Algorithms and Computation: 4th International Workshop, WALCOM 2010, Dhaka, Bangladesh, February 10
پدیدآورنده : / nos Pach, Rom Pinchasi (auth.), Md. Saidur Rahman, Satoshi Fujita (eds.)عJacob Fox, Fabrizio Frati, J
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
59444. 12, 2010. Proceedings-WALCOM: Algorithms and Computation: 4th International Workshop, WALCOM 2010, Dhaka, Bangladesh, February 10
پدیدآورنده : / nos Pach, Rom Pinchasi (auth.), Md. Saidur Rahman, Satoshi Fujita (eds.)عJacob Fox, Fabrizio Frati, J
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
59445. 14, 2010. Proceedings- WISE 2010: 11th International Conference, Hong Kong, China, December 12ع۰بWeb Information Systems Engineering
پدیدآورنده : / Chun Chen, Gang Chen, Dawei Jiang, Beng Chin Ooi, Hoang Tam Vo, Sai Wu, Quanqing Xu (auth.), Lei Chen, Peter Triantafillou, Torsten Suel (eds.)
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : MINERAL PROCESSING& ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|MINING &COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
59446. 14, 2011. Proceedings- WISE 2011: 12th International Conference, Sydney, Australia, October 13ع۰بWeb Information System Engineering
پدیدآورنده : / Narges Roshanbin, James Miller (auth.), Athman Bouguettaya, Manfred Hauswirth, Ling Liu (eds.)
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : MINERAL PROCESSING&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY|MINING
رده :
E-BOOK
59447. 9, 2010. Proceedings-Web Engineering: 10th International Conference, ICWE 2010, Vienna Austria, July 5
پدیدآورنده : / Alessandro Bozzon, Marco Brambilla, Piero Fraternali (auth.), Boualem Benatallah, Fabio Casati, Gerti Kappel, Gustavo Rossi (eds.)
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : MINERAL PROCESSING& ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|MINING &COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
59448. 24, 2010. Proceedings-Web Reasoning and Rule Systems: Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22
پدیدآورنده : / , Georg Gottlob, Andreas Pieris (auth.), Pascal Hitzler, Thomas Lukasiewicz (eds.)قAndrea Cal
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
59449. 13, 2012. Proceedings-Web Technologies and Applications: APWeb 2012 International Workshops: SenDe, IDP, IEKB, MBC, Kunming, China, April 11
پدیدآورنده : / Paulo de Souza (auth.), Hua Wang, Lei Zou, Guangyan Huang, Jing He, Chaoyi Pang, Hao Lan Zhang, Dongyan Zhao, Zhuang Yi (eds.)
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : MINERAL PROCESSING& ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY|MINING &COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
59450. Proceedings, 2002 Web3D Symposium: 7th International Conference on 3D Web Technology; Tempe, Arizona, USA, February 24-28, 2002
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، VRML )Computer program language(,Congresses ، Three-dimensional display systems,Congresses ، Virtual reality
رده :
T
385
.
W43
2002
59451. Proceedings, Web3D 2005 : 10th International Conference on 3D Web Technology, Bangor, Wales, United Kingdom, March 29-April 1, 2005
پدیدآورنده : conference co-chairs: Nigel John, Sandy Ressler; program co-chairs, Luca Chittaro, David Duce; proceedings production editor, Stephen N. Spencer; sponsored by ACM Siggraph; in cooperation with the Web3D Consortium and Eurographics; corporate contributor, Welsh Development Agency )WDA(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، VRML )Computer progarm language(,Congresses ، Three-dimensional display systems,Congresses ، Virtual reality
رده :
T
385
.
W43
2005
59452. Proceedings : Web3D 2004 : 9th International Conference on 3D Web Technology, Monterey, California, April 5-8, 2004
پدیدآورنده : Conference Chair: Don Brutzman; Program Chair: Luca Chittaro, Richard Puk; proceedings production editor: Stephen N. Spencer
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، VRML )Computer progarm language(,Congresses ، Three-dimensional display systems,Congresses ، Virtual reality
رده :
T
385
.
W43
2004
59453. Proceedings : Web3D 2007 : 12th International Conference on 3D Web Technology, Perugia, Italy, April 15-18, 2007
پدیدآورنده : conference chairs, Osvaldo Gervasi, Don Brutzman; program co-chair: Roberto Ranon, Nicholas Polys; proceedings production editor, Stephen N. Spencer; sponsored by ACM SIGGRAPH; in cooperation with the Web3D Consortium, the Eurographics Association, and the University of Perugia
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، VRML )Computer progarm language(,Congresses ، Three-dimensional display systems,Congresses ، Virtual reality
رده :
T
385
.
W43
2007
59454. 17, 2011. Proceedings-Wired/Wireless Internet Communications: 9th IFIP TC 6 International Conference, WWIC 2011, Vilanova i la Geltr, Spain, June 15
پدیدآورنده : / Bruin, Dominique Verchere, Vassilis Tsaoussidis, Marcelo Yannuzzi (eds.)-Enda Fallon, Liam Murphy, John Murphy, Chi Ma (auth.), Xavier Masip
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
59455. 25, 2011. Proceedings-Wireless Sensor Networks: 8th European Conference, EWSN 2011, Bonn, Germany, February 23
پدیدآورنده : / n, Kamin Whitehouse (eds.)ل MarrفChristian Renner, Sebastian Ernst, Christoph Weyer, Volker Turau (auth.), Pedro Jos
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
59456. 19, 2010. Proceedings-Wireless Sensor Networks: 7th European Conference, EWSN 2010, Coimbra, Portugal, February 17
پدیدآورنده : / Silva, Bhaskar Krishnamachari, Fernando Boavida (eds.)عIsaac Amundson, Janos Sallai, Xenofon Koutsoukos, Akos Ledeczi (auth.), Jorge S
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
59457. Proceedings, XVIIIth International Symposium on Discharges and Electrical Insulation in Vacuum, Eindhoven, The Netherlands, August 17-21, 1998
پدیدآورنده : International Symposium on Discharges and Electical Insulation in Vacuum.
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Electric discharges through gases -- Congresses,، Electric insulators and insulation -- Congresses,، Vacuum -- Congresses
رده :
QC
710
.
I578
1998
59458. 5, 2010. Proceedings-a Blanca, Argentina, November 1ضAmerican Conference on AI, Bah- IBERAMIA 2010: 12th Iberoع۰بAdvances in Artificial Intelligence
پدیدآورنده : / Morales, Guillermo R. Simari (eds.)-Cabada (auth.), Angel Kuri-o ZatarainکCabada, Rosal-n ZatarainلEstrada, Ram-nلM. L. Barr
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
59459. 9, 2012. Proceedings-a, Spain, March 5Language and Automata Theory and Applications: 6th International Conference, LATA 2012, A Coru
پدیدآورنده : / Vide (eds.)-nکHoria Dediu, Carlos Mart-Eugene Asarin (auth.), Adrian
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
59460. 29, 2011. Proceedings-an, China, October 26ع۰ثInformation Security: 14th International Conference, ISC 2011, Xi
پدیدآورنده : / Zhi Xin, Huiyu Chen, Xinche Wang, Peng Liu, Sencun Zhu, Bing Mao, Li Xie (auth.), Xuejia Lai, Jianying Zhou, Hui Li (eds.)
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK