New Titles in Computer Science
- Decentralized software architecture [electronic resource] / Rohit Khare
Khare, Rohit
- Model-driven and software product line engineering [electronic resource] / Hugo Arboleda, Jean-Claude Royer
Arboleda, Hugo, author
- Computer architecture and security [electronic resource] : fundamentals of designing secure computer systems / Shuangbao (Paul) Wang, Robert S. Ledley
Wang, Shuangbao Paul
- Computer architecture [electronic resource] / Gérard Blanchet, Bertrand Dupouy
Blanchet, Gerard
- Query processing over uncertain databases [electronic resource] / Lei Chen, Xiang Lian
Chen, Lei, 1972-
- Data management in the cloud [electronic resource] : challenges and opportunities / Divyakant Agrawal, Sudipto Das, Amr El Abbadi
Agrawal, Divyakant
- Answer set solving in practice [electronic resource] / Martin Gebser ... [et al.]
- Model-driven software engineering in practice [electronic resource] / Marco Brambilla, Jordi Cabot, Manuel Wimmer
Brambilla, Marco, 1976-
- Cyber foraging [electronic resource] : bridging mobile and cloud computing / Jason Flinn
Flinn, Jason
- Multithreading architecture [electronic resource] / Mario Nemirovsky, Dean M. Tullsen
Nemirovsky, Mario
- Beginning Android 4 [electronic resource] / Grant Allen
Allen, Grant
- Textual information access [electronic resource] : statistical models / edited by Eric Gaussier, François Yvon
- Static analysis of software [electronic resource] : the abstract interpretation / edited by Jean-Louis Boulanger
- Semi-supervised and unsupervised machine learning [electronic resource] : novel strategies / Amparo Albalate, Wolfgang Minker
Albalate, Amparo
- Graph partitioning [electronic resource] / edited by Charles-Edmond Bichot, Patrick Siarry
- Fundamentals of software testing [electronic resource] / Bernard Homè̀s
Homè̀s, Bernard
- Emotion-oriented systems [electronic resource] / edited by Catherine Pelachaud
- Distributed systems [electronic resource] : design and algorithms / edited by Serge Haddad ... [et al.]
- Constraint satisfaction problems [electronic resource] : CSP formalisms and techniques / Khaled Ghédira
Ghédira, Khaled
- Computer science and ambient intelligence [electronic resource] / edited by Gaëlle Calvary ... [et al.]
- Proceedings [electronic resource] : 21st IEEE International WETICE Conference : WETICE 2012 : 25-27 June 2012, Toulouse, France / edited by Sumitra Reddy and Khalil Drira ; sponsored by Technical Council on Software Engineering of the IEEE Computer Society (TCSE) ... [et al.]
IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (21st : 2012 : Toulouse, France), author
- Model-Based Testing, ITGA FA 6.2 Workshop on and GI/ITG Workshop on Non-Functional Properties of Embedded Systems, 2006 13th GI/ITG Conference -Measuring, Modelling and Evaluation of Computer and Communication (MMB Workshop) [electronic resource] : date, 27-29 March 2006
GI/ITG Conference on Measuring, Modelling, and Evaluating Computing, and Communication Systems (13th : 2006 : Nürnberg, Germany). Workshop
- Mobile wearable nano-bio health monitoring systems with smartphones as base stations [electronic resource] / Vijay K. Varadan and Linfeng Chen
Varadan, V. K., 1943-
- 2012 Fourth International Workshop on Quality of Multimedia Experience [electronic resource] : QoMEX 2012 : 5-7 July 2012, Yarra Valley, Australia
International Workshop on Quality of Multimedia Experience (4th : 2012 : Yarra River Valley, Vic.)
- Software exorcism [electronic resource] : a handbook for debugging and optimizing legacy code / Bill Blunden
Blunden, Bill, 1969-
- HTML5 advertising [electronic resource] / John Percival
Percival, John
- Learn Java for Android development [electronic resource] / Jeff Friesen
Friesen, Geoff
- TypeScript revealed [electronic resource] / Dan Maharry
Maharry, Daniel
- Beginning jQuery [electronic resource] / Jack Franklin
Franklin, Jack
- Beginning Groovy, Grails and Griffon [electronic resource] / Vishal Layka...[et al.]
- The definitive guide to HTML5 WebSocket [electronic resource] / Vanessa Wang, Frank Salim, Peter Moskovits
Wang, Vanessa
- Oracle exadata recipes [electronic resource] : a problem-solution approach / John Clarke
Clarke, John
- Managing risk and information security [electronic resource] : protect to enable / Malcolm Harkins
Harkins, Malcolm
- Expert C# 5.0 with .NET 4.5 framework [electronic resource] / Mohammad Rahman
Rahman, Mohammad
- Learn Raspberry Pi with Linux [electronic resource] / Peter Membrey, David Hows
Membrey, Peter
- High performance computing in power and energy systems [electronic resource] / Siddhartha Kumar Khaitan and Anshul Gupta (eds.)
- Vito Volterra [electronic resource] / Angelo Guerraggio, Giovanni Paoloni ; translated by Kim Williams
Guerraggio, Angelo, 1948-
- Thinking in problems [electronic resource] : how Mathematicians find creative solutions / Alexander A. Roytvarf
Roytvarf, Alexander A
- L.E.J. Brouwer [electronic resource] : topologist, intuitionist, philosopher / Dirk van Dalen
Dalen, D. van (Dirk), 1932-
- Ramanujan's place in the world of mathematics [electronic resource] : essays providing a comparative study / Krishnaswami Alladi
Alladi, Krishnaswami
- Sustained simulation performance 2012 [electronic resource] : proceedings of the joint Workshop on High Performance Computing on Vector Systems, Stuttgart (HLRS), and Workshop on Sustained Simulation Performance, Tohoku University, 2012 / Michael M. Resch...[et al.], editors
Teraflop Workbench Project Workshop (14th : 2011 : Stuttgart, Germany)
- The mathematical legacy of Srinivasa Ramanujan [electronic resource] / M. Ram Murty, V. Kumar Murty
Murty, Maruti Ram
- High performance computing in science and engineering '12 [electronic resource] : transactions of the High Performance Computing Center, Stuttgart (HLRS) 2012 / edited by Wolfgang E. Nagel, Dietmar H. Kröner, Michael M. Resch
- A course on mathematical logic [electronic resource] / Shashi Mohan Srivastava
Srivastava, S. M. (Shashi Mohan)
- Logic and structure [electronic resource] / Dirk van Dalen
Dalen, D. van (Dirk), 1932-
- Classification and data mining [electronic resource] / Antonio Giusti, Gunter Ritter, Maurizio Vichi, editors
- Robust data mining [electronic resource] / Petros Xanthopoulos, Panos M. Pardalos, Theodore B. Trafalis
Xanthopoulos, Petros
- Visual mathematics and cyberlearning [electronic resource] / Dragana Martinovic, Viktor Freiman, Zekeriya Karadag, editors
- Advances in applied mathematics, modeling, and computational science [electronic resource] / Roderick Melnik, Ilias S. Kotsireas, editors
- The SimCalc vision and contributions [electronic resource] : democratizing access to important mathematics / Stephen Hegedus, Jeremy Roschelle, editors