序號 |
書名/著者 |
Web20 連結網址 |
1 |
21st century learning for 21st century skills [electronic resource] : 7th European Conference of Technology Enhanced Learning, EC-TEL 2012, Saarbrucken, Germany, September 18-21, 2012 : proceedings / edited by Andrew Ravenscroft ... [et al.]. |
Click here |
2 |
Advanced concepts for intelligent vision systems [electronic resource] : 14th International Conference, ACIVS 2012, Brno, Czech Republic, September 4-7, 2012 : proceedings / edited by Jacques Blanc-Talon ... [et al.]. |
Click here |
3 |
Advances in databases and information systems [electronic resource] : 16th East European Conference, ADBIS 2012, Poznan, Poland, September 18-21, 2012 : proceedings / edited by Tadeusz Morzy, Theo Harder, Robert Wrembel. |
Click here |
4 |
Advances in production management systems [electronic resource] : Value networks: Innovation, technologies, and management, IFIP WG 5.7 International Conference, APMS 2011, Stavanger, Norway, September 26-28, 2011 : revised selected papers / edited by Jan |
Click here |
5 |
Algorithms and architectures for parallel processing [electronic resource] : 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012 : proceedings. Part I / edited by Yang Xiang ... [et al.]. |
Click here |
6 |
Algorithms and architectures for parallel processing [electronic resource] : 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012 : proceedings. Part II / edited by Yang Xiang ... [et al.]. |
Click here |
7 |
Applications and innovations in intelligent systems XII [electronic resource] : proceedings of AI-2004, the twenty-fourth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence / edited by Ann Macintosh, Richard |
Click here |
8 |
Argumentation in multi-agent systems [electronic resource] : 8th International Workshop, ArgMAS 2011, Taipei, Taiwan, May 3, 2011 : revised selected papers / edited by Peter McBurney, Simon Parsons, Iyad Rahwan. |
Click here |
9 |
Artificial intelligence and computational intelligence [electronic resource] : 4th International Conference, AICI 2012, Chengdu, China, October 26-28, 2012 : proceedings / edited by Jingsheng Lei ... [et al.]. |
Click here |
10 |
Artificial intelligence applications and innovations [electronic resource] : 8th IFIP WG 12.5 International Conference, AIAI 2012, Halkidiki, Greece, September 27-30, 2012 : proceedings. Part I / edited by Lazaros Iliadis, Ilias Maglogiannis, Harris Papad |
Click here |
11 |
Artificial intelligence applications and innovations [electronic resource] : AIAI 2012 International Workshops: AIAB, AIeIA, CISE, COPA, IIVC, ISQL, MHDW, and WADTMB, Halkidiki, Greece, September 27-30, 2012 : proceedings. Part II / edited by Lazaros Ilia |
Click here |
12 |
Artificial neural networks and machine learning - ICANN 2012 [electronic resource] : 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012 : proceedings. Part I / edited by Alessandro E. P. Villa ... [et |
Click here |
13 |
Artificial neural networks and machine learning - ICANN 2012 [electronic resource] : 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012 : proceedings. Part II / edited by Alessandro E. Villa ... [et a |
Click here |
14 |
Artificial neural networks in pattern recognition [electronic resource] : 5th INNS IAPR TC 3 GIRPR Workshop, ANNPR 2012, Trento, Italy, September 17-19, 2012 : proceedings / edited by Nadia Mana, Friedhelm Schwenker, Edmondo Trentin. |
Click here |
15 |
Arts and technology [electronic resource] : second International Conference, ArtsIT 2011, Esbjerg, Denmark, December 10-11, 2011 : revised selected papers / edited by Anthony L. Brooks. |
Click here |
16 |
Auctions, market mechanisms, and their applications [electronic resource] : second International ICST Conference, AMMA 2011, New York, NY, USA, August 22-23, 2011 : revised selected papers / edited by Peter Coles ... [et al.]. |
Click here |
17 |
Automated technology for verification and analysis [electronic resource] : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012 : proceedings / edited by Supratik Chakraborty, Madhavan Mukund. |
Click here |
18 |
Broadband satellite communication systems and the challenges of mobility [electronic resource] : IFIP TC6 Workshops on Broadband Satellite Communication Systems and Challenges of Mobility, World Computer Congress, August 22-27, 2004, Toulouse, France / ed |
Click here |
19 |
Business process model and notation [electronic resource] : 4th International Workshop, BPMN 2012, Vienna, Austria, September 12-13, 2012 : proceedings / edited by Jan Mendling, Matthias Weidlich. |
Click here |
20 |
Case-based reasoning research and development [electronic resource] : 20th International Conference, ICCBR 2012, Lyon, France, September 3-6, 2012 : proceedings / edited by Belen Diaz Agudo, Ian Watson. |
Click here |
21 |
Cellular automata [electronic resource] : 10th International Conference on Cellular Automata for Research and Industry, ACRI 2012, Santorini Island, Greece, September 24-27, 2012 : proceedings / edited by Georgios Ch. Sirakoulis, Stefania Bandini. |
Click here |
22 |
Collaborative networks in the internet of services [electronic resource] : 13th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2012, Bournemouth, UK, October 1-3, 2012 : proceedings / edited by Luis M. Camarinha-Matos, Lai Xu, Hamideh Afsar |
Click here |
23 |
Communications and multimedia security [electronic resource] : 13th IFIP TC 6/TC 11 International Conference, CMS 2012, Canterbury, UK, September 3-5, 2012 : proceedings / edited by Bart Decker, David W. Chadwick. |
Click here |
24 |
Communications and multimedia security [electronic resource] : 8th IFIP TC-6 TC-11 Conference on Communications and Multimedia Security, Sept. 15-18, 2004, Windermere, The Lake District, United Kingdom / edited by David Chadwick, Bart Preneel. |
Click here |
25 |
Computational intelligence for multimedia understanding [electronic resource] : International Workshop, MUSCLE 2011, Pisa, Italy, December 13-15, 2011 : revised selected papers / edited by Emanuele Salerno, A. Enis Cetin, Ovidio Salvetti. |
Click here |
26 |
Computational methods in systems biology [electronic resource] : 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012 : proceedings / edited by David Gilbert, Monika Heiner. |
Click here |
27 |
Computer arithmetic [electronic resource] : algorithms and hardware implementations / by Mircea Vladutiu. |
Click here |
28 |
Computer information systems and industrial management [electronic resource] : 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012 : proceedings / edited by Agostino Cortesi ... [et al.]. |
Click here |
29 |
Computer safety, reliability, and security [electronic resource] : 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012 : proceedings / edited by Frank Ortmeier, Peter Daniel. |
Click here |
30 |
Computer safety, reliability, and security [electronic resource] : SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012 : proceedings / edited by Frank Ortmeier, Peter Daniel. |
Click here |
31 |
Computer vision - ECCV 2012 [electronic resource] : 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012 : proceedings. Part I / edited by Andrew Fitzgibbon ... [et al.]. |
Click here |
32 |
Computer vision - ECCV 2012 [electronic resource] : 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012 : proceedings. Part II / edited by Andrew Fitzgibbon ... [et al.]. |
Click here |
33 |
Computer vision - ECCV 2012 [electronic resource] : 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012 : proceedings. Part III / edited by Andrew Fitzgibbon ... [et al.]. |
Click here |
34 |
Computer vision - ECCV 2012 [electronic resource] : 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012 : proceedings. Part IV / edited by Andrew Fitzgibbon ... [et al.]. |
Click here |
35 |
Computer vision - ECCV 2012 [electronic resource] : 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012 : proceedings. Part V / edited by Andrew Fitzgibbon ... [et al.]. |
Click here |
36 |
Computer vision - ECCV 2012 [electronic resource] : 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012 : proceedings. Part VI / edited by Andrew Fitzgibbon ... [et al.]. |
Click here |
37 |
Computer vision - ECCV 2012 [electronic resource] : 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012 : proceedings. Part VII / edited by Andrew Fitzgibbon ... [et al.]. |
Click here |
38 |
Computer vision - ECCV 2012 [electronic resource] : Workshops and demonstrations : Florence, Italy, October 7-13, 2012 : proceedings. Part I / edited by Andrea Fusiello, Vittorio Murino, Rita Cucchiara. |
Click here |
39 |
Computer vision - ECCV 2012 [electronic resource] : Workshops and demonstrations : Florence, Italy, October 7-13, 2012 : proceedings. Part II / edited by Andrea Fusiello, Vittorio Murino, Rita Cucchiara. |
Click here |
40 |
Computer vision - ECCV 2012 [electronic resource] : Workshops and demonstrations : Florence, Italy, October 7-13, 2012 : proceedings. Part III / edited by Andrea Fusiello, Vittorio Murino, Rita Cucchiara. |
Click here |
41 |
Computer-aided design of user interfaces IV [electronic resource] : proceedings of the Fifth International Conference on Computer-Aided Design of User Interfaces CADUI'2004 sponsored by ACM and jointly organised with the Eight ACM International Conference |
Click here |
42 |
CONCUR 2012 - Concurrency theory [electronic resource] : 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012 : proceedings / edited by Maciej Koutny, Irek Ulidowski. |
Click here |
43 |
Constituents of modern system-safety thinking [electronic resource] : proceedings of the Thirteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10 February 2005 / edited by Felix Redmill, Tom Anderson. |
Click here |
44 |
Constructing correct software [electronic resource] / by John Cooke. |
Click here |
45 |
Cryptographic hardware and embedded systems - CHES 2012 [electronic resource] : 14th International Workshop, Leuven, Belgium, September 9-12, 2012 : proceedings / edited by Emmanuel Prouff, Patrick Schaumont. |
Click here |
46 |
Data analytics [electronic resource] : models and algorithms for intelligent data analysis / by Thomas A. Runkler. |
Click here |
47 |
E-learning and games for training, education, health and sports [electronic resource] : 7th International Conference, Edutainment 2012 and 3rd International Conference, GameDays 2012, Darmstadt, Germany, September 18-20, 2012 : proceedings / edited by Ste |
Click here |
48 |
Emerging solutions for future manufacturing systems [electronic resource] : FIP TC 5/WG 5.5 sixth IFIP International Conference on Information technology for Balanced Automation Systems in Manufacturing and Services, 27-29 September 2004, Vienna, Austria |
Click here |
49 |
Energy efficient data centers [electronic resource] : first International Workshop, E2DC 2012, Madrid, Spain, Mai 8, 2012 : revised selected papers / edited by Jyrki Huusko ... [et al.]. |
Click here |
50 |
Enterprise interoperability [electronic resource] : 4th International IFIP Working Conference, IWEI 2012, Harbin, China, September 6-7, 2012 : proceedings / edited by Marten Sinderen ... [et al.]. |
Click here |
51 |
Evaluating AAL systems through competitive benchmarking : indoor localization and tracking [electronic resource] : International Competition, EvAAL 2011, Competition in Valencia, Spain, July 25-29, 2011, and Final Workshop in Lecce, Italy, September 26, 2 |
Click here |
52 |
E-voting and identity [electronic resource] : third international conference, VoteID 2011, Tallinn, Estonia, September 28-30, 2011 : revised selected papers / edited by Aggelos Kiayias, Helger Lipmaa. |
Click here |
53 |
Fast software encryption [electronic resource] : 19th International Workshop, FSE 2012, Washington, DC, USA, March 19-21, 2012 : revised selected papers / edited by Anne Canteaut. |
Click here |
54 |
Formal methods: Foundations and applications [electronic resource] : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012 : proceedings / edited by Rohit Gheyi, David Naumann. |
Click here |
55 |
Future security [electronic resource] : 7th Security Research Conference, Future Security 2012, Bonn, Germany, September 4-6, 2012 : proceedings / edited by Nils Aschenbruck ... [et al.]. |
Click here |
56 |
Geographic information science [electronic resource] : 7th International Conference, GIScience 2012, Columbus, OH, USA, September 18-21, 2012 : proceedings / edited by Ningchuan Xiao ... [et al.]. |
Click here |
57 |
Graph transformations [electronic resource] : 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012 : proceedings / edited by Hartmut Ehrig ... [et al.]. |
Click here |
58 |
Human behavior understanding [electronic resource] : third International Workshop, HBU 2012, Vilamoura, Portugal, October 7, 2012 : proceedings / edited by Albert Ali Salah ... [et al.]. |
Click here |
59 |
Human-centered software engineering [electronic resource] : 4th International Conference, HCSE 2012, Toulouse, France, October 29-31, 2012 : proceedings / edited by Marco Winckler, Peter Forbrig, Regina Bernhaupt. |
Click here |
60 |
ICT as key technology against global warming [electronic resource] : second International Conference, ICT-GLOW 2012, Vienna, Austria, September 6, 2012 : proceedings / edited by Axel Auweter ... [et al.]. |
Click here |
61 |
ICT critical infrastructures and society [electronic resource] : 10th IFIP TC 9 International Conference on Human Choice and Computers, HCC10 2012, Amsterdam, The Netherlands, September 27-28, 2012 : proceedings / edited by Magda David Hercheui ... [et al |
Click here |
62 |
Information access evaluation [electronic resource] : Multilinguality, multimodality, and visual analytics : third International Conference of the CLEF Initiative, CLEF 2012, Rome, Italy, September 17-20, 2012 : proceedings / edited by Tiziana Catarci ... |
Click here |
63 |
Information and software technologies [electronic resource] : 18th International Conference, ICIST 2012, Kaunas, Lithuania, September 13-14, 2012 : proceedings / edited by Tomas Skersys, Rimantas Butleris, Rita Butkiene. |
Click here |
64 |
Information computing and applications [electronic resource] : third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012 : proceedings / edited by Baoxiang Liu, Maode Ma, Jincai Chang. |
Click here |
65 |
Information computing and applications [electronic resource] : third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012 : proceedings. Part I / edited by Chunfeng Liu, Leizhen Wang, Aimin Yang. |
Click here |
66 |
Information computing and applications [electronic resource] : third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012 : proceedings. Part II / edited by Chunfeng Liu, Leizhen Wang, Aimin Yang. |
Click here |
67 |
Information security [electronic resource] : 15th International Conference, ISC 2012, Passau, Germany, September 19-21, 2012 : proceedings / edited by Dieter Gollmann, Felix C. Freiling. |
Click here |
68 |
Information technology and educational management in the knowledge society [electronic resource] : IFIP TC3 WG3.7, 6th International Working Conference on Information Technology in Educational Management (ITEM), July 11-15, 2004, Las Palmas de Gran Canari |
Click here |
69 |
Intelligence in communication systems [electronic resource] : IFIP International Conference on Intelligence in Communication Systems, INTELLCOMM 2005, Montreal, Canada, October 17-19, 2005 / edited by Roch Glitho, Ahmed Karmouch, Samuel Pierre. |
Click here |
70 |
Intelligent robotics and applications [electronic resource] : 5th International Conference, ICIRA 2012, Montreal, Canada, October 3-5, 2012 : proceedings. Part I / edited by Chun-Yi Su, Subhash Rakheja, Honghai Liu. |
Click here |
71 |
Intelligent robotics and applications [electronic resource] : 5th International Conference, ICIRA 2012, Montreal, QC, Canada, October 3-5, 2012 : proceedings. Part II / edited by Chun-Yi Su, Subhash Rakheja, Honghai Liu. |
Click here |
72 |
Intelligent robotics and applications [electronic resource] : 5th International Conference, ICIRA 2012, Montreal, QC, Canada, October 3-5, 2012 : proceedings. Part III / edited by Chun-Yi Su, Subhash Rakheja, Honghai Liu. |
Click here |
73 |
Intelligent technologies for interactive entertainment [electronic resource] : 4th International ICST Conference, INTETAIN 2011, Genova, Italy, May 25-27, 2011 : revised selected papers / edited by Antonio Camurri, Cristina Costa. |
Click here |
74 |
Intelligent virtual agents [electronic resource] : 12th International Conference, IVA 2012, Santa Cruz, CA, USA, September, 12-14, 2012 : proceedings / edited by Yukiko Nakano ... [et al.]. |
Click here |
75 |
KI 2012: Advances in artificial intelligence [electronic resource] : 35th Annual German Conference on AI, Saarbrucken, Germany, September 24-27, 2012 : proceedings / edited by Birte Glimm, Antonio Kruger. |
Click here |
76 |
Knowledge and skill chains in engineering and manufacturing [electronic resource] : information infrastructure in the era of global communications : proceedings of the IFIP TC5/WG5.3, WG5.7, WG5.12 Fifth International Working Conference of Information Inf |
Click here |
77 |
Knowledge and technologies in innovative information systems [electronic resource] : 7th Mediterranean Conference on Information Systems, MCIS 2012, Guimaraes, Portugal, September 8-10, 2012 : proceedings / edited by Hakikur Rahman ... [et al.]. |
Click here |
78 |
Knowledge engineering and knowledge management [electronic resource] : 18th International Conference, EKAW 2012, Galway City, Ireland, October 8-12, 2012 : proceedings / edited by Annette Teije ... [et al.]. |
Click here |
79 |
Leveraging applications of formal methods, verification and validation. Applications and case studies [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings. Part II / edited by Tiziana |
Click here |
80 |
Leveraging applications of formal methods, verification and validation. Technologies for mastering change [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings. Part I / edited by Tizi |
Click here |
81 |
Loewy decomposition of linear differential equations [electronic resource] / by Fritz Schwarz. |
Click here |
82 |
Logics in artificial intelligence [electronic resource] : 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012 : proceedings / edited by Luis Farinas Cerro, Andreas Herzig, Jerome Mengin. |
Click here |
83 |
Machine learning and knowledge discovery in databases [electronic resource] : European Conference, ECML PKDD 2012, Bristol, UK, September 24-28, 2012 : proceedings. Part I / edited by Peter A. Flach, Tijl Bie, Nello Cristianini. |
Click here |
84 |
Machine learning and knowledge discovery in databases [electronic resource] : European conference, ECML PKDD 2012, Bristol, UK, September 24-28, 2012 : proceedings. Part II / edited by Peter A. Flach, Tijl Bie, Nello Cristianini. |
Click here |
85 |
Manage IT! [electronic resource] : organizing IT demand and IT supply / by Theo Thiadens. |
Click here |
86 |
Mathematics of discrete structures for computer science [electronic resource] / by Gordon J. Pace. |
Click here |
87 |
Medical image computing and computer-assisted intervention - MICCAI 2012 [electronic resource] : 15th International Conference, Nice, France, October 1-5, 2012 : proceedings. Part I / edited by Nicholas Ayache ... [et al.]. |
Click here |
88 |
Medical image computing and computer-assisted intervention - MICCAI 2012 [electronic resource] : 15th International Conference, Nice, France, October 1-5, 2012 : proceedings. Part II / edited by Nicholas Ayache ... [et al.]. |
Click here |
89 |
Medical image computing and computer-assisted intervention - MICCAI 2012 [electronic resource] : 15th International Conference, Nice, France, October 1-5, 2012 : proceedings. Part III / edited by Nicholas Ayache ... [et al.]. |
Click here |
90 |
Mesh processing in medical image analysis 2012 [electronic resource] : MICCAI 2012 international workshop, MeshMed 2012, Nice, France, October 1, 2012 : proceedings / edited by Joshua A. Levine, Rasmus R. Paulsen, Yongjie Zhang. |
Click here |
91 |
Model and data engineering [electronic resource] : 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012 : proceedings / edited by Alberto Abello, Ladjel Bellatreche, Boualem Benatallah. |
Click here |
92 |
Model driven engineering languages and systems [electronic resource] : 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30-October 5, 2012 : proceedings / edited by Robert B. France ... [et al.]. |
Click here |
93 |
Modeling and mining ubiquitous social media [electronic resource] : International Workshops MSM 2011, Boston, MA, USA, October 9, 2011, and MUSE 2011, Athens, Greece, September 5, 2011 : revised selected papers / edited by Martin Atzmueller ... [et al.]. |
Click here |
94 |
Multimedia signals and systems [electronic resource] / by Srdjan Stankovic, Irena Orovic, Ervin Sejdic. |
Click here |
95 |
Multimodal brain image analysi [electronic resource] : second International Workshop, MBIA 2012, held in conjunction with MICCAI 2012, Nice, France, October 1-5, 2012 : proceedings / edited by Pew-Thian Yap ... [et al.]. |
Click here |
96 |
Network control and engineering for QOS, security and mobility, III [electronic resource] : IFIP TC6/WG6.2, 6.6, 6.7 and 6.8 Third International Conference on Network Control and Engineering for QoS, Security and Mobility, NetCon 2004 on November 2-5, 200 |
Click here |
97 |
Open source systems [electronic resource] : long-term sustainability : 8th IFIP WG 2.13 International Conference, OSS 2012, Hammamet, Tunisia, September 10-13, 2012 : proceedings / edited by Imed Hammouda ... [et al.]. |
Click here |
98 |
Outdoor and large-scale real-world scene analysis [electronic resource] : 15th International Workshop on Theoretical Foundations of Computer Vision, Dagstuhl Castle, Germany, June 26-July 1, 2011 : revised selected papers / edited by Frank Dellaert ... [e |
Click here |
99 |
Pattern recognition [electronic resource] : Chinese Conference, CCPR 2012, Beijing, China, September 24-26, 2012 : proceedings / edited by Cheng-Lin Liu, Changshui Zhang, Liang Wang. |
Click here |
100 |
Perspectives in business informatics research [electronic resource] : 11th International Conference, BIR 2012, Nizhny Novgorod, Russia, September 24-26, 2012 : proceedings / edited by Natalia Aseeva, Eduard Babkin, Oleg Kozyrev. |
Click here |
101 |
Practical aspects of design science [electronic resource] : European Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011 : revised selected papers / edited by Markus Helfert, Brian Donnellan. |
Click here |
102 |
Privacy in statistical databases [electronic resource] : UNESCO Chair in Data Privacy, International Conference, PSD 2012, Palermo, Italy, September 26-28, 2012 : proceedings / edited by Josep Domingo-Ferrer, Ilenia Tinnirello. |
Click here |
103 |
Programming languages [electronic resource] : 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012 : proceedings / edited by Francisco Heron Carvalho Junior, Luis Soares Barbosa. |
Click here |
104 |
Reachability problems [electronic resource] : 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedings / edited by Alain Finkel, Jerome Leroux, Igor Potapov. |
Click here |
105 |
Recent advances in the message passing interface [electronic resource] : 19th European MPI Users' group meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012 : proceedings / edited by Jesper Larsson Traff, Siegfried Benkner, Jack J. Dongarra. |
Click here |
106 |
Recent trends in computer networks and distributed systems security [electronic resource] : International Conference, SNDS 2012, Trivandrum, India, October 11-12, 2012 : proceedings / edited by Sabu M. Thampi ... [et al.]. |
Click here |
107 |
Relational and algebraic methods in computer science [electronic resource] : 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012 : proceedings / edited by Wolfram Kahl, Timothy G. Griffin. |
Click here |
108 |
Research and development in intelligent systems XXI [electronic resource] : proceedings of AI-2004, the twenty-fourth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence / edited by Max Bramer, Frans Coenen, |
Click here |
109 |
Research in Attacks, Intrusions, and Defenses [electronic resource] : 15th International Symposium, RAID 2012, Amsterdam, The Netherlands, September 12-14, 2012 : proceedings / edited by Davide Balzarotti, Salvatore J. Stolfo, Marco Cova. |
Click here |
110 |
Scalable uncertainty management [electronic resource] : 6th International Conference, SUM 2012, Marburg, Germany, September 17-19, 2012 : proceedings / edited by Eyke Hullermeier ... [et al.]. |
Click here |
111 |
Search based software engineering [electronic resource] : 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012 : proceedings / edited by Gordon Fraser, Jerffeson Teixeira de Souza. |
Click here |
112 |
Security and privacy in communication networks [electronic resource] : 7th International ICST Conference, SecureComm 2011, London, UK, September 7-9, 2011 : revised selected papers / edited by Muttukrishnan Rajarajan ... [et al.]. |
Click here |
113 |
Serious games development and applications [electronic resource] : third International Conference, SGDA 2012, Bremen, Germany, September 26-29, 2012 : proceedings / edited by Minhua Ma ... [et al.]. |
Click here |
114 |
Software engineering and formal methods [electronic resource] : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012 : proceedings / edited by George Eleftherakis, Mike Hinchey, Mike Holcombe. |
Click here |
115 |
Software engineering for resilient systems [electronic resource] : 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012 : proceedings / edited by Paris Avgeriou. |
Click here |
116 |
Software testing in the cloud [electronic resource] : migration and execution / by Scott Tilley, Tauhida Parveen. |
Click here |
117 |
Spatio-temporal image analysis for longitudinal and time-series image data [electronic resource] : second International Workshop, STIA 2012, held in conjunction with MICCAI 2012, Nice, France, October 1, 2012 : proceedings / edited by Stanley Durrleman .. |
Click here |
118 |
Stabilization, safety, and security of distributed systems [electronic resource] : 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012 : proceedings / edited by Andrea W. Richa, Christian Scheideler. |
Click here |
119 |
String processing and information retrieval [electronic resource] : 19th International Symposium, SPIRE 2012, Cartagena de Indias, Colombia, October 21-25, 2012 : proceedings / edited by Liliana Calderon-Benavides ... [et al.]. |
Click here |
120 |
Telematics in the transport environment [electronic resource] : 12th International Conference on Transport Systems Telematics, TST 2012, Katowice-Ustron, Poland, October 10-13, 2012 : selected papers / edited by Jerzy Mikulski. |
Click here |
121 |
Theoretical computer science [electronic resource] : 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012 : proceedings / edited by Jos C. M. Baeten, Tom Ball, Frank S. Boer. |
Click here |
122 |
Theory and practice of digital libraries [electronic resource] : second International Conference, TPDL 2012, Paphos, Cyprus, September 23-27, 2012 : proceedings / edited by Panayiotis Zaphiris ... [et al.]. |
Click here |
123 |
Theory and practice of natural computing [electronic resource] : first International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012 : proceedings / edited by Adrian-Horia Dediu, Carlos Martin-Vide, Bianca Truthe. |
Click here |
124 |
Tools for high performance computing 2011 [electronic resource] : proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden / edited by Holger Brunst ... [et al.]. |
Click here |
125 |
Transactions on large-scale data- and knowledge-centered systems VI [electronic resource] : special issue on database- and expert-systems applications / edited by Abdelkader Hameurlain ... [et al.]. |
Click here |
126 |
Trustworthy ubiquitous computing [electronic resource] / edited by Ismail Khalil, Teddy Mantoro. |
Click here |
127 |
Unconventional computation and natural computation [electronic resource] : 11th International Conference, UCNC 2012, Orle?ans, France, September 3-7, 2012 : proceedings / edited by Jerome Durand-Lose, Natasa Jonoska. |
Click here |
128 |
Understanding high-dimensional spaces [electronic resource] / by David B. Skillicorn. |
Click here |
129 |
VLSI-SoC [electronic resource] : advanced research for systems on chip : 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011 : revised selected papers / edited by Salvador Mir |
Click here |
130 |
Wireless internet [electronic resource] : 6th International ICST Conference, WICON 2011, Xi'an, China, October 19-21, 2011 : revised selected papers / edited by Pinyi Ren ...[et al.]. |
Click here |