Limit Search Results
Author
SpringerLink (Online service)
(25)
Reis, Ricardo. editor.
(7)
Mir, Salvador. editor.
(2)
Mooney, Vincent. editor.
(2)
Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611
(1)
Language
Publication Date
-
Subject
Software engineering.
(12)
Computer Modelling.
(7)
Computer simulation.
(7)
Computer Science Logic and Foundations of Programming.
(4)
Database management.
(4)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
25 Results Found Subscribe to search results
0000000000000000000000000DEFAULT
Print
1. 
Cover image for Information Systems Reengineering and Integration
Information Systems Reengineering and Integration
Author 
Fong, Joseph F. P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-619-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Enterprise Systems Integration A Process-Oriented Approach
Enterprise Systems Integration A Process-Oriented Approach
Author 
Ferreira, Diogo R. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335006.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40796-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Intelligent Human Systems Integration Proceedings of the 1st International Conference on Intelligent Human Systems Integration (IHSI 2018): Integrating People and Intelligent Systems, January 7-9, 2018, Dubai, United Arab Emirates
Intelligent Human Systems Integration Proceedings of the 1st International Conference on Intelligent Human Systems Integration (IHSI 2018): Integrating People and Intelligent Systems, January 7-9, 2018, Dubai, United Arab Emirates
Author 
Karwowski, Waldemar. editor. Ahram, Tareq. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73888-8
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for VLSI-SoC: Forward-Looking Trends in IC and Systems Design 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papers
VLSI-SoC: Forward-Looking Trends in IC and Systems Design 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papers
Author 
Ayala, José L. editor. Atienza Alonso, David. editor. Reis, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28566-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for VLSI-SoC: Advanced Research for Systems on Chip 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers
VLSI-SoC: Advanced Research for Systems on Chip 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers
Author 
Mir, Salvador. editor. Tsui, Chi-Ying. editor. Reis, Ricardo. editor. Choy, Oliver C. S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32770-4
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Proceedings of the Paralinguistic Information and its Integration in Spoken Dialogue Systems Workshop
Proceedings of the Paralinguistic Information and its Integration in Spoken Dialogue Systems Workshop
Author 
Delgado, Ramón López-Cózar. editor. Kobayashi, Tetsunori. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1335-6
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for VLSI-SoC: Technologies for Systems Integration 17th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2009, Florianópolis, Brazil, October 12-14, 2009, Revised Selected Papers
VLSI-SoC: Technologies for Systems Integration 17th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2009, Florianópolis, Brazil, October 12-14, 2009, Revised Selected Papers
Author 
Becker, Jürgen. editor. Johann, Marcelo. editor. Reis, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23120-9
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for VLSI-SoC: Advanced Topics on Systems on a Chip A Selection of Extended Versions of the Best Papers of the Fourteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2007), October 15-17, 2007, Atlanta, USA
VLSI-SoC: Advanced Topics on Systems on a Chip A Selection of Extended Versions of the Best Papers of the Fourteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2007), October 15-17, 2007, Atlanta, USA
Author 
Hasler, Paul. editor. Mooney, Vincent. editor. Reis, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-89558-1
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Information Systems: Modeling, Development, and Integration Third International United Information Systems Conference, UNISCON 2009, Sydney, Australia, April 21-24, 2009. Proceedings
Information Systems: Modeling, Development, and Integration Third International United Information Systems Conference, UNISCON 2009, Sydney, Australia, April 21-24, 2009. Proceedings
Author 
Yang, Jianhua. editor. Ginige, Athula. editor. Mayr, Heinrich C. editor. Kutsche, Ralf-D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01112-2
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Achievements in European Research on Grid Systems CoreGRID Integration Workshop 2006 (Selected Papers)
Achievements in European Research on Grid Systems CoreGRID Integration Workshop 2006 (Selected Papers)
Author 
Gorlatch, Sergei. editor. Bubak, Marian. editor. Priol, Thierry. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-72812-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for VLSI-SoC: Research Trends in VLSI and Systems on Chip Fourteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2006), October 16-18, 2006, Nice, France
VLSI-SoC: Research Trends in VLSI and Systems on Chip Fourteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2006), October 16-18, 2006, Nice, France
Author 
Micheli, Giovanni. editor. Mir, Salvador. editor. Reis, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-74909-9
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Vlsi-Soc: From Systems To Silicon Proceedings of IFIP TC 10, WG 10.5, Thirteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC 2005), October 17-19, 2005, Perth, Australia
Vlsi-Soc: From Systems To Silicon Proceedings of IFIP TC 10, WG 10.5, Thirteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC 2005), October 17-19, 2005, Perth, Australia
Author 
Reis, Ricardo. editor. Osseiran, Adam. editor. Pfleiderer, Hans-Joerg. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-73661-7
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for VLSI-SOC: From Systems to Chips IFIP TC 10/ WG 10.5 Twelfth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC 2003), December 1–3, 2003, Darmstadt, Germany
VLSI-SOC: From Systems to Chips IFIP TC 10/ WG 10.5 Twelfth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC 2003), December 1–3, 2003, Darmstadt, Germany
Author 
Glesner, Manfred. editor. Reis, Ricardo. editor. Indrusiak, Leandro. editor. Mooney, Vincent. editor. Eveking, Hans. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-33403-3
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings
Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings
Author 
Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611 Kesner, Delia. editor. (orcid)0000-0003-4254-3129 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90897-2
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Handbook of Model-Based Systems Engineering
Handbook of Model-Based Systems Engineering
Author 
Madni, Azad M. editor. Augustine, Norman. editor. Sievers, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-93582-5
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Advances in Reliability and Maintainability Methods and Engineering Applications Essays in Honor of Professor Hong-Zhong Huang on his 60th Birthday
Advances in Reliability and Maintainability Methods and Engineering Applications Essays in Honor of Professor Hong-Zhong Huang on his 60th Birthday
Author 
Liu, Yu. editor. Wang, Dong. editor. Mi, Jinhua. editor. Li, He. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-28859-3
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers
Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers
Author 
James, Phillip. editor. Roggenbach, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72044-9
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Conceptual Modeling Perspectives
Conceptual Modeling Perspectives
Author 
Cabot, Jordi. editor. Gómez, Cristina. editor. Pastor, Oscar. editor. Sancho, Maria Ribera. editor. Teniente, Ernest. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67271-7
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Pervasive Computing Engineering Smart Systems
Pervasive Computing Engineering Smart Systems
Author 
Silvis-Cividjian, Natalia. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51655-4
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Author 
Geuvers, Herman. editor. England, Matthew. editor. Hasan, Osman. editor. Rabe, Florian. editor. Teschke, Olaf. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-62075-6
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Computational Methods in Systems Biology 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings
Computational Methods in Systems Biology 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings
Author 
Feret, Jérôme. editor. Koeppl, Heinz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67471-1
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Distributed Simulation A Model Driven Engineering Approach
Distributed Simulation A Model Driven Engineering Approach
Author 
Topçu, Okan. author. Durak, Umut. author. Oğuztüzün, Halit. author. Yilmaz, Levent. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-03050-0
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings
Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings
Author 
Bartocci, Ezio. editor. Lio, Pietro. editor. (orcid)0000-0002-0540-5053 Paoletti, Nicola. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45177-0
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Modelling and Simulation for Autonomous Systems Third International Workshop, MESAS 2016, Rome, Italy, June 15-16, 2016, Revised Selected Papers
Modelling and Simulation for Autonomous Systems Third International Workshop, MESAS 2016, Rome, Italy, June 15-16, 2016, Revised Selected Papers
Author 
Hodicky, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47605-6
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers
Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers
Author 
Lamprecht, Anna-Lena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51641-7
Format: 
Availability 
Online Library~1
Available:
Copies: