New records - 23 October 2019 Computer science, information & general works 001.42 004.1675 Proposing empirical research : a guide to the fundamentals / iPhone for seniors for dummies. [online resource] —Ninth Mildred L. Patten and Melisa C. Galvan. [online resource] edition / by Dwight Spivey. —Hoboken, NJ : For Dummies, —Sixth edition. —[Place of publication not identified] : 2019. —1 online resource : illustrations (colour) Routledge, 2019. —1 online resource (206 pages : 3 ISBN 9781119607670 (PDF ebook) : £12.99 ; illustrations). 9781119607717 (ePub ebook) : £12.99 ISBN 9780429871368 PDF ; 0429871368 PDF BNB Number GBB9H4917 BNB Number GBB9H2801 iPhone (Smartphone) Research, Methodology. Computers and older people. Report writing. Prepublication record 001.42 004.35 The mixed methods research workbook : activities for Fast Fourier transform algorithms for parallel computers / designing, implementing, and publishing projects / Michael D. Daisuke Takahashi. [online resource] —Singapore : Springer, Fetters. [online resource] —Los Angeles : SAGE, 2019. —1 2019. —1 online resource (ix, 114 pages) : illustrations. online resource. ISBN 9789811399657 (electronic bk.) ; 9811399654 ISBN 9781506393575 (ePub ebook) : £21.99 (electronic bk.) BNB Number GBB9H5013 BNB Number GBB9H2957 Research, Methodology. Parallel processing (Electronic computers), Mathematics. Mixed methods research. Fourier transformations. Prepublication record 004.6 001.42 Intelligent distributed computing XIII / Igor Kotenko, Costin Universal methods of design : 125 ways to research complex Badica, Vasily Desnitsky, Didier El Baz, Mirjana Ivanovic, problems, develop innovative ideas, and design effective editors. [online resource] —Cham, Switzerland : Springer, solutions / Bruce Hanington and Bella Martin. —Revised 2020. —1 online resource (xxv, 555 pages) : illustrations edition. —Beverly : Rockport Publishers, 2019. —1 volume ; (some color). 26 cm ISBN 3030322580 (electronic bk.) ; 9783030322588 ISBN 9781631597480 (pbk.) : £19.99 (electronic bk.) BNB Number GBB9H4224 BNB Number GBB9H2880 Research, Methodology. Electronic data processing, Distributed processing, Prepublication record Congresses. Artificial intelligence, Congresses. 004 Computing and software science : state of the art and 004.654 perspectives / Bernhard Steffen, Gerhard Woeginger (eds.). Service research and innovation : 7th Australian Symposium, [online resource] —Cham, Switzerland : Springer, 2019. —1 ASSRI 2018, Sydney, NSW, Australia, September 6, 2018, online resource (xix, 590 pages) : illustrations (some color). and Wollongong, NSW, Australia, December 14, 2018, ISBN 3319919083 (electronic bk.) ; 9783319919089 Revised selected papers / Ho-Pun Lam, Sajib Mistry (eds.). (electronic bk.) [online resource] —Cham, Switzerland : Springer, 2019. —1 BNB Number GBB9H2955 online resource (x, 183 pages) : illustrations (some color). Computer science. ISBN 9783030322427 (electronic bk.) ; 3030322424 Software engineering. (electronic bk.) BNB Number GBB9H2951 004 Service-oriented architecture (Computer science), Context-aware computing and self-managing systems / edited Congresses. by Waltenegus Dargie. —Boca Raton : Chapman & Hall/CRC, 2019. —1 volume ; 24 cm. ISBN 9780367385842 (pbk.) : £54.99 BNB Number GBB9H3773 Autonomic computing. Prepublication record 1 004.678 005.1 Internet of things with Raspberry Pi and Arduino / Anita Information and software technologies : 25th International Gehlot, Rajesh Singh, Lovi Raj Gupta, Bhupendra Singh, Conference, ICIST 2019, Vilnius, Lithuania, October 10-12, Mahendra Swain. [online resource] —Boca Raton : CRC 2019, Proceedings / Robertas Damaševičius, Giedrė Press, 2019. —1 online resource : illustrations (black and Vasiljevienė (eds.). [online resource] —Cham, Switzerland : white) Springer, 2019. —1 online resource (xvii, 616 pages) : ISBN 9781000726787 (PDF ebook) : £66.99 ; illustrations (some color). 9781000726909 (Mobipocket ebook) : £66.99 ; ISBN 9783030302757 (electronic bk.) ; 303030275X 9780429284564 (ebook) : £66.99 ; 9781000727029 (ePub (electronic bk.) ebook) : £66.99 BNB Number GBB9H2896 BNB Number GBB9H4823 Software engineering, Congresses. Arduino (Programmable controller) Computer science, Congresses. Internet of things. Raspberry Pi (Computer) 005.1 Prepublication record Learning DevOps : implement modern DevOps techniques to increase business productivity, agility, reliability, security and, 004.678 scalability / Mikael Krief. [online resource] —Birmingham : Internet of things with Raspberry Pi and Arduino / Anita Packt Publishing, 2019. —1 online resource Gehlot, Rajesh Singh, Lovi Raj Gupta, Bhupendra Singh, ISBN 9781838648534 (PDF ebook) : £33.58 Mahendra Swain. —Boca Raton : CRC Press, 2019. —1 BNB Number GBB9H5156 volume : illustrations (black and white) ; 24 cm Computer software, Development. ISBN 9780367248215 (hbk.) : £66.99 Prepublication record BNB Number GBB9H3730 Raspberry Pi (Computer) 005.1 Internet of things. Static analysis : 26th International Symposium, SAS 2019, Arduino (Programmable controller) Porto, Portugal, October 8-11, 2019, Proceedings / Bor-Yuh Prepublication record Evan Chang (ed.). [online resource] —Cham, Switzerland : Springer, 2019. —1 online resource (xiv, 481 pages) : 004.6782 illustrations (some color). Proceedings of 6th International Conference on Big Data and ISBN 3030323048 (electronic bk.) ; 9783030323042 Cloud Computing challenges : ICBCC 2019, UMKC, Kansas (electronic bk.) City, USA / V. Vijayakumar, V. Neelanarayanan, Praveen BNB Number GBB9H2953 Rao, Janet Light, editors. [online resource] —Singapore : Computer programming, Congresses. Springer, 2020. —1 online resource (xii, 190 pages) : Software engineering, Congresses. illustrations (some color). ISBN 9789813298897 (electronic bk.) ; 9813298898 005.1 (electronic bk.) Testing software and systems : 31st IFIP WG 6.1 International BNB Number GBB9H2958 Conference, ICTSS 2019, Paris, France, October 15-17, Big data, Congresses. 2019, Proceedings / Christophe Gaston, Nikolai Kosmatov, Cloud computing, Congresses. Pascale Le Gall (eds.). [online resource] —Cham, Switzerland : Springer, 2019. —1 online resource (xiv, 297 pages) : 005.1 illustrations (some color). From software engineering to formal methods and tools, and ISBN 3030312801 (electronic bk.) ; 9783030312800 back : essays dedicated to Stefania Gnesi on the occasion of (electronic bk.) her 65th birthday / Maurice H. ter Beek, Alessandro Fantechi, BNB Number GBB9H2993 Laura Semini (eds.). [online resource] —Cham, Switzerland : Computer software, Testing, Congresses. Springer, 2019. —1 online resource (xiii, 574 pages) : Software engineering, Congresses. illustrations (some color). ISBN 3030309851 (electronic bk.) ; 9783030309855 (electronic bk.) BNB Number GBB9H3027 Formal methods (Computer science) Software engineering. 2 005.117 005.14 Software technology : methods and tools : 51st international Concise guide to software testing / Gerard O'Regan. [online conference, TOOLS 2019, Innopolis, Russia, October 15-17, resource] —Cham, Switzerland : Springer, [2019]. —1 online 2019, proceedings / Manuel Mazzara, Jean-Michel Bruel, resource. Bertrand Meyer, Alexander Petrenko (eds.). [online resource] ISBN 3030284948 electronic book ; 9783030284947 —Cham, Switzerland : Springer, 2019. —1 online resource electronic book (xviii, 420 pages) : illustrations (some color). BNB Number GBB9H2878 ISBN 3030298523 (electronic bk.) ; 9783030298524 Computer software, Testing. (electronic bk.) BNB Number GBB9H2994 005.14 Object-oriented programming (Computer science), Model checking software : 26th International Symposium, Congresses. SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings / Fabrizio Biondi, Thomas Given-Wilson, Axel Legay (eds.). 005.13 [online resource] —Cham, Switzerland : Springer, 2019. —1 Getting started with coding : get creative with code! / Camille online resource (x, 261 pages) : illustrations (some color). McCue. —Second edition. —Hoboken, New Jersey : John ISBN 3030309231 (electronic bk.) ; 9783030309237 Wiley & Sons, Inc., 2019. —1 volume ; 21 cm. (electronic bk.) ISBN 9781119641629 (pbk.) : £8.99 BNB Number GBB9H2887 BNB Number GBB9H3971 Software engineering, Congresses. Coding theory, Juvenile literature. Computer software, Testing, Congresses. Computer programming, Juvenile literature. Computer software, Verification, Congresses. Prepublication record 005.14 005.133 Runtime verification : 19th International Conference, RV 2019, Learning Python by building games : beginner's guide on Porto, Portugal, October 8-11, 2019, Proceedings / Bernd Python programming and game development / Sachin Kafle. Finkbeiner, Leonardo Mariani (eds.). [online resource] [online resource] —Birmingham : Packt Publishing, 2019. —1 —Cham, Switzerland : Springer, 2019. —1 online resource (x, online resource 413 pages) : illustrations (some color). ISBN 9781789809688 (PDF ebook) : £20.99 ISBN 3030320790 (electronic bk.) ; 9783030320799 BNB Number GBB9H5145 (electronic bk.) Python (Computer program language) BNB Number GBB9H2907 Computer games, Programming. Formal methods (Computer science), Congresses. Prepublication record Computer software, Testing, Congresses. Computer software, Verification, Congresses. 005.133 Mastering Kotlin : learn advanced Kotlin programming 005.15 techniques to build apps for Android, iOS, and the web / Nate Arc42 by example : software architecture documentation in Ebel. [online resource] —Birmingham : Packt Publishing, practice / Gernot Starke, Michael Simons, Stefan Zörner,