Your search returned 447 results.

Results
	401.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II / edited by Armin Biere, David Parker. by Biere, Armin [editor.] Parker, David [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12079 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Lists: e-Book / ebook. Add to cart (remove)
	402.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I / edited by Armin Biere, David Parker. by Biere, Armin [editor.] Parker, David [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12078 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Lists: e-Book / ebook. Add to cart (remove)
	403.	Programming Languages and Systems [electronic resource] : 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings / edited by Peter Müller. by Müller, Peter [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12075 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Lists: e-Book / ebook. Add to cart (remove)
	404.	Multiple-Aspect Analysis of Semantic Trajectories [electronic resource] : First International Workshop, MASTER 2019, Held in Conjunction with ECML-PKDD 2019, Würzburg, Germany, September 16, 2019, Proceedings / edited by Konstantinos Tserpes, Chiara Renso, Stan Matwin. by Tserpes, Konstantinos [editor.] Renso, Chiara [editor.] Matwin, Stan [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11889 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Lists: e-Book / ebook. Add to cart (remove)
	405.	Modern Cryptography Volume 1 [electronic resource] : A Classical Introduction to Informational and Mathematical Principle / by Zhiyong Zheng. by Zheng, Zhiyong [author.] SpringerLink (Online service) Series: Financial Mathematics and Fintech Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Lists: e-Book / ebook. Add to cart (remove)
	406.	Co-creating Digital Public Services for an Ageing Society [electronic resource] : Evidence for User-centric Design / by Juliane Jarke. by Jarke, Juliane [author.] SpringerLink (Online service) Series: Public Administration and Information Technology ; 6 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Lists: e-Book / ebook. Add to cart (remove)
	407.	Hybrid Intelligence [electronic resource] : Proceedings of the 4th International Conference on Computational Design and Robotic Fabrication (CDRF 2022) / edited by Philip F. Yuan, Hua Chai, Chao Yan, Keke Li, Tongyue Sun. by Yuan, Philip F [editor.] Chai, Hua [editor.] Yan, Chao [editor.] Li, Keke [editor.] Sun, Tongyue [editor.] SpringerLink (Online service) Series: Computational Design and Robotic Fabrication Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Lists: e-Book / ebook. Add to cart (remove)
	408.	Foundations of Robotics [electronic resource] : A Multidisciplinary Approach with Python and ROS / edited by Damith Herath, David St-Onge. by Herath, Damith [editor.] St-Onge, David [editor.] SpringerLink (Online service) Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Lists: e-Book / ebook. Add to cart (remove)
	409.	Proceedings of the 2021 DigitalFUTURES [electronic resource] : The 3rd International Conference on Computational Design and Robotic Fabrication (CDRF 2021) / edited by Philip F. Yuan, Hua Chai, Chao Yan, Neil Leach. by Yuan, Philip F [editor.] Chai, Hua [editor.] Yan, Chao [editor.] Leach, Neil [editor.] SpringerLink (Online service) Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Lists: e-Book / ebook. Add to cart (remove)
	410.	Proceedings of the 2020 DigitalFUTURES [electronic resource] : The 2nd International Conference on Computational Design and Robotic Fabrication (CDRF 2020) / edited by Philip F. Yuan, Jiawei Yao, Chao Yan, Xiang Wang, Neil Leach. by Yuan, Philip F [editor.] Yao, Jiawei [editor.] Yan, Chao [editor.] Wang, Xiang [editor.] Leach, Neil [editor.] SpringerLink (Online service) Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Lists: e-Book / ebook. Add to cart (remove)
	411.	Annals of Scientific Society for Assembly, Handling and Industrial Robotics [electronic resource] / edited by Thorsten Schüppstuhl, Kirsten Tracht, Dominik Henrich. by Schüppstuhl, Thorsten [editor.] Tracht, Kirsten [editor.] Henrich, Dominik [editor.] SpringerLink (Online service) Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer Vieweg, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Lists: e-Book / ebook. Add to cart (remove)
	412.	Cybersecurity in Poland [electronic resource] : Legal Aspects / edited by Katarzyna Chałubińska-Jentkiewicz, Filip Radoniewicz, Tadeusz Zieliński. by Chałubińska-Jentkiewicz, Katarzyna [editor.] Radoniewicz, Filip [editor.] Zieliński, Tadeusz [editor.] SpringerLink (Online service) Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Lists: e-Book / ebook. Add to cart (remove)
	413.	Classification and Data Science in the Digital Age [electronic resource] / edited by Paula Brito, José G. Dias, Berthold Lausen, Angela Montanari, Rebecca Nugent. by Brito, Paula [editor.] Dias, José G [editor.] Lausen, Berthold [editor.] Montanari, Angela [editor.] Nugent, Rebecca [editor.] SpringerLink (Online service) Series: Studies in Classification, Data Analysis, and Knowledge Organization Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Lists: e-Book / ebook. Add to cart (remove)
	414.	Capturing the Senses [electronic resource] : Digital Methods for Sensory Archaeologies / edited by Giacomo Landeschi, Eleanor Betts. by Landeschi, Giacomo [editor.] Betts, Eleanor [editor.] SpringerLink (Online service) Series: Quantitative Methods in the Humanities and Social Sciences Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Lists: e-Book / ebook. Add to cart (remove)
	415.	Mathematical Surprises [electronic resource] / by Mordechai Ben-Ari. by Ben-Ari, Mordechai [author.] SpringerLink (Online service) Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Lists: e-Book / ebook. Add to cart (remove)
	416.	Smittestopp − A Case Study on Digital Contact Tracing [electronic resource] / edited by Ahmed Elmokashfi, Olav Lysne, Valeriya Naumova. by Elmokashfi, Ahmed [editor.] Lysne, Olav [editor.] Naumova, Valeriya [editor.] SpringerLink (Online service) Series: Simula SpringerBriefs on Computing ; 11 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Lists: e-Book / ebook. Add to cart (remove)
	417.	Recent Advances in Industrial and Applied Mathematics [electronic resource] / edited by Tomás Chacón Rebollo, Rosa Donat, Inmaculada Higueras. by Chacón Rebollo, Tomás [editor.] Donat, Rosa [editor.] Higueras, Inmaculada [editor.] SpringerLink (Online service) Series: ICIAM 2019 SEMA SIMAI Springer Series ; 1 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Lists: e-Book / ebook. Add to cart (remove)
	418.	Uncertainty in Engineering [electronic resource] : Introduction to Methods and Applications / edited by Louis J. M. Aslett, Frank P. A. Coolen, Jasper De Bock. by Aslett, Louis J. M [editor.] Coolen, Frank P. A [editor.] De Bock, Jasper [editor.] SpringerLink (Online service) Series: SpringerBriefs in Statistics Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Lists: e-Book / ebook. Add to cart (remove)
	419.	Benefit/Cost-Driven Software Development [electronic resource] : With Benefit Points and Size Points / by Jo Erskine Hannay. by Hannay, Jo Erskine [author.] SpringerLink (Online service) Series: Simula SpringerBriefs on Computing ; 8 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Lists: e-Book / ebook. Add to cart (remove)
	420.	Innovative Learning Environments in STEM Higher Education [electronic resource] : Opportunities, Challenges, and Looking Forward / edited by Jungwoo Ryoo, Kurt Winkelmann. by Ryoo, Jungwoo [editor.] Winkelmann, Kurt [editor.] SpringerLink (Online service) Series: SpringerBriefs in Statistics Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Lists: e-Book / ebook. Add to cart (remove)

First
Previous
12
13
14
15
16
17
18
19
20
21
22
23
Next
Last

Universiti Islam Sultan Sharif Ali
Spg 347, Jalan Pasar Gadong, BE1310
Brunei Darussalam

+ 673 2462000 ext 603/604

library@unissa.edu.bn
norhasinah.moksin@unissa.edu.bn
syukriyyah.kahar@unissa.edu.bn

Library Operating Hours:

Gadong Campus School Terms:
Monday – Thursday & Saturday:
8.00 AM – 5.00 PM
Friday, Sunday & Public Holidays :
Closed

Revision & Exam Week:
Monday – Wednesday:
8.00 AM – 9.00 PM
(Unless Otherwise Stated)
Thursday & Saturday:
8.00 AM – 5.00 PM
Friday & Sunday :
8.00 AM – 12.00 PM & 1.30 PM – 5.00 PM
Public Holidays :
Closed

Mid / Inter-Semester Break / Long Vacation:
Monday – Thursday & Saturday:
8.00 AM – 12.15 PM & 1.30 PM – 4.30 PM
Friday, Sunday & Public Holidays :
Closed

Sinaut Campus

School Terms:
Monday – Thursday & Saturday:
8.00 AM – 4.30 PM
Friday, Sunday & Public Holidays :
Closed

Revision & Exam Week:
Monday – Thursday & Saturday:
8.00 AM – 4.30 PM
Friday, Sunday & Public Holidays :
Closed

Mid / Inter-Semester Break / Long Vacation:
Monday – Thursday & Saturday:
8.00 AM – 12.15 PM & 1.30 PM – 4.30 PM
Friday, Sunday &
Public Holidays :
Closed

Administered and upheld by
Rayyan Secutech

Refine your search

Availability

Authors

Item types

Locations

Series

Topics

Titles

Your search returned 447 results.