Your search returned 639 results.

Results
	501.	Formal methods for software engineering languages, methods, application domains Material type: Text Publication details: Switzerland Springer Nature 2022 Availability: Items available for loan: Main Campus (1)Call number: 005.1 FOR. Place hold Save to lists Add to cart (remove)
	502.	Advance in databases and information systems 28th european conference, ADBIS 2024 bayonne, france, august 28-31, 2024 proceedings by Jeo Tekli (editor) Richard Chbeir (editor) Yannis Manolopoulos (editor) Material type: Text Publication details: Switzerland Springer Nature 2024 Availability: Items available for loan: Main Campus (1)Call number: 005.74 ADV. Place hold Save to lists Add to cart (remove)
	503.	No cover image available Clustering methods for big data analytics Techniques, toolboxes and applications by Olfa Nasraoui (editor) Chiheb-Eddine Ben N'Cir (editor) Series editor: M. Emre Celebi Material type: Text Publication details: USA Springer Nature 2019 Availability: Items available for loan: Main Campus (1)Call number: 621.382 CLU. Place hold Save to lists Add to cart (remove)
	504.	Concise guide to formal methods theory, fundamentals and industry applications by Gerard O' Regan Material type: Text Publication details: Switzerland Springer nature 2017 Availability: Items available for loan: Main Campus (1)Call number: 005.131 ORE. Place hold Save to lists Add to cart (remove)
	505.	Cloud computing patterns fundamentals to design, build, and manage cloud applications by Fehling, Cristoph Frank Leymann Ralph Retter Walter Schupeck Peter Arbitter Material type: Text Publication details: London Springer 2014 Availability: Items available for loan: Main Campus (1)Call number: 004.6782 FEH. Place hold Save to lists Add to cart (remove)
	506.	Embedded robotics from mobile robots to autonomous vehicles with raspberry pi and arduino by Braunl, Thomas Material type: Text Publication details: Singapore Springer nature 2022 Availability: Not available: Main Campus: Checked out (1). Place hold Save to lists Add to cart (remove)
	507.	Data science and classification studies in classification data analysis, and knowledge organization by V. Batageij (editor) H.H.Bock (editor) A, Ferligoj A. Ziberna Material type: Text Publication details: New york Springer berlin 2006 Availability: Items available for loan: Main Campus (1)Call number: 006.3 DAT. Place hold Save to lists Add to cart (remove)
	508.	Embedded systems and artificial intelligence Advances in intelligent systems and computing by Vikrant Bhateja (editor) Suresh Chandra Satapathy (editor) Hassan Satori (editor) Material type: Text Publication details: Singapore Springer nature 2020 Availability: Items available for loan: Main Campus (1)Call number: 006.3 EMB. Place hold Save to lists Add to cart (remove)
	509.	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)
	510.	Intelligent systems a modern approach by Grosan, Crina Abrham, Ajith Series: Intelligent systems reference library ; Volume 17 Material type: Text Publication details: Heidelberg, Germany Springer-Verlag Berlin 2011 Availability: Items available for loan: Main Campus (1)Call number: 006.3 CRO. Place hold Save to lists Add to cart (remove)
	511.	Data Mining the textbook by Aggarwal, Charu C Material type: Text Publication details: Switzerland Springer International Publishing 2015 Availability: Items available for loan: Main Campus (1)Call number: 006.312 AGG. Lists: FEAS G-Books July 2026. Place hold Save to lists Add to cart (remove)
	512.	Global supply chain and operations management a decision-oriented introduction to the creation of value by Ivanov, Dmitry Alexander Tsipoulanidis Jörn Schönberger Material type: Text Publication details: Switzerland Springer 2021 Availability: Items available for loan: Al-Mizan Campus (1)Call number: 658.5 IVA. Place hold Save to lists Add to cart (remove)
	513.	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)
	514.	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)
	515.	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)
	516.	Requirements engineering : fundamentals, principles, and techniques by Pohl, Klaus Material type: Text Publication details: Berlin Springer 2025 Availability: Items available for loan: Gulberg Green Campus (1)Call number: 005.12 POH. Place hold Save to lists Add to cart (remove)
	517.	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)
	518.	No cover image available Emerging technologies for education : first international symposium, SETE 2016, held in conjunction with ICWL 2016, Rome, Italy, October 26-29, 2016, revised selected papers by Ting Ting Wu (editor) Rosella Gennari (editor) Material type: Text Publication details: Switzerland Springer International Publishing 2017 Availability: Items available for loan: Gulberg Green Campus (1)Call number: 371.33 EME. Place hold Save to lists Add to cart (remove)
	519.	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)
	520.	No cover image available The infectious diseases consult handbook common questions and answers by Tatara, Alexander M Material type: Text Publication details: Cham, Switzerland Springer 2023 Availability: Items available for loan: City Campus (1)Call number: 616.9 TAT. Place hold Save to lists Add to cart (remove)