educación continua y tecnología springer...
TRANSCRIPT
Educación Continua y Tecnología
No TÍTULO AUTOR (ES) TIPO DE OBRA AÑO
1 Data Mining and Knowledge Discovery Handbook Oded Maimon, Lior Rokach Handbook 2010
2 Digital Signatures Jonathan Katz Monograph 2010
3 Encyclopedia of Machine Learning Claude Sammut, Geoffrey I. Webb Encyclop(a)edia 2010
4 Network SecurityScott C.-H. Huang, David MacCallum, Ding-Zhu Du Contributed volume 2010
5 Introduction to Computational Cardiology Boris Ja. Kogan Monograph 2010
6 Information Systems DevelopmentGeorge A. Papadopoulos, Wita Wojtkowski, Gregory Wojtkowski Contributed volume 2010
7 Electronic Healthcare Information Security Charles A. Shoniregun, Kudakwashe Dube, Fredrick Mtenzi
Monograph 2010
8 Network Intrusion Detection and Prevention Ali A. Ghorbani, Wei Lu, Mahbod Tavallaee Monograph 2010
9 Handbook of Ambient Intelligence and Smart EnvironmentsHideyuki Nakashima, Hamid Aghajan, Juan Carlos Augusto Handbook 2010
10 Elements of Computer Security David Salomon Undergraduate textbook 2010
11 International Handbook of Internet ResearchJeremy Hunsinger, Lisbeth Klastrup, Matthew Allen Handbook 2010
12 Encryption for Digital Content Aggelos Kiayias, Serdar Pehlivanoglu Monograph 2010
13 Production Grids in Asia Simon C. Lin, Eric Yen Proceedings 2010
14 Cyber Situational AwarenessSushil Jajodia, Peng Liu, Vipin Swarup, Cliff Wang Contributed volume 2010
15 Visual Information CommunicationMao Lin Huang, Quang Vinh Nguyen, Kang Zhang Proceedings 2010
16 Foundations for Efficient Web Service Selection Qi Yu, Athman Bouguettaya Monograph 2010
17 Multi-Modal User Interactions in Controlled EnvironmentsChaabane Djeraba, Adel Lablack, Yassine Benabbas Professional book 2010
18 C Compilers for ASIPs Manuel Hohenauer, Rainer Leupers Monograph 2010
19 Information Theoretic Learning Jose C. Principe Monograph 2010
20 Genetic Programming Theory and Practice VIIRick Riolo, Una-May O'Reilly, Trent McConaghy Contributed volume 2010
21 Future Application and Middleware Technology on e-ScienceOk-Hwan Byeon, Jang Hyuk Kwon, Thom Dunning, Kum Won Cho, Aurore Savoy-Navarro
Proceedings 2010
22 Domain Driven Data MiningLongbing Cao, Philip S. Yu, Chengqi Zhang, Yanchang Zhao Monograph 2010
23 Open Source Software for Digital Forensics Ewa Huebner, Stefano Zanero Proceedings 2010
24 Managing and Mining Graph Data Charu C. Aggarwal, Haixun Wang Contributed volume 2010
25 Estimating Impact Alexander Kott, Gary Citrenbaum Contributed volume 2010
26 Managed Grids and Cloud Systems in the Asia-Pacific Research Community Simon C. Lin, Eric Yen Proceedings 2010
27 Handbook of Cloud Computing Borko Furht, Armando Escalante Handbook 2010
28 Web Service Mining George Zheng, Athman Bouguettaya Monograph 2010
SPRINGER eBooks COMPUTER SCIENCE
29 Temporal Information Systems in MedicineCarlo Combi, Elpida Keravnou-Papailiou, Yuval Shahar
Graduate/advanced undergraduate textbook 2010
30 Association Rule Hiding for Data MiningAris Gkoulalas-Divanis, Vassilios S. Verykios Monograph 2010
31 Adaptive Cryptographic Access ControlAnne V. D. M. Kayem, Selim G. Akl, Patrick Martin Monograph 2010
32 Image-Based Modeling Long Quan Monograph 2010
33 Grids, P2P and Services ComputingFrédéric Desprez, Vladimir Getov, Thierry Priol, Ramin Yahyapour Proceedings 2010
34 Open Networked "i-Learning" Gianluca Elia, Antonella Poce Monograph 2010
35 Economics of Information Security and Privacy Tyler Moore, David Pym, Christos Ioannidis Proceedings 2010
36 Terminological OntologiesJavier Lacasta, Javier Nogueras Iso, Francisco Javier Zarazaga Soria Monograph 2010
37 Specification and Verification of Multi-agent SystemsMehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer Contributed volume 2010
38 Insider Threats in Cyber Security Christian W. Probst, Jeffrey Hunker, Dieter Gollmann, M Bishop
Contributed volume 2010
39 Handbook of Social Network Technologies and Applications Borko Furht Handbook 2010
40 Composing Software Components Dick Hamlet Monograph 2010
41 The P=NP Question and Gödel’s Lost Letter Richard J. Lipton Monograph 2010
42 Evolving Towards the Internetworked Enterprise Giuseppina Passiante Contributed volume 2010
43 Queueing Theory for Telecommunications Attahiru Sule Alfa Monograph 2010
44 Grids and Service-Oriented Architectures for Service Level AgreementsPhilipp Wieder, Ramin Yahyapour, Wolfgang Ziegler Proceedings 2010
45 Canadian Semantic Web Weichang Du, Faezeh Ensan Proceedings 2010
46 Tile-Based Geospatial Information Systems John T. Sample, Elias Ioup Monograph 2010
47 Linking Enterprise Data David Wood Contributed volume 2010
48 Inductive Databases and Constraint-Based Data Mining Sašo Džeroski, Bart Goethals, Panče Panov Contributed volume 2010
49 Designing User Friendly Augmented Work Environments Saadi Lahlou Reference work 2010
50 A Process Algebraic Approach to Software Architecture DesignAlessandro Aldini, Marco Bernardo, Flavio Corradini
Graduate/advanced undergraduate textbook 2010
51 Guide to OCR for Indic ScriptsVenu Govindaraju, Srirangaraj (Ranga) Setlur Contributed volume 2010
52 Computational Social Network AnalysisAjith Abraham, Aboul-Ella Hassanien, Vaclav Sná¿el Contributed volume 2010
53 Guide to Intelligent Data AnalysisMichael R. Berthold, Christian Borgelt, Frank Höppner, Frank Klawonn
Graduate/advanced undergraduate textbook 2010
54 Supporting People with Dementia Using Pervasive Health Technologies Maurice D. Mulvenna, Chris D. Nugent Reference work 2010
55 Multimodal Usability Niels Ole Bernsen, Laila Dybkjær Reference work 2010
56 Pervasive Computing Aboul-Ella Hassanien, Jemal H. Abawajy, Ajith Abraham, H Hagras
Monograph 2010
57 Web-based Support Systems JingTao Yao Contributed volume 2010
58 Dynamic Business Process Formation for Instant Virtual Enterprises Nikolay Mehandjiev, Paul Grefen Contributed volume 2010
59 Mobile TV: Customizing Content and ExperienceAaron Marcus, Anxo Cereijo Roibás, Riccardo Sala Reference work 2010
60 Shared EncountersKatharine S. Willis, George Roussos, Konstantinos Chorianopoulos, Mirjam Struppek
Contributed volume 2010
61 The Engineering of Mixed Reality SystemsEmmanuel Dubois, Philip Gray, Laurence Nigay Reference work 2010
62 Formal Methods: State of the Art and New DirectionsPaul Boca, Jonathan P. Bowen, Jawed Siddiqi Contributed volume 2010
63 Algorithms for Next Generation Networks Graham Cormode, Marina Thottan Contributed volume 2010
64 Systems Approaches to Managing Change: A Practical Guide Martin Reynolds, Sue HolwellGraduate/advanced undergraduate textbook 2010
65 Online Worlds: Convergence of the Real and the Virtual William Sims Bainbridge Contributed volume 2010
66 Guide to Reliable Internet Services and ApplicationsCharles R. Kalmanek, Sudip Misra, Yang (Richard) Yang Contributed volume 2010
67 Handbook of Data Compression David Salomon, Giovanni Motta Professional book 2010
68 Reflections on the Work of C.A.R. HoareA.W. Roscoe, Cliff B. Jones, Kenneth R. Wood Contributed volume 2010
69 Programming Languages: Principles and Paradigms Maurizio Gabbrielli, Simone Martini Undergraduate textbook 2010
70 Geometric Computing Eduardo Bayro-Corrochano Monograph 2010
71 Technology for Modelling Charles Care Monograph 2010
72 Evaluating User Experience in Games Regina Bernhaupt Reference work 2010
73 From CSCW to Web 2.0: European Developments in Collaborative Design David Randall, Pascal Salembier Contributed volume 2010
74 Research and Development in Intelligent Systems XXVI Max Bramer, Richard Ellis, Miltos Petridis Proceedings 2010
75 Mathematics for Computer Graphics John A. Vince Undergraduate textbook 2010
76 Ethical and Social Issues in the Information Age Joseph Migga Kizza Undergraduate textbook 2010
77 Agent-Based Service-Oriented Computing Nathan Griffiths, Kuo-Ming Chao Monograph 2010
78 Developing Multi-Database Mining ApplicationsAnimesh Adhikari, Pralhad Ramachandrarao, Witold Pedrycz Monograph 2010
79 Researching Learning in Virtual WorldsAnna Peachey, Julia Gillen, Daniel Livingstone, Sarah Smith-Robbins Contributed volume 2010
80 Coverage Control in Sensor Networks Bang Wang Monograph 2010
81 Emergent Web Intelligence: Advanced Information RetrievalRichard Chbeir, Youakim Badr, Ajith Abraham, Aboul-Ella Hassanien Monograph 2010
82 Emergent Web Intelligence: Advanced Semantic TechnologiesYouakim Badr, Richard Chbeir, Ajith Abraham, Aboul-Ella Hassanien Monograph 2010
83 Making Systems Safer Chris Dale, Tom Anderson Proceedings 2010
84 A Practical Guide to Brain–Computer Interfacing with BCI2000 Gerwin Schalk, Jürgen MellingerGraduate/advanced undergraduate textbook 2010
85 Introduction to Databases Peter ReveszGraduate/advanced undergraduate textbook 2010
86 Support Vector Machines for Pattern Classification Shigeo Abe Monograph 2010
87 Comparative Gene Finding Marina Axelson-Fisk Monograph 2010
88 Geometric Algebra ComputingEduardo Bayro-Corrochano, Gerik Scheuermann Monograph 2010
89 Tabletops - Horizontal Interactive Displays Christian Müller-Tomfelde Contributed volume 2010
90 Systems Practice: How to Act in a Climate Change World Ray IsonGraduate/advanced undergraduate textbook 2010
91 Social Learning Systems and Communities of Practice Chris BlackmoreGraduate/advanced undergraduate textbook 2010
92 Art and Technology of Entertainment Computing and Communication Adrian David Cheok Monograph 2010
93 Frontiers in Computational and Systems Biology Jianfeng Feng, Wenjiang Fu, Fengzhu Sun Contributed volume 2010
94 Computational Methods in Biometric Authentication Michael E. Schuckers Monograph 2010
95 Symbol Spotting in Digital Libraries Marçal Rusiñol, Josep Lladós Monograph 2010
96 Game of Life Cellular Automata Andrew Adamatzky Monograph 2010
97 Exploring Digital DesignIna Wagner, Tone Bratteteig, Dagny Stuedahl Contributed volume 2010
98 Fundamentals of Predictive Text MiningSholom M. Weiss, Nitin Indurkhya, Tong Zhang
Graduate/advanced undergraduate textbook 2010
99 The Essential PIC18® Microcontroller Sid Katzen Professional book 2010
100 An Introduction to Object Recognition Marco Alexander Treiber Professional book 2010
101 Privacy and Anonymity in Information Management Systems Jordi Nin, Javier Herranz Reference work 2010
102 Cloud Computing Nick Antonopoulos, Lee Gillam Monograph 2010
103 Modeling and Simulating Bodies and Garments Nadia Magnenat-Thalmann Contributed volume 2010
104 Brain-Computer Interfaces Desney S. Tan, Anton Nijholt Contributed volume 2010
105 802.11 Wireless Networks Alan Holt, Chi-Yu Huang Monograph 2010
106 Scientific Data Analysis using Jython Scripting and Java Sergei V. ChekanovGraduate/advanced undergraduate textbook 2010
107 Discrete Calculus Leo J. Grady, Jonathan R. Polimeni Monograph 2010
108 Thriving Systems Theory and Metaphor-Driven Modeling Leslie J. Waguespack Monograph 2010
109 Introduction to Modeling for Biosciences David J. Barnes, Dominique ChuGraduate/advanced undergraduate textbook 2010
110 Robot IntelligenceHonghai Liu, Dongbing Gu, Robert J. Howlett, Yonghuai Liu Monograph 2010
111 Social Media on the Road Oskar Juhlin Monograph 2010
112 Network ScienceErnesto Estrada, Maria Fox, Desmond J. Higham, Gian-Luca Oppo Contributed volume 2010
113 Multimedia Interaction and Intelligent User InterfacesLing Shao, Caifeng Shan, Jiebo Luo, Minoru Etoh Contributed volume 2010
114 Optimisation combinatoireBernhard Korte, Jens Vygen, Jean Fonlupt, Alexandre Skoda Monograph 2010
115 Codes and Turbo Codes Claude Berrou Monograph 2010
116 Emerging Web Services Technology Volume III Walter Binder, Schahram Dustdar Proceedings 2010
117 Run-time Models for Self-managing Systems and Applications Danilo Ardagna, Li Zhang Collection of essays 2010
118 Autonomics Development: A Domain-Specific Aspect Language Approach Paul Soule Monograph 2010
119 Reliable and Autonomous Computational ScienceSung Y. Shin, Rex Gantenbein, Tei-Wei Kuo, Jiman Hong Proceedings 2010
120 Foundations of Intelligent Systems Zbigniew W. Raś, Setsuo Ohsuga Proceedings 2010
121 Cognitive Research Tamás Gergely, Oleg M. Anshakov Monograph 2010
122 The Design of Material, Organism, and Minds Silke Konsorski-Lang, Michael Hampe Professional book 2010
123 Agile Software Development Thomas Stober, Uwe Hansmann Professional book 2010
124 Security for Web Services and Service-Oriented ArchitecturesElisa Bertino, Lorenzo Martino, Federica Paci, Anna Squicciarini Monograph 2010
125 Practical Signcryption Alexander W. Dent, Yuliang Zheng Monograph 2010
126 Machine-based Intelligent Face Recognition Dengpan Mou Monograph 2010
127 Advances in Data Analysis, Data Handling and Business IntelligenceAndreas Fink, Berthold Lausen, Wilfried Seidel, Alfred Ultsch Proceedings 2010
128 Architecture-Based Design of Multi-Agent Systems Danny Weyns Monograph 2010
129 Evolution of Communication and Language in Embodied Agents Stefano Nolfi, Marco Mirolli Monograph 2010
130 Business Process Technology Dirk Draheim Professional book 2010
131 HPC@Green IT Ralf Gruber, Vincent Keller Professional book 2010
132 Graphs and Algorithms in Communication Networks Arie Koster, Xavier Muñoz Monograph 2010
133 The LLL Algorithm Phong Q. Nguyen, Brigitte Vallée Monograph 2010
134 Sensitivity Analysis for Neural NetworksDaniel S. Yeung, Ian Cloete, Daming Shi, Wing W. Y. Ng Monograph 2010
135 Neural Networks and MicromechanicsErnst Kussul, Tatiana Baidyk, Donald C. Wunsch Monograph 2010
136 Experimental Methods for the Analysis of Optimization AlgorithmsThomas Bartz-Beielstein, Marco Chiarandini, Luís Paquete, Mike Preuss Monograph 2010
137 Automating the Design of Data Mining Algorithms Gisele L. Pappa, Alex Freitas Monograph 2010
138 Scientific Data Mining and Knowledge Discovery Mohamed Medhat Gaber Monograph 2010
139 Origins and Foundations of Computing Friedrich L. Bauer Popular science 2010
140 Modern Business Process Automation Arthur H. M. Hofstede, Wil M. P. Aalst, Michael Adams, Nick Russell
Graduate/advanced undergraduate textbook
2010
141 Quantum Private Communication Guihua Zeng Monograph 2010
142 Unique Radio Innovation for the 21st CenturyDamith C. Ranasinghe, Quan Z. Sheng, Sherali Zeadally Professional book 2010
143 Semantic Technologies for E-GovernmentTomas Vitvar, Vassilios Peristeras, Konstantinos Tarabanis Monograph 2010
144 Peer-to-Peer Computing Quang Hieu Vu, Mihai Lupu, Beng Chin Ooi Monograph 2010
145 Changing Cultures in Higher Education Ulf-Daniel Ehlers, Dirk Schneckenberg Professional book 2010
146 Service Oriented Infrastructures and Cloud Service Platforms for the EnterpriseTheo Dimitrakos, Josep Martrat, Stefan Wesner Proceedings 2010
147 Understanding Cryptography Christof Paar, Jan Pelzl Undergraduate textbook 2010
148 Test-Driven Development Lech Madeyski Monograph 2010
149 Semantic Web Information ManagementRoberto de Virgilio, Fausto Giunchiglia, Letizia Tanca Monograph 2010
150 Logical Tools for Handling Change in Agent-Based Systems Dov M. Gabbay, Karl Schlechta Monograph 2010
151 Parallel Programming Thomas Rauber, Gudula RüngerGraduate/advanced undergraduate textbook 2010
152 Strategic IT Management Inge Hanschke Professional book 2010
153 Patent Law for Computer ScientistsDaniel Closa, Alex Gardiner, Falk Giemsa, Jörg Machek Professional book 2010
154 Collaborative Software EngineeringIvan Mistrík, John Grundy, André Hoek, Jim Whitehead Monograph 2010
155 Animation and Performance Capture Using Digitized Models Edilson Aguiar Monograph 2010
156 Data Privacy Management and Autonomous Spontaneous SecurityJoaquin Garcia-Alfaro, Guillermo Navarro-Arribas, Nora Cuppens-Boulahia, Yves Roudier
Proceedings 2010
157 Stochastic Models for Fault Tolerance Katinka Wolter Monograph 2010
158 Tools for High Performance Computing 2009Matthias S. Müller, Michael M. Resch, Alexander Schulz, Wolfgang E. Nagel Proceedings 2010
159 SOFSEM 2010: Theory and Practice of Computer ScienceJan Leeuwen, Anca Muscholl, David Peleg, Jaroslav Pokorný, Bernhard Rumpe Proceedings 2010
160 ReplicationBernadette Charron-Bost, Fernando Pedone, André Schiper Proceedings 2010
161 Advances in Multimedia ModelingSusanne Boll, Qi Tian, Lei Zhang, Zili Zhang, Yi-Ping Phoebe Chen Proceedings 2010
162 Verification, Model Checking, and Abstract Interpretation Gilles Barthe, Manuel Hermenegildo Proceedings 2010
163 Distributed Computing and NetworkingKrishna Kant, Sriram V. Pemmaraju, Krishna M. Sivalingam, Jie Wu Proceedings 2010
164 Declarative Agent Languages and Technologies VIIMatteo Baldoni, Jamal Bentahar, M. Birna Riemsdijk, John Lloyd Proceedings 2010
165 Agents and Peer-to-Peer ComputingSamuel R. H. Joseph, Zoran Despotovic, Gianluca Moro, Sonia Bergamaschi Proceedings 2010
166 Teaching Fundamentals Concepts of InformaticsJuraj Hromkovič, Richard Královič, Jan Vahrenhold Proceedings 2010
167 Web Dynpro ABAP for Practitioners Ulrich Gellert, Ana Daniela Cristea Professional book 2010
168 Transactions on Computational Science VII Marina L. Gavrilova, C. J. Kenneth Tan Collected works 2010
169 Graph-Theoretic Concepts in Computer Science Christophe Paul, Michel Habib Proceedings 2010
170 WALCOM: Algorithms and Computation Md. Saidur Rahman, Satoshi Fujita Proceedings 2010
171 Membrane ComputingGheorghe Păun, Mario J. Pérez-Jiménez, Agustín Riscos-Núñez, Grzegorz Rozenberg, Arto Salomaa
Proceedings 2010
172 Structural Information and Communication Complexity Shay Kutten, Janez Žerovnik Proceedings 2010
173 Transactions on Rough Sets XI James F. Peters, Andrzej Skowron Collected works 2010
174 Autonomic Computing and Communications SystemsAthanasius V. Vasilakos, Roberto Beraldi, Roy Friedman, Marco Mamei Proceedings 2010
175 Perspectives of Systems InformaticsAmir Pnueli, Irina Virbitskaite, Andrei Voronkov Proceedings 2010
176 Information Behavior Amanda Spink Monograph 2010
177 Practical Aspects of Declarative Languages Manuel Carro, Ricardo Peña Proceedings 2010
178 Advances in Nonlinear Speech Processing Jordi Solé-Casals, Vladimir Zaiats Proceedings 2010
179 Concurrency, Compositionality, and CorrectnessDennis Dams, Ulrich Hannemann, Martin Steffen Commemorative publication 2010
180 High Performance Embedded Architectures and CompilersYale N. Patt, Pierfrancesco Foglia, Evelyn Duesterwald, Paolo Faraboschi, Xavier Martorell
Proceedings 2010
181 Security in Emerging Wireless Communication and Networking Systems Qijun Gu, Wanyu Zang, Meng Yu Proceedings 2010
182 Sensor Systems and SoftwareStephen Hailes, Sabrina Sicari, George Roussos Proceedings 2010
183 Information Security and Digital Forensics Dasun Weerasinghe Proceedings 2010
184 Digital Business Luigi Telesca, Katarina Stanoevska-Slabeva, Veselin Rakocevic
Proceedings 2010
185 Digital Forensics and Cyber Crime Sanjay Goel Proceedings 2010
186 Arts and Technology Fay Huang, Reen-Cheng Wang Proceedings 2010
187 Precision Assembly Technologies and Systems Svetan Ratchev Proceedings 2010
188 Biomedical Simulation Fernando Bello, Stéphane Cotin Proceedings 2010
189High Performance Networking, Computing, Communication Systems, and Mathematical Foundations Yanwen Wu, Qi Luo Proceedings 2010
190 Mathematical Methods for Curves and SurfacesMorten Dæhlen, Michael Floater, Tom Lyche, Jean-Louis Merrien, Knut Mørken, Larry L. Schumaker
Proceedings 2010
191 Fundamentals of Software Engineering Farhad Arbab, Marjan Sirjani Proceedings 2010
192 Emerging Trends in Technological InnovationLuis M. Camarinha-Matos, Pedro Pereira, Luis Ribeiro Proceedings 2010
193 Next Generation Society. Technological and Legal IssuesAlexander B. Sideridis, Charalampos Z. Patrikakis Proceedings 2010
194 Distributed Computing and Internet Technology Tomasz Janowski, Hrushikesha Mohanty Proceedings 2010
195 Access Networks Xiao Jun Hei, Lawrence Cheung Proceedings 2010
196 Transactions on Computational Systems Biology XIICorrado Priami, Rainer Breitling, David Gilbert, Monika Heiner, Adelinde M. Uhrmacher
Collected works 2010
197 Biomedical Engineering Systems and Technologies Ana Fred, Joaquim Filipe, Hugo Gamboa Proceedings 2010
198 Ad Hoc NetworksJun Zheng, Shiwen Mao, Scott F. Midkiff, Hua Zhu Proceedings 2010
199 Quantum Communication and Quantum NetworkingAlexander Sergienko, Saverio Pascazio, Paolo Villoresi Proceedings 2010
200 Networks for Grid ApplicationsAnastasios Doulamis, Joe Mambretti, Ioannis Tomkos, Theodora Varvarigou Proceedings 2010
201 Facets of Virtual Environments Fritz Lehmann-Grube, Jan Sablatnig Proceedings 2010
202 Electronic Healthcare Patty Kostkova Proceedings 2010
203 Engineering Secure Software and SystemsFabio Massacci, Dan Wallach, Nicola Zannone Proceedings 2010
204 Human Error, Safety and Systems DevelopmentPhilippe Palanque, Jean Vanderdonckt, Marco Winckler Proceedings 2010
205Human Work Interaction Design: Usability in Social, Cultural and Organizational Contexts
Dinesh Katre, Rikke Orngreen, Pradeep Yammiyavar, Torkil Clemmensen Proceedings 2010
206MATLAB R2009, SIMULINK et STATEFLOW pour Ingénieurs, Chercheurs et Etudiants Nadia Martaj, Mohand Mokhtari Professional book 2010
207 Medical Content-Based Retrieval for Clinical Decision SupportBarbara Caputo, Henning Müller, Tanveer Syeda-Mahmood, James S. Duncan, Fei Wang
Proceedings 2010
208 Task Models and Diagrams for User Interface DesignDavid England, Philippe Palanque, Jean Vanderdonckt, Peter J. Wild Proceedings 2010
209 Theory of Cryptography Daniele Micciancio Proceedings 2010
210Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation José Monteiro, René Leuken Proceedings 2010
211 Graph Drawing David Eppstein, Emden R. Gansner Proceedings 2010
212 Knowledge Representation for Health-Care. Data, Processes and GuidelinesDavid Riaño, Annette Teije, Silvia Miksch, Mor Peleg Proceedings 2010
213 Abstract State Machines, Alloy, B and ZMarc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves Proceedings 2010
214 Adaptive and Learning Agents Matthew E. Taylor, Karl Tuyls Proceedings 2010
215 Mobile Networks and ManagementKostas Pentikousis, Oliver Blume, Ramón Agüero Calvo, Symeon Papavassiliou Proceedings 2010
216 Agents and Artificial Intelligence Joaquim Filipe, Ana Fred, Bernadette Sharp Proceedings 2010
217 Foundations of Information and Knowledge Systems Sebastian Link, Henri Prade Proceedings 2010
218 Computer Vision, Imaging and Computer Graphics. Theory and ApplicationsAlpeshKumar Ranchordas, João Madeiras Pereira, Hélder J. Araújo, João Manuel R. S. Tavares
Proceedings 2010
219 High Performance Computing and ApplicationsWu Zhang, Zhangxin Chen, Craig C. Douglas, Weiqin Tong Proceedings 2010
220 Sensor Applications, Experimentation, and Logistics Nikos Komninos Proceedings 2010
221 RoboCup 2009: Robot Soccer World Cup XIIIJacky Baltes, Michail G. Lagoudakis, Tadashi Naruse, Saeed Shiry Ghidary Proceedings 2010
222 Automata for Branching and Layered Temporal Structures Gabriele Puppis Monograph 2010
223 Wireless Sensor Networks Jorge Sá Silva, Bhaskar Krishnamachari, Fernando Boavida
Proceedings 2010
224 Topics in Cryptology - CT-RSA 2010 Josef Pieprzyk Proceedings 2010
225 Formal Concept Analysis Léonard Kwuida, Barış Sertkaya Proceedings 2010
226 Approaches and Applications of Inductive ProgrammingUte Schmid, Emanuel Kitzelmann, Rinus Plasmeijer Proceedings 2010
227 Architecture of Computing Systems - ARCS 2010Christian Müller-Schloer, Wolfgang Karl, Sami Yehia Proceedings 2010
228 Programming Languages and Systems Andrew D. Gordon Proceedings 2010
229 Compiler Construction Rajiv Gupta Proceedings 2010
230 Functional and Constraint Logic Programming Santiago Escobar Proceedings 2010
231 Tools and Algorithms for the Construction and Analysis of Systems Javier Esparza, Rupak Majumdar Proceedings 2010
232 Database Systems for Advanced ApplicationsHiroyuki Kitagawa, Yoshiharu Ishikawa, Qing Li, Chiemi Watanabe Proceedings 2010
233 Fundamental Approaches to Software Engineering David S. Rosenblum, Gabriele Taentzer Proceedings 2010
234 Foundations of Software Science and Computational Structures Luke Ong Proceedings 2010
235 Information Systems, Technology and ManagementSushil K. Prasad, Harrick M. Vin, Sartaj Sahni, Mahadeo P. Jaiswal, Bundit Thipakorn
Proceedings 2010
236 Databases in Networked Information SystemsShinji Kikuchi, Shelly Sachdeva, Subhash Bhalla Proceedings 2010
237 Advances in Social ComputingSun-Ki Chai, John J. Salerno, Patricia L. Mabry Proceedings 2010
238 Advances in Databases and Information SystemsJanis Grundspenkis, Marite Kirikova, Yannis Manolopoulos, Leonids Novickis Proceedings 2010
239 Database Systems for Advanced ApplicationsHiroyuki Kitagawa, Yoshiharu Ishikawa, Qing Li, Chiemi Watanabe Proceedings 2010
240 Intelligent Information and Database SystemsNgoc Thanh Nguyen, Manh Thanh Le, Jerzy Świątek Proceedings 2010
241Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
Bruno Müller-Clostermann, Klaus Echtle, Erwin P. Rathgeb Proceedings 2010
242 Software Language Engineering Mark Brand, Dragan Gašević, Jeff Gray Proceedings 2010
243Human Benefit through the Diffusion of Information Systems Design Science Research
Jan Pries-Heje, John Venable, Deborah Bunker, Nancy L. Russo, Janice I. DeGross Proceedings 2010
244 Computational Linguistics and Intelligent Text Processing Alexander Gelbukh Proceedings 2010
245 Multiple Classifier Systems Neamat Gayar, Josef Kittler, Fabio Roli Proceedings 2010
246 Reconfigurable Computing: Architectures, Tools and ApplicationsPhaophak Sirisuk, Fearghal Morgan, Tarek El-Ghazawi, Hideharu Amano Proceedings 2010
247 Evolutionary Computation in Combinatorial Optimization Peter Cowling, Peter Merz Proceedings 2010
248 Intelligent Information and Database SystemsNgoc Thanh Nguyen, Manh Thanh Le, Jerzy Świątek Proceedings 2010
249 Genetic ProgrammingAnna Isabel Esparcia-Alcázar, Anikó Ekárt, Sara Silva, Stephen Dignum, A. Şima Uyar Proceedings 2010
250 Computational Science and Its Applications – ICCSA 2010David Taniar, Osvaldo Gervasi, Beniamino Murgante, Eric Pardede, Bernady O. Apduhan
Proceedings 2010
251 Artificial Neural Networks in Pattern Recognition Friedhelm Schwenker, Neamat Gayar Proceedings 2010
252 Computational Science and Its Applications – ICCSA 2010David Taniar, Osvaldo Gervasi, Beniamino Murgante, Eric Pardede, Bernady O. Apduhan
Proceedings 2010
253 Computational Science and Its Applications – ICCSA 2010David Taniar, Osvaldo Gervasi, Beniamino Murgante, Eric Pardede, Bernady O. Apduhan
Proceedings 2010
254 Business Process Management WorkshopsStefanie Rinderle-Ma, Shazia Sadiq, Frank Leymann Proceedings 2010
255 Computational Science and Its Applications – ICCSA 2010David Taniar, Osvaldo Gervasi, Beniamino Murgante, Eric Pardede, Bernady O. Apduhan
Proceedings 2010
256 LATIN 2010: Theoretical Informatics Alejandro López-Ortiz Proceedings 2010
257 Evolutionary Computation, Machine Learning and Data Mining in BioinformaticsClara Pizzuti, Marylyn D. Ritchie, Mario Giacobini Proceedings 2010
258 Information Processing and ManagementVinu V Das, R. Vijayakumar, Narayan C. Debnath, Janahanlal Stephen, Natarajan Meghanathan
Proceedings 2010
259 Computer and Computing Technologies in Agriculture III Daoliang Li, Chunjiang Zhao Proceedings 2010
260 Applications of Evolutionary ComputationCecilia Chio, Stefano Cagnoni, Carlos Cotta, Marc Ebner, Anikó Ekárt, Anna I. Esparcia-Alcazar
Proceedings 2010
261 Applications of Evolutionary ComputationCecilia Chio, Anthony Brabazon, Gianni A. Caro, Marc Ebner, Muddassar Farooq, Andreas Fink
Proceedings 2010
262 Functional and Logic ProgrammingMatthias Blume, Naoki Kobayashi, Germán Vidal Proceedings 2010
263 Models in Software Engineering Sudipto Ghosh Proceedings 2010
264 VLSI-SoC: Design Methodologies for SoC and SiPChristian Piguet, Ricardo Reis, Dimitrios Soudris Proceedings 2010
265 Advances in Information RetrievalCathal Gurrin, Yulan He, Gabriella Kazai, Udo Kruschwitz, Suzanne Little, Thomas Roelleke
Proceedings 2010
266 Computer Vision – ACCV 2009Hongbin Zha, Rin-ichiro Taniguchi, Stephen Maybank Proceedings 2010
267 Computer Vision – ACCV 2009Hongbin Zha, Rin-ichiro Taniguchi, Stephen Maybank Proceedings 2010
268 Computer Vision – ACCV 2009Hongbin Zha, Rin-ichiro Taniguchi, Stephen Maybank Proceedings 2010
269 Search Computing Stefano Ceri, Marco Brambilla Proceedings 2010
270 Computational Processing of the Portuguese LanguageThiago Alexandre Salgueiro Pardo, António Branco, Aldebaro Klautau, Renata Vieira Proceedings 2010
271 Modeling and Tools for Network Simulation Klaus Wehrle, Mesut Güneş, James GrossGraduate/advanced undergraduate textbook 2010
272 Passive and Active Measurement Arvind Krishnamurthy, Bernhard Plattner Proceedings 2010
273 The Structure of StyleShlomo Argamon, Kevin Burns, Shlomo Dubnov Monograph 2010
274 Mobile Multimedia ProcessingXiaoyi Jiang, Matthew Y. Ma, Chang Wen Chen Proceedings 2010
275 Traffic Monitoring and Analysis Fabio Ricciato, Marco Mellia, Ernst Biersack Proceedings 2010
276Information Security Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices
Pierangela Samarati, Michael Tunstall, Joachim Posegga, Konstantinos Markantonakis, Damien Sauveron
Proceedings 2010
277 Development of Multimodal Interfaces: Active Listening and SynchronyAnna Esposito, Nick Campbell, Carl Vogel, Amir Hussain, Anton Nijholt Proceedings 2010
278 Web Information Systems and Technologies José Cordeiro, Joaquim Filipe Proceedings 2010
279 Auditory DisplaySølvi Ystad, Mitsuko Aramaki, Richard Kronland-Martinet, Kristoffer Jensen Proceedings 2010
280 Agility Across Time and SpaceDarja Šmite, Nils Brede Moe, Pär J. Ågerfalk Monograph 2010
281 Approximation and Online Algorithms Evripidis Bampis, Klaus Jansen Proceedings 2010
282 Formal Aspects in Security and Trust Pierpaolo Degano, Joshua D. Guttman Proceedings 2010
283 Advanced Manufacturing and Sustainable LogisticsWilhelm Dangelmaier, Alexander Blecken, Robin Delius, S. Klöpfer Proceedings 2010
284 Algorithms and ApplicationsTapio Elomaa, Heikki Mannila, Pekka Orponen Commemorative publication 2010
285 Smart Card Research and Advanced ApplicationDieter Gollmann, Jean-Louis Lanet, Julien Iguchi-Cartigny Proceedings 2010
286 Knowledge Discovery from Sensor DataMohamed Medhat Gaber, Ranga Raju Vatsavai, Olufemi A. Omitaomu, João Gama
Proceedings 2010
287 Large-Scale Scientific ComputingIvan Lirkov, Svetozar Margenov, Jerzy Waśniewski Proceedings 2010
288 Intentional Perspectives on Information Systems EngineeringSelmin Nurcan, Camille Salinesi, Carine Souveyet, Jolita Ralyté Monograph 2010
289 Natural Language Processing and Information SystemsHelmut Horacek, Elisabeth Métais, Rafael Muñoz, Magdalena Wolska Proceedings 2010
290 Gesture in Embodied Communication and Human-Computer Interaction Stefan Kopp, Ipke Wachsmuth Proceedings 2010
291Foundations of Computer Software. Future Trends and Techniques for Development Christine Choppy, Oleg Sokolsky Proceedings 2010
292 Agile Software DevelopmentTorgeir Dingsøyr, Tore Dybå, Nils Brede Moe Monograph 2010
293 Logic-Based Program Synthesis and Transformation Danny Schreye Proceedings 2010
294 Ethics and Policy of Biometrics Ajay Kumar, David Zhang Proceedings 2010
295 Mobile Computing, Applications, and ServicesThomas Phan, Rebecca Montanari, Petros Zerfos Proceedings 2010
296 User Centric Media Petros Daras, Oscar Mayora Ibarra Proceedings 2010
297 Cloud ComputingDimiter R. Avresky, Michel Diaz, Arndt Bode, Bruno Ciciani, Eliezer Dekel Proceedings 2010
298 Pervasive ComputingPatrik Floréen, Antonio Krüger, Mirjana Spasojevic Proceedings 2010
299 High Performance Computing Systems and ApplicationsDouglas J. K. Mewhort, Natalie M. Cann, Gary W. Slater, T. J. Naughton Proceedings 2010
300 Progress in Cryptology – AFRICACRYPT 2010 Daniel J. Bernstein, Tanja Lange Proceedings 2010
301 Research in Computational Molecular Biology Bonnie Berger Proceedings 2010
302 E-Infrastructures and E-Services on Developing CountriesAdolfo Villafiorita, Regis Saint-Paul, Alessandro Zorer Proceedings 2010
303 Computational Modeling of Objects Represented in ImagesReneta P. Barneva, Valentin E. Brimkov, Herbert A. Hauptman, Renato M. Natal Jorge, João Manuel R. S. Tavares
Proceedings 2010
304 Argumentation in Multi-Agent SystemsPeter McBurney, Iyad Rahwan, Simon Parsons, Nicolas Maudet Proceedings 2010
305 Bioinspired Models of Network, Information, and Computing SystemsEitan Altman, Iacopo Carrera, Rachid El-Azouzi, Emma Hart, Yezekael Hayel Proceedings 2010
306 Business Information Systems Witold Abramowicz, Robert Tolksdorf Proceedings 2010
307 Information Security, Practice and ExperienceJin Kwak, Robert H. Deng, Yoojae Won, Guilin Wang Proceedings 2010
308 Semantic Processing of Legal TextsEnrico Francesconi, Simonetta Montemagni, Wim Peters, Daniela Tiscornia Proceedings 2010
309 Artificial Intelligence: Theories, Models and Applications
Stasinos Konstantopoulos, Stavros Perantonis, Vangelis Karkaletsis, Constantine D. Spyropoulos, George Vouros
Proceedings 2010
310 Post-Quantum Cryptography Nicolas Sendrier Proceedings 2010
311 NETWORKING 2010Mark Crovella, Laura Marie Feeney, Dan Rubenstein, S. V. Raghavan Proceedings 2010
312 Towards Trustworthy ElectionsDavid Chaum, Markus Jakobsson, Ronald L. Rivest, Peter Y. A. Ryan, Josh Benaloh, Miroslaw Kutylowski
Contributed volume 2010
313 Advances in Computer Games H. Jaap Herik, Pieter Spronck Proceedings 2010
314 Advanced Lectures on Software Engineering Peter Müller Contributed volume 2010
315 Public Key Cryptography – PKC 2010 Phong Q. Nguyen, David Pointcheval Proceedings 2010
316 Trends in Applied Intelligent SystemsNicolás García-Pedrajas, Francisco Herrera, Colin Fyfe, José Manuel Benítez, Moonis Ali Proceedings 2010
317 Trends in Applied Intelligent SystemsNicolás García-Pedrajas, Francisco Herrera, Colin Fyfe, José Manuel Benítez, Moonis Ali Proceedings 2010
318 Trends in Applied Intelligent SystemsNicolás García-Pedrajas, Francisco Herrera, Colin Fyfe, José Manuel Benítez, Moonis Ali Proceedings 2010
319 Integer Programming and Combinatorial Optimization Friedrich Eisenbrand, F. Bruce Shepherd Proceedings 2010
320 Advances in Enterprise Engineering IV Antonia Albani, Jan L. G. Dietz Proceedings 2010
321 Enterprise, Business-Process and Information Systems ModelingIlia Bider, Terry Halpin, John Krogstie, Selmin Nurcan, Erik Proper, Rainer Schmidt, Roland Ukor
Proceedings 2010
322 Agile Processes in Software Engineering and Extreme ProgrammingAlberto Sillitti, Angela Martin, Xiaofeng Wang, Elizabeth Whitworth Proceedings 2010
323 Advances in Artificial Intelligence Atefeh Farzindar, Vlado Kešelj Proceedings 2010
324 Advances in Intelligent Data Analysis IXPaul R. Cohen, Niall M. Adams, Michael R. Berthold Proceedings 2010
325 Advances in Grid and Pervasive ComputingPaolo Bellavista, Ruay-Shiung Chang, Han-Chieh Chao, Shin-Feng Lin, Peter M. A. Sloot
Proceedings 2010
326 Algorithms and Complexity Tiziana Calamoneri, Josep Diaz Proceedings 2010
327 Bioinformatics Research and ApplicationsMark Borodovsky, Johann Peter Gogarten, Teresa M. Przytycka, Sanguthevar Rajasekaran
Proceedings 2010
328 Advances in Multidisciplinary RetrievalHamish Cunningham, Allan Hanbury, Stefan Rüger Proceedings 2010
329 Language and Automata Theory and ApplicationsAdrian-Horia Dediu, Henning Fernau, Carlos Martín-Vide Proceedings 2010
330 Advanced Information Systems Engineering Barbara Pernici Proceedings 2010
331 Algorithms and Architectures for Parallel ProcessingChing-Hsien Hsu, Laurence T. Yang, Jong Hyuk Park, Sang-Soo Yeo Proceedings 2010
332 Fun with Algorithms Paolo Boldi, Luisa Gargano Proceedings 2010
333 Linking Literature, Information, and Knowledge for Biology Christian Blaschke, Hagit Shatkay Proceedings 2010
334 Algorithms and Architectures for Parallel ProcessingChing-Hsien Hsu, Laurence T. Yang, Jong Hyuk Park, Sang-Soo Yeo Proceedings 2010
335 Technology Enhanced Learning. Quality of Teaching and Educational Reform
Miltiadis D. Lytras, Patricia Ordonez De Pablos, David Avison, Janice Sipior, Qun Jin, Walter Leal, Lorna Uden, Michael Thomas, Sara Cervai, David Horner
Proceedings 2010
336 Computer Science – Theory and Applications Farid Ablayev, Ernst W. Mayr Proceedings 2010
337 Advances in Cryptology – EUROCRYPT 2010 Henri Gilbert Proceedings 2010
338 Experimental Algorithms Paola Festa Proceedings 2010
339 Moving Objects Management Xiaofeng Meng, Jidong Chen Monograph 2010
340 Artificial Intelligence and Soft ComputingLeszek Rutkowski, Rafał Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada
Proceedings 2010
341 Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and MoreMitsuhisa Sato, Toshihiro Hanawa, Matthias S. Müller, Barbara M. Chapman, Bronis R. Supinski
Proceedings 2010
342 Persuasive TechnologyThomas Ploug, Per Hasle, Harri Oinas-Kukkonen Proceedings 2010
343 Artifical Intelligence and Soft ComputingLeszek Rutkowski, Rafał Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada
Proceedings 2010
344 Component-Based Software EngineeringLars Grunske, Ralf Reussner, Frantisek Plasil Proceedings 2010
345 Communications and Multimedia Security Bart Decker, Ingrid Schaumüller-Bichl Proceedings 2010
346 Open Source Software: New HorizonsPär Ågerfalk, Cornelia Boldyreff, Jesús M. González-Barahona, Gregory R. Madey, John Noll
Proceedings 2010
347 Advances in Neural Networks - ISNN 2010 Liqing Zhang, Bao-Liang Lu, James Kwok Proceedings 2010
348 Structural Information and Communication Complexity Boaz Patt-Shamir, Tınaz Ekim Proceedings 2010
349 Music Recommendation and Discovery Òscar Celma Monograph 2010
350 Wired/Wireless Internet CommunicationsEvgeny Osipov, Andreas Kassler, Thomas Michael Bohnert, Xavier Masip-Bruin Proceedings 2010
351 Advances in Neural Networks - ISNN 2010 Liqing Zhang, Bao-Liang Lu, James Kwok Proceedings 2010
352 Mathematics of Program ConstructionClaude Bolduc, Jules Desharnais, Béchir Ktari Proceedings 2010
353 Global Perspectives on Design Science Research Robert Winter, J. Leon Zhao, Stephan Aier Proceedings 2010
354 Languages, Methodologies, and Development Tools for Multi-Agent SystemsMehdi Dastani, Amal El Fallah Segrouchni, João Leite, Paolo Torroni Proceedings 2010
355 Advanced Computer Science and Information TechnologyG. S. Tomar, Ruay-Shiung Chang, Osvaldo Gervasi, Tai-hoon Kim, Samir Kumar Bandyopadhyay
Proceedings 2010
356 Information Security and AssuranceSamir Kumar Bandyopadhyay, Wael Adi, Tai-hoon Kim, Yang Xiao Proceedings 2010
357 Languages and Compilers for Parallel ComputingGuang R. Gao, Lori L. Pollock, John Cavazos, Xiaoming Li Proceedings 2010
358 Intelligent Tutoring Systems Vincent Aleven, Judy Kay, Jack Mostow Proceedings 2010
359 Advanced Communication and NetworkingChin-Chen Chang, Thanos Vasilakos, Purnendu Das, Tai-hoon Kim, Byeong-Ho Kang, Muhammad Khurram Khan
Proceedings 2010
360 Advances in Geometric Modeling and ProcessingBernard Mourrain, Scott Schaefer, Guoliang Xu Proceedings 2010
361 Coordination Models and Languages Dave Clarke, Gul Agha Proceedings 2010
362 Intelligent Tutoring Systems Vincent Aleven, Judy Kay, Jack Mostow Proceedings 2010
363 Trust Management IVMasakatsu Nishigaki, Audun Jøsang, Yuko Murayama, Stephen Marsh Proceedings 2010
364 Formal Techniques for Distributed Systems John Hatcliff, Elena Zucca Proceedings 2010
365 Ubiquitous Computing and Multimedia ApplicationsG. S. Tomar, William I. Grosky, Tai-hoon Kim, Sabah Mohammed, Sanjoy Kumar Saha
Proceedings 2010
366 User Modeling, Adaptation, and Personalization Paul Bra, Alfred Kobsa, David Chin Proceedings 2010
367 Agent and Multi-Agent Systems: Technologies and ApplicationsPiotr Jędrzejowicz, Ngoc Thanh Nguyen, Robert J. Howlet, Lakhmi C. Jain Proceedings 2010
368 The Semantic Web: Research and Applications
Lora Aroyo, Grigoris Antoniou, Eero Hyvönen, Annette Teije, Heiner Stuckenschmidt, Liliana Cabral, Tania Tudorache
Proceedings 2010
369 The Semantic Web: Research and Applications
Lora Aroyo, Grigoris Antoniou, Eero Hyvönen, Annette Teije, Heiner Stuckenschmidt, Liliana Cabral, Tania Tudorache
Proceedings 2010
370 Advances in Swarm Intelligence Ying Tan, Yuhui Shi, Kay Chen Tan Proceedings 2010
371 Advances in Swarm Intelligence Ying Tan, Yuhui Shi, Kay Chen Tan Proceedings 2010
372 Combinatorial Pattern Matching Amihood Amir, Laxmi Parida Proceedings 2010
373Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Andrea Lodi, Michela Milano, Paolo Toth Proceedings 2010
374 Unconventional ComputationCristian S. Calude, Masami Hagiya, Kenichi Morita, Grzegorz Rozenberg, Jon Timmis Proceedings 2010
375 Rough Sets and Current Trends in ComputingMarcin Szczuka, Marzena Kryszkiewicz, Sheela Ramanna, Richard Jensen, Qinghua Hu
Proceedings 2010
376 Agent and Multi-Agent Systems: Technologies and ApplicationsPiotr Jędrzejowicz, Ngoc Thanh Nguyen, Robert J. Howlet, Lakhmi C. Jain Proceedings 2010
377 Smart GraphicsRobyn Taylor, Pierre Boulanger, Antonio Krüger, Patrick Olivier Proceedings 2010
378 Reliable Software Technologiey – Ada-Europe 2010 Jorge Real, Tullio Vardanega Proceedings 2010
379 Multi-Agent-Based Simulation X Gennaro Tosto, H. Dyke Parunak Proceedings 2010
380 Architecting Critical Systems Holger Giese Proceedings 2010
381 Theory and Applications of Models of ComputationJan Kratochvíl, Angsheng Li, Jiří Fiala, Petr Kolman Proceedings 2010
382 Analytical and Stochastic Modeling Techniques and ApplicationsKhalid Al-Begain, Dieter Fiems, William J. Knottenbelt Proceedings 2010
383 Information Systems for eGovernmentGianluigi Viscusi, Carlo Batini, Massimo Mecella Professional book 2010
384 Advances in Computer Science and Information Technology Tai-hoon Kim, Hojjat Adeli Proceedings 2010
385 Modelling Foundations and ApplicationsThomas Kühne, Bran Selic, Marie-Pierre Gervais, François Terrier Proceedings 2010
386 Intelligence and Security InformaticsHsinchun Chen, Michael Chau, Shu-hsing Li, Shalini Urs, Srinath Srinivasa, G. Alan Wang
Proceedings 2010
387 Personal Satellite ServicesKandeepan Sithamparanathan, Mario Marchese, Marina Ruggieri, Igor Bisio Proceedings 2010
388 Software BusinessPasi Tyrväinen, Slinger Jansen, Michael A. Cusumano Proceedings 2010
389 Distributed Applications and Interoperable Systems Frank Eliassen, Rüdiger Kapitza Proceedings 2010
390 Distributed Computing in Sensor SystemsRajmohan Rajaraman, Thomas Moscibroda, Adam Dunkels, Anna Scaglione Proceedings 2010
391 The Role of Digital Libraries in a Time of Global ChangeGobinda Chowdhury, Chris Koo, Jane Hunter Proceedings 2010
392 Advances in Knowledge Discovery and Data MiningMohammed J. Zaki, Jeffrey Xu Yu, B. Ravindran, Vikram Pudi Proceedings 2010
393 Digital MammographyJoan Martí, Arnau Oliver, Jordi Freixenet, Robert Martí Proceedings 2010
394 Advances in Knowledge Discovery and Data MiningMohammed J. Zaki, Jeffrey Xu Yu, B. Ravindran, Vikram Pudi Proceedings 2010
395 Applications and Theory of Petri Nets Johan Lilius, Wojciech Penczek Proceedings 2010
396 Formal Methods for Quantitative Aspects of Programming LanguagesAlessandro Aldini, Marco Bernardo, Alessandra Pierro, Herbert Wiklicky Proceedings 2010
397 Image and Signal ProcessingAbderrahim Elmoataz, Olivier Lezoray, Fathallah Nouboud, Driss Mammass, Jean Meunier
Proceedings 2010
398 Theory and Practice of Model Transformations Laurence Tratt, Martin Gogolla Proceedings 2010
399 Applied Cryptography and Network Security Jianying Zhou, Moti Yung Proceedings 2010
400 Information Processing in Computer-Assisted Interventions Nassir Navab, Pierre Jannin Proceedings 2010
401 Graphics Recognition. Achievements, Challenges, and Evolution Jean-Marc Ogier, Wenyin Liu, Josep Lladós Proceedings 2010
402 Algorithm Theory - SWAT 2010 Haim Kaplan Proceedings 2010
403 Data and Applications Security and Privacy XXIV Sara Foresti, Sushil Jajodia Proceedings 2010
404 Time for Verification Zohar Manna, Doron A. Peled Contributed volume 2010
405 Hybrid Artificial Intelligence SystemsManuel Graña Romay, Emilio Corchado, M. Teresa Garcia Sebastian Proceedings 2010
406 Image Analysis and Recognition Aurélio Campilho, Mohamed Kamel Proceedings 2010
407 Image Analysis and Recognition Aurélio Campilho, Mohamed Kamel Proceedings 2010
408 Aging Friendly Technology for Health and IndependenceYeunsook Lee, Z. Zenn Bien, Mounir Mokhtari, Jeong Tai Kim, Mignon Park, Jongbae Kim, Heyoung Lee, Ismail Khalil
Proceedings 2010
409 Software Engineering Approaches for Offshore and Outsourced DevelopmentMartin Nordio, Mathai Joseph, Bertrand Meyer, Andrey Terekhov Proceedings 2010
410 Future Multimedia NetworkingSherali Zeadally, Eduardo Cerqueira, Marília Curado, Mikołaj Leszczuk Proceedings 2010
411 Product-Focused Software Process Improvement M. Ali Babar, Matias Vierimaa, Markku Oivo Proceedings 2010
412 Arithmetic of Finite Fields M. Anwar Hasan, Tor Helleseth Proceedings 2010
413 Learning and Intelligent Optimization Christian Blum, Roberto Battiti Proceedings 2010
414 Hybrid Artificial Intelligence SystemsEmilio Corchado, Manuel Graña Romay, Alexandre Manhaes Savio Proceedings 2010
415 Scientific and Statistical Database Management Michael Gertz, Bertram Ludäscher Proceedings 2010
416 Research into Practice – Reality and GapsGeorge T. Heineman, Jan Kofron, Frantisek Plasil Proceedings 2010
417 Logic, Language, Information and Computation Anuj Dawar, Ruy Queiroz Proceedings 2010
418 Inductive Logic Programming Luc Raedt Proceedings 2010
419 Fast Software Encryption Seokhie Hong, Tetsu Iwata Proceedings 2010
420 Computer Networks Andrzej Kwiecień, Piotr Gaj, Piotr Stera Proceedings 2010
421 Trust and Trustworthy ComputingAlessandro Acquisti, Sean W. Smith, Ahmad-Reza Sadeghi Proceedings 2010
422 Natural Language Processing and Information SystemsChristina J. Hopfe, Yacine Rezgui, Elisabeth Métais, Alun Preece, Haijiang Li Proceedings 2010
423 Web EngineeringBoualem Benatallah, Fabio Casati, Gerti Kappel, Gustavo Rossi Proceedings 2010
424 Medical Biometrics David Zhang, Milan Sonka Proceedings 2010
425 Objects, Models, Components, Patterns Jan Vitek Proceedings 2010
426 Programs, Proofs, ProcessesFernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes Proceedings 2010
427 Networked Services and Applications - Engineering, Control and Management Finn Arve Aagesen, Svein Johan Knapskog Proceedings 2010
428 Tests and Proofs Gordon Fraser, Angelo Gargantini Proceedings 2010
429 Mechanisms for Autonomous Management of Networks and Services Burkhard Stiller, Filip Turck Proceedings 2010
430 Computing and Combinatorics My T. Thai, Sartaj Sahni Proceedings 2010
431 Software Composition Benoît Baudry, Eric Wohlstadter Proceedings 2010
432 Computational Intelligence for Knowledge-Based Systems DesignEyke Hüllermeier, Rudolf Kruse, Frank Hoffmann Proceedings 2010
433 Interactive Theorem Proving Matt Kaufmann, Lawrence C. Paulson Proceedings 2010
434Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Methods
Eyke Hüllermeier, Rudolf Kruse, Frank Hoffmann Proceedings 2010
435Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications
Eyke Hüllermeier, Rudolf Kruse, Frank Hoffmann Proceedings 2010
436 Articulated Motion and Deformable Objects Francisco J. Perales, Robert B. Fisher Proceedings 2010
437 Haptics: Generating and Perceiving Tangible SensationsAstrid M. L. Kappers, Jan B. F. Erp, Wouter M. Bergmann Tiest, Frans C. T. Helm Proceedings 2010
438 Haptics: Generating and Perceiving Tangible SensationsAstrid M. L. Kappers, Jan B. F. Erp, Wouter M. Bergmann Tiest, Frans C. T. Helm Proceedings 2010
439 Information Security and Privacy Ron Steinfeld, Philip Hawkes Proceedings 2010
440 Computers Helping People with Special NeedsKlaus Miesenberger, Joachim Klaus, Wolfgang Zagler, Arthur Karshmer Proceedings 2010
441 Computers Helping People with Special NeedsKlaus Miesenberger, Joachim Klaus, Wolfgang Zagler, Arthur Karshmer Proceedings 2010
442 ECOOP 2010 – Object-Oriented Programming Theo D’Hondt Proceedings 2010
443 Euro-Par 2009 – Parallel Processing WorkshopsHai-Xiang Lin, Michael Alexander, Martti Forsell, Andreas Knüpfer, Radu Prodan, Leonel Sousa, Achim Streit
Proceedings 2010
444 Intelligent Computer MathematicsSerge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton
Proceedings 2010
445 Artifical EvolutionPierre Collet, Nicolas Monmarché, Pierrick Legrand, Marc Schoenauer, Evelyne Lutton Proceedings 2010
446 Revision, Acceptability and ContextDov M. Gabbay, Odinaldo T. Rodrigues, Alessandra Russo Monograph 2010
447 Automata, Languages and ProgrammingSamson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis
Proceedings 2010
448 Automata, Languages and ProgrammingSamson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis
Proceedings 2010
449 Recent Trends in Wireless and Mobile NetworksAbdulkadir Özcan, Nabendu Chaki, Dhinaharan Nagamalai Proceedings 2010
450 Deontic Logic in Computer Science Guido Governatori, Giovanni Sartor Proceedings 2010
451 Theory and Applications of Satisfiability Testing – SAT 2010 Ofer Strichman, Stefan Szeider Proceedings 2010
452 Requirements Engineering: Foundation for Software Quality Roel Wieringa, Anne Persson Proceedings 2010
453 Conceptual Structures: From Information to IntelligenceMadalina Croitoru, Sébastien Ferré, Dickson Lukose Proceedings 2010
454 Automated Reasoning Jürgen Giesl, Reiner Hähnle Proceedings 2010
455 Detection of Intrusions and Malware, and Vulnerability Assessment Christian Kreibich, Marko Jahnke Proceedings 2010
456 Web-Age Information ManagementLei Chen, Changjie Tang, Jun Yang, Yunjun Gao Proceedings 2010
457 Current Topics in Artificial IntelligencePedro Meseguer, Lawrence Mandow, Rafael M. Gasca Proceedings 2010
458 Case-Based Reasoning. Research and Development Isabelle Bichindaritz, Stefania Montani Proceedings 2010
459 Privacy and Identity Management for LifeMichele Bezzi, Penny Duquenoy, Simone Fischer-Hübner, Marit Hansen, Ge Zhang Proceedings 2010
460 Logic, Language and MeaningMaria Aloni, Harald Bastiaanse, Tikitu Jager, Katrin Schulz Proceedings 2010
461 Networked Digital TechnologiesFilip Zavoral, Jakub Yaghob, Pit Pichappan, Eyas El-Qawasmeh Proceedings 2010
462 Computer Aided Verification Tayssir Touili, Byron Cook, Paul Jackson Proceedings 2010
463 Transactions on Data Hiding and Multimedia Security V Yun Q. Shi Contributed volume 2010
464 Efficient Secure Two-Party Protocols Carmit Hazay, Yehuda Lindell Monograph 2010
465 Networked Digital TechnologiesFilip Zavoral, Jakub Yaghob, Pit Pichappan, Eyas El-Qawasmeh Proceedings 2010
466 A 25-Year Perspective on Logic Programming Agostino Dovier, Enrico Pontelli Contributed volume 2010
467 Advanced Statistical Steganalysis Rainer Böhme Monograph 2010
468 Exploring Services ScienceJean-Henry Morin, Jolita Ralyté, Mehdi Snene Proceedings 2010
469 The Mathematics of LanguageChristian Ebert, Gerhard Jäger, Jens Michaelis Proceedings 2010
470 Testing Techniques in Software EngineeringPaulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcook
Graduate/advanced undergraduate textbook 2010
471 Balanced Automation Systems for Future Manufacturing NetworksÁngel Ortiz, Rubén Darío Franco, Pedro Gómez Gasquet Proceedings 2010
472 New Modeling Concepts for Today’s Software Processes Jürgen Münch, Ye Yang, Wilhelm Schäfer Proceedings 2010
473 Algorithmic Aspects in Information and Management Bo Chen Proceedings 2010
474 Locally Decodable Codes and Private Information Retrieval Schemes Sergey Yekhanin Monograph 2010
475 Biomedical Image RegistrationBernd Fischer, Benoît M. Dawant, Cristian Lorenz Proceedings 2010
476 Critical Information Infrastructures Security Erich Rome, Robin Bloomfield Proceedings 2010
477 Parallel Processing and Applied MathematicsRoman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Wasniewski Proceedings 2010
478 Advances in Data Mining. Applications and Theoretical Aspects Petra Perner Proceedings 2010
479 Parallel Processing and Applied MathematicsRoman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Wasniewski Proceedings 2010
480 Self-Organizing ArchitecturesDanny Weyns, Sam Malek, Rogério Lemos, Jesper Andersson Proceedings 2010
481 Resource Discovery Zoé Lacroix Proceedings 2010
482 Controlled Natural Language Norbert E. Fuchs Proceedings 2010
483 Information, Security and Cryptology – ICISC 2009 Donghoon Lee, Seokhie Hong Proceedings 2010
484 Towards Hardware-Intrinsic Security Ahmad-Reza Sadeghi, David Naccache Monograph 2010
485 Developments in Language TheoryYuan Gao, Hanlin Lu, Shinnosuke Seki, Sheng Yu Proceedings 2010
486 Web Services and Formal Methods Cosimo Laneve, Jianwen Su Proceedings 2010
487 Transactions on Rough Sets XIIJames F. Peters, Andrzej Skowron, Roman Słowiński, Pawan Lingras, Duoqian Miao, Shusaku Tsumoto
Contributed volume 2010
488 Recent Trends in Network Security and ApplicationsNatarajan Meghanathan, Selma Boumerdassi, Nabendu Chaki, Dhinaharan Nagamalai
Proceedings 2010
489 Transactions on Edutainment IVZhigeng Pan, Adrian David Cheok, Wolfgang Müller, Xiaopeng Zhang, Kevin Wong
Contributed volume 2010
490 Recent Trends in Networks and CommunicationsNatarajan Meghanathan, Selma Boumerdassi, Nabendu Chaki, Dhinaharan Nagamalai
Proceedings 2010
491 Information Theoretic Security Kaoru Kurosawa Proceedings 2010
492 Logical Analysis of Hybrid Systems André Platzer Monograph 2010
493 Algorithmic Number TheoryGuillaume Hanrot, François Morain, Emmanuel Thomé Proceedings 2010
494 Unifying Theories of Programming Andrew Butterfield Proceedings 2010
495 Privacy Enhancing Technologies Mikhail J. Atallah, Nicholas J. Hopper Proceedings 2010
496 Entertainment for Education. Digital Techniques and SystemsXiaopeng Zhang, Shaochun Zhong, Zhigeng Pan, Kevin Wong, Ruwei Yun Proceedings 2010
497 Specification and Verification of Declarative Open Interaction Models Marco Montali Monograph 2010
498 Artificial Immune SystemsEmma Hart, Chris McEwan, Jon Timmis, Andy Hone Proceedings 2010
499 Frontiers in Algorithmics Der-Tsai Lee, Danny Z. Chen, Shi Ying Proceedings 2010
500 Focused Retrieval and EvaluationShlomo Geva, Jaap Kamps, Andrew Trotman Proceedings 2010
501 Enabling Real-Time Business IntelligenceMalu Castellanos, Umeshwar Dayal, Renée J. Miller Proceedings 2010
502 Dependency Structures and Lexicalized Grammars Marco Kuhlmann Monograph 2010
503 Computational Intelligence Methods for Bioinformatics and BiostatisticsFrancesco Masulli, Leif E. Peterson, Roberto Tagliaferri Proceedings 2010
504 Financial Cryptography and Data Security Radu Sion Proceedings 2010
505 Database Systems for Advanced ApplicationsMasatoshi Yoshikawa, Xiaofeng Meng, Takayuki Yumoto, Qiang Ma, Lifeng Sun, Chiemi Watanabe
Proceedings 2010
506 Trusted Systems Liqun Chen, Moti Yung Proceedings 2010
507 Diagrammatic Representation and InferenceAshok K. Goel, Mateja Jamnik, N. Hari Narayanan Proceedings 2010
508 Advances in Cryptology – CRYPTO 2010 Tal Rabin Proceedings 2010
509 New Frontiers in Applied Data MiningThanaruk Theeramunkong, Cholwich Nattee, Paulo J. L. Adeodato, Nitesh Chawla, Peter Christen, Philippe Lenca
Proceedings 2010
510 Wireless Algorithms, Systems, and ApplicationsGopal Pandurangan, V. S. Anil Kumar, Gu Ming, Yunhao Liu, Yingshu Li Proceedings 2010
511 Hybrid LearningPhilip Tsang, Simon K. S. Cheung, Victor S. K. Lee, Ronghuai Huang Proceedings 2010
512 Object Databases Moira C. Norrie, Michael Grossniklaus Proceedings 2010
513 Finite-State Methods and Natural Language ProcessingAnssi Yli-Jyrä, András Kornai, Jacques Sakarovitch, Bruce Watson Proceedings 2010
514 Computer Network Security Igor Kotenko, Victor Skormin Proceedings 2010
515 Progress in Cryptology – LATINCRYPT 2010 Michel Abdalla, Paulo S. L. M. Barreto Proceedings 2010
516 Human Behavior UnderstandingAlbert Ali Salah, Theo Gevers, Nicu Sebe, Alessandro Vinciarelli Proceedings 2010
517 Interfaces: Explorations in Logic, Language and Computation Thomas Icard, Reinhard Muskens Proceedings 2010
518 Spatial Cognition VIIChristoph Hölscher, Thomas F. Shipley, Marta Olivetti Belardinelli, John A. Bateman, Nora S. Newcombe
Proceedings 2010
519Adaptive Multimedia Retrieval. Identifying, Summarizing, and Recommending Image and Music
Marcin Detyniecki, Ulrich Leiner, Andreas Nürnberger Proceedings 2010
520 Advances in Natural Language ProcessingHrafn Loftsson, Eiríkur Rögnvaldsson, Sigrún Helgadóttir Proceedings 2010
521 Ad-Hoc, Mobile and Wireless Networks Ioanis Nikolaidis, Kui Wu Proceedings 2010
522 Electronic GovernmentMaria A. Wimmer, Jean-Loup Chappelet, Marijn Janssen, Hans J. Scholl Proceedings 2010
523 Theoretical Aspects of Computing – ICTAC 2010Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock Proceedings 2010
524 Evaluation of Novel Approaches to Software EngineeringLeszek A. Maciaszek, César González-Pérez, Stefan Jablonski Proceedings 2010
525 Contemporary ComputingSanjay Ranka, Arunava Banerjee, Kanad Kishore Biswas, Sumeet Dua, Prabhat Mishra, Rajat Moona
Proceedings 2010
526 Advanced Intelligent Computing Theories and ApplicationsDe-Shuang Huang, Martin McGinnity, Laurent Heutte, Xiao-Ping Zhang Proceedings 2010
527 Contemporary Computing
Sanjay Ranka, Arunava Banerjee, Kanad Kishore Biswas, Sumeet Dua, Prabhat Mishra, Rajat Moona, Sheung-Hung Poon, Cho-Li Wang
Proceedings 2010
528 Programming Multi-Agent SystemsLars Braubach, Jean-Pierre Briot, John Thangarajah Proceedings 2010
529 Parsing Beyond Context-Free Grammars Laura KallmeyerGraduate/advanced undergraduate textbook 2010
530 Digital EcosystemsFernando Antonio Basile Colugnati, Lia Carrari Rodrigues Lopes, Saulo Faria Almeida Barretto
Proceedings 2010
531 Algorithm EngineeringMatthias Müller-Hannemann, Stefan Schirra Proceedings 2010
532 Scandinavian Information Systems Research Karlheinz Kautz, Peter Axel Nielsen Proceedings 2010
533 New Frontiers in Artificial IntelligenceKumiyo Nakakoji, Yohei Murakami, Eric McCready Proceedings 2010
534 Smart Spaces and Next Generation Wired/Wireless NetworkingSergey Balandin, Roman Dunaytsev, Yevgeni Koucheryavy Proceedings 2010
535 Compiler Design Reinhard Wilhelm, Helmut SeidlGraduate/advanced undergraduate textbook 2010
536 Advanced Intelligent Computing Theories and ApplicationsDe-Shuang Huang, Zhongming Zhao, Vitoantonio Bevilacqua, Juan Carlos Figueroa
Proceedings 2010
537 Advances in Social Network Mining and AnalysisLee Giles, Marc Smith, John Yen, Haizheng Zhang Proceedings 2010
538Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence
De-Shuang Huang, Xiang Zhang, Carlos Alberto Reyes García, Lei Zhang Proceedings 2010
539 Systems and Virtualization Management. Standards and the CloudLatifa Boursas, Mark Carlson, Hai Jin, Michelle Sibilla, Kes Wold Proceedings 2010
540 Future Internet - FIS 2009 Tanja Zseby, Reijo Savola, Marco Pistore Proceedings 2010
541 Coordination, Organizations, Institutions and Norms in Agent Systems VJulian Padget, Alexander Artikis, Wamberto Vasconcelos, Kostas Stathis, Viviane Torres Silva, Eric Matson, Axel Polleres
Proceedings 2010
542 Computational Logic in Multi-Agent SystemsJürgen Dix, João Leite, Guido Governatori, Wojtek Jamroga Proceedings 2010
543 Structural, Syntactic, and Statistical Pattern RecognitionEdwin R. Hancock, Richard C. Wilson, Terry Windeatt, Ilkay Ulusoy, Francisco Escolano Proceedings 2010
544 Financial Cryptography and Data SecurityRadu Sion, Reza Curtmola, Sven Dietrich, Aggelos Kiayias, Josep M. Miret, Kazue Sako, Francesc Sebé
Proceedings 2010
545 Fields of Logic and ComputationAndreas Blass, Nachum Dershowitz, Wolfgang Reisig Contributed volume 2010
546 Cryptographic Hardware and Embedded Systems, CHES 2010 Stefan Mangard, François-Xavier Standaert Proceedings 2010
547 Transactions on Computational Collective Intelligence I Ngoc Thanh Nguyen, Ryszard Kowalczyk Proceedings 2010
548 Knowledge Management and Acquisition for Smart Systems and Services Byeong-Ho Kang, Debbie Richards Proceedings 2010
549 Verified Software: Theories, Tools, ExperimentsGary T. Leavens, Peter O’Hearn, Sriram K. Rajamani Proceedings 2010
550 Advances in Bioinformatics and Computational BiologyCarlos E. Ferreira, Satoru Miyano, Peter F. Stadler Proceedings 2010
551 Data Warehousing and Knowledge DiscoveryTorben Bach Pedersen, Mukesh K. Mohania, A Min Tjoa Proceedings 2010
552 Data Management in Grid and Peer-to-Peer SystmesAbdelkader Hameurlain, Franck Morvan, A Min Tjoa Proceedings 2010
553 Software Architecture Muhammad Ali Babar, Ian Gorton Proceedings 2010
554Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets
Esther David, Enrico Gerding, David Sarne, Onn Shehory Proceedings 2010
555 Data Integration in the Life Sciences Patrick Lambrix, Graham Kemp Proceedings 2010
556 Sustainable e-Business ManagementMatthew L. Nelson, Michael J. Shaw, Troy J. Strader Proceedings 2010
557 Trust, Privacy and Security in Digital BusinessSokratis Katsikas, Javier Lopez, Miguel Soriano Proceedings 2010
558 Mathematical Foundations of Computer Science 2010 Petr Hliněný, Antonín Kučera Proceedings 2010
559 Electronic ParticipationEfthimios Tambouris, Ann Macintosh, Olivier Glassey Proceedings 2010
560 Logic and the Foundations of Game and Decision Theory – LOFT 8Giacomo Bonanno, Benedikt Löwe, Wiebe Hoek Proceedings 2010
561 Electronic Government and the Information Systems PerspectiveKim Normann Andersen, Enrico Francesconi, Åke Grönlund, Tom M. Engers Proceedings 2010
562 ImageCLEFHenning Müller, Paul Clough, Thomas Deselaers, Barbara Caputo Monograph 2010
563 From Animals to Animats 11Stéphane Doncieux, Benoît Girard, Agnès Guillot, John Hallam, Jean-Arcady Meyer, Jean-Baptiste Mouret
Proceedings 2010
564 History of Computing. Learning from the Past Arthur Tatnall Proceedings 2010
565 Computer Science Logic Anuj Dawar, Helmut Veith Proceedings 2010
566 E-Commerce and Web Technologies Francesco Buccafurri, Giovanni Semeraro Proceedings 2010
567 Cultural ComputingRyohei Nakatsu, Naoko Tosa, Fazel Naghdy, Kok Wai Wong, Philippe Codognet Proceedings 2010
568 Verification and Validation in Systems EngineeringMourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh Monograph 2010
569 Human-Computer InteractionPeter Forbrig, Fabio Paternó, Annelise Mark Pejtersen Proceedings 2010
570 Distributed, Parallel and Biologically Inspired SystemsMike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter A. Lindsay, Franz J. Rammig, Jon Timmis, Marilyn Wolf
Proceedings 2010
571 Agent-Mediated Electronic Commerce and Trading Agent Design and AnalysisWolfgang Ketter, Han Poutré, Norman Sadeh, Onn Shehory, William Walsh Proceedings 2010
572 Theoretical Computer Science Cristian S. Calude, Vladimiro Sassone Proceedings 2010
573 PRICAI 2010: Trends in Artificial Intelligence Byoung-Tak Zhang, Mehmet A. Orgun Proceedings 2010
574 Database and Expert Systems ApplicationsPablo García Bringas, Abdelkader Hameurlain, Gerald Quirchmayr Proceedings 2010
575 Security and Privacy – Silver Linings in the CloudKai Rannenberg, Vijay Varadharajan, Christian Weber Proceedings 2010
576 Computer Algebra in Scientific ComputingVladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov Proceedings 2010
577 Euro-Par 2010 - Parallel ProcessingPasqua D’Ambra, Mario Guarracino, Domenico Talia Proceedings 2010
578 Knowledge Science, Engineering and Management Yaxin Bi, Mary-Anne Williams Proceedings 2010
579 Artificial Intelligence in Theory and Practice III Max Bramer Proceedings 2010
580 Euro-Par 2010 - Parallel ProcessingPasqua D’Ambra, Mario Guarracino, Domenico Talia Proceedings 2010
581 Algorithms in Bioinformatics Vincent Moulton, Mona Singh Proceedings 2010
582 Formal Modeling and Analysis of Timed SystemsKrishnendu Chatterjee, Thomas A. Henzinger Proceedings 2010
583 Geographic Information ScienceSara Irina Fabrikant, Tumasch Reichenbacher, Marc Kreveld, Christoph Schlieder
Proceedings 2010
584 Brain InformaticsYiyu Yao, Ron Sun, Tomaso Poggio, Jiming Liu, Ning Zhong, Jimmy Huang Proceedings 2010
585 Security and Cryptography for Networks Juan A. Garay, Roberto Prisco Proceedings 2010
586 Evolvable Systems: From Biology to HardwareGianluca Tempesti, Andy M. Tyrrell, Julian F. Miller Proceedings 2010
587 Foundational and Practical Aspects of Resource Analysis Marko Eekelen, Olha Shkaravska Proceedings 2010
588 E-Government, E-Services and Global ProcessesMarijn Janssen, Winfried Lamersdorf, Jan Pries-Heje, Michael Rosemann Proceedings 2010
589 Reachability Problems Antonín Kučera, Igor Potapov Proceedings 2010
590 Database and Expert Systems ApplicationsPablo García Bringas, Abdelkader Hameurlain, Gerald Quirchmayr Proceedings 2010
591Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques
Maria Serna, Ronen Shaltiel, Klaus Jansen, José Rolim Proceedings 2010
592 CONCUR 2010 - Concurrency Theory Paul Gastin, François Laroussinie Proceedings 2010
593 Key Competencies in the Knowledge Society Nicholas Reynolds, Márta Turcsányi-Szabó Proceedings 2010
594 Intelligent Data Engineering and Automated Learning – IDEAL 2010Colin Fyfe, Peter Tino, Darryl Charles, Cesar Garcia-Osorio, Hujun Yin Proceedings 2010
595 Knowledge-Based and Intelligent Information and Engineering SystemsRossitza Setchi, Ivan Jordanov, Robert J. Howlett, Lakhmi C. Jain Proceedings 2010
596 Knowledge-Based and Intelligent Information and Engineering SystemsRossitza Setchi, Ivan Jordanov, Robert J. Howlett, Lakhmi C. Jain Proceedings 2010
597 Knowledge-Based and Intelligent Information and Engineering SystemsRossitza Setchi, Ivan Jordanov, Robert J. Howlett, Lakhmi C. Jain Proceedings 2010
598 Knowledge-Based and Intelligent Information and Engineering SystemsRossitza Setchi, Ivan Jordanov, Robert J. Howlett, Lakhmi C. Jain Proceedings 2010
599 Principles and Practice of Constraint Programming – CP 2010 David Cohen Proceedings 2010
600 Entertainment Computing - ICEC 2010Hyun Seung Yang, Rainer Malaka, Junichi Hoshino, Jung Hyun Han Proceedings 2010
601 Business Information Systems WorkshopsWitold Abramowicz, Robert Tolksdorf, Krzysztof Węcel Proceedings 2010
602 Global Sourcing of Information Technology and Business Processes Ilan Oshri, Julia Kotlarsky Proceedings 2010
603 Agents and Data Mining InteractionLongbing Cao, Ana L. C. Bazzan, Vladimir Gorodetsky, Pericles A. Mitkas, Gerhard Weiss, Philip S. Yu
Proceedings 2010
604 Multiple Access CommunicationsAlexey Vinel, Boris Bellalta, Claudio Sacchi, Andrey Lyakhov, Miklós Telek, Miquel Oliver Proceedings 2010
605 Artificial Intelligence: Methodology, Systems, and Applications Darina Dicheva, Danail Dochev Proceedings 2010
606Performance Analysis and Optimization of Multi-Traffic on Communication Networks
Leonid Ponomarenko, Che Soong Kim, Agassi Melikov Monograph 2010
607 Swarm Intelligence
Marco Dorigo, Mauro Birattari, Gianni A. Caro, René Doursat, Andries P. Engelbrecht, Dario Floreano, Luca Maria Gambardella
Proceedings 2010
608 Research and Advanced Technology for Digital LibrariesMounia Lalmas, Joemon Jose, Andreas Rauber, Fabrizio Sebastiani, Ingo Frommholz
Proceedings 2010
609 Active Media TechnologyAijun An, Pawan Lingras, Sheila Petty, Runhe Huang Proceedings 2010
610 Communications: Wireless in Developing Countries and Networks of the Future Ana Pont, Guy Pujolle, S. V. Raghavan Proceedings 2010
611What Kind of Information Society? Governance, Virtuality, Surveillance, Sustainability, Resilience
Jacques Berleur, Magda David Hercheui, Lorenz M. Hilty Proceedings 2010
612 Incentives, Overlays, and Economic Traffic ControlBurkhard Stiller, Tobias Hoßfeld, George D. Stamoulis Proceedings 2010
613 Grammatical Inference: Theoretical Results and Applications José M. Sempere, Pedro García Proceedings 2010
614 Computer Security – ESORICS 2010Dimitris Gritzalis, Bart Preneel, Marianthi Theoharidou Proceedings 2010
615 Advances in Digital Forensics VI Kam-Pui Chow, Sujeet Shenoi Proceedings 2010
616 Enterprise Architecture, Integration and Interoperability Peter Bernus, Guy Doumeingts, Mark Fox Proceedings 2010
617 Recent Advances in Intrusion DetectionSomesh Jha, Robin Sommer, Christian Kreibich Proceedings 2010
618 E-Health Hiroshi Takeda Proceedings 2010
619 Reasoning Web. Semantic Technologies for Software EngineeringUwe Aßmann, Andreas Bartho, Christian Wende Contributed volume 2010
620 Secure Data Management Willem Jonker, Milan Petković Proceedings 2010
621 Computer Vision – ECCV 2010Kostas Daniilidis, Petros Maragos, Nikos Paragios Proceedings 2010
622 Computer Vision – ECCV 2010Kostas Daniilidis, Petros Maragos, Nikos Paragios Proceedings 2010
623 Computer Vision – ECCV 2010Kostas Daniilidis, Petros Maragos, Nikos Paragios Proceedings 2010
624 Computer Vision – ECCV 2010Kostas Daniilidis, Petros Maragos, Nikos Paragios Proceedings 2010
625 Computer Vision – ECCV 2010Kostas Daniilidis, Petros Maragos, Nikos Paragios Proceedings 2010
626 Computer Vision – ECCV 2010Kostas Daniilidis, Petros Maragos, Nikos Paragios Proceedings 2010
627 Empirical Methods in Natural Language Generation Emiel Krahmer, Mariët Theune Proceedings 2010
628 Software Product Lines: Going Beyond Jan Bosch, Jaejoon Lee Proceedings 2010
629 Mathematical Software – ICMS 2010Komei Fukuda, Joris van der Hoeven, Michael Joswig, Nobuki Takayama Proceedings 2010
630 Testing – Practice and Research Techniques Leonardo Bottaci, Gordon Fraser Proceedings 2010
631 Life System Modeling and Intelligent Computing Kang Li, Minrui Fei, Li Jia, George W. Irwin Proceedings 2010
632 Life System Modeling and Intelligent ComputingKang Li, Li Jia, Xin Sun, Minrui Fei, George W. Irwin Proceedings 2010
633 Business Process Management Richard Hull, Jan Mendling, Stefan Tai Proceedings 2010
634 Life System Modeling and Intelligent Computing Kang Li, Minrui Fei, Li Jia, George W. Irwin Proceedings 2010
635 Trustworthly Global ComputingMartin Wirsing, Martin Hofmann, Axel Rauschmayer Proceedings 2010
636 Automated Technology for Verification and Analysis Ahmed Bouajjani, Wei-Ngan Chin Proceedings 2010
637 Recent Advances in the Message Passing InterfaceRainer Keller, Edgar Gabriel, Michael Resch, Jack Dongarra Proceedings 2010
638 Computer Safety, Reliability, and Security Erwin Schoitsch Proceedings 2010
639 Systems, Software and Services Process ImprovementAndreas Riel, Rory O’Connor, Serge Tichkiewitch, Richard Messnarz Proceedings 2010
640 Network and Parallel Computing Chen Ding, Zhiyuan Shao, Ran Zheng Proceedings 2010
641 Logics in Artificial Intelligence Tomi Janhunen, Ilkka Niemelä Proceedings 2010
642 Economics of Grids, Clouds, Systems, and Services Jörn Altmann, Omer F. Rana Proceedings 2010
643 Database and XML TechnologiesMong Li Lee, Jeffrey Xu Yu, Zohra Bellahsène, Rainer Unland Proceedings 2010
644 Medical Imaging and Augmented RealityHongen Liao, P. J. "Eddie" Edwards, Xiaochuan Pan, Yong Fan, Guang-Zhong Yang
Proceedings 2010
645 Advances in Multimedia Information Processing - PCM 2010Guoping Qiu, Kin Man Lam, Hitoshi Kiya, Xiang-Yang Xue, C.-C. Jay Kuo, Michael S. Lew
Proceedings 2010
646 Medical Image Computing and Computer-Assisted Intervention – MICCAI 2010Tianzi Jiang, Nassir Navab, Josien P. W. Pluim, Max A. Viergever Proceedings 2010
647 Medical Image Computing and Computer-Assisted Intervention – MICCAI 2010Tianzi Jiang, Nassir Navab, Josien P. W. Pluim, Max A. Viergever Proceedings 2010
648 Collaboration and TechnologyGwendolyn Kolfschoten, Thomas Herrmann, Stephan Lukosch Proceedings 2010
649 Global Security, Safety, and SustainabilitySérgio Tenreiro de Magalhães, Hamid Jahankhani, Ali G. Hessami Proceedings 2010
650 Enterprise and Organizational Modeling and Simulation Joseph Barjis Proceedings 2010
651 Medical Image Computing and Computer-Assisted Intervention – MICCAI 2010Tianzi Jiang, Nassir Navab, Josien P. W. Pluim, Max A. Viergever Proceedings 2010
652 Multilingual Information Access Evaluation II. Multimedia Experiments
Carol Peters, Barbara Caputo, Julio Gonzalo, Gareth J. F. Jones, Jayashree Kalpathy-Cramer, Henning Müller, Theodora Tsikrika
Proceedings 2010
653 Multilingual Information Access Evaluation I. Text Retrieval ExperimentsCarol Peters, Giorgio Maria Nunzio, Mikko Kurimo, Thomas Mandl, Djamel Mostefa, Anselmo Peñas, Giovanna Roda
Proceedings 2010
654 Text, Speech and DialoguePetr Sojka, Aleš Horák, Ivan Kopeček, Karel Pala Proceedings 2010
655 Distributed Computing Nancy A. Lynch, Alexander A. Shvartsman Proceedings 2010
656 Information and Communication Technologies Vinu V Das, R. Vijaykumar Proceedings 2010
657 Algorithms – ESA 2010 Mark Berg, Ulrich Meyer Proceedings 2010
658 Algorithms – ESA 2010 Mark Berg, Ulrich Meyer Proceedings 2010
659 Computer Performance EngineeringAlessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa Proceedings 2010
660 Trends in Intelligent Robotics
Prahlad Vadakkepat, Jong-Hwan Kim, Norbert Jesse, Abdullah Al Mamun, Tan Kok Kiong, Jacky Baltes, John Anderson, Igor Verner, David Ahlgren
Proceedings 2010
661 Artificial Neural Networks – ICANN 2010Konstantinos Diamantaras, Wlodek Duch, Lazaros S. Iliadis Proceedings 2010
662 Artificial Neural Networks – ICANN 2010Konstantinos Diamantaras, Wlodek Duch, Lazaros S. Iliadis Proceedings 2010
663 Artificial Neural Networks – ICANN 2010Konstantinos Diamantaras, Wlodek Duch, Lazaros S. Iliadis Proceedings 2010
664 Statistical Atlases and Computational Models of the HeartOscar Camara, Mihaela Pop, Kawal Rhode, Maxime Sermesant, Nic Smith, Alistair Young
Proceedings 2010
665 Haptic and Audio Interaction DesignRolf Nordahl, Stefania Serafin, Federico Fontana, Stephen Brewster Proceedings 2010
666 Digital LibrariesMaristella Agosti, Floriana Esposito, Costantino Thanos Proceedings 2010
667 Life System Modeling and Intelligent Computing Kang Li, Xin Li, Shiwei Ma, George W. Irwin Proceedings 2010
668 Life System Modeling and Intelligent Computing Kang Li, Xin Li, Shiwei Ma, George W. Irwin Proceedings 2010
669 Sequences and Their Applications – SETA 2010 Claude Carlet, Alexander Pott Proceedings 2010
670 Future Internet - FIS 2010Arne J. Berre, Asunción Gómez-Pérez, Kurt Tutschku, Dieter Fensel Proceedings 2010
671 Machine Learning and Knowledge Discovery in DatabasesJosé Luis Balcázar, Francesco Bonchi, Aristides Gionis, Michèle Sebag Proceedings 2010
672 Machine Learning and Knowledge Discovery in DatabasesJosé Luis Balcázar, Francesco Bonchi, Aristides Gionis, Michèle Sebag Proceedings 2010
673 Intelligent Virtual AgentsJan Allbeck, Norman Badler, Timothy Bickmore, Catherine Pelachaud, Alla Safonova
Proceedings 2010
674 Formal Methods for Industrial Critical Systems Stefan Kowalewski, Marco Roveri Proceedings 2010
675 Computer Vision and GraphicsLeonard Bolc, Ryszard Tadeusiewicz, Leszek J. Chmielewski, Konrad Wojciechowski
Proceedings 2010
676 Computer Vision and GraphicsLeonard Bolc, Ryszard Tadeusiewicz, Leszek J. Chmielewski, Konrad Wojciechowski
Proceedings 2010
677S-BPM ONE – Setting the Stage for Subject-Oriented Business Process Management
Hagen Buchwald, Albert Fleischmann, Detlef Seese, Christian Stary Proceedings 2010
678 Web Reasoning and Rule Systems Pascal Hitzler, Thomas Lukasiewicz Proceedings 2010
679 Graph TransformationsHartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr Proceedings 2010
680 Machine Learning and Knowledge Discovery in DatabasesJosé Luis Balcázar, Francesco Bonchi, Aristides Gionis, Michèle Sebag Proceedings 2010
681 Machine Learning in Medical ImagingFei Wang, Pingkun Yan, Kenji Suzuki, Dinggang Shen Proceedings 2010
682 Scalable Uncertainty Management Amol Deshpande, Anthony Hunter Proceedings 2010
683 Collaborative Networks for a Sustainable WorldLuis M. Camarinha-Matos, Xavier Boucher, Hamideh Afsarmanesh Proceedings 2010
684 Cellular AutomataStefania Bandini, Sara Manzoni, Hiroshi Umeo, Giuseppe Vizzari Proceedings 2010
685 Pattern RecognitionMichael Goesele, Stefan Roth, Arjan Kuijper, Bernt Schiele, Konrad Schindler Proceedings 2010
686 Prostate Cancer Imaging. Computer-Aided Diagnosis, Prognosis, and InterventionAnant Madabhushi, Jason Dowling, Pingkun Yan, Aaron Fenster, Purang Abolmaesumi, Nobuhiko Hata
Proceedings 2010
687 Advances in Pattern RecognitionJosé Francisco Martínez-Trinidad, Jesús Ariel Carrasco-Ochoa, Josef Kittler Proceedings 2010
688 Latent Variable Analysis and Signal SeparationVincent Vigneron, Vicente Zarzoso, Eric Moreau, Rémi Gribonval, Emmanuel Vincent
Proceedings 2010
689 Multilingual and Multimodal Information Access EvaluationMaristella Agosti, Nicola Ferro, Carol Peters, Maarten Rijke, Alan Smeaton Proceedings 2010
690 Pattern Recognition in BioinformaticsTjeerd M. H. Dijkstra, Evgeni Tsivtsivadze, Elena Marchiori, Tom Heskes Proceedings 2010
691 Transactions on Computational Science IXMarina L. Gavrilova, C. J. Kenneth Tan, François Anton Collected works 2010
692 Sustaining TEL: From Innovation to Learning and PracticeMartin Wolpers, Paul A. Kirschner, Maren Scheffel, Stefanie Lindstaedt, Vania Dimitrova
Proceedings 2010
693 Stabilization, Safety, and Security of Distributed SystemsShlomi Dolev, Jorge Cobb, Michael Fischer, Moti Yung Proceedings 2010
694 Technological Convergence and Social Networks in Information ManagementSerap Kurbanoğlu, Umut Al, Phyllis Lepon Erdoğan, Yaşar Tonta, Nazan Uçak Proceedings 2010
695 Hybrid MetaheuristicsMaría J. Blesa, Christian Blum, Günther Raidl, Andrea Roli, Michael Sampels Proceedings 2010
696 Cooperative Design, Visualization, and Engineering Yuhua Luo Proceedings 2010
697 Transactions on Aspect-Oriented Software Development VII Shmuel Katz, Mira Mezini, Jörg Kienzle Contributed volume 2010
698 Objects and Databases Alan Dearle, Roberto V. Zicari Proceedings 2010
699 Perspectives in Business Informatics Research Peter Forbrig, Horst Günther Proceedings 2010
700 Algorithmic Learning TheoryMarcus Hutter, Frank Stephan, Vladimir Vovk, Thomas Zeugmann Proceedings 2010
701 KI 2010: Advances in Artificial IntelligenceRüdiger Dillmann, Jürgen Beyerer, Uwe D. Hanebeck, Tanja Schultz Proceedings 2010
702 Web Application SecurityCarlos Serrão, Vicente Aguilera Díaz, Fabio Cerullo Proceedings 2010
703 Model Driven Engineering Languages and SystemsDorina C. Petriu, Nicolas Rouquette, Øystein Haugen Proceedings 2010
704 Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops Asit Dan, Frédéric Gittler, Farouk Toumani Proceedings 2010
705 Model Driven Engineering Languages and SystemsDorina C. Petriu, Nicolas Rouquette, Øystein Haugen Proceedings 2010
706 Security and Privacy in Communication Networks Sushil Jajodia, Jianying Zhou Proceedings 2010
707 Model Checking Software Jaco Pol, Michael Weber Proceedings 2010
708 Information Computing and ApplicationsRongbo Zhu, Yanchun Zhang, Baoxiang Liu, Chunfeng Liu Proceedings 2010
709 Algorithmic Game TheorySpyros Kontogiannis, Elias Koutsoupias, Paul G. Spirakis Proceedings 2010
710 Transactions on Large-Scale Data- and Knowledge-Centered Systems IIAbdelkader Hameurlain, Josef Küng, Roland Wagner, Torben Bach Pedersen, A. Min Tjoa
Contributed volume 2010
711 Multiagent System Technologies Jürgen Dix, Cees Witteveen Proceedings 2010
712 Discovery ScienceBernhard Pfahringer, Geoff Holmes, Achim Hoffmann Proceedings 2010
713 Spoken Dialogue Systems for Ambient EnvironmentsGary Geunbae Lee, Joseph Mariani, Wolfgang Minker, Satoshi Nakamura Proceedings 2010
714 Artificial Intelligence Applications and InnovationsHarris Papadopoulos, Andreas S. Andreou, Max Bramer Proceedings 2010
715 Logic for Programming, Artificial Intelligence, and Reasoning Christian G. Fermüller, Andrei Voronkov Proceedings 2010
716 Rough Set and Knowledge TechnologyJian Yu, Salvatore Greco, Pawan Lingras, Guoyin Wang, Andrzej Skowron Proceedings 2010
717 Integrated Formal Methods Dominique Méry, Stephan Merz Proceedings 2010
718 Provable Security Swee-Huay Heng, Kaoru Kurosawa Proceedings 2010
719 Software Services for e-World Wojciech Cellary, Elsa Estevez Proceedings 2010
720 Semantic Web RulesMike Dean, John Hall, Antonino Rotolo, Said Tabet Proceedings 2010
721 Modeling Decisions for Artificial IntelligenceVicenç Torra, Yasuo Narukawa, Marc Daumas Proceedings 2010
722 Rewriting Logic and Its Applications Peter Csaba Ölveczky Proceedings 2010
723Knowledge Management, Information Systems, E-Learning, and Sustainability Research
Miltiadis D. Lytras, Patricia Ordonez De Pablos, Adrian Ziderman, Alan Roulstone, Hermann Maurer
Proceedings 2010
724 String Processing and Information Retrieval Edgar Chavez, Stefano Lonardi Proceedings 2010
725 Organizational, Business, and Technological Aspects of the Knowledge SocietyMiltiadis D. Lytras, Patricia Ordonez de Pablos, Adrian Ziderman, Alan Roulstone, Hermann Maurer
Proceedings 2010
726 Intelligent Information Processing VZhongzhi Shi, Sunil Vadera, Agnar Aamodt, David Leake Proceedings 2010
727 Information Computing and ApplicationsRongbo Zhu, Yanchun Zhang, Baoxiang Liu, Chunfeng Liu Proceedings 2010
728 Ubiquitous Intelligence and ComputingZhiwen Yu, Ramiro Liscano, Guanling Chen, Daqing Zhang, Xingshe Zhou Proceedings 2010
729 Advances in Production Management Systems. New Challenges, New Approaches Bruno Vallespir, Thècle Alix Proceedings 2010
730 Research and Education in Robotics - EUROBOT 2009Achim Gottscheber, David Obdržálek, Colin Schmidt Proceedings 2010
731 Conceptual Modeling – ER 2010Jeffrey Parsons, Motoshi Saeki, Peretz Shoval, Carson Woo, Yair Wand Proceedings 2010
732 Advances in Conceptual Modeling – Applications and ChallengesJuan Trujillo, Gillian Dobbie, Hannu Kangassalo, Sven Hartmann, Markus Kirchberg, Matti Rossi
Proceedings 2010
733 Computational Intelligence and Intelligent SystemsZhihua Cai, Hengjian Tong, Zhuo Kang, Yong Liu Proceedings 2010
734 Ubiquitous Knowledge Discovery Michael May, Lorenza Saitta Contributed volume 2010
735 E-business Technology and StrategyMarzia Zaman, Yawei Liang, Sohail M Siddiqui, Tim Wang, Vincent Liu, Ceecee Lu Proceedings 2010
736 ENTERprise Information SystemsJoão Eduardo Quintela Varajão, Maria Manuela Cruz-Cunha, Goran D. Putnik, António Trigo
Proceedings 2010
737 Lean Enterprise Software and Systems Pekka Abrahamsson, Nilay Oza Proceedings 2010
738 ENTERprise Information SystemsJoão Eduardo Quintela Varajão, Maria Manuela Cruz-Cunha, Goran D. Putnik, António Trigo
Proceedings 2010
739 Information HidingRainer Böhme, Philip W. L. Fong, Reihaneh Safavi-Naini Proceedings 2010
740 Knowledge Engineering and Management by the Masses Philipp Cimiano, H. Sofia Pinto Proceedings 2010
741 Public Key Infrastructures, Services and Applications Fabio Martinelli, Bart Preneel Proceedings 2010
742 Security-Enriched Urban Computing and Smart GridTai-hoon Kim, Adrian Stoica, Ruay-Shiung Chang Proceedings 2010
743 Human-Centred Software EngineeringRegina Bernhaupt, Peter Forbrig, Jan Gulliksen, Marta Lárusdóttir Proceedings 2010
744 Advances in Computation and IntelligenceZhihua Cai, Chengyu Hu, Zhuo Kang, Yong Liu Proceedings 2010
745Ontology, Conceptualization and Epistemology for Information Systems, Software Engineering and Service Science
Miguel-Angel Sicilia, Christian Kop, Fabio Sartori Proceedings 2010
746 Job Scheduling Strategies for Parallel Processing Eitan Frachtenberg, Uwe Schwiegelshohn Proceedings 2010
747 Web Information Systems and MiningFu Lee Wang, Zhiguo Gong, Xiangfeng Luo, Jingsheng Lei Proceedings 2010
748AI Approaches to the Complexity of Legal Systems. Complex Systems, the Semantic Web, Ontologies, Argumentation, and Dialogue
Pompeu Casanovas, Ugo Pagallo, Giovanni Sartor, Gianmaria Ajani Proceedings 2010
749 Artificial Intelligence and Computational IntelligenceFu Lee Wang, Hepu Deng, Yang Gao, Jingsheng Lei Proceedings 2010
750 Artificial Intelligence and Computational IntelligenceFu Lee Wang, Hepu Deng, Yang Gao, Jingsheng Lei Proceedings 2010
751 Exact Exponential Algorithms Fedor V. Fomin, Dieter KratschGraduate/advanced undergraduate textbook 2010
752 Bioinspired Computation in Combinatorial Optimization Frank Neumann, Carsten WittGraduate/advanced undergraduate textbook 2010
753 Metadata and Semantic ResearchSalvador Sánchez-Alonso, Ioannis N. Athanasiadis Proceedings 2010
754 Leveraging Applications of Formal Methods, Verification, and Validation Tiziana Margaria, Bernhard Steffen Proceedings 2010
755 Leveraging Applications of Formal Methods, Verification, and Validation Tiziana Margaria, Bernhard Steffen Proceedings 2010
756 Social InformaticsLeonard Bolc, Marek Makowski, Adam Wierzbicki Proceedings 2010
757 Testing Software and SystemsAlexandre Petrenko, Adenilso Simão, José Carlos Maldonado Proceedings 2010
758 Autonomic and Trusted ComputingBing Xie, Juergen Branke, S. Masoud Sadjadi, Daqing ZhanG Proceedings 2010
759 Intelligent Robotics and ApplicationsHonghai Liu, Han Ding, Zhenhua Xiong, Xiangyang Zhu Proceedings 2010
760 Intelligent Robotics and ApplicationsHonghai Liu, Han Ding, Zhenhua Xiong, Xiangyang Zhu Proceedings 2010
761 Qualitative Spatial Abstraction in Reinforcement Learning Lutz Frommberger Monograph 2010
762 The Smart InternetMark Chignell, James Cordy, Joanna Ng, Yelena Yesha Contributed volume 2010
763 HCI in Work and Learning, Life and LeisureGerhard Leitner, Martin Hitz, Andreas Holzinger Proceedings 2010
764 Runtime VerificationHoward Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund Proceedings 2010
765 Interactive StorytellingRuth Aylett, Mei Yii Lim, Sandy Louchart, Paolo Petta, Mark Riedl Proceedings 2010
766 Mobile Lightweight Wireless SystemsPeriklis Chatzimisios, Christos Verikoukis, Ignacio Santamaría, Massimiliano Laddomada
Proceedings 2010
767Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications Isabelle Bloch, Roberto M. Cesar Proceedings 2010
768 Unifying Theories of Programming Shengchao Qin Proceedings 2010
769 Computational Collective Intelligence. Technologies and ApplicationsJeng-Shyang Pan, Shyi-Ming Chen, Ngoc Thanh Nguyen Proceedings 2010
770 Computational Collective Intelligence. Technologies and ApplicationsJeng-Shyang Pan, Shyi-Ming Chen, Ngoc Thanh Nguyen Proceedings 2010
771 Advances in Information TechnologyBorworn Papasratorn, Kittichai Lavangnananda, Wichian Chutimaskul, Vajirasak Vanijja
Proceedings 2010
772 Web-Age Information ManagementHeng Tao Shen, Jian Pei, M. Tamer Özsu, Lei Zou, Jiaheng Lu, Tok-Wang Ling, Ge Yu, Yi Zhuang
Proceedings 2010
773 Computational Collective Intelligence. Technologies and ApplicationsJeng-Shyang Pan, Shyi-Ming Chen, Ngoc Thanh Nguyen Proceedings 2010
774 Computational Systems-Biology and BioinformaticsJonathan H. Chan, Yew-Soon Ong, Sung-Bae Cho Proceedings 2010
775 Advances in Artificial IntelligenceGrigori Sidorov, Arturo Hernández Aguirre, Carlos Alberto Reyes García Proceedings 2010
776 Practice-Driven Research on Enterprise TransformationFrank Harmsen, Erik Proper, Frank Schalkwijk, Joseph Barjis, Sietse Overbeek Proceedings 2010
777 Advances in Soft ComputingGrigori Sidorov, Arturo Hernández Aguirre, Carlos Alberto Reyes García Proceedings 2010
778 The Practice of Enterprise ModelingPatrick Bommel, Stijn Hoppenbrouwers, Sietse Overbeek, Erik Proper, Joseph Barjis Proceedings 2010
779 Critical Infrastructure Protection IV Tyler Moore, Sujeet Shenoi Proceedings 2010
780 Trends in Enterprise Architecture ResearchErik Proper, Marc M. Lankhorst, Marten Schönherr, Joseph Barjis, Sietse Overbeek Proceedings 2010
781 Radio Frequency Identification: Security and Privacy Issues Siddika Berna Ors Yalcin Proceedings 2010
782 Advances in Information and Computer SecurityIsao Echizen, Noboru Kunihiro, Ryoichi Sasaki Proceedings 2010
783 Modelling Autonomic Communication Environments Rob Brennan, Joel Fleck, Sven Meer Proceedings 2010
784 Computational Logic in Multi-Agent Systems Jürgen Dix, Michael Fisher, Peter Novák Proceedings 2010
785 Digital HeritageMarinos Ioannides, Dieter Fellner, Andreas Georgopoulos, Diofantos G. Hadjimitsis Proceedings 2010
786 Formal Methods and Software Engineering Jin Song Dong, Huibiao Zhu Proceedings 2010
787 Ambient Intelligence
Boris Ruyter, Reiner Wichert, David V. Keyson, Panos Markopoulos, Norbert Streitz, Monica Divitini, Nikolaos Georgantas, Antonio Mana Gomez
Proceedings 2010
788 Graph Theoretic Concepts in Computer Science Dimitrios M. Thilikos Proceedings 2010
789 On the Move to Meaningful Internet Systems: OTM 2010Robert Meersman, Tharam Dillon, Pilar Herrero Proceedings 2010
790 On the Move to Meaningful Internet Systems, OTM 2010Robert Meersman, Tharam Dillon, Pilar Herrero Proceedings 2010
791 Advances in Artificial Intelligence – IBERAMIA 2010 Angel Kuri-Morales, Guillermo R. Simari Proceedings 2010
792 Middleware 2010 Indranil Gupta, Cecilia Mascolo Proceedings 2010
793 Motion in GamesRonan Boulic, Yiorgos Chrysanthou, Taku Komura Proceedings 2010
794 On the Move to Meaningful Internet Systems: OTM 2010 WorkshopsRobert Meersman, Tharam Dillon, Pilar Herrero Proceedings 2010
795 Smart Sensing and Context Paul Lukowicz, Kai Kunze, Gerd Kortuem Proceedings 2010
796 Current Trends in Web Engineering Florian Daniel, Federico Michele Facca Proceedings 2010
797 Algorithms for Sensor Systems Christian Scheideler Proceedings 2010
798 Formal Methods for Components and ObjectsFrank S. Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel Proceedings 2010
799 Artificial Intelligence and Cognitive Science Lorcan Coyle, Jill Freyne Proceedings 2010
800 Transactions on Computational Collective Intelligence II Ngoc Thanh Nguyen, Ryszard Kowalczyk Proceedings 2010
801 Programming Languages and Systems Kazunori Ueda Proceedings 2010
802 Verification, Induction, Termination Analysis Simon Siegler, Nathan Wasser Proceedings 2010
803 Culture and Computing Toru Ishida Contributed volume 2010
804 Information Retrieval TechnologyPu-Jen Cheng, Min-Yen Kan, Wai Lam, Preslav Nakov Proceedings 2010
805 Decision and Game Theory for SecurityTansu Alpcan, Levente Buttyán, John S. Baras Proceedings 2010
806 From Active Data Management to Event-Based Systems and More Kai Sachs, Ilia Petrov, Pablo Guerrero Commemorative publication 2010
807 Architecting Dependable Systems VIIAntonio Casimiro, Rogério Lemos, Cristina Gacek Contributed volume 2010
808 Social RoboticsShuzhi Sam Ge, Haizhou Li, John-John Cabibihan, Yeow Kee Tan Proceedings 2010
809
Advances in Visual Computing. 6th International Symposium, ISVC 2010, Las Vegas, NV, USA, November 29-December 1, 2010, Proceedings, Part II George Bebis, Richard Boyle, Bahram
Parvin, Darko Koracin Proceedings 2010
810
Advances in Visual Computing. 6th International Symposium, ISVC 2010, Las Vegas, NV, USA, November 29 - December 1, 2010, Proceedings, Part III George Bebis, Richard Boyle, Bahram
Parvin, Darko Koracin Proceedings 2010
811
Advances in Visual Computing. 6th International Symposium, ISVC 2010, Las Vegas, NV, USA, November 29-December 1, 2010, Proceedings, Part I George Bebis, Richard Boyle, Bahram
Parvin, Darko Koracin Proceedings 2010
812 Simulated Evolution and LearningKalyanmoy Deb, Arnab Bhattacharya, Nirupam Chakraborti Proceedings 2010
813 Policies and Research in Identity ManagementElisabeth Leeuw, Simone Fischer-Hübner, Lothar Fritsch Proceedings 2010
814 Advanced Data Mining and Applications Longbing Cao, Jiang Zhong, Yong Feng Proceedings 2010
815 Advanced Data Mining and Applications Longbing Cao, Yong Feng, Jiang Zhong Proceedings 2010
816 Simulation, Modeling, and Programming for Autonomous RobotsNoriaki Ando, Stephen Balakirsky, Thomas Hemker, Monica Reggiani, Oskar Stryk Proceedings 2010
817 Graph Transformations and Model-Driven EngineeringGregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, Bernhard Westfechtel Contributed volume 2010
818 Service-Oriented ComputingPaul P. Maglio, Mathias Weske, Jian Yang, Marcelo Fantinato Proceedings 2010
819 Advances in Cryptology - ASIACRYPT 2010 Masayuki Abe Proceedings 2010
820 Progress in Cryptology - INDOCRYPT 2010 Guang Gong, Kishan Chand Gupta Proceedings 2010
821 Advances in Web-Based Learning – ICWL 2010 Xiangfeng Luo, Marc Spaniol, Lizhe Wang, Qing Li, Wolfgang Nejdl
Proceedings 2010
822 Pairing-Based Cryptography - Pairing 2010 Marc Joye, Atsuko Miyaji, Akira Otsuka Proceedings 2010
823 Combinatorial Optimization and Applications Weili Wu, Ovidiu Daescu Proceedings 2010
824 Combinatorial Optimization and Applications Weili Wu, Ovidiu Daescu Proceedings 2010
825 Parameterized and Exact Computation Venkatesh Raman, Saket Saurabh Proceedings 2010
826 Transactions on Computational Science XMarina L. Gavrilova, C. J. Kenneth Tan, Edward David Moreno Contributed volume 2010
827 Security and Privacy in Mobile Information and Communication SystemsAndreas U. Schmidt, Giovanni Russello, Antonio Lioy Proceedings 2010
828 Learning Classifier SystemsJaume Bacardit, Will Browne, Jan Drugowitsch Proceedings 2010
829 Logic for Programming, Artificial Intelligence, and Reasoning Edmund M. Clarke, Andrei Voronkov Proceedings 2010
830 Algorithms and ComputationOtfried Cheong, Kyung-Yong Chwa, Kunsoo Park Proceedings 2010
831 Algorithms and ComputationOtfried Cheong, Kyung-Yong Chwa, Kunsoo Park Proceedings 2010
832 Real-World Wireless Sensor NetworksPedro J. Marron, Thiemo Voigt, Peter Corke, Luca Mottola Proceedings 2010
833 Sanskrit Computational Linguistics Girish Nath Jha Proceedings 2010
834 Neural Information Processing. Models and ApplicationsKok Wai Wong, B. Sumudu U. Mendis, Abdesselam Bouzerdoum Proceedings 2010
835 Neural Information Processing. Theory and AlgorithmsKok Wai Wong, B. Sumudu U. Mendis, Abdesselam Bouzerdoum Proceedings 2010
836 Swarm, Evolutionary, and Memetic Computing Bijaya Ketan Panigrahi, Swagatam Das Proceedings 2010
837 Future Generation Information TechnologyTai-hoon Kim, Young-hoon Lee, Byeong-Ho Kang, Dominik Ślęzak Proceedings 2010
838 Internet and Network Economics Amin Saberi Proceedings 2010
839 Advances in Software EngineeringTai-hoon Kim, Haeng-Kon Kim, Muhammad Khurram Khan Proceedings 2010
840 Communication and NetworkingTai-hoon Kim, Alan Chin-Chen Chang, MingChu Li Proceedings 2010
841 Service Research Challenges and Solutions for the Future InternetMike P. Papazoglou, Klaus Pohl, Michael Parkin, Andreas Metzger Proceedings 2010
842 Communication and NetworkingTai-hoon Kim, Thanos Vasilakos, Kouichi Sakurai, Yang Xiao, Gansen Zhao, Dominik Ślęzak
Proceedings 2010
843 Security Technology, Disaster Recovery and Business ContinuityTai-hoon Kim, Wai-chi Fang, Muhammad Khurram Khan Proceedings 2010
844 Web Information Systems Engineering – WISE 2010 Lei Chen, Peter Triantafillou, Torsten Suel Proceedings 2010
845 Cryptology and Network SecuritySwee-Huay Heng, Rebecca N. Wright, Bok-Min Goi Proceedings 2010
846 Database Theory and Application, Bio-Science and Bio-TechnologyYanchun Zhang, Alfredo Cuzzocrea, Jianhua Ma, Kyo-il Chung, Tughrul Arslan Proceedings 2010
847 Grid and Distributed Computing, Control and AutomationTai-hoon Kim, Stephen S. Yau, Osvaldo Gervasi, Byeong-Ho Kang, Adrian Stoica Proceedings 2010
848 Signal Processing and MultimediaTai-hoon Kim, Sankar K. Pal, William I. Grosky, Niki Pissinou, Timothy K. Shih, Dominik Ślęzak
Proceedings 2010
849 U- and E-Service, Science and TechnologyTai-hoon Kim, Jianhua Ma, Wai-chi Fang, Byungjoo Park, Byeong-Ho Kang, Dominik Ślęzak
Proceedings 2010
850 Information and Communications Security Miguel Soriano, Sihan Qing, Javier López Proceedings 2010
851 Principles of Distributed SystemsChenyang Lu, Toshimitsu Masuzawa, Mohamed Mosbah Proceedings 2010
852 Central European Functional Programming SchoolZoltán Horváth, Rinus Plasmeijer, Viktória Zsók Contributed volume 2010
853 Advanced Concepts for Intelligent Vision SystemsJacques Blanc-Talon, Don Bone, Wilfried Philips, Dan Popescu Proceedings 2010
854 Advanced Concepts for Intelligent Vision SystemsJacques Blanc-Talon, Don Bone, Wilfried Philips, Dan Popescu, Paul Scheunders Proceedings 2010
855 Towards a Service-Based Internet Elisabetta Nitto, Ramin Yahyapour Proceedings 2010
856 Transactions on Computational Science XIMarina L. Gavrilova, C. J. Kenneth Tan, Edward David Moreno Contributed volume 2010
857 Recognizing Patterns in Signals, Speech, Images and VideosDevrim Ünay, Zehra Çataltepe, Selim Aksoy Proceedings 2010
858 The Semantic Web – ISWC 2010Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika Proceedings 2010
859 The Semantic Web – ISWC 2010Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika Proceedings 2010
860 Mobile Wireless Middleware, Operating Systems, and ApplicationsYing Cai, Thomas Magedanz, Minglu Li, Jinchun Xia, Carlo Giannelli Proceedings 2010
861 Security ProtocolsBruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe Proceedings 2010
862 Provenance and Annotation of Data and ProcessesDeborah L. McGuinness, James R. Michaelis, Luc Moreau Proceedings 2010
863 Ad Hoc NetworksJun Zheng, David Simplot-Ryl, Victor C. M. Leung Proceedings 2010
864 Algorithms and Models for the Web-Graph Ravi Kumar, Dandapani Sivakumar Proceedings 2010
865 Transactions on Petri Nets and Other Models of Concurrency IVKurt Jensen, Susanna Donatelli, Maciej Koutny Contributed volume 2010
866 Structural Bioinformatics of Membrane Proteins Dmitrij Frishman Monograph 2010
867 From Sociology to Computing in Social Networks Nasrullah Memon, Reda Alhajj Contributed volume 2010
868 Economic Models and Algorithms for Distributed SystemsDirk Neumann, Mark Baker, Jörn Altmann, Omer Rana Collection of essays 2010
869 Mathematical Logic Wei Li Monograph 2010
870 Using Microsoft Dynamics AX 2009 Andreas Luszczak Professional book 2010
871 Domain-Specific Model-Driven Testing Stefan Baerisch Monograph 2010
872 ISSE 2009 Securing Electronic Business ProcessesNorbert Pohlmann, Helmut Reimer, Wolfgang Schneider Monograph 2010
873Architecture and Methods for Flexible Content Management in Peer-to-Peer Systems Udo Bartlang Monograph 2010
874 Structural Failure Models for Fault-Tolerant Distributed Computing Timo Warns Monograph 2010
875 Context-Based Routing in Dynamic Networks Bernd-Ludwig Wenning Monograph 2010
876 Natural Computing F. Peper, H. Umeo, N. Matsui, T. Isokawa Proceedings 2010
877 Scienza dei servizi Dario Cavenago, Mario Mezzanzanica Professional book 2010
878 Et voilà i robot Nunzia Bonifati Popular science 2010
879 Linguistic Modeling of Information and Markup Languages Andreas Witt, Dieter Metzing Contributed volume 2010
880 Quantum Neural Computation Vladimir G. Ivancevic, Tijana T. Ivancevic Monograph 2010
881 Advanced Techniques in Computing Sciences and Software Engineering Khaled Elleithy Proceedings 2010
882 Safeguards in a World of Ambient IntelligencePasi Ahonen, Petteri Alahuhta, Barbara Daskala, Sabine Delaitre, Paul De Hert, Ralf Lindner
Contributed volume 2010
883 Innovations in Computing Sciences and Software Engineering Tarek Sobh, Khaled Elleithy Proceedings 2010
884 Transforming Enterprise Cloud ServicesWilliam Y Chang, Hosame Abu-Amara, Jessica Feng Sanford Monograph 2010