Your search returned 3261 results.

Results
	3101.	How to build android apps with kotlin : a practical guide to developing, testing, and publishing your first Android apps/ Alex Forrester [and three others]. by Forrester, Alex [author.] Boudjnah, Eran [author.] Dumbravan, Alexandru [author.] Tigcal, Jomar [author.] Edition: Second Edition. United Kingdom : Packt Publishing, 2023Copyright date: ©2023 Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: QA76.73.K68.F677 2023 3. Place hold
	3102.	Learn quantum computing with python and IBM quantum : write your own practical quantum programs with python / Robert Loredo. by Loredo, Robert [author.] Edition: Second edition. Publisher: Birmingham, United Kingdom: Packt Publishing, 2024Copyright date: ©2024 Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: QA76.889.L677 2024 3. Place hold
	3103.	More Math Into LaTeX [electronic resource] / by George Gratzer. by Gratzer, George SpringerLink (Online service) Edition: 4th Edition. Publication details: New York : Springer Science+Business Media, LLC, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	3104.	Genetic Programming Theory and Practice IV [electronic resource] / edited by Rick Riolo, Terence Soule, Bill Worzel. by Riolo, Rick Soule, Terence Worzel, Bill SpringerLink (Online service) Series: Genetic and Evolutionary Computation Publication details: Norwell : Springer Science+Business Media, LLC, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	3105.	Object-Oriented Programming Languages: Interpretation [electronic resource] / by Iain D. Craig. by Craig, I SpringerLink (Online service) Series: Undergraduate Topics in Computer Science Publication details: London : Springer-Verlag London Ltd, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	3106.	Ruby on Rails for PHP and Java Developers [electronic resource] / by Deepak Vohra. by Vohra, Deepak SpringerLink (Online service) Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	3107.	Perspectives of Systems Informatics [electronic resource] : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers / edited by Irina Virbitskaite, Andrei Voronkov. by International Andrei Ershov Memorial Conference (6th : 2006 : Novosibirsk, Russia) Virbitskaite, Irina Voronkov, Andrei SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4378 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	3108.	Programming Multi-Agent Systems [electronic resource] : 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers / edited by Rafael H. Bordini ... [et al.]. by ProMAS (Conference) (4th : 2006 : Hakodate-shi, Japan) Bordini, Rafael H SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4411 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	3109.	Model Driven Architecture- Foundations and Applications [electronic resource] : Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007: Proceedings / edited by David Akehurst, Regis Vogel, Richard Paige. by European Conference on Model Driven Architecture - Foundations and Applications (3rd : 2007 : Haifa, Israel) Akehurst, David Paige, Richard Vogel, Regis SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4530 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	3110.	Web Reasoning and Rule Systems [electronic resource] : First International Conference, RR 2007, Innsbruck, Austria, June 7-8, 2007: Proceedings / edited by Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie. by RR 2007 (2007 : Innsbruck, Austria) Marchiori, Massimo de Sainte Marie, Christian Pan, Jeff Z SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4524 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	3111.	Software Engineering for Multi-Agent Systems V [electronic resource] : Research Issues and Practical Applications / edited by Ricardo Choren ... [et al.]. by SELMAS 2006 (2006 : Shanghai, China) Choren, Ricardo SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4408 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	3112.	Rewriting, Computation and Proof [electronic resource] : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday / edited by Hubert Comon-Lundh, Claude Kirchner, Helene Kirchner. by Comon-Lundh, Hubert Kirchner, Claude Kirchner, Helene SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4600 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	3113.	Reliable Software Technologies - Ada Europe 2007 [electronic resource] : 12th Ada-Europe Intenational Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007: Proceedings / edited by Nabil Abdennahder, Fabrice Kordon by Ada-Europe International Conference on Reliable Software Technologies (12th : 2007 : Geneva, Switzerland) Abdennahder, Nabil Kordon, Fabrice SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4498 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	3114.	Model Checking Software [electronic resource] : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007: Proceedings / edited by Dragan Bosnacki, Stefan Edelkamp. by International SPIN Workshop (14th : 2007 : Berlin, Germany) Bosnacki, Dragan Edelkamp, Stefan SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4595 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	3115.	Inductive Logic Programming [electronic resource] : 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers / edited by Stephen Muggleton, Ramon Otero, Alireza Tamaddoni-Nezhad. by ILP 2006 (2006 : Santiago de Compostela, Spain) Muggleton, Stephen Otero, Ramon Tamaddoni-Nezhad, Alireza SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4455 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	3116.	Static Analysis [electronic resource] : 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007: Proceedings / edited by Hanne Riis Nielson, Gilberto File. by International Static Analysis Symposium (14th : 2007 : Lyngby, Denmark) Nielson, hanne Riis File, Gilberto SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4634 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	3117.	Model Checking and Artificial Intelligence [electronic resource] : 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers / edited by Stefan Edelkamp, Alessio Lomuscio. by MoChArt IV (2007 : Riva, Italy) Edelkamp, Stefan Lomuscio, Alessio SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4428 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	3118.	Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers / edited by Thorsten Altenkirch, Conor McBride. by TYPES'98 (2006 : Nottingham, UK) Altenkirch, Thorsten McBride, Conor SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4502 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	3119.	Multiagent System Technologies [electronic resource] : 5th German Conference, MATES 2007, Leipzig, Germany, September 24-26, 2007: Proceedings / edited by Paolo Petta ... [et al.]. by MATES 2007 (2007 : Leipzig, Germany) Petta, Paolo SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4687 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	3120.	Software Architecture [electronic resource] : First European Conference, ECSA 2007 Aranjuez, Spain, September 24-26, 2007 Proceedings / edited by Flavio Oquendo. by ECSA 2007 (2007 : Madrid, Spain) Oquendo, Flavio SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4758 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.

Contact Us

Perpustakaan Tun Seri Lanang, Universiti Kebangsaan Malaysia
43600 Bangi, Selangor Darul Ehsan,Malaysia
+603-89213446 – Consultation Services
019-2045652 – Telegram/Whatsapp
Email: helpdeskptsl@ukm.edu.my

Copyright ©The National University of Malaysia Library