Your search returned 18 results.

Results
		Fundamentals of software engineering / Series: Lecture notes in computer science ; 5961. \| LNCS sublibrary. SL 2 Programming and software engineering. Material type: Text; Format: print ; Literary form: Not fiction Publisher: New York : Springer, 2010 Online resources: Table of contents Availability: Items available for loan: Morong College Library (2)Call number: QA 76.758 .P926 2014, ... Taytay College Library (3)Call number: QA76.758.F962 2014, ... Place hold Add to cart (remove)
		No cover image available No cover image available Automated Deduction : CADE 28 by Platzer, André Sutcliffe, Geoff Series: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence ; 12699 Material type: Text; Format: print ; Literary form: Dramas Springer Nature 2021 Other title: 28th International Conference on Automated Deduction, Virtual Event, July 12:15, 2021, Proceedings Online resources: Click here to access online Availability: Items available for loan: Directory of Open Access Books (1). Place hold Add to cart (remove)
		No cover image available No cover image available Bisociative Knowledge Discovery : An Introduction to Concept, Algorithms, Tools, and Applications by Berthold, Michael R [author] Series: Lecture Notes in Computer Science ; 7250 Material type: Text; Format: print ; Literary form: Dramas Publisher: Cham Springer Nature 2012 Online resources: Click here to access online Availability: Items available for loan: Directory of Open Access Books (1). Place hold Add to cart (remove)
		No cover image available No cover image available Brain-Inspired Computing by Amunts, Katrin Grandinetti, Lucio Lippert, Thomas Petkov, Nicolai Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ; 12339 Material type: Text; Format: print ; Literary form: Dramas Springer Nature 2021 Other title: 4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15:19, 2019, Revised Selected Papers Online resources: Click here to access online Availability: Items available for loan: Directory of Open Access Books (1). Place hold Add to cart (remove)
		No cover image available No cover image available Computer Aided Verification by Leino, K. Rustan M Silva, Alexandra Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ; 12759 Material type: Text; Format: print ; Literary form: Dramas Springer Nature 2021 Other title: 33rd International Conference, CAV 2021, Virtual Event, July 20:23, 2021, Proceedings, Part I Online resources: Click here to access online Availability: Items available for loan: Directory of Open Access Books (1). Place hold Add to cart (remove)
		No cover image available No cover image available Computer Aided Verification by Leino, K. Rustan M Silva, Alexandra Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ; 12760 Material type: Text; Format: print ; Literary form: Dramas Springer Nature 2021 Other title: 33rd International Conference, CAV 2021, Virtual Event, July 20:23, 2021, Proceedings, Part II Online resources: Click here to access online Availability: Items available for loan: Directory of Open Access Books (1). Place hold Add to cart (remove)
		No cover image available No cover image available Foundations of Software Science and Computation Structures by Kiefer, Stefan Tasson, Christine Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ; 12650 Material type: Text; Format: print ; Literary form: Dramas Springer Nature 2021 Other title: 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 : April 1, 2021, Proceedings Online resources: Click here to access online Availability: Items available for loan: Directory of Open Access Books (1). Place hold Add to cart (remove)
		No cover image available No cover image available Fundamental Approaches to Software Engineering by Guerra, Esther Stoelinga, Mariëlle Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ; 12649 Material type: Text; Format: print ; Literary form: Dramas Springer Nature 2021 Other title: 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 : April 1, 2021, Proceedings Online resources: Click here to access online Availability: Items available for loan: Directory of Open Access Books (1). Place hold Add to cart (remove)
		No cover image available No cover image available Graph Structures for Knowledge Representation and Reasoning by Cochez, Michael Croitoru, Madalina Marquis, Pierre Rudolph, Sebastian Series: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence ; 12640 Material type: Text; Format: print ; Literary form: Dramas Springer Nature 2021 Other title: 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers Online resources: Click here to access online Availability: Items available for loan: Directory of Open Access Books (1). Place hold Add to cart (remove)
		No cover image available No cover image available Programming Languages and Systems by Yoshida, Nobuko Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ; 12648 Material type: Text; Format: print ; Literary form: Dramas Springer Nature 2021 Other title: 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 : April 1, 2021, Proceedings Online resources: Click here to access online Availability: Items available for loan: Directory of Open Access Books (1). Place hold Add to cart (remove)
		No cover image available No cover image available Security of Networks and Services in an All-Connected World : 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2017, Zurich, Switzerland, July 10-13, 2017, Proceedings by Badonnel, Rémi Koch, Robert Stiller, Burkhard Tuncer, Daphne Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Dramas Publisher: Cham Springer Nature 2017 Online resources: Click here to access online Availability: Items available for loan: Directory of Open Access Books (1). Place hold Add to cart (remove)
		No cover image available No cover image available Telecommunication Economics : Selected Results of the COST Action IS0605 by Hadjiantonis, Antonis M [author] Stiller, Burkhard Series: Lecture Notes in Computer Science ; 7216 Material type: Text; Format: print ; Literary form: Dramas Publisher: Cham Springer Nature 2012 Online resources: Click here to access online Availability: Items available for loan: Directory of Open Access Books (1). Place hold Add to cart (remove)
		No cover image available No cover image available The Future Internet : Future Internet Assembly 2011 : Achievements and Technological Promises : : by Domingue, John [author] Cleary, Frances Daras, Petros Domingue, John Galis, Alex Gavras, Anastasius Krco, Srdjan Lambert, Dave Li, Man-Sze Lotz, Volkmar Müller, Henning Schaffers, Hans Zahariadis, Theodore Alvarez, Federico Avessta, Susanna Cleary, Frances Daras, Petros Galis, Alex Gavras, Anastasius Karnouskos, Stamatis Krco, Srdjan Lambert, Dave Li, Man-Sze Lotz, Volkmar Müller, Henning Nilsson, Michael Schaffers, Hans Stiller, Burkhard Zahariadis, Theodore Series: Lecture Notes in Computer Science ; 6656 Material type: Text; Format: print ; Literary form: Dramas Publisher: Cham Springer Nature 2011 Online resources: Click here to access online Availability: Items available for loan: Directory of Open Access Books (1). Place hold Add to cart (remove)
		No cover image available No cover image available The Future Internet : Future Internet Assembly 2012 : From Promises to Reality : : by Álvarez, Federico [author] Álvarez, Federico Cleary, Frances Daras, Petros Domingue, John Galis, Alex Garcia, Ana Gavras, Anastasius Karnourskos, Stamatis Krco, Srdjan Li, Man-Sze Lotz, Volkmar Müller, Henning Cleary, Frances Daras, Petros Domingue, John Galis, Alex Garcia, Ana Gavras, Anastasius Karnourskos, Stamatis Krco, Srdjan Li, Man-Sze Lotz, Volkmar Müller, Henning Salvadori, Elio Sassen, Anne-Marie Schaffers, Hans Stiller, Burkhard Tselentis, Georgios Turkama, Petra Zahariadis, Theodore Series: Lecture Notes in Computer Science ; 7281 Material type: Text; Format: print ; Literary form: Dramas Publisher: Cham Springer Nature 2012 Online resources: Click here to access online Availability: Items available for loan: Directory of Open Access Books (1). Place hold Add to cart (remove)
		No cover image available No cover image available The Future Internet : Future Internet Assembly 2013 : Validated Results and New Horizons : : by Galis, Alex [author] Galis, Alex Gavras, Anastasius Gavras, Anastasius Series: Lecture Notes in Computer Science ; 7858 Material type: Text; Format: print ; Literary form: Dramas Publisher: Cham Springer Nature 2013 Online resources: Click here to access online Availability: Items available for loan: Directory of Open Access Books (1). Place hold Add to cart (remove)
		No cover image available No cover image available The Once-Only Principle by Krimmer, Robert Mamrot, Szymon Prentza, Andriana Series: Lecture Notes in Computer Science; Information Systems and Applications, incl. Internet/Web, and HCI ; 12621 Material type: Text; Format: print ; Literary form: Dramas Springer Nature 2021 Other title: The TOOP Project Online resources: Click here to access online Availability: Items available for loan: Directory of Open Access Books (1). Place hold Add to cart (remove)
		No cover image available No cover image available Tools and Algorithms for the Construction and Analysis of Systems by Groote, Jan Friso Larsen, Kim Guldstrand Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ; 12651 Material type: Text; Format: print ; Literary form: Dramas Springer Nature 2021 Other title: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 : April 1, 2021, Proceedings, Part I Online resources: Click here to access online Availability: Items available for loan: Directory of Open Access Books (1). Place hold Add to cart (remove)
		No cover image available No cover image available Tools and Algorithms for the Construction and Analysis of Systems by Groote, Jan Friso Larsen, Kim Guldstrand Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ; 12652 Material type: Text; Format: print ; Literary form: Dramas Springer Nature 2021 Other title: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 : April 1, 2021, Proceedings, Part II Online resources: Click here to access online Availability: Items available for loan: Directory of Open Access Books (1). Place hold Add to cart (remove)

University of Rizal System
Email us at univlibservices@urs.edu.ph

Visit our Website www.urs.edu.ph/library

Powered by Koha