9788364204913 : Teaching formal methods : Second International Conference, TFM 2009, Eindhoven, the Netherlands, November 2-6, 2009, proceedings / Jeremy Gibbons, José Nuno Oliveira (eds.)
Teaching formal methods : Second International Conference, TFM 2009, Eindhoven, the Netherlands, November 2-6, 2009, proceedings / Jeremy Gibbons, José Nuno Oliveira (eds.)
ONLINE
2009
9788364204937 : The semantic Web--ISWC 2009 : 8th International Semantic Web Conference, ISWC 2009, Chantilly, VA, USA, October 25-29, 2009 : proceedings / Abraham Bernstein [and others]
The semantic Web--ISWC 2009 : 8th International Semantic Web Conference, ISWC 2009, Chantilly, VA, USA, October 25-29, 2009 : proceedings / Abraham Bernstein [and others]
ONLINE
2009
9788364204944 : Advances in conceptual modeling-challenging perspectives : ER 2009 workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009 : proceedings / Carlos Alberto Heuser, Günther Pernul (eds.)
Advances in conceptual modeling-challenging perspectives : ER 2009 workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009 : proceedings / Carlos Albert
ONLINE
2009
9788364204968 : IP operations and management : 9th IEEE international workshop, IPOM 2009, Venice, Italy, October 29-30, 2009 : proceedings / Giorgio Nunzi, Caterina Scoglio, Xing Li (eds.)
IP operations and management : 9th IEEE international workshop, IPOM 2009, Venice, Italy, October 29-30, 2009 : proceedings / Giorgio Nunzi, Caterina Scoglio, Xing Li (eds.)
ONLINE
2009
9788364204975 : Anaphora processing and applications : 7th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2009, Goa, India, November 5-6, 2009 : proceedings / Sobha Lalitha Devi, António Branco, Ruslan Mitkov (eds.)
Anaphora processing and applications : 7th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2009, Goa, India, November 5-6, 2009 : proceedings / Sobha Lalitha Devi, António Branco, Ruslan Mi
ONLINE
2009
9788364204982 : Integrated management of systems, services, processes and people in IT : 20th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2009, Venice, Italy, October 27-28, 2009 : proceedings / Claudio Bartolini, Luciano Paschoal Gaspary (eds.)
Integrated management of systems, services, processes and people in IT : 20th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2009, Venice, Italy, October 27-28
ONLINE
2009
9788364204999 : Wired-wireless multimedia networks and services management : 12th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2009, Venice, Italy, October 26-27, 2009, proceedings / Tom Pfeifer, Paolo Bellavista (eds.)
Wired-wireless multimedia networks and services management : 12th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2009, Venice, Italy, October 26-2
ONLINE
2009
9788364205033 : Advances in ubiquitous user modelling : revised selected papers / Tsvi Kuflik [and others] (eds.)
Advances in ubiquitous user modelling : revised selected papers / Tsvi Kuflik [and others] (eds.)
ONLINE
2009
9788364205088 : FM 2009 : formal methods : second world congress, Eindhoven, the Netherlands, November 2-6, 2009 : proceedings / Ana Cavalcanti, Dennis Dams (eds.)
FM 2009 : formal methods : second world congress, Eindhoven, the Netherlands, November 2-6, 2009 : proceedings / Ana Cavalcanti, Dennis Dams (eds.)
ONLINE
2009
9788364205118 : Stabilization, safety, and security of distributed systems : 11th international symposium, SSS 2009, Lyon, France, November 3-6, 2009, proceedings / Rachid Guerraoui ; Franck Petit (ed.)
Stabilization, safety, and security of distributed systems : 11th international symposium, SSS 2009, Lyon, France, November 3-6, 2009, proceedings / Rachid Guerraoui ; Franck Petit (ed.)
ONLINE
Artificial intelligence and computational intelligence : international conference, AICI 2009, Shanghai, China, November 7-8, 2009 : proceedings / Hepu Deng [and others] (eds.)
ONLINE
2009
MICAI 2009 : advances in artificial intelligence : 8th Mexican International Conference on Artificial Intelligence, Guanajuato, México, November 9-13, 2009, proceedings / Arturo Hernández Aguirre, Raúl
ONLINE
2009
9788364205309 : Knowledge representation for agents and multi-agent systems : First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, revised selected papers / John-Jules Ch. Meyer, Jan Broersen (eds.)
Knowledge representation for agents and multi-agent systems : First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, revised selected papers / John-Jules Ch. Meyer, Jan Broer
ONLINE
2009
9788364205354 : The practice of enterprise modeling : Second IFIP WG 8.1 Working Conference, PoEM 2009, Stockholm, Sweden, November 18-19, 2009 : proceedings / Anne Persson, Janis Stirna (eds.)
The practice of enterprise modeling : Second IFIP WG 8.1 Working Conference, PoEM 2009, Stockholm, Sweden, November 18-19, 2009 : proceedings / Anne Persson, Janis Stirna (eds.)
ONLINE
2009
9788364205408 : Ambient intelligence : European conference, AmI 2009, Salzburg, Austria, November 18-21, 2009 : proceedings / Manfred Tscheligi [and others] (eds.)
Ambient intelligence : European conference, AmI 2009, Salzburg, Austria, November 18-21, 2009 : proceedings / Manfred Tscheligi [and others] (eds.)
ONLINE
Algorithmic aspects of wireless sensor networks : 5th international workshop, ALGOSENSORS 2009, Rhodes, Greece, July 10-11, 2009 : revised selected papers / Shlomi Dolev (ed.)
ONLINE
2009
INetSec 2009 - Open Research Problems in Network Security : IFIP WG 11.4 International Workshop, Zurich, Switzerland, April 23-24, 2009 : revised selected papers / Jan Camenisch, Dogan Kesdogan (eds.)
ONLINE
2009
9788364205460 : Robust and online large-scale optimization : models and techniques for transportation systems / Ravindra K. Ahuja, Rolf H. Möhring, Christos D. Zaroliagis (eds.)
Robust and online large-scale optimization : models and techniques for transportation systems / Ravindra K. Ahuja, Rolf H. Möhring, Christos D. Zaroliagis (eds.)
ONLINE
2009
9788364210204 : Engineering societies in the agents world X : 10th international workshop, ESAW 2009, Utrecht, the Netherlands, November 18-20, 2009 : proceedings / Huib Aldewereld, Virginia Dignum, Gauthier Picard (eds.)
Engineering societies in the agents world X : 10th international workshop, ESAW 2009, Utrecht, the Netherlands, November 18-20, 2009 : proceedings / Huib Aldewereld, Virginia Dignum, Gauthier Picard (e
ONLINE
2009
9788364210235 : Information theoretic security : second international conference, ICITS 2007, Madrid, Spain, May 25-29, 2007 : revised selected papers / Yvo Desmedt (ed.)
Information theoretic security : second international conference, ICITS 2007, Madrid, Spain, May 25-29, 2007 : revised selected papers / Yvo Desmedt (ed.)
ONLINE
2009
9788364210266 : Intelligent interactive assistance and mobile multimedia computing : international conference, IMC 2009, Rostock-Warnemünde, Germany, November 9-11, 2009 : proceedings / Djamshid Tavangarian [and others] (eds.)
Intelligent interactive assistance and mobile multimedia computing : international conference, IMC 2009, Rostock-Warnemünde, Germany, November 9-11, 2009 : proceedings / Djamshid Tavangarian [and other
ONLINE
2009
9788364210303 : HCI and usability for e-inclusion : 5th symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2009, Linz, Austria, November 9-10, 2009 : proceedings / Andreas Holzinger, Klaus Miesenberger (eds.)
HCI and usability for e-inclusion : 5th symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2009, Linz, Austria, November 9-10, 2009 :
ONLINE
2009
9788364210365 : Advances in cryptology - ASIACRYPT 2009 : 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009 : proceedings / Mitsuru Matsui (ed.)
Advances in cryptology - ASIACRYPT 2009 : 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009 : proceedings / Mitsuru M
ONLINE
2009
9788364210389 : Service-oriented computing : 7th international joint conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009 : proceedings / Luciano Baresi, Chi-Hung Chi, Jun Suzuki (eds.)
Service-oriented computing : 7th international joint conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009 : proceedings / Luciano Baresi, Chi-Hung Chi, Jun Suzuki (eds.)
ONLINE
2009
9788364210396 : Advances in information technology : third international conference, IAIT 2009, Bangkok, Thailand, December 1-5, 2009 : proceedings / Borworn Papasratorn [and others] (eds.)
Advances in information technology : third international conference, IAIT 2009, Bangkok, Thailand, December 1-5, 2009 : proceedings / Borworn Papasratorn [and others] (eds.)
ONLINE
2009
9788364210402 : Network control and optimization : Third Euro-NF Conference, NET-COOP 2009, Eindhoven, the Netherlands, November 23-25, 2009 : proceedings / Rudesindo Nunez-Queija, Jacques Resing (eds.)
Network control and optimization : Third Euro-NF Conference, NET-COOP 2009, Eindhoven, the Netherlands, November 23-25, 2009 : proceedings / Rudesindo Nunez-Queija, Jacques Resing (eds.)
ONLINE
AI 2009 : advances in artificial intelligence : 22nd Australasian Joint Conference, Melbourne, Australia, December 1-4, 2009 : proceedings / Ann Nicholson, Xiaodong Li (eds.)
ONLINE
2009
Cryptology and network security : 8th international conference, CANS 2009, Kanazawa, Japan, December 12-14, 2009 : proceedings / Juan A. Garay, Atsuko Miyaji, Akira Otsuka (eds.)
ONLINE
2009
9788364210457 : Formal methods : foundations and applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 : revised selected papers / Marcel Vinícius Medeiros Oliveira, Jim Woodcock (eds.)
Formal methods : foundations and applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 : revised selected papers / Marcel Vinícius Medeiros Oliveira,
ONLINE
2009
9788364210464 : Advances in multimedia information processing--PCM 2009 : 10th Pacific Rim Conference on Multimedia, Bangkok, Thailand, December 15-18, 2009 : proceedings / Paisarn Muneesawang [and others] (eds.)
Advances in multimedia information processing--PCM 2009 : 10th Pacific Rim Conference on Multimedia, Bangkok, Thailand, December 15-18, 2009 : proceedings / Paisarn Muneesawang [and others] (eds.)
ONLINE
2009
9788364210488 : Knowledge science, engineering and management : third international conference, KSEM 2009, Vienna, Austria, November 25-27, 2009 ; proceedings / Dimitris Karagiannis, Zhi Jin (eds.)
Knowledge science, engineering and management : third international conference, KSEM 2009, Vienna, Austria, November 25-27, 2009 ; proceedings / Dimitris Karagiannis, Zhi Jin (eds.)
ONLINE
2009
9788364210501 : Future generation information technology : first international conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009 : proceedings / Young-hoon Lee [and others] (eds.)
Future generation information technology : first international conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009 : proceedings / Young-hoon Lee [and others] (eds.)
ONLINE
2009
9788364210549 : Grid and distributed computing : international conference, GDC 2009, held as part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009 : proceedings / Dominik Ślęzak [and others] (eds.)
Grid and distributed computing : international conference, GDC 2009, held as part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009 : proce
ONLINE
Database theory and application : international conference, DTA 2009, held as part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009 : proc
ONLINE
2009
U- and E-service, science and technology : international conference, UNESST 2009 : held as part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12
ONLINE
Advances in software engineering : International Conference on Advanced Software Engineering and its Applications, ASEA 2009, held as part of the Future Generation Information Technology Conference, FG
ONLINE
2009
Bio-science and bio-technology : international conference, BSBT 2009 held as part of the Future Generation Information Technology Conference, FGIT 2009 Jeju Island, Korea, December 10-12, 2009 : procee
ONLINE
2009
9788364210778 : Information systems security : 5th international conference, ICISS 2009, Kolkata, India, December 14-18, 2009 ; proceedings / Atul Prakash, Indranil Sen Gupta (eds.)
Information systems security : 5th international conference, ICISS 2009, Kolkata, India, December 14-18, 2009 ; proceedings / Atul Prakash, Indranil Sen Gupta (eds.)
ONLINE
2009
9788364210815 : Intelligent robotics and applications : second international conference, ICIRA 2009, Singapore, December 16-18, 2009 : proceedings / Ming Xie [and others] (eds.)
Intelligent robotics and applications : second international conference, ICIRA 2009, Singapore, December 16-18, 2009 : proceedings / Ming Xie [and others] (eds.)
ONLINE
Communication and networking : international conference, FGCN/ACN 2009, held as part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009 : pr
ONLINE
2009
Internet and network economics : 5th international workshop, WINE 2009, Rome, Italy, December 14-18, 2009 : proceedings / Stefano Leonardi (ed.)
ONLINE
2009
9788364210860 : Self-organizing systems : 4th IFIP TC 6 International Workshop, IWSOS 2009, Zurich, Switzerland, December 9-11, 2009 : proceedings / Thrasyvoulos Spyropoulos, Karin Anna Hummel (eds.)
Self-organizing systems : 4th IFIP TC 6 International Workshop, IWSOS 2009, Zurich, Switzerland, December 9-11, 2009 : proceedings / Thrasyvoulos Spyropoulos, Karin Anna Hummel (eds.)
ONLINE
2009
9788364211195 : Agents for games and simulations : trends in techniques, concepts and design / Frank Dignum [and others] (eds.)
Agents for games and simulations : trends in techniques, concepts and design / Frank Dignum [and others] (eds.)
ONLINE
2009
9788364211447 : Rigorous methods for software construction and analysis : essays dedicated to Egon Börger on the occasion of his 60th birthday / volume editor, Jean-Raymond Abrial, Uwe Glässer
Rigorous methods for software construction and analysis : essays dedicated to Egon Börger on the occasion of his 60th birthday / volume editor, Jean-Raymond Abrial, Uwe Glässer
ONLINE
2009
9788364219450 : Complexity, cognition and the city / Juval Portugali ; with a foreword by Hermann Haken
Complexity, cognition and the city / Juval Portugali ; with a foreword by Hermann Haken
ONLINE
2011
9788364219504 : Advanced rubber composites / volume editor, Gert Heinrich ; with contributions by G.C. Basak [and others]
Advanced rubber composites / volume editor, Gert Heinrich ; with contributions by G.C. Basak [and others]
ONLINE
2011
9788364220159 : Bioactive surfaces / volume editors, Hans G. Börner, Jean-François Lutz ; with contributions by N. Badi [and others]
Bioactive surfaces / volume editors, Hans G. Börner, Jean-François Lutz ; with contributions by N. Badi [and others]
ONLINE
2011
9788364220852 : Modern mathematical tools and techniques in capturing complexity / Leandro Pardo, Narayanaswamy Balakrishnan, and María Angeles Gil (eds.)
Modern mathematical tools and techniques in capturing complexity / Leandro Pardo, Narayanaswamy Balakrishnan, and María Angeles Gil (eds.)
ONLINE
2011
9788364222177 : Control technologies for emerging micro and nanoscale systems / Evangelos Eleftheriou and S.O. Reza Moheimani (Eds.)
Control technologies for emerging micro and nanoscale systems / Evangelos Eleftheriou and S.O. Reza Moheimani (Eds.)
ONLINE
2011
9788364224065 : Functional observers for dynamical systems / Hieu Trinh and Tyrone Fernando
Functional observers for dynamical systems / Hieu Trinh and Tyrone Fernando
ONLINE
2012
9788364227141 : Biomedical applications of polymeric nanofibers / volume editors, R. Jayakumar, Shantikumar V. Nair ; with contributions by V. Beachley [and others]
Biomedical applications of polymeric nanofibers / volume editors, R. Jayakumar, Shantikumar V. Nair ; with contributions by V. Beachley [and others]
ONLINE
2012
9788364227158 : Synthetic biodegradable polymers / volume editors, Bernhard Rieger [and others] ; with contributions by M. Amann [and others]
Synthetic biodegradable polymers / volume editors, Bernhard Rieger [and others] ; with contributions by M. Amann [and others]
ONLINE
2012
9788364227851 : Polymers in nanomedicine / volume editors, Shigeru Kunugi, Tetsuji Yamaoka ; with contributions by T. Akagi [and others]
Polymers in nanomedicine / volume editors, Shigeru Kunugi, Tetsuji Yamaoka ; with contributions by T. Akagi [and others]
ONLINE
2012
9788364228049 : Mass spectrometry of polymers-- New techniques / volume editor: Minna Hakkarainen ; with contributions by N. Aminlashgari [and others]
Mass spectrometry of polymers-- New techniques / volume editor: Minna Hakkarainen ; with contributions by N. Aminlashgari [and others]
ONLINE
2012
9788364228803 : Geometric control of patterned linear systems / Sarah C. Hamilton and Mireille E. Broucke
Geometric control of patterned linear systems / Sarah C. Hamilton and Mireille E. Broucke
ONLINE
2012
9788364230462 : Nucleic acid drugs / Akira Murakami, editor ; with contributions by S. Agrawal [and others]
Nucleic acid drugs / Akira Murakami, editor ; with contributions by S. Agrawal [and others]
ONLINE