3460 130 10 Design, Implement, Validate, and Prove Marco T. Morazán Primary Author mixed material 9783031439735 New Jersey Springer 2024 cover_programming-based-formal-languages-and-automata-theory-design-implem-20241112111008.jpg Patanjali Kashyap Primary Author mixed material 9781484298015 New York Springer 2024 cover_machine-learning-for-decision-makers-20241112110838.jpg Paulo S.R. Diniz Primary Author mixed material 9780323917728 United Kingdom Academic Press 2024 cover_signal-processing-and-machine-learning-theory-20241112110803.jpg Nishu Gupta Primary Author Rakesh Nayak Primary Author mixed material 9781003510758 New York CRC Press 2024 cover_data-structures-for-engineers-and-scientists-using-python-20241112110718.jpg David L. Poole. Primary Author Alan K. Mackworth Primary Author mixed material 9781009258197 United Kingdom Cambridge University Press 2024 cover_artificial-intelligence-foundations-of-computational-agents-20241112105311.jpg Marija Jankovic Editor Andras Vilmos Editor Anna Marton Editor Dionysios Kehagias Editor Erol Gelenbe Editor mixed material 9783031093579 Springer Cham 2002 cover_security-in-computer-and-information-sciences-20241112105235.jpg Kay Li Primary Author mixed material 9783031492266 Los Angeles Palgrave Macmillan 2024 cover_bernard-shaw-automata-robots-and-artificial-intelligence-20241112104852.jpg Tetsuo Shibuya Editor Atsuki Nagao Editor Hiro Ito Editor Yuya Higashikawa Editor Naoki Katoh Editor Yushi Uno Editor Kazuyuki Tanaka Editor Adnan Sljoka Editor mixed material 9789811640957 Singapore Springer Singapore 2021 cover_sublinear-computation-paradigm-20241112104735.jpg Michael Voss Primary Author Rafael Asenjo Primary Author James Reinders Primary Author mixed material 9781484243985 Apress Berkeley 2019 cover_pro-tbb-20241112104502.jpg Silvia Cinque Editor Daniel Ericsson Editor mixed material 9783031581953 Palgrave Macmillan Cham 2024 cover_debating-homo-academicus-in-management-and-organization-20241112103439.jpg