Your search returned 24 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer Nature 2020
Online resources:
Availability: Items available for reference: Directory of Open Access Books: Not For Loan (1).
Lists:

Add to cart
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer Nature 2020
Online resources:
Availability: Items available for reference: Directory of Open Access Books: Not For Loan (1).
Lists:

Add to cart
Ernst Denert Award for Software Engineering 2019 : Practice Meets Foundations by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer Nature 2020
Online resources:
Availability: Items available for reference: Directory of Open Access Books: Not For Loan (1).
Lists:

Add to cart
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cham Springer Nature 2020
Online resources:
Availability: Items available for reference: Directory of Open Access Books: Not For Loan (1).
Lists:

Add to cart
Model-Based Engineering of Collaborative Embedded Systems : Extensions of the SPES Methodology by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer Nature 2021
Online resources:
Availability: Items available for reference: Directory of Open Access Books: Not For Loan (1).
Lists:

Add to cart
The Essence of Software Engineering by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cham Springer Nature 2018
Online resources:
Availability: Items available for reference: Directory of Open Access Books: Not For Loan (1).
Lists:

Add to cart
No cover image available No cover image available
Agile Processes in Software Engineering and Extreme Programming by Series: Lecture Notes in Business Information Processing ; 419
Material type: Text Text; Format: print ; Literary form: Dramas
Springer Nature 2021
Other title:
  • 22nd International Conference on Agile Software Development, XP 2021, Virtual Event, June 14:18, 2021, Proceedings
Online resources:
Availability: Items available for loan: Directory of Open Access Books (1).

Add to cart
No cover image available No cover image available
Agile Processes in Software Engineering and Extreme Programming : 17th International Conference, XP 2016, Edinburgh, UK, May 24-27, 2016, Proceedings by Series: Lecture Notes in Business Information Processing ; 251
Material type: Text Text; Format: print ; Literary form: Dramas
Publisher: Cham Springer Nature 2016
Online resources:
Availability: Items available for loan: Directory of Open Access Books (1).

Add to cart
No cover image available No cover image available
Agile Processes in Software Engineering and Extreme Programming : 19th International Conference, XP 2018, Porto, Portugal, May 21 : 25, 2018, Proceedings : : by Series: Lecture Notes in Business Information Processing ; 314
Material type: Text Text; Format: print ; Literary form: Dramas
Publisher: Cham Springer Nature 2018
Online resources:
Availability: Items available for loan: Directory of Open Access Books (1).

Add to cart
No cover image available No cover image available
Automated Deduction : CADE 28 by Series: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence ; 12699
Material type: Text 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:
Availability: Items available for loan: Directory of Open Access Books (1).

Add to cart
No cover image available No cover image available
Benefit/Cost-Driven Software Development by Series: Simula SpringerBriefs on Computing ; 8
Material type: Text Text; Format: print ; Literary form: Dramas
Springer Nature 2021
Other title:
  • With Benefit Points and Size Points
Online resources:
Availability: Items available for loan: Directory of Open Access Books (1).

Add to cart
No cover image available No cover image available
Computer and Information Sciences : 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27 : 28, 2016, Proceedings : : by Series: Communications in Computer and Information Science ; 659
Material type: Text Text; Format: print ; Literary form: Dramas
Publisher: Cham Springer Nature 2016
Online resources:
Availability: Items available for loan: Directory of Open Access Books (1).

Add to cart
No cover image available No cover image available
Cyber-Physical Systems of Systems : Foundations : A Conceptual Model and Some Derivations : The AMADEOS Legacy : by Series: Programming and Software Engineering ; 10099
Material type: Text Text; Format: print ; Literary form: Dramas
Publisher: Cham Springer Nature 2016
Online resources:
Availability: Items available for loan: Directory of Open Access Books (1).

Add to cart
No cover image available No cover image available
Enabling Things to Talk by
Material type: Text Text; Format: print ; Literary form: Dramas
Publisher: Cham Springer Nature 2013
Online resources:
Availability: Items available for loan: Directory of Open Access Books (1).

Add to cart
No cover image available No cover image available
Finite Difference Computing with Exponential Decay Models by Series: Lecture Notes in Computational Science and Engineering ; 110
Material type: Text Text; Format: print ; Literary form: Dramas
Publisher: Cham Springer Nature 2016
Online resources:
Availability: Items available for loan: Directory of Open Access Books (1).

Add to cart
No cover image available No cover image available
Fundamental Approaches to Software Engineering by Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ; 12649
Material type: Text 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:
Availability: Items available for loan: Directory of Open Access Books (1).

Add to cart
Pages

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

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

Powered by Koha