New Titles in Computer Science

• Proceedings of the 2002 Workshop on the State of the Art in Automated Software Engineering / David F. Redmiles, editor
  Workshop on the State of the Art in Automated Software Engineering (2002 : University of California, Irvine)
• Activating the social workscape / Danyel Fisher, Paul Dourish
  Fisher, Danyel, 1975-
• Multiple classifier systems [electronic resource] : 11th International Workshop, MCS 2013, Nanjing, China, May 15-17, 2013 : proceedings / Zhi-Hua Zhou, Fabio Roli, Josef Kittler (eds.)
  MCS 2013 (2013 : Nanjing Shi, China)
• Information security and cryptology--ICISC 2012 [electronic resource] : 15th International Conference, Seoul, Korea, November 28-30, 2012 : revised selected papers / Taekyoung Kwon, Mun-Kyu Lee, Daesung Kwon (eds.)
  ICISC (Conference) (15th : 2012 : Seoul, Korea)
• Approximation and online algorithms [electronic resource] : 10th International Workshop, WAOA 2012, Ljubljana, Slovenia, September 13-14, 2012 : revised selected papers / Thomas Erlebach, Giuseppe Persiano (eds.)
  WAOA 2012 (2012 : Ljubljana, Slovenia)
• Information security and cryptology [electronic resource] : 8th International Conference, Inscrypt 2012, Beijing, China, November 28-30, 2012 : revised selected papers / Mirosław Kutyłowski, Moti Yung (eds.)
  Inscrypt (Conference) (8th : 2012 : Beijing, China)
• Semantic technology [electronic resource] : second Joint International Conference, JIST 2012, Nara, Japan, December 2-4, 2012 : proceedings / Hideaki Takeda ... [et al.] (eds.)
  JIST 2012 (2012 : Nara-shi, Japan)
• Advances on practical applications of agents and multi-agent systems [electronic resource] : 11th international conference, PAAMS 2013, Salamanca, Spain, May 22-24, 2013 : proceedings / Yves Demazeau...[et al.] (eds.)
  International Conference on Practical Applications of Agents and Multiagent Systems (11th : 2013 : Salamanca, Spain)
• Grid and pervasive computing [electronic resource] : 8th International Conference, GPC 2013 and colocated Workshops, Seoul, Korea, May 9-11, 2013 : proceedings / James J. (Jong Hyuk) Park ... [et al.] (eds.)
  GPC (Conference) (8th : 2013 : Seoul, Korea)
• Theory and applications of models of computation [electronic resource] : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013 : proceedings / T-H. Hubert Chan, Lap Chi Lau, Luca Trevisan (eds.)
  TAMC (Conference) (10th : 2013 : Hong Kong, China)
• Programming logics [electronic resource] : essays in memory of Harald Ganzinger / Andrei Voronkov, Christoph Weidenbach (eds.)
  
• Declarative agent languages and technologies X [electronic resource] : 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012 : revised selected papers / Matteo Baldoni...[et al.] (eds.)
  International Workshop on Declarative Agent Languages and Technologies (10th : 2012 : Valencia, Spain)
• Languages and compilers for parallel computing [electronic resource] : 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012 : revised selected papers / Hironori Kasahara, Keiji Kimura (eds.)
  Workshop on Languages and Compilers for Parallel Computing (25th : 2012 : Tokyo, Japan)
• Dependable computing [electronic resource] : 14th European Workshop, EWDC 2013, Coimbra, Portugal, May 15-16, 2013 : proceedings / Marco Vieira, João Carlos Cunha (eds.)
  European Workshop on Dependable Computing (14th : 2013 : Coimbra, Portugal)
• Security and trust management [electronic resource] : 8th International Workshop, STM 2012, Pisa, Italy, September 13-14, 2012 : revised selected papers / Audun Jøsang, Pierangela Samarati, Marinella Petrocchi (eds.)
  STM (Conference) (8th : 2012 : Pisa, Italy)
• Service-oriented computing--ICSOC 2012 Workshops [electronic resource] : ICSOC 2012 International Workshops : ASC, DISA, PAASC, SCEB, SeMaPS, WESOA, and satellite events, Shanghai, China, November 12-15, 2012 : revised selected papers / Aditya Ghose ... [et al.] (eds.)
  ICSOC (Conference) (2012 : Shanghai, China)
• Adaptive and natural computing algorithms [electronic resource] : 11th International Conference, ICANNGA 2013, Lausanne, Switzerland, April 4-6, 2013 : proceedings / Marco Tomassini...[et al.] (eds.)
  ICANNGA 2013 (2013 : Lausanne, Switzerland)
• Coordination, organizations, institutions, and norms in agent systems VIII [electronic resource] : 14th International Workshop, COIN 2012, held co-located with AAMAS 2012, Valencia, Spain, June 5, 2012 : revised selected papers / Huib Aldewereld, Jaime Simão Sichman (eds.)
  COIN 2012 (2012 : Valencia, Spain)
• Logic-based program synthesis and transformation [electronic resource] : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012 : revised selected papers / Elvira Albert (ed.)
  LOPSTR (Symposium) (22nd : 2012 : Leuven, Belgium)
• Recent trends in algebraic development techniques [electronic resource] : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012 : revised selected papers / Narciso Martí-Oliet, Miguel Palomino (eds.)
  WADT 2012 (2012 : Salamanca, Spain)
