21. Architecture of computing systems -- ARCS 2018 : 31st International Conference, Braunschweig, Germany, April 9-12, 2018, Proceedings /: 31st International Conference, Braunschweig, Germany, April 9-12, 2018, Proceedings. (2018) Editors: Bereković, Mladen; Buchty, Rainer; Hamann, Heiko; (Computer scientist), Koch, Dirk; Pionteck, Thilo Other Names: ARCS (Conference), 31st Record Type: Book Extent: 1 online resource (xv, 326 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
22. Artificial intelligence and soft computing. 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings /: 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings. Part I : (2017) Editors: Rutkowski, Leszek; Korytkowski, Marcin; Scherer, Rafał; Tadeusiewicz, Ryszard; Zadeh, Lotfi A (Lotfi Asker); Zurada, Jacek M Other Names: ICAISC (Conference), 16th Record Type: Book Extent: 1 online resource (xxiv, 776 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
23. Artificial intelligence and soft computing. 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings /: 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings. Part II : (2017) Editors: Rutkowski, Leszek; Korytkowski, Marcin; Scherer, Rafał; Tadeusiewicz, Ryszard; Zadeh, Lotfi A (Lotfi Asker); Zurada, Jacek M Other Names: ICAISC (Conference), 16th Record Type: Book Extent: 1 online resource (xxiv, 742 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
24. Artificial neural networks and machine learning -- ICANN 2017. 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings /: 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings. Part I : (2017) Editors: Lintas, Alessandra; Rovetta, Stefano; Verschure, Paul F. M. J; Villa, Alessandro E. P Other Names: International Conference on Artificial Neural Networks (European Neural Network Society), 26th Record Type: Book Extent: 1 online resource (xxxi, 469 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
25. Artificial neural networks and machine learning -- ICANN 2017. 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings /: 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings. Part II : (2017) Editors: Lintas, Alessandra; Rovetta, Stefano; Verschure, Paul F. M. J; Villa, Alessandro E. P Other Names: International Conference on Artificial Neural Networks (European Neural Network Society), 26th Record Type: Book Extent: 1 online resource (xxxi, 801 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
26. ASIC/SoC functional design verification : a comprehensive guide to technologies and methodologies /: a comprehensive guide to technologies and methodologies. ([2018]) Authors: Mehta, Ashok B Record Type: Book Extent: 1 online resource (XXXI, 328 pages), 175 illustrations, 160 illustrations in color View Content: Available online (eLD content is only available in our Reading Rooms) ↗
27. Automated validation & verification of UML/OCL models using satisfiability solvers. ([2018]) Authors: Przigoda, Nils; Wille, Robert; Przigoda, Judith; Drechsler, Rolf Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
28. Automatic analog IC sizing and optimization constrained with PVT corners and layout effects. ([2016]) Authors: Lourenço, Nuno; Martins, Ricardo (Ferreira Martins); Horta, Nuno C. G Record Type: Book Extent: 1 online resource (xxvii, 182 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
29. Automatic methods for the refinement of system models : from the specification to the implementation /: from the specification to the implementation. ([2016]) Authors: Seiter, Julia; Wille, Robert; Drechsler, Rolf Record Type: Book Extent: 1 online resource (viii, 94 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
30. AWS Certified Solutions Architect – Associate Guide : The ultimate exam guide to AWS Solutions Architect certification /: The ultimate exam guide to AWS Solutions Architect certification. (2018) Authors: Ramírez, Gabriel; Scott, Stuart Record Type: Book Extent: 1 online resource (626 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