Your search returned 107 results.

Results
	61.	No cover image available Formal methods for software engineering Language, methods, application domains by Markus Roggenbach (editor) Antonio Cerone (editor) Bernd Holger Schlingloff (editor) Gerardo Schneider (editor) Siraj Ahmed Shaikh (editor) Material type: Text Publication details: Switzerland Springer nature 2022 Availability: No items available. Save to lists Add to cart (remove)
	62.	Robotics, vision and control fundamental algorithms in MATLAB® by Corke, Peter Witold Jachimczyk Remo Pillat Series: Material type: Text Publication details: Switzerland Springer Nature 2023 Availability: Items available for loan: Main Campus (11)Call number: 629.892 COR, ... Place hold Save to lists Add to cart (remove)
	63.	Architecture principles : the cornerstones of enterprise architecture by Greefhorst, Danny Erik Proper Material type: Text Publication details: Heidelberg Springer Nature 2011 Availability: Items available for loan: Gulberg Green Campus (1)Call number: 658.4 GRE. Place hold Save to lists Add to cart (remove)
	64.	Formal methods for software engineering : 22nd international conference on formal engineering methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, proceedings by Shang-Wei Lin (editor) Zhe Hou (editor) Brendan Mahoney (editor) Material type: Text Publication details: Switzerland Springer Nature 2021 Availability: Items available for loan: Gulberg Green Campus (1)Call number: 005.13 FOR. Place hold Save to lists Add to cart (remove)
	65.	Agile testing : the agile way to quality by Manfred Baumgartner Martin Klonk Christian Mastnak Helmut Pichler Richard Seidl Siegfried Tanczos Material type: Text Publication details: Switzerland Springer Nature 2021 Availability: Items available for loan: Gulberg Green Campus (1)Call number: 005.14 AGI. Place hold Save to lists Add to cart (remove)
	66.	Fintech, Digital currency and the future of Islamic finance Strategic, regulatory and adoption issues in the gulf cooperation council by Nafis Alam Syed Nazim Al Material type: Text Publication details: Switzerland Springer Nature 2021 Availability: Items available for loan: Malakand Campus (1)Call number: 332.1 NAF. Place hold Save to lists Add to cart (remove)
	67.	No cover image available Nanomaterials in dental medicine by Sabu Thomas (editor) R.M. Baiju (editor) Material type: Text Publication details: Singapore Springer Nature Singapore Pte Ltd. 2023 Availability: Items available for loan: City Campus (1)Call number: 617.6 NAN. Place hold Save to lists Add to cart (remove)
	68.	Nanomaterial based drug delivery systems therapeutic and theranostic applications by Chandrakantsing V. Pardeshi (editor) Material type: Text Publication details: Cham, Switzerland Springer Nature 2023 Availability: Items available for loan: City Campus (1)Call number: 615.6 NAN. Place hold Save to lists Add to cart (remove)
	69.	Wearable biosensing in medicine and healthcare by Kohji Mitsubayashi (editor) Material type: Text Publication details: Singapore Springer Nature Singapore Pte Ltd. 2024 Availability: Items available for loan: City Campus (1)Call number: 610.28 WEA. Place hold Save to lists Add to cart (remove)
	70.	Prions and diseases by Wen Quan Zou (editor) Pierluigi Gambetti (editor) Material type: Text Publication details: Cham, Switzerland Springer Nature 2023 Availability: Items available for loan: City Campus (1)Call number: 616.85 PRI. Place hold Save to lists Add to cart (remove)
	71.	The role of natural antioxidants in brain disorders by Ali Imran (editor) Ghulam Hussain (editor) Material type: Text Publication details: Cham, Switzerland Springer Nature 2024 Availability: Items available for loan: City Campus (1)Call number: 616.8046 ROL. Place hold Save to lists Add to cart (remove)
	72.	Nutritional health strategies for disease prevention by Norman J. Temple (editor) Ted Wilson (editor) David R. Jacobs (editor) George A. Bray (editor) Material type: Text Publication details: Cham, Switzerland Springer Nature 2023 Availability: Items available for loan: City Campus (1)Call number: 613.2 NUT. Place hold Save to lists Add to cart (remove)
	73.	Modern operative dentistry principles for clinical practice by Carlos Rocha Gomes Torres (editor) Material type: Text Publication details: Cham, Switzerland Springer Nature 2020 Availability: Items available for loan: City Campus (1)Call number: 617.63 MOD. Place hold Save to lists Add to cart (remove)
	74.	Petersons principles of oral and maxillofacial surgery by Michael Miloro (editor) G.E. Ghali (editor) Peter E. Larsen (editor) Peter Waite (editor) Material type: Text Publication details: Cham, Switzerland Springer Nature 2022 Availability: Items available for loan: City Campus (2)Call number: 617.6 PET, ... Place hold Save to lists Add to cart (remove)
	75.	Current advances in optometry by Daisy Shu (editor) Rohan Bir Singh (editor) Parul Ichhpujani (editor) Material type: Text Publication details: Singapore Springer Nature 2024 Availability: Items available for loan: Gulberg Green Campus (4)Call number: 617.75 CUR, ... Place hold Save to lists Add to cart (remove)
	76.	Data representation transformations and statistics for visual reasoning by Maciejewski, Ross Material type: Text Publication details: Switzerland Springer Nature 2022 Availability: Items available for loan: Gulberg Green Campus (1)Call number: 006.37 MAC. Place hold Save to lists Add to cart (remove)
	77.	Information systems reengineering, integration and normalization : heterogeneous database connectivity by Fong, Joseph S. P Material type: Text Publication details: Switzerland Springer Nature 2021 Availability: Items available for loan: Gulberg Green Campus (1)Call number: 005.123 FON. Place hold Save to lists Add to cart (remove)
	78.	Optimization of automated software testing using meta‑heuristic techniques by Manju Khari (editor) Deepti Bala Mishra (editor) Biswaranjan Acharya (editor) Ruben Gonzalez Crespo (editor) Material type: Text Publication details: Switzerland Springer Nature 2022 Availability: Items available for loan: Gulberg Green Campus (1)Call number: 006.76 OPT. Place hold Save to lists Add to cart (remove)
	79.	Handbook of evidence-based therapies for children and adolescents bridging science and practice by Ric G. Steele (editor) Michael c. Roberts (editor) Material type: Text Publication details: Switzerland Springer Nature 2020 Availability: Items available for reference: Malakand Campus: NOT for LOAN (1)Call number: 158.3 HAN. Save to lists Add to cart (remove)
	80.	Design of visualizations for human-information interaction : a pattern-based framework by Sedig, Kamran Paul Parsons Material type: Text Publication details: Switzerland Springer Nature 2022 Availability: Items available for loan: Gulberg Green Campus (1)Call number: 006.37 SED. Place hold Save to lists Add to cart (remove)