• Computation, logic, games, and quantum foundations [electronic resource] : the many facets of Samson Abramsky ; essays dedicated to Samson Abramsky on the occasion of his 60th birthday / Bob Coecke, Luke Ong, Prakash Panangaden (eds.)
  
• Database systems for advanced applications : 18th international conference, DASFAA 2013, Wuhan, China, April 22-25, 2013 : proceedings / Weiyi Meng, Ling Feng, Stéphane Bressan, Werner Winiwarter, Wei Song (eds.)
  DASFAA (Conference : Database systems) (18th : 2013 : Wuhan, China)
• Advances in knowledge discovery and data mining : 17th Pacific-Asia Conference, PAKDD 2013, Gold Coast, Australia, April 14-17, 2013 : proceedings / Jian Pei, Vincent S. Tseng, Longbing Cao, Hiroshi Motoda, Guandong Xu (eds.)
  Pacific-Asia Conference on Knowledge Discovery and Data Mining (17th : 2013 : Gold Coast, Qld.)
• Computer Architecture (ISCA), 2011 38th Annual International Symposium on [electronic resource] : San Jose, CA, 4-8 June 2011
  International Symposium on Computer Architecture (38th : 2011 : San Jose, CA)
• Schrödinger's killer app [electronic resource] : race to build the world's first quantum computer / Jonathan P. Dowling
  Dowling, Jonathan P
• Beginning Oracle application express 4.2 [electronic resource] / Doug Gault...[et al.]
  
• Beginning C# object-oriented programming [electronic resource] / Dan Clark
  Clark, Dan, 1963-
• Oracle SQL tuning with Oracle SQLTXPLAIN [electronic resource] / Stelios Charalambides
  Charalambides, Stelios
• Pro WF 4.5 [electronic resource] / Bayer White
  White, Bayer
• Windows 8 app projects [electronic resource] / Nico Vermeir
  Vermeir, Nico
• Beginning C [electronic resource] / Ivor Horton
  Horton, Ivor
• More iOS 6 development [electronic resource] : further explorations of the iOS SDK / Alex Horovitz ... [et al.]
  
• Designing for Windows 8 [electronic resource] / Brent Schooley
  Schooley, Brent
• Pro iOS geo [electronic resource] : building apps with location based services / Giacomo Andreucci
  Andreucci, Giacomo
• Towards solid-state quantum repeaters [electronic resource] : ultrafast, coherent optical control and spin-photon entanglement in charged InAs quantum dots / Kristiaan De Greve
  Greve, Kristiaan De
• Seki, founder of modern mathematics in Japan [electronic resource] : a commemoration on his tercentenary / Eberhard Knobloch, Hikosaburo Komatsu, Dun Liu, editors
  
• Advances in interdisciplinary mathematical research [electronic resource] : applications to engineering, physical and life sciences / Bourama Toni, editor
  
• Logical foundations of mathematics and computational complexity [electronic resource] : a gentle introduction / Pavel Pudlák
  Pudlák, Pavel, 1952-
• Stream ciphers [electronic resource] / Andreas Klein
  Klein, Andreas
• Vital directions for mathematics education research [electronic resource] / Keith R Leatham, editor
  
• Teaching and learning patterns in school mathematics [electronic resource] : psychological and pedagogical considerations / Ferdinand Rivera
  Rivera, Ferdinand D
• STEM project-based learning [electronic resource] : an integrated science, technology, engineering, and mathematics (STEM) approach / edited by Robert M. Capraro, Mary Margaret Capraro, James R. Morgan
  
• The people's web meets NLP [electronic resource] : collaboratively constructed language resources / Iryna Gurevych, Jungi Kim, editors ; foreword by Nicoletta Calzolari
  
• Multimedia and ubiquitous engineering [electronic resource] : MUE 2013 / James J. (Jong Hyuk) Park...[et al.], editors
  International Conference on Multimedia and Ubiquitous Engineering (2013 : Seoul, Korea)
• Proceedings of the 2012 International Conference on Cybernetics and Informatics [electronic resource] / Shaobo Zhong, editor
  International Conference on Cybernetics and Informatics (2012 : Chongqing, China)
• High-performance computing using FPGAs [electronic resource] / Wim Vanderbauwhede, Khaled Benkrid, editors
  
• Modeling approaches and algorithms for advanced computer applications [electronic resource] / Abdelmalek Amine, Otmane Ait Mohamed, Ladjel Bellatreche, editors
  International Conference on Computer Science and Its Applications (4th : 2013 : Saïda, Algeria)
• Distributed computing and artificial intelligence [electronic resource] : 10th International Conference / Sigeru Omatu...[et al.], editors
  International Symposium on Distributed Computing and Artificial Intelligence (10th : 2013 : Salamanca, Spain)
• Social web artifacts for boosting recommenders [electronic resource] : theory and implementation / Cai-Nicolas Ziegler
  Ziegler, Cai-Nicolas
• Ambient intelligence-- Software and applications [electronic resource] : 4th International Symposium on Ambient Intelligence (ISAmI 2013) / Ad van Berlo...[et al.], editors
  International Symposium on Ambient Intelligence (4th : 2013 : Salamanca, Spain)

BackTop of Page