Search Results for Engineering systems. - Narrowed by: Computer science.

Automotive Systems Engineering

2026-03-21T10:29:50Z

Author Maurer, Markus. editor. Winner, Hermann. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334208.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36455-6
Format: Electronic Resources
Availability Online Library~1

Automotive Systems Engineering II

2026-03-21T10:29:50Z

Author Winner, Hermann. editor. Prokop, Günther. editor. Maurer, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61607-0
Format: Electronic Resources
Availability Online Library~1

Handbook of Model-Based Systems Engineering

2026-03-21T10:29:50Z

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: Electronic Resources
Availability Online Library~1

Pervasive Computing Engineering Smart Systems

2026-03-21T10:29:50Z

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: Electronic Resources
Availability Online Library~1

Recommendation Systems in Software Engineering

2026-03-21T10:29:50Z

Author Robillard, Martin P. editor. Maalej, Walid. editor. Walker, Robert J. editor. Zimmermann, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-45135-5
Format: Electronic Resources
Availability Online Library~1

The Engineering of Mixed Reality Systems

2026-03-21T10:29:50Z

Author Dubois, Emmanuel. editor. Gray, Philip. editor. Nigay, Laurence. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-733-2
Format: Electronic Resources
Availability Online Library~1

Intentional Perspectives on Information Systems Engineering

2026-03-21T10:29:50Z

Author Nurcan, Selmin. editor. Salinesi, Camille. editor. Souveyet, Carine. editor. Ralyté, Jolita. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12544-7
Format: Electronic Resources
Availability Online Library~1

Intelligent Engineering Systems and Computational Cybernetics

2026-03-21T10:29:50Z

Author Machado, J. A. Tenreiro. editor. Pátkai, Béla. editor. Rudas, Imre J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8678-6
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Self-Adaptive Systems

2026-03-21T10:29:50Z

Author Cheng, Betty H. C. editor. Lemos, Rogério. editor. Giese, Holger. editor. Inverardi, Paola. editor. Magee, Jeff. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02161-9
Format: Electronic Resources
Availability Online Library~1

Conceptual Modelling in Information Systems Engineering

2026-03-21T10:29:50Z

Author Krogstie, John. editor. Opdahl, Andreas Lothe. editor. Brinkkemper, Sjaak. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72677-7
Format: Electronic Resources
Availability Online Library~1

Self-aware Computing Systems An Engineering Approach

2026-03-21T10:29:50Z

Author Lewis, Peter R. editor. Platzner, Marco. editor. Rinner, Bernhard. editor. Tørresen, Jim. editor. Yao, Xin. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-39675-0
Format: Electronic Resources
Availability Online Library~1

Evolving Connectionist Systems The Knowledge Engineering Approach

2026-03-21T10:29:50Z

Author Kasabov, Nikola. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-347-5
Format: Electronic Resources
Availability Online Library~1

Engineering Self-Organising Systems Methodologies and Applications

2026-03-21T10:29:50Z

Author Brueckner, Sven A. editor. Marzo Serugendo, Giovanna. editor. Karageorgos, Anthony. editor. Nagpal, Radhika. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136984
Format: Electronic Resources
Availability Online Library~1

Internet Computing and IoT and Embedded Systems, Cyber-physical Systems, and Applications 25th International Conference, ICOMP 2024, and 22nd International Conference, ESCS 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-03-21T10:29:50Z

Author Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739 Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-85923-6
Format: Electronic Resources
Availability Online Library~1

Software Engineering Research and Practice and e-Learning, e-Business, Enterprise Information Systems, and e-Government 22nd International Conference, SERP 2024, and 23rd International Conference, EEE 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-03-21T10:29:50Z

Author Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-86644-9
Format: Electronic Resources
Availability Online Library~1

Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part I

2026-03-21T10:29:50Z

Author Krogstie, John. editor. (orcid)0000-0003-4830-1876 Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108 Kappel, Gertri. editor. (orcid)0000-0002-4758-9436 Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-94569-4
Format: Electronic Resources
Availability Online Library~1

Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part II

2026-03-21T10:29:50Z

Author Krogstie, John. editor. (orcid)0000-0003-4830-1876 Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108 Kappel, Gerti. editor. (orcid)0000-0002-4758-9436 Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-94571-7
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

2026-03-21T10:29:50Z

Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-75107-3
Format: Electronic Resources
Availability Online Library~1

Health Informatics and Medical Systems and Biomedical Engineering 10th International Conference, HIMS 2024, and 10th International Conference, BIOENG 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-03-21T10:29:50Z

Author Alsadoon, Abeer. editor. (orcid)0000-0002-2309-3540 Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739 Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-85908-3
Format: Electronic Resources
Availability Online Library~1

Advanced Information Systems Engineering 36th International Conference, CAiSE 2024, Limassol, Cyprus, June 3-7, 2024, Proceedings

2026-03-21T10:29:50Z

Author Guizzardi, Giancarlo. editor. (orcid)0000-0002-3452-553X Santoro, Flavia. editor. (orcid)0000-0003-3421-1984 Mouratidis, Haralambos. editor. (orcid)0000-0002-2599-0712 Soffer, Pnina. editor. (orcid)0000-0003-4659-883X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-61057-8
Format: Electronic Resources
Availability Online Library~1

Bioinspired Systems for Translational Applications: From Robotics to Social Engineering 10th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2024, Olhâo, Portugal, June 4-7, 2024, Proceedings, Part II

2026-03-21T10:29:50Z

Author Ferrández Vicente, José Manuel. editor. Val Calvo, Mikel. editor. Adeli, Hojjat. editor. (orcid)0000-0001-5718-1453 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-61137-7
Format: Electronic Resources
Availability Online Library~1

Engineering Multi-Agent Systems 12th International Workshop, EMAS 2024, Auckland, New Zealand, May 6-7, 2024, Revised Selected Papers

2026-03-21T10:29:50Z

Author Briola, Daniela. editor. (orcid)0000-0003-1994-8929 Cardoso, Rafael C. editor. (orcid)0000-0001-6666-6954 Logan, Brian. editor. (orcid)0000-0003-0648-7107 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71152-7
Format: Electronic Resources
Availability Online Library~1

Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

2026-03-21T10:29:50Z

Author Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02928-9
Format: Electronic Resources
Availability Online Library~1

Advanced Information Systems Engineering 30th International Conference, CAiSE 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings

2026-03-21T10:29:50Z

Author Krogstie, John. editor. Reijers, Hajo A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91563-0
Format: Electronic Resources
Availability Online Library~1

Engineering Multi-Agent Systems 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers

2026-03-21T10:29:50Z

Author El Fallah-Seghrouchni, Amal. editor. Ricci, Alessandro. editor. (orcid)0000-0002-9222-5092 Son, Tran Cao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91899-0
Format: Electronic Resources
Availability Online Library~1

Web Information Systems Engineering – WISE 2018 19th International Conference, Dubai, United Arab Emirates, November 12-15, 2018, Proceedings, Part II

2026-03-21T10:29:50Z

Author Hacid, Hakim. editor. (orcid)0000-0003-2265-9343 Cellary, Wojciech. editor. (orcid)0000-0001-8578-4307 Wang, Hua. editor. (orcid)0000-0002-8465-0996 Paik, Hye-Young. editor. (orcid)0000-0003-4425-7388 Zhou, Rui. editor. (orcid)0000-0001-6807-4362
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02925-8
Format: Electronic Resources
Availability Online Library~1

Biomedical Engineering Systems and Technologies 10th International Joint Conference, BIOSTEC 2017, Porto, Portugal, February 21–23, 2017, Revised Selected Papers

2026-03-21T10:29:50Z

Author Peixoto, Nathalia. editor. Silveira, Margarida. editor. Ali, Hesham H. editor. Maciel, Carlos. editor. van den Broek, Egon L. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94806-5
Format: Electronic Resources
Availability Online Library~1

Advances in Human Factors, Software, and Systems Engineering Proceedings of the AHFE 2017 International Conference on Human Factors, Software, and Systems Engineering, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

2026-03-21T10:29:50Z

Author Ahram, Tareq. editor. Karwowski, Waldemar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60011-6
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings

2026-03-21T10:29:50Z

Author Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 Troubitsyna, Elena A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-65948-0
Format: Electronic Resources
Availability Online Library~1

Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

2026-03-21T10:29:50Z

Author Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-56841-6
Format: Electronic Resources
Availability Online Library~1

Engineering Secure Software and Systems 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings

2026-03-21T10:29:50Z

Author Caballero, Juan. editor. Bodden, Eric. editor. Athanasopoulos, Elias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-30806-7
Format: Electronic Resources
Availability Online Library~1

Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

2026-03-21T10:29:50Z

Author Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-29628-9
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

2026-03-21T10:29:50Z

Author Crnkovic, Ivica. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45892-2
Format: Electronic Resources
Availability Online Library~1

Foundations of Health Information Engineering and Systems Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers

2026-03-21T10:29:50Z

Author Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 MacCaull, Wendy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-53956-5
Format: Electronic Resources
Availability Online Library~1

Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering 6th International Conference, SWQD 2014, Vienna, Austria, January 14-16, 2014, Proceedings

2026-03-21T10:29:50Z

Author Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124 Biffl, Stefan. editor. (orcid)0000-0002-3413-7780 Bergsmann, Johannes. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-03602-1
Format: Electronic Resources
Availability Online Library~1

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings

2026-03-21T10:29:50Z

Author Dingel, Juergen. editor. Schulte, Wolfram. editor. Ramos, Isidro. editor. Abrahao, Silvia. editor. Insfran, Emilio. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11653-2
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Resilient Systems 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings

2026-03-21T10:29:50Z

Author Majzik, István. editor. Vieira, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12241-0
Format: Electronic Resources
Availability Online Library~1

Foundations of Health Information Engineering and Systems Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers

2026-03-21T10:29:50Z

Author Weber, Jens. editor. Perseil, Isabelle. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334727.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39088-3
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings

2026-03-21T10:29:50Z

Author Gorbenko, Anatoliy. editor. Romanovsky, Alexander. editor. Kharchenko, Vyacheslav. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335024.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40894-6
Format: Electronic Resources
Availability Online Library~1

Web Information Systems Engineering – WISE 2013 14th International Conference, Nanjing, China, October 13-15, 2013, Proceedings, Part II

2026-03-21T10:29:50Z

Author Lin, Xuemin. editor. Manolopoulos, Yannis. editor. Srivastava, Divesh. editor. Huang, Guangyan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335065.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41154-0
Format: Electronic Resources
Availability Online Library~1

Web Information Systems Engineering – WISE 2013 14th International Conference, Nanjing, China, October 13-15, 2013, Proceedings, Part I

2026-03-21T10:29:50Z

Author Lin, Xuemin. editor. Manolopoulos, Yannis. editor. Srivastava, Divesh. editor. Huang, Guangyan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335078.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41230-1
Format: Electronic Resources
Availability Online Library~1

Engineering Multi-Agent Systems First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers

2026-03-21T10:29:50Z

Author Cossentino, Massimo. editor. Fallah Seghrouchni, Amal. editor. Winikoff, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335210.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45343-4
Format: Electronic Resources
Availability Online Library~1

Biomedical Engineering Systems and Technologies 4th International Joint Conference, BIOSTEC 2011, Rome, Italy, January 26-29, 2011, Revised Selected Papers

2026-03-21T10:29:50Z

Author Fred, Ana. editor. Filipe, Joaquim. editor. Gamboa, Hugo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333263.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-29752-6
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers

2026-03-21T10:29:50Z

Author Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334055.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35813-5
Format: Electronic Resources
Availability Online Library~1

Seminal Contributions to Information Systems Engineering 25 Years of CAiSE

2026-03-21T10:29:50Z

Author Bubenko, Janis. editor. Krogstie, John. editor. Pastor, Oscar. editor. Pernici, Barbara. editor. Rolland, Colette. editor.
Preferred Shelf Number ONLINE(334324.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36926-1
Format: Electronic Resources
Availability Online Library~1

Biomedical Engineering Systems and Technologies 5th International Joint Conference, BIOSTEC 2012, Vilamoura, Portugal, February 1-4, 2012, Revised Selected Papers

2026-03-21T10:29:50Z

Author Gabriel, Joaquim. editor. Schier, Jan. editor. Huffel, Sabine. editor. Conchon, Emmanuel. editor. Correia, Carlos. editor.
Preferred Shelf Number ONLINE(334569.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38256-7
Format: Electronic Resources
Availability Online Library~1

Web Information Systems Engineering – WISE 2011 and 2012 Workshops Combined WISE 2011 and WISE 2012 Workshops, Sydney Australia, October 12-14, 2011 and Paphos, Cyprus, November 28-30, 2012, Revised Selected Papers

2026-03-21T10:29:50Z

Author Haller, Armin. editor. Huang, Guangyan. editor. Huang, Zhisheng. editor. Paik, Hye-young. editor. Sheng, Quan Z. editor.
Preferred Shelf Number ONLINE(334584.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38333-5
Format: Electronic Resources
Availability Online Library~1

Advanced Information Systems Engineering Workshops CAiSE 2013 International Workshops, Valencia, Spain, June 17-21, 2013. Proceedings

2026-03-21T10:29:50Z

Author Franch, Xavier. editor. Soffer, Pnina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334609.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38490-5
Format: Electronic Resources
Availability Online Library~1

Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings

2026-03-21T10:29:50Z

Author Jürjens, Jan. editor. Livshits, Benjamin. editor. Scandariato, Riccardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334236.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36563-8
Format: Electronic Resources
Availability Online Library~1

Recent Trends in Applied Artificial Intelligence 26th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2013, Amsterdam, The Netherlands, June 17-21, 2013. Proceedings

2026-03-21T10:29:50Z

Author Ali, Moonis. editor. Bosse, Tibor. editor. Hindriks, Koen V. editor. Hoogendoorn, Mark. editor. Jonker, Catholijn M. editor.
Preferred Shelf Number ONLINE(334627.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38577-3
Format: Electronic Resources
Availability Online Library~1

Advanced Information Systems Engineering 25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings

2026-03-21T10:29:50Z

Author Salinesi, Camille. editor. Norrie, Moira C. editor. Pastor, Óscar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334655.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38709-8
Format: Electronic Resources
Availability Online Library~1

Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings

2026-03-21T10:29:50Z

Author Moreira, Ana. editor. Schätz, Bernhard. editor. Gray, Jeff. editor. Vallecillo, Antonio. editor. Clarke, Peter. editor.
Preferred Shelf Number ONLINE(335120.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41533-3
Format: Electronic Resources
Availability Online Library~1

Engineering Secure Software and Systems 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings

2026-03-21T10:29:50Z

Author Barthe, Gilles. editor. Livshits, Benjamin. editor. Scandariato, Riccardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28166-2
Format: Electronic Resources
Availability Online Library~1

Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings

2026-03-21T10:29:50Z

Author France, Robert B. editor. Kazmeier, Jürgen. editor. Breu, Ruth. editor. Atkinson, Colin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33666-9
Format: Electronic Resources
Availability Online Library~1

Model-Based Engineering of Embedded Systems The SPES 2020 Methodology

2026-03-21T10:29:50Z

Author Pohl, Klaus. editor. Hönninger, Harald. editor. Achatz, Reinhold. editor. Broy, Manfred. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34614-9
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems

2026-03-21T10:29:50Z

Author Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Phan, Cong-Vinh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28525-7
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

2026-03-21T10:29:50Z

Author Bernardo, Marco. editor. Cortellessa, Vittorio. editor. Pierantonio, Alfonso. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30982-3
Format: Electronic Resources
Availability Online Library~1

Advanced Information Systems Engineering Workshops CAiSE 2012 International Workshops, Gdańsk, Poland, June 25-26, 2012. Proceedings

2026-03-21T10:29:50Z

Author Bajec, Marko. editor. Eder, Johann. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31069-0
Format: Electronic Resources
Availability Online Library~1

Advanced Research in Applied Artificial Intelligence 25th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2012, Dalian, China, June 9-12, 2012. Proceedings

2026-03-21T10:29:50Z

Author Jiang, He. editor. Ding, Wei. editor. Ali, Moonis. editor. Wu, Xindong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31087-4
Format: Electronic Resources
Availability Online Library~1

Advanced Information Systems Engineering 24th International Conference, CAiSE 2012, Gdansk, Poland, June 25-29, 2012. Proceedings

2026-03-21T10:29:50Z

Author Ralyté, Jolita. editor. Franch, Xavier. editor. Brinkkemper, Sjaak. editor. Wrycza, Stanislaw. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31095-9
Format: Electronic Resources
Availability Online Library~1

Foundations of Health Informatics Engineering and Systems First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers

2026-03-21T10:29:50Z

Author Liu, Zhiming. editor. Wassyng, Alan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32355-3
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Resilient Systems 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings

2026-03-21T10:29:50Z

Author Avgeriou, Paris. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33176-3
Format: Electronic Resources
Availability Online Library~1

Web Information Systems Engineering - WISE 2012 13th International Conference, Paphos, Cyprus, November 28-30, 2012. Proceedings

2026-03-21T10:29:50Z

Author Wang, X. Sean. editor. Cruz, Isabel. editor. Delis, Alex. editor. Huang, Guangyan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35063-4
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence Systems in Industrial Engineering With Recent Theory and Applications

2026-03-21T10:29:50Z

Author Kahraman, Cengiz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.2991/978-94-91216-77-0
Format: Electronic Resources
Availability Online Library~1

Biomedical Engineering Systems and Technologies Third International Joint Conference, BIOSTEC 2010, Valencia, Spain, January 20-23, 2010, Revised Selected Papers

2026-03-21T10:29:50Z

Author Fred, Ana. editor. Filipe, Joaquim. editor. Gamboa, Hugo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-18472-7
Format: Electronic Resources
Availability Online Library~1

Knowledge-Based and Intelligent Information and Engineering Systems 15th International Conference, KES 2011, Kaiserslautern, Germany, September 12-14, 2011, Proceedings, Part I

2026-03-21T10:29:50Z

Author König, Andreas. editor. Dengel, Andreas. editor. Hinkelmann, Knut. editor. Kise, Koichi. editor. Howlett, Robert J. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23851-2
Format: Electronic Resources
Availability Online Library~1

Knowledge-Based and Intelligent Information and Engineering Systems 15th International Conference, KES 2011, Kaiserslautern, Germany, September 12-14, 2011, Proceedings, Part III

2026-03-21T10:29:50Z

Author König, Andreas. editor. Dengel, Andreas. editor. Hinkelmann, Knut. editor. Kise, Koichi. editor. Howlett, Robert J. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23854-3
Format: Electronic Resources
Availability Online Library~1

Knowlege-Based and Intelligent Information and Engineering Systems 15th International Conference, KES 2011, Kaiserslautern, Germany, September 12-14, 2011, Proceedings, Part II

2026-03-21T10:29:50Z

Author König, Andreas. editor. Dengel, Andreas. editor. Hinkelmann, Knut. editor. Kise, Koichi. editor. Howlett, Robert J. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23863-5
Format: Electronic Resources
Availability Online Library~1

Knowledge-Based and Intelligent Information and Engineering Systems 15th International Conference, KES 2011, Kaiserslautern, Germany, September 12-14, 2011, Proceedings, Part IV

2026-03-21T10:29:50Z

Author König, Andreas. editor. Dengel, Andreas. editor. Hinkelmann, Knut. editor. Kise, Koichi. editor. Howlett, Robert J. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23866-6
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Resilient Systems Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings

2026-03-21T10:29:50Z

Author Troubitsyna, Elena A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24124-6
Format: Electronic Resources
Availability Online Library~1

Web Information Systems Engineering – WISE 2010 Workshops WISE 2010 International Symposium WISS, and International Workshops CISE, MBC, Hong Kong, China, December 12-14, 2010, Revised Selected Papers

2026-03-21T10:29:50Z

Author Chiu, Dickson K. W. editor. Bellatreche, Ladjel. editor. Sasaki, Hideyasu. editor. Leung, Ho-fung. editor. Cheung, Shing-Chi. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24396-7
Format: Electronic Resources
Availability Online Library~1

Model Driven Engineering Languages and Systems 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings

2026-03-21T10:29:50Z

Author Whittle, Jon. editor. Clark, Tony. editor. Kühne, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24485-8
Format: Electronic Resources
Availability Online Library~1

Biomedical Engineering Health Care Systems, Technology and Techniques

2026-03-21T10:29:50Z

Author Suh, Sang C. editor. Gurupur, Varadraj P. editor. Tanik, Murat M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-0116-2
Format: Electronic Resources
Availability Online Library~1

Advanced Information Systems Engineering 23rd International Conference, CAiSE 2011, London, UK, June 20-24, 2011. Proceedings

2026-03-21T10:29:50Z

Author Mouratidis, Haralambos. editor. Rolland, Colette. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21640-4
Format: Electronic Resources
Availability Online Library~1

Advanced Information Systems Engineering Workshops CAiSE 2011 International Workshops, London, UK, June 20-24, 2011. Proceedings

2026-03-21T10:29:50Z

Author Salinesi, Camille. editor. Pastor, Oscar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22056-2
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part I

2026-03-21T10:29:50Z

Author Mohamad Zain, Jasni. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22170-5
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part II

2026-03-21T10:29:50Z

Author Zain, Jasni Mohamad. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22191-0
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part III

2026-03-21T10:29:50Z

Author Zain, Jasni Mohamad. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22203-0
Format: Electronic Resources
Availability Online Library~1

Model-Based Engineering of Embedded Real-Time Systems International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers

2026-03-21T10:29:50Z

Author Giese, Holger. editor. Karsai, Gabor. editor. Lee, Edward. editor. Rumpe, Bernhard. editor. Schätz, Bernhard. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16277-0
Format: Electronic Resources
Availability Online Library~1

Engineering Secure Software and Systems Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings

2026-03-21T10:29:50Z

Author Erlingsson, Úlfar. editor. Wieringa, Roel. editor. Zannone, Nicola. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19125-1
Format: Electronic Resources
Availability Online Library~1

Modern Approaches in Applied Intelligence 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2011, Syracuse, NY, USA, June 28 – July 1, 2011, Proceedings, Part I

2026-03-21T10:29:50Z

Author Mehrotra, Kishan G. editor. Mohan, Chilukuri K. editor. Oh, Jae C. editor. Varshney, Pramod K. editor. Ali, Moonis. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21822-4
Format: Electronic Resources
Availability Online Library~1

Rigorous Software Engineering for Service-Oriented Systems Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

2026-03-21T10:29:50Z

Author Wirsing, Martin. editor. Hölzl, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20401-2
Format: Electronic Resources
Availability Online Library~1

Modern Approaches in Applied Intelligence 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2011, Syracuse, NY, USA, June 28 – July 1, 2011, Proceedings, Part II

2026-03-21T10:29:50Z

Author Mehrotra, Kishan G. editor. Mohan, Chilukuri K. editor. Oh, Jae C. editor. Varshney, Pramod K. editor. Ali, Moonis. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21827-9
Format: Electronic Resources
Availability Online Library~1

Sensing and Systems in Pervasive Computing Engineering Context Aware Systems

2026-03-21T10:29:50Z

Author Chalmers, Dan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-841-6
Format: Electronic Resources
Availability Online Library~1

Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part II

2026-03-21T10:29:50Z

Author Petriu, Dorina C. editor. Rouquette, Nicolas. editor. Haugen, Øystein. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16129-2
Format: Electronic Resources
Availability Online Library~1

Service Research Challenges and Solutions for the Future Internet S-Cube – Towards Engineering, Managing and Adapting Service-Based Systems

2026-03-21T10:29:50Z

Author Papazoglou, Mike P. editor. Pohl, Klaus. editor. Parkin, Michael. editor. Metzger, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17599-2
Format: Electronic Resources
Availability Online Library~1

Web Information Systems Engineering – WISE 2010 11th International Conference, Hong Kong, China, December 12-14, 2010. Proceedings

2026-03-21T10:29:50Z

Author Chen, Lei. editor. Triantafillou, Peter. editor. Suel, Torsten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17616-6
Format: Electronic Resources
Availability Online Library~1

Trends in Applied Intelligent Systems 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part I

2026-03-21T10:29:50Z

Author García-Pedrajas, Nicolás. editor. Herrera, Francisco. editor. Fyfe, Colin. editor. Benítez, José Manuel. editor. Ali, Moonis. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13022-9
Format: Electronic Resources
Availability Online Library~1

Trends in Applied Intelligent Systems 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part II

2026-03-21T10:29:50Z

Author García-Pedrajas, Nicolás. editor. Herrera, Francisco. editor. Fyfe, Colin. editor. Benítez, José Manuel. editor. Ali, Moonis. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13025-0
Format: Electronic Resources
Availability Online Library~1

Verification and Validation in Systems Engineering Assessing UML/SysML Design Models

2026-03-21T10:29:50Z

Author Debbabi, Mourad. author. Hassaïne, Fawzi. author. Jarraya, Yosr. author. Soeanu, Andrei. author. Alawneh, Luay. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15228-3
Format: Electronic Resources
Availability Online Library~1

Knowledge-Based and Intelligent Information and Engineering Systems 14th International Conference, KES 2010, Cardiff, UK, September 8-10, 2010, Proceedings, Part IV

2026-03-21T10:29:50Z

Author Setchi, Rossitza. editor. Jordanov, Ivan. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15384-6
Format: Electronic Resources
Availability Online Library~1

Knowledge-Based and Intelligent Information and Engineering Systems 14th International Conference, KES 2010, Cardiff, UK, September 8-10, 2010, Proceedings, Part I

2026-03-21T10:29:50Z

Author Setchi, Rossitza. editor. Jordanov, Ivan. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15387-7
Format: Electronic Resources
Availability Online Library~1

Knowledge-Based and Intelligent Information and Engineering Systems 14th International Conference, KES 2010, Cardiff, UK, September 8-10, 2010, Proceedings, Part II

2026-03-21T10:29:50Z

Author Setchi, Rossitza. editor. Jordanov, Ivan. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15390-7
Format: Electronic Resources
Availability Online Library~1

Knowledge-Based and Intelligent Information and Engineering Systems 14th International Conference, KES 2010, Cardiff, UK, September 8-10, 2010, Proceedings, Part III

2026-03-21T10:29:50Z

Author Setchi, Rossitza. editor. Jordanov, Ivan. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15393-8
Format: Electronic Resources
Availability Online Library~1

Engineering Secure Software and Systems Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings

2026-03-21T10:29:50Z

Author Massacci, Fabio. editor. Wallach, Dan. editor. Zannone, Nicola. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11747-3
Format: Electronic Resources
Availability Online Library~1

Biomedical Engineering Systems and Technologies International Joint Conference, BIOSTEC 2009 Porto, Portugal, January 14-17, 2009, Revised Selected Papers

2026-03-21T10:29:50Z

Author Fred, Ana. editor. Filipe, Joaquim. editor. Gamboa, Hugo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11721-3
Format: Electronic Resources
Availability Online Library~1

Trends in Applied Intelligent Systems 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part III

2026-03-21T10:29:50Z

Author García-Pedrajas, Nicolás. editor. Herrera, Francisco. editor. Fyfe, Colin. editor. Benítez, José Manuel. editor. Ali, Moonis. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13033-5
Format: Electronic Resources
Availability Online Library~1

Advanced Information Systems Engineering 22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010. Proceedings

2026-03-21T10:29:50Z

Author Pernici, Barbara. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13094-6
Format: Electronic Resources
Availability Online Library~1

Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I

2026-03-21T10:29:50Z

Author Petriu, Dorina C. editor. Rouquette, Nicolas. editor. Haugen, Øystein. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16145-2
Format: Electronic Resources
Availability Online Library~1

Biomedical Engineering Systems and Technologies International Joint Conference, BIOSTEC 2008 Funchal, Madeira, Portugal, January 28-31, 2008 Revised Selected Papers

2026-03-21T10:29:50Z

Author Fred, Ana. editor. Filipe, Joaquim. editor. Gamboa, Hugo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-92219-3
Format: Electronic Resources
Availability Online Library~1

Advanced Information Systems Engineering 21st International Conference, CAiSE 2009, Amsterdam, The Netherlands, June 8-12, 2009. Proceedings

2026-03-21T10:29:50Z

Author Eck, Pascal. editor. Gordijn, Jaap. editor. Wieringa, Roel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02144-2
Format: Electronic Resources
Availability Online Library~1

Web Information Systems Engineering - WISE 2009 10th International Conference, Poznań, Poland, October 5-7, 2009. Proceedings

2026-03-21T10:29:50Z

Author Vossen, Gottfried. editor. Long, Darrell D. E. editor. Yu, Jeffrey Xu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04409-0
Format: Electronic Resources
Availability Online Library~1

Model Driven Engineering Languages and Systems 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings

2026-03-21T10:29:50Z

Author Schürr, Andy. editor. Selic, Bran. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04425-0
Format: Electronic Resources
Availability Online Library~1

Knowledge-Based and Intelligent Information and Engineering Systems 13th International Conference, KES 2009, Santiago, Chile, September 28-30, 2009, Proceedings, Part II

2026-03-21T10:29:50Z

Author Velásquez, Juan D. editor. Ríos, Sebastián A. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04592-9
Format: Electronic Resources
Availability Online Library~1

Knowledge-Based and Intelligent Information and Engineering Systems 13th International Conference, KES 2009, Santiago, Chile, September 28-30, 2009, Proceedings, Part I

2026-03-21T10:29:50Z

Author Velásquez, Juan D. editor. Ríos, Sebastián A. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04595-0
Format: Electronic Resources
Availability Online Library~1

Engineering Secure Software and Systems First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings

2026-03-21T10:29:50Z

Author Massacci, Fabio. editor. Redwine, Samuel T. editor. Zannone, Nicola. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00199-4
Format: Electronic Resources
Availability Online Library~1

Next-Generation Applied Intelligence 22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2009, Tainan, Taiwan, June 24-27, 2009. Proceedings

2026-03-21T10:29:50Z

Author Chien, Been-Chian. editor. Hong, Tzung-Pei. editor. Chen, Shyi-Ming. editor. Ali, Moonis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02568-6
Format: Electronic Resources
Availability Online Library~1

Security Engineering for Vehicular IT Systems Improving the Trustworthiness and Dependability of Automotive IT Applications

2026-03-21T10:29:50Z

Author Wolf, Marko. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8348-9581-3
Format: Electronic Resources
Availability Online Library~1

Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering

2026-03-21T10:29:50Z

Author Elleithy, Khaled. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8735-6
Format: Electronic Resources
Availability Online Library~1

New Frontiers in Applied Artificial Intelligence 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 Wrocław, Poland, June 18-20, 2008 Proceedings

2026-03-21T10:29:50Z

Author Nguyen, Ngoc Thanh. editor. Borzemski, Leszek. editor. Grzech, Adam. editor. Ali, Moonis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69052-8
Format: Electronic Resources
Availability Online Library~1

Advanced Information Systems Engineering 20th International Conference, CAiSE 2008 Montpellier, France, June 16-20, 2008 Proceedings

2026-03-21T10:29:50Z

Author Bellahsène, Zohra. editor. Léonard, Michel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69534-9
Format: Electronic Resources
Availability Online Library~1

Engineering Environment-Mediated Multi-Agent Systems International Workshop, EEMMAS 2007, Dresden, Germany, October 5, 2007. Selected Revised and Invited Papers

2026-03-21T10:29:50Z

Author Weyns, Danny. editor. Brueckner, Sven A. editor. Demazeau, Yves. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85029-8
Format: Electronic Resources
Availability Online Library~1

Engineering Interactive Systems EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers

2026-03-21T10:29:50Z

Author Gulliksen, Jan. editor. Harning, Morton Borup. editor. Palanque, Philippe. editor. Veer, Gerrit C. editor. Wesson, Janet. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-92698-6
Format: Electronic Resources
Availability Online Library~1

Requirements Management The Interface Between Requirements Development and All Other Systems Engineering Processes

2026-03-21T10:29:50Z

Author Hood, Colin. author. Wiedemann, Simon. author. Fichtinger, Stefan. author. Pautz, Urte. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68476-3
Format: Electronic Resources
Availability Online Library~1

Knowledge-Based Intelligent Information and Engineering Systems 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part I

2026-03-21T10:29:50Z

Author Lovrek, Ignac. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85563-7
Format: Electronic Resources
Availability Online Library~1

Knowledge-Based Intelligent Information and Engineering Systems 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part II

2026-03-21T10:29:50Z

Author Lovrek, Ignac. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85565-1
Format: Electronic Resources
Availability Online Library~1

Knowledge-Based Intelligent Information and Engineering Systems 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part III

2026-03-21T10:29:50Z

Author Lovrek, Ignac. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85567-5
Format: Electronic Resources
Availability Online Library~1

Web Information Systems Engineering – WISE 2008 Workshops WISE 2008 International Workshops, Auckland, New Zealand, September 1-4, 2008. Proceedings

2026-03-21T10:29:50Z

Author Hartmann, Sven. editor. Zhou, Xiaofang. editor. Kirchberg, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85200-1
Format: Electronic Resources
Availability Online Library~1

Web Information Systems Engineering - WISE 2008 9th International Conference, Auckland, New Zealand, September 1-3, 2008. Proceedings

2026-03-21T10:29:50Z

Author Bailey, James. editor. Maier, David. editor. Schewe, Klaus-Dieter. editor. Thalheim, Bernhard. editor. Wang, Xiaoyang Sean. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85481-4
Format: Electronic Resources
Availability Online Library~1

Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings

2026-03-21T10:29:50Z

Author Czarnecki, Krzysztof. editor. Ober, Ileana. editor. Bruel, Jean-Michel. editor. Uhl, Axel. editor. Völter, Markus. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87875-9
Format: Electronic Resources
Availability Online Library~1

Engineering Interactive Systems Second Conference on Human-Centered Software Engineering, HCSE 2008, and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008. Proceedings

2026-03-21T10:29:50Z

Author Forbrig, Peter. editor. Paternò, Fabio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85992-5
Format: Electronic Resources
Availability Online Library~1

Advanced Information Systems Engineering 19th International Conference, CAiSE 2007, Trondheim, Norway, June 11-15, 2007. Proceedings

2026-03-21T10:29:50Z

Author Krogstie, John. editor. Opdahl, Andreas. editor. Sindre, Guttorm. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72988-4
Format: Electronic Resources
Availability Online Library~1

Engineering Self-Organising Systems 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers

2026-03-21T10:29:50Z

Author Brueckner, Sven A. editor. Hassas, Salima. editor. Jelasity, Márk. editor. Yamins, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69868-5
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Multi-Agent Systems V Research Issues and Practical Applications

2026-03-21T10:29:50Z

Author Choren, Ricardo. editor. Garcia, Alessandro. editor. Giese, Holger. editor. Leung, Ho-fung. editor. Lucena, Carlos. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73131-3
Format: Electronic Resources
Availability Online Library~1

New Trends in Applied Artificial Intelligence 20th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2007, Kyoto, Japan, June 26-29, 2007. Proceedings

2026-03-21T10:29:50Z

Author Okuno, Hiroshi G. editor. Ali, Moonis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73325-6
Format: Electronic Resources
Availability Online Library~1

Knowledge-Based Intelligent Information and Engineering Systems 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007. Proceedings, Part I

2026-03-21T10:29:50Z

Author Apolloni, Bruno. editor. Howlett, Robert J. editor. Jain, Lakhmi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74819-9
Format: Electronic Resources
Availability Online Library~1

Knowledge-Based Intelligent Information and Engineering Systems 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007. Proceedings, Part II

2026-03-21T10:29:50Z

Author Apolloni, Bruno. editor. Howlett, Robert J. editor. Jain, Lakhmi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74827-4
Format: Electronic Resources
Availability Online Library~1

Knowledge-Based Intelligent Information and Engineering Systems 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007, Proceedings, Part III

2026-03-21T10:29:50Z

Author Apolloni, Bruno. editor. Howlett, Robert J. editor. Jain, Lakhmi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74829-8
Format: Electronic Resources
Availability Online Library~1

Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007. Proceedings

2026-03-21T10:29:50Z

Author Engels, Gregor. editor. Opdyke, Bill. editor. Schmidt, Douglas C. editor. Weil, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75209-7
Format: Electronic Resources
Availability Online Library~1

Web Information Systems Engineering – WISE 2007 8th International Conference on Web Information Systems Engineering Nancy, France, December 3-7, 2007 Proceedings

2026-03-21T10:29:50Z

Author Benatallah, Boualem. editor. Casati, Fabio. editor. Georgakopoulos, Dimitrios. editor. Bartolini, Claudio. editor. Sadiq, Wasim. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76993-4
Format: Electronic Resources
Availability Online Library~1

Web Information Systems Engineering – WISE 2007 Workshops WISE 2007 International Workshops Nancy, France, December 3, 2007 Proceedings

2026-03-21T10:29:50Z

Author Weske, Mathias. editor. Hacid, Mohand-Saïd. editor. Godart, Claude. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77010-7
Format: Electronic Resources
Availability Online Library~1

Engineering Self-Organising Systems Third International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers

2026-03-21T10:29:50Z

Author Brueckner, Sven A. editor. Marzo Serugendo, Giovanna. editor. Hales, David. editor. Zambonelli, Franco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11734697
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Multi-Agent Systems IV Research Issues and Practical Applications

2026-03-21T10:29:50Z

Author Garcia, Alessandro. editor. Choren, Ricardo. editor. Lucena, Carlos. editor. Giorgini, Paolo. editor. Holvoet, Tom. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11738817
Format: Electronic Resources
Availability Online Library~1

Advanced Information Systems Engineering 18th International Conference, CAiSE 2006, Luxembourg, Luxembourg, June 5-9, 2006. Proceedings

2026-03-21T10:29:50Z

Author Dubois, Eric. editor. Pohl, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11767138
Format: Electronic Resources
Availability Online Library~1

Web Information Systems – WISE 2006 7th International Conference on Web Information Systems Engineering, Wuhan, China, October 23-26, 2006. Proceedings

2026-03-21T10:29:50Z

Author Aberer, Karl. editor. Peng, Zhiyong. editor. Rundensteiner, Elke A. editor. Zhang, Yanchun. editor. Li, Xuhui. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11912873
Format: Electronic Resources
Availability Online Library~1

Software Engineering Techniques Applied to Agricultural Systems An Object-Oriented and UML Approach

2026-03-21T10:29:50Z

Author Papajorgji, Petraq J. author. Pardalos, Panos M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-28171-1
Format: Electronic Resources
Availability Online Library~1

Software Engineering 2 Specification of Systems and Languages

2026-03-21T10:29:50Z

Author Bjørner, Dines. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-33193-3
Format: Electronic Resources
Availability Online Library~1

Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006. Proceedings

2026-03-21T10:29:50Z

Author Nierstrasz, Oscar. editor. Whittle, Jon. editor. Harel, David. editor. Reggio, Gianna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11880240
Format: Electronic Resources
Availability Online Library~1

Advances in Applied Artificial Intelligence 19th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2006, Annecy, France, June 27-30, 2006. Proceedings

2026-03-21T10:29:50Z

Author Ali, Moonis. editor. Dapoigny, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11779568
Format: Electronic Resources
Availability Online Library~1

Knowledge-Based Intelligent Information and Engineering Systems 10th International Conference, KES 2006, Bournemouth, UK, October 9-11, 2006. Proceedings, Part I

2026-03-21T10:29:50Z

Author Gabrys, Bogdan. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11892960
Format: Electronic Resources
Availability Online Library~1

Knowledge-Based Intelligent Information and Engineering Systems 10th International Conference, KES 2006, Bournemouth, UK, October 9-11, 2006. Proceedings, Part II

2026-03-21T10:29:50Z

Author Gabrys, Bogdan. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11893004
Format: Electronic Resources
Availability Online Library~1

Knowledge-Based Intelligent Information and Engineering Systems 10th International Conference, KES 2006, Bournemouth, UK, October 9-11, 2006. Proceedings, Part III

2026-03-21T10:29:50Z

Author Gabrys, Bogdan. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11893011
Format: Electronic Resources
Availability Online Library~1

Knowledge and Skill Chains in Engineering and Manufacturing Information Infrastructure in the Era of Global Communications Proceedings of the IFIP TC5/WG5.3, WG5.7, WG5.12 Fifth International Working Conference of Information Infrastructure Systems for Manufacturing 2002 (DIIDM2002), November 18–20, 2002 in Osaka, Japan

2026-03-21T10:29:50Z

Author Arai, Eiji. editor. Kimura, Fumihiko. editor. Goossenaerts, Jan. editor. Shirase, Keiichi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b102979
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Multi-Agent Systems III Research Issues and Practical Applications

2026-03-21T10:29:50Z

Author Choren, Ricardo. editor. Garcia, Alessandro. editor. Lucena, Carlos. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106347
Format: Electronic Resources
Availability Online Library~1

Innovations in Applied Artificial Intelligence 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2005, Bari, Italy, June 22-24, 2005. Proceedings

2026-03-21T10:29:50Z

Author Ali, Moonis. editor. Esposito, Floriana. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137656
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings

2026-03-21T10:29:50Z

Author Bravetti, Mario. editor. Kloul, Leïla. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11549970
Format: Electronic Resources
Availability Online Library~1

Model Driven Engineering Languages and Systems 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005. Proceedings

2026-03-21T10:29:50Z

Author Briand, Lionel. editor. Williams, Clay. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11557432
Format: Electronic Resources
Availability Online Library~1

Web Information Systems Engineering – WISE 2005 6th International Conference on Web Information Systems Engineering, New York, NY, USA, November 20-22, 2005. Proceedings

2026-03-21T10:29:50Z

Author Ngu, Anne H. H. editor. Kitsuregawa, Masaru. editor. Neuhold, Erich J. editor. Chung, Jen-Yao. editor. Sheng, Quan Z. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11581062
Format: Electronic Resources
Availability Online Library~1

Engineering Human Computer Interaction and Interactive Systems Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers

2026-03-21T10:29:50Z

Author Bastide, Rémi. editor. Palanque, Philippe. editor. Roth, Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136790
Format: Electronic Resources
Availability Online Library~1

Knowledge-Based Intelligent Information and Engineering Systems 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part I

2026-03-21T10:29:50Z

Author Khosla, Rajiv. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11552413
Format: Electronic Resources
Availability Online Library~1

Knowledge-Based Intelligent Information and Engineering Systems 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part II

2026-03-21T10:29:50Z

Author Khosla, Rajiv. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11552451
Format: Electronic Resources
Availability Online Library~1

Knowledge-Based Intelligent Information and Engineering Systems 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part III

2026-03-21T10:29:50Z

Author Khosla, Rajiv. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11553939
Format: Electronic Resources
Availability Online Library~1

Knowledge-Based Intelligent Information and Engineering Systems 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part IV

2026-03-21T10:29:50Z

Author Khosla, Rajiv. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11554028
Format: Electronic Resources
Availability Online Library~1

Advanced Information Systems Engineering 17th International Conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005. Proceedings

2026-03-21T10:29:50Z

Author Pastor, Oscar. editor. Falcão e Cunha, João. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136788
Format: Electronic Resources
Availability Online Library~1

Web Information Systems Engineering – WISE 2005 Workshops WISE 2005 International Workshops, New York, NY, USA November 20-22, 2005. Proceedings

2026-03-21T10:29:50Z

Author Dean, Mike. editor. Guo, Yuanbo. editor. Jun, Woochun. editor. Kaschek, Roland. editor. Krishnaswamy, Shonali. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11581116
Format: Electronic Resources
Availability Online Library~1

Agent-Mediated Electronic Commerce VI. Theories for and Engineering of Distributed Mechanisms and Systems AAMAS 2004 Workshop, AMEC 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers

2026-03-21T10:29:50Z

Author Faratin, Peyman. editor. Rodríguez-Aguilar, Juan A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11575726
Format: Electronic Resources
Availability Online Library~1

Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

2026-03-21T10:29:50Z

Author Broy, Manfred. editor. Grünbauer, Johannes. editor. Harel, David. editor. Hoare, Tony. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3532-2
Format: Electronic Resources
Availability Online Library~1

Provably Correct Systems

2026-03-21T10:29:50Z

Author Hinchey, Mike. editor. Bowen, Jonathan P. editor. Olderog, Ernst-Rüdiger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-48628-4
Format: Electronic Resources
Availability Online Library~1

Steuerung in Dienstleistungsnetzwerken Ein Ansatz für ein integriertes Qualitätsinformationssystem

2026-03-21T10:29:50Z

Author Meschke, Martina. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(338208.1)
Electronic Access http://dx.doi.org/10.1007/978-3-658-03555-6
Format: Electronic Resources
Availability Online Library~1

The Web Resource Space Model

2026-03-21T10:29:50Z

Author Zhuge, Hai. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-72772-1
Format: Electronic Resources
Availability Online Library~1

Semantic Web: Concepts, Technologies and Applications

2026-03-21T10:29:50Z

Author Breitman, Karin Koogan. author. Casanova, Marco Antonio. author. Truszkowski, Walter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-710-7
Format: Electronic Resources
Availability Online Library~1

Agent Technology from a Formal Perspective

2026-03-21T10:29:50Z

Author Rouff, Christopher A. editor. Hinchey, Michael. editor. Rash, James. editor. Truszkowski, Walter. editor. Gordon-Spears, Diana. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-271-3
Format: Electronic Resources
Availability Online Library~1

Terminological Dictionary of Automatic Control, Systems and Robotics

2026-03-21T10:29:50Z

Author Karba, Rihard. author. Kocijan, Juš. author. Bajd, Tadej. author. Žagar Karer, Mojca. author. Karer, Gorazd. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-35755-8
Format: Electronic Resources
Availability Online Library~1

Mechatronics for Cultural Heritage and Civil Engineering

2026-03-21T10:29:50Z

Author Ottaviano, Erika. editor. Pelliccio, Assunta. editor. Gattulli, Vincenzo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68646-2
Format: Electronic Resources
Availability Online Library~1

Cyber Security: Power and Technology

2026-03-21T10:29:50Z

Author Lehto, Martti. editor. Neittaanmäki, Pekka. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75307-2
Format: Electronic Resources
Availability Online Library~1

Aligning Organizations Through Measurement The GQM+Strategies Approach

2026-03-21T10:29:50Z

Author Basili, Victor. author. Trendowicz, Adam. author. Kowalczyk, Martin. author. Heidrich, Jens. author. Seaman, Carolyn. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-05047-8
Format: Electronic Resources
Availability Online Library~1

Software Cost Estimation, Benchmarking, and Risk Assessment The Software Decision-Makers' Guide to Predictable Software Development

2026-03-21T10:29:50Z

Author Trendowicz, Adam. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333358.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-30764-5
Format: Electronic Resources
Availability Online Library~1

Software Process Definition and Management

2026-03-21T10:29:50Z

Author Münch, Jürgen. author. Armbrust, Ove. author. Kowalczyk, Martin. author. Soto, Martín. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24291-5
Format: Electronic Resources
Availability Online Library~1

Automatic Calibration and Reconstruction for Active Vision Systems

2026-03-21T10:29:50Z

Author Zhang, Beiwei. author. Li, Y. F. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-2654-3
Format: Electronic Resources
Availability Online Library~1

Reinforcement and systemic machine learning for decision making

2026-03-21T10:29:50Z

Author Kulkarni, Parag.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6266787
Format: Electronic Resources
Availability Online Library~1

Introduction to Modern Sleep Technology

2026-03-21T10:29:50Z

Author Chiang, Rayleigh Ping-Ying. editor. Kang, Shih-Chun (Jessy). editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-5470-6
Format: Electronic Resources
Availability Online Library~1

Haptics for Virtual Reality and Teleoperation

2026-03-21T10:29:50Z

Author Mihelj, Matjaž. author. Podobnik, Janez. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-5718-9
Format: Electronic Resources
Availability Online Library~1

Web Mining and Social Networking Techniques and Applications

2026-03-21T10:29:50Z

Author Xu, Guandong. author. Zhang, Yanchun. author. Li, Lin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-7735-9
Format: Electronic Resources
Availability Online Library~1

Service Robotics within the Digital Home Applications and Future Prospects

2026-03-21T10:29:50Z

Author González Alonso, Ignacio. author. Fernández, Mercedes. author. Maestre, José M. author. García Fuente, María del Pilar Almudena. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-1491-5
Format: Electronic Resources
Availability Online Library~1

Collaborative Design in Virtual Environments

2026-03-21T10:29:50Z

Author Wang, Xiangyu. editor. Tsai, Jerry Jen-Hung. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-0605-7
Format: Electronic Resources
Availability Online Library~1

Quantum Neural Computation

2026-03-21T10:29:50Z

Author Ivancevic, Vladimir G. author. Ivancevic, Tijana T. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-3350-5
Format: Electronic Resources
Availability Online Library~1

Intelligent Infrastructures

2026-03-21T10:29:50Z

Author Negenborn, Rudy R. editor. Lukszo, Zofia. editor. Hellendoorn, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-3598-1
Format: Electronic Resources
Availability Online Library~1

Human and Nature Minding Automation An Overview of Concepts, Methods, Tools and Applications

2026-03-21T10:29:50Z

Author Tzafestas, Spyros G. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-3562-2
Format: Electronic Resources
Availability Online Library~1

Constraint Theory Multidimensional Mathematical Model Management

2026-03-21T10:29:50Z

Author Friedman, George J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-27650-5
Format: Electronic Resources
Availability Online Library~1

Web Content Delivery

2026-03-21T10:29:50Z

Author Tang, Xueyan. editor. Xu, Jianliang. editor. Chanson, Samuel T. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-27727-7
Format: Electronic Resources
Availability Online Library~1

Semistructured Database Design

2026-03-21T10:29:50Z

Author Ling, Tok Wang. author. Lee, Mong Li. author. Dobbie, Gillian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b101873
Format: Electronic Resources
Availability Online Library~1

Cyber-Physical Systems Driving force for innovation in mobility, health, energy and production.

2026-03-21T10:29:50Z

Author acatech - National Academy of Science and Engineering, 2011. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29090-9
Format: Electronic Resources
Availability Online Library~1

Intelligent Engineering Optimisation with the Bees Algorithm

2026-03-21T10:29:50Z

Author Pham, D. T. editor. (orcid)0000-0003-3148-2404 Hartono, Natalia. editor. (orcid)0000-0003-2314-1394 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-64936-3
Format: Electronic Resources
Availability Online Library~1

Fundamental Approaches to Software Engineering 28th International Conference, FASE 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

2026-03-21T10:29:50Z

Author Boronat, Artur. editor. (orcid)0000-0003-2024-1736 Fraser, Gordon. editor. (orcid)0000-0002-4364-6595 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90900-9
Format: Electronic Resources
Availability Online Library~1

Knowledge Discovery, Knowledge Engineering and Knowledge Management 15th International Joint Conference, IC3K 2023, Rome, Italy, November 13-15, 2023, Revised Selected Papers

2026-03-21T10:29:50Z

Author Coenen, Frans. editor. Fred, Ana. editor. Aveiro, David. editor. Dietz, Jan. editor. Poggi, Antonella. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-87569-4
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I

2026-03-21T10:29:50Z

Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-73709-1
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Machine Learning Techniques in Engineering and Management

2026-03-21T10:29:50Z

Author Srinivasa Raju, Komaragiri. author. (orcid)0009-0006-9268-8229 Nagesh Kumar, Dasika. author. (orcid)0000-0002-5294-8501 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-2621-2
Format: Electronic Resources
Availability Online Library~1

Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings

2026-03-21T10:29:50Z

Author Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57259-3
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence for Neuroscience and Emotional Systems 10th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2024, Olhâo, Portugal, June 4-7, 2024, Proceedings, Part I

2026-03-21T10:29:50Z

Author Ferrández Vicente, José Manuel. editor. Val Calvo, Mikel. editor. Adeli, Hojjat. editor. (orcid)0000-0001-5718-1453 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-61140-7
Format: Electronic Resources
Availability Online Library~1

The French School of Programming

2026-03-21T10:29:50Z

Author Meyer, Bertrand. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34518-0
Format: Electronic Resources
Availability Online Library~1

Structural Decision Diagrams in Digital Test Theory and Applications

2026-03-21T10:29:50Z

Author Ubar, Raimund. author. Raik, Jaan. author. Jenihhin, Maksim. author. Jutman, Artur. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-44734-1
Format: Electronic Resources
Availability Online Library~1

Advanced Spiking Neural P Systems Models and Applications

2026-03-21T10:29:50Z

Author Peng, Hong. author. (orcid)0000-0002-4736-0164 Wang, Jun. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-5280-5
Format: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17, 2024, Proceedings

2026-03-21T10:29:50Z

Author Ceccarelli, Andrea. editor. (orcid)0000-0002-2291-2428 Trapp, Mario. editor. Bondavalli, Andrea. editor. (orcid)0000-0001-7366-6530 Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443 Gallina, Barbara. editor. (orcid)0000-0002-6952-1053
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-68738-9
Format: Electronic Resources
Availability Online Library~1

Advances in Reliability and Maintainability Methods and Engineering Applications Essays in Honor of Professor Hong-Zhong Huang on his 60th Birthday

2026-03-21T10:29:50Z

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: Electronic Resources
Availability Online Library~1

Self-powered SoC Platform for Analysis and Prediction of Cardiac Arrhythmias

2026-03-21T10:29:50Z

Author Saleh, Hani. author. Bayasi, Nourhan. author. Mohammad, Baker. author. Ismail, Mohammed. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63973-4
Format: Electronic Resources
Availability Online Library~1

Trusted Digital Circuits Hardware Trojan Vulnerabilities, Prevention and Detection

2026-03-21T10:29:50Z

Author Salmani, Hassan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-79081-7
Format: Electronic Resources
Availability Online Library~1

Timing Performance of Nanometer Digital Circuits Under Process Variations

2026-03-21T10:29:50Z

Author Champac, Victor. author. Garcia Gervacio, Jose. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75465-9
Format: Electronic Resources
Availability Online Library~1

Physically Unclonable Functions From Basic Design Principles to Advanced Hardware Security Applications

2026-03-21T10:29:50Z

Author Halak, Basel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-76804-5
Format: Electronic Resources
Availability Online Library~1

Smart Camera Design Algorithms, Architectures, and Art

2026-03-21T10:29:50Z

Author Wolf, Marilyn. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69523-5
Format: Electronic Resources
Availability Online Library~1

Design Techniques for Mash Continuous-Time Delta-Sigma Modulators

2026-03-21T10:29:50Z

Author Liu, Qiyuan. author. Edward, Alexander. author. Briseno-Vidrios, Carlos. author. Silva-Martinez, Jose. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-77225-7
Format: Electronic Resources
Availability Online Library~1

ASIC/SoC Functional Design Verification A Comprehensive Guide to Technologies and Methodologies

2026-03-21T10:29:50Z

Author Mehta, Ashok B. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-59418-7
Format: Electronic Resources
Availability Online Library~1

Energy Efficient Embedded Video Processing Systems A Hardware-Software Collaborative Approach

2026-03-21T10:29:50Z

Author Khan, Muhammad Usman Karim. author. Shafique, Muhammad. author. Henkel, Jörg. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61455-7
Format: Electronic Resources
Availability Online Library~1

Hybrid ADCs, Smart Sensors for the IoT, and Sub-1V & Advanced Node Analog Circuit Design Advances in Analog Circuit Design 2017

2026-03-21T10:29:50Z

Author Harpe, Pieter. editor. Makinwa, Kofi A. A. editor. Baschirotto, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61285-0
Format: Electronic Resources
Availability Online Library~1

Simulation and Optimization of Digital Circuits Considering and Mitigating Destabilizing Factors

2026-03-21T10:29:50Z

Author Melikyan, Vazgen. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-71637-4
Format: Electronic Resources
Availability Online Library~1

Invasive Computing for Mapping Parallel Programs to Many-Core Architectures

2026-03-21T10:29:50Z

Author Weichslgartner, Andreas. author. Wildermann, Stefan. author. Glaß, Michael. author. Teich, Jürgen. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-7356-4
Format: Electronic Resources
Availability Online Library~1

Reliable and Energy Efficient Streaming Multiprocessor Systems

2026-03-21T10:29:50Z

Author Das, Anup Kumar. author. Kumar, Akash. author. Veeravalli, Bharadwaj. author. Catthoor, Francky. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69374-3
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Electromigration-Aware Integrated Circuit Design

2026-03-21T10:29:50Z

Author Lienig, Jens. author. Thiele, Matthias. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73558-0
Format: Electronic Resources
Availability Online Library~1

Low-Power Design and Power-Aware Verification

2026-03-21T10:29:50Z

Author Khondkar, Progyna. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66619-8
Format: Electronic Resources
Availability Online Library~1

Symbolic Parallelization of Nested Loop Programs

2026-03-21T10:29:50Z

Author Tanase, Alexandru-Petru. author. Hannig, Frank. author. Teich, Jürgen. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73909-0
Format: Electronic Resources
Availability Online Library~1

Formal System Verification State-of the-Art and Future Trends

2026-03-21T10:29:50Z

Author Drechsler, Rolf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57685-5
Format: Electronic Resources
Availability Online Library~1

Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2016

2026-03-21T10:29:50Z

Author Fummi, Franco. editor. Wille, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-62920-9
Format: Electronic Resources
Availability Online Library~1

Advanced Techniques for Power, Energy, and Thermal Management for Clustered Manycores

2026-03-21T10:29:50Z

Author Pagani, Santiago. author. Chen, Jian-Jia. author. Shafique, Muhammad. author. Henkel, Jörg. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-77479-4
Format: Electronic Resources
Availability Online Library~1

Contactless VLSI Measurement and Testing Techniques

2026-03-21T10:29:50Z

Author Sayil, Selahattin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69673-7
Format: Electronic Resources
Availability Online Library~1

Digital Storage in Consumer Electronics The Essential Guide

2026-03-21T10:29:50Z

Author Coughlin, Thomas M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69907-3
Format: Electronic Resources
Availability Online Library~1

Embedded Flash Memory for Embedded Systems: Technology, Design for Sub-systems, and Innovations

2026-03-21T10:29:50Z

Author Hidaka, Hideto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-55306-1
Format: Electronic Resources
Availability Online Library~1

Computer Systems Digital Design, Fundamentals of Computer Architecture and Assembly Language

2026-03-21T10:29:50Z

Author Elahi, Ata. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66775-1
Format: Electronic Resources
Availability Online Library~1

Brain-Machine Interface Closed-loop Bidirectional System Design

2026-03-21T10:29:50Z

Author Liu, Xilin. author. Van der Spiegel, Jan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67940-2
Format: Electronic Resources
Availability Online Library~1

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

2026-03-21T10:29:50Z

Author Przigoda, Nils. author. Wille, Robert. author. Przigoda, Judith. author. Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72814-8
Format: Electronic Resources
Availability Online Library~1

Fog Computing in the Internet of Things Intelligence at the Edge

2026-03-21T10:29:50Z

Author Rahmani, Amir M. editor. Liljeberg, Pasi. editor. Preden, Jürgo-Sören. editor. Jantsch, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57639-8
Format: Electronic Resources
Availability Online Library~1

CMOS Circuits for Biological Sensing and Processing

2026-03-21T10:29:50Z

Author Mitra, Srinjoy. editor. Cumming, David R. S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67723-1
Format: Electronic Resources
Availability Online Library~1

Energy Efficient High Performance Processors Recent Approaches for Designing Green High Performance Computing

2026-03-21T10:29:50Z

Author Haj-Yahya, Jawad. author. Mendelson, Avi. author. Ben Asher, Yosi. author. Chattopadhyay, Anupam. author. (orcid)0000-0002-8818-6983 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-8554-3
Format: Electronic Resources
Availability Online Library~1

Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things

2026-03-21T10:29:50Z

Author Marwedel, Peter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-56045-8
Format: Electronic Resources
Availability Online Library~1

Dependable Multicore Architectures at Nanoscale

2026-03-21T10:29:50Z

Author Ottavi, Marco. editor. Gizopoulos, Dimitris. editor. Pontarelli, Salvatore. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54422-9
Format: Electronic Resources
Availability Online Library~1

Advanced Logic Synthesis

2026-03-21T10:29:50Z

Author Reis, André Inácio. editor. Drechsler, Rolf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67295-3
Format: Electronic Resources
Availability Online Library~1

Machine Learning for Model Order Reduction

2026-03-21T10:29:50Z

Author Mohamed, Khaled Salah. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75714-8
Format: Electronic Resources
Availability Online Library~1

5G and E-Band Communication Circuits in Deep-Scaled CMOS

2026-03-21T10:29:50Z

Author Vigilante, Marco. author. Reynaert, Patrick. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72646-5
Format: Electronic Resources
Availability Online Library~1

Design of FPGA-Based Computing Systems with OpenCL

2026-03-21T10:29:50Z

Author Waidyasooriya, Hasitha Muthumala. author. Hariyama, Masanori. author. Uchiyama, Kunio. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68161-0
Format: Electronic Resources
Availability Online Library~1

Energy-Efficient Smart Temperature Sensors in CMOS Technology

2026-03-21T10:29:50Z

Author Souri, Kamran. author. Makinwa, Kofi A.A. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-62307-8
Format: Electronic Resources
Availability Online Library~1

Internet-of-Things (IoT) Systems Architectures, Algorithms, Methodologies

2026-03-21T10:29:50Z

Author Serpanos, Dimitrios. author. Wolf, Marilyn. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69715-4
Format: Electronic Resources
Availability Online Library~1

Self-Aware Computing Systems

2026-03-21T10:29:50Z

Author Kounev, Samuel. editor. Kephart, Jeffrey O. editor. Milenkoski, Aleksandar. editor. Zhu, Xiaoyun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47474-8
Format: Electronic Resources
Availability Online Library~1

Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Tools

2026-03-21T10:29:50Z

Author Mahmood, Zaigham. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54325-3
Format: Electronic Resources
Availability Online Library~1

Networked Systems 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings

2026-03-21T10:29:50Z

Author El Abbadi, Amr. editor. (orcid)0000-0003-4692-3268 Garbinato, Benoît. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-59647-1
Format: Electronic Resources
Availability Online Library~1

Software Engineering: Specification, Implementation, Verification

2026-03-21T10:29:50Z

Author Alagić, Suad. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61518-9
Format: Electronic Resources
Availability Online Library~1

Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings

2026-03-21T10:29:50Z

Author Reinecke, Philipp. editor. Di Marco, Antinisca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66583-2
Format: Electronic Resources
Availability Online Library~1

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings

2026-03-21T10:29:50Z

Author Fantechi, Alessandro. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68499-4
Format: Electronic Resources
Availability Online Library~1

Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

2026-03-21T10:29:50Z

Author Larsen, Kim Guldstrand. editor. Sokolsky, Oleg. editor. Wang, Ji. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69483-2
Format: Electronic Resources
Availability Online Library~1

Conceptual Modeling Perspectives

2026-03-21T10:29:50Z

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: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings

2026-03-21T10:29:50Z

Author Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66284-8
Format: Electronic Resources
Availability Online Library~1

DNA Computing and Molecular Programming 23rd International Conference, DNA 23, Austin, TX, USA, September 24-28, 2017, Proceedings

2026-03-21T10:29:50Z

Author Brijder, Robert. editor. Qian, Lulu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66799-7
Format: Electronic Resources
Availability Online Library~1

Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

2026-03-21T10:29:50Z

Author Abate, Alessandro. editor. (orcid)0000-0002-5627-9093 Boldo, Sylvie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63501-9
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Economic Theory: Skynet in the Market

2026-03-21T10:29:50Z

Author Marwala, Tshilidzi. author. Hurwitz, Evan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66104-9
Format: Electronic Resources
Availability Online Library~1

PRIMA 2017: Principles and Practice of Multi-Agent Systems 20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings

2026-03-21T10:29:50Z

Author An, Bo. editor. Bazzan, Ana. editor. Leite, João. editor. Villata, Serena. editor. van der Torre, Leendert. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69131-2
Format: Electronic Resources
Availability Online Library~1

Distributed Simulation A Model Driven Engineering Approach

2026-03-21T10:29:50Z

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: Electronic Resources
Availability Online Library~1

An Introduction to Transfer Entropy Information Flow in Complex Systems

2026-03-21T10:29:50Z

Author Bossomaier, Terry. author. Barnett, Lionel. author. Harré, Michael. author. Lizier, Joseph T. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-43222-9
Format: Electronic Resources
Availability Online Library~1

Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings

2026-03-21T10:29:50Z

Author Fiems, Dieter. editor. Paolieri, Marco. editor. Platis, Agapios N. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46433-6
Format: Electronic Resources
Availability Online Library~1

Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

2026-03-21T10:29:50Z

Author Stevens, Perdita. editor. Wąsowski, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-49665-7
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I

2026-03-21T10:29:50Z

Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47166-2
Format: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings

2026-03-21T10:29:50Z

Author Skavhaug, Amund. editor. Guiochet, Jérémie. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45480-1
Format: Electronic Resources
Availability Online Library~1

Intelligent Computing Theories and Application 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part I

2026-03-21T10:29:50Z

Author Huang, De-Shuang. editor. Bevilacqua, Vitoantonio. editor. Premaratne, Prashan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42291-6
Format: Electronic Resources
Availability Online Library~1

Intelligent Computing Theories and Application 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part II

2026-03-21T10:29:50Z

Author Huang, De-Shuang. editor. Jo, Kang-Hyun. editor. (orcid)0000-0001-8317-6092 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42294-7
Format: Electronic Resources
Availability Online Library~1

FM 2016: Formal Methods 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings

2026-03-21T10:29:50Z

Author Fitzgerald, John. editor. Heitmeyer, Constance. editor. Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Philippou, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-48989-6
Format: Electronic Resources
Availability Online Library~1

Coordination, Organizations, Institutions, and Norms in Agent Systems XI COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised Selected Papers

2026-03-21T10:29:50Z

Author Dignum, Virginia. editor. (orcid)0000-0001-7409-5813 Noriega, Pablo. editor. Sensoy, Murat. editor. Sichman, Jaime Simão. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42691-4
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

2026-03-21T10:29:50Z

Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47169-3
Format: Electronic Resources
Availability Online Library~1

PRIMA 2016: Principles and Practice of Multi-Agent Systems 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings

2026-03-21T10:29:50Z

Author Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408 Chopra, Amit K. editor. Son, Tran Cao. editor. Hirayama, Katsutoshi. editor. Torroni, Paolo. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-44832-9
Format: Electronic Resources
Availability Online Library~1

Behavioural Models From Modelling Finite Automata to Analysing Business Processes

2026-03-21T10:29:50Z

Author Kunze, Matthias. author. Weske, Mathias. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-44960-9
Format: Electronic Resources
Availability Online Library~1

Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings

2026-03-21T10:29:50Z

Author Fränzle, Martin. editor. Kapur, Deepak. editor. Zhan, Naijun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47677-3
Format: Electronic Resources
Availability Online Library~1

Engineering Psychology and Cognitive Ergonomics 13th International Conference, EPCE 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings

2026-03-21T10:29:50Z

Author Harris, Don. editor. (orcid)0000-0002-2113-8848 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-40030-3
Format: Electronic Resources
Availability Online Library~1

Evaluation of Novel Approaches to Software Engineering 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016, Revised Selected Papers

2026-03-21T10:29:50Z

Author Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545 Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-56390-9
Format: Electronic Resources
Availability Online Library~1

Encyclopedia of Computational Neuroscience

2026-03-21T10:29:50Z

Author Jaeger, Dieter. editor. Jung, Ranu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4614-6675-8
Format: Electronic Resources
Availability Online Library~1

Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers

2026-03-21T10:29:50Z

Author Cirne, Walfredo. editor. Desai, Narayan. editor. Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334071.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35867-8
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

2026-03-21T10:29:50Z

Author Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334077.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35887-6
Format: Electronic Resources
Availability Online Library~1

Facing the Multicore-Challenge III Aspects of New Paradigms and Technologies in Parallel Computing

2026-03-21T10:29:50Z

Author Keller, Rainer. editor. Kramer, David. editor. Weiss, Jan-Philipp. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334079.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35893-7
Format: Electronic Resources
Availability Online Library~1

Knowledge Science, Engineering and Management 6th International Conference, KSEM 2013, Dalian, China, August 10-12, 2013. Proceedings

2026-03-21T10:29:50Z

Author Wang, Mingzheng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334849.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39787-5
Format: Electronic Resources
Availability Online Library~1

Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings

2026-03-21T10:29:50Z

Author Malyshkin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334871.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39958-9
Format: Electronic Resources
Availability Online Library~1

Innovative Technologies for Dependable OTS-Based Critical Systems Challenges and Achievements of the CRITICAL STEP Project

2026-03-21T10:29:50Z

Author Cotroneo, Domenico. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335577.1)
Electronic Access http://dx.doi.org/10.1007/978-88-470-2772-5
Format: Electronic Resources
Availability Online Library~1

Embedded Multimedia Security Systems Algorithms and Architectures

2026-03-21T10:29:50Z

Author Pande, Amit. author. Zambreno, Joseph. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330984.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4459-5
Format: Electronic Resources
Availability Online Library~1

UTLEON3: Exploring Fine-Grain Multi-Threading in FPGAs

2026-03-21T10:29:50Z

Author Daněk, Martin. author. Kafka, Leoš. author. Kohout, Lukáš. author. Sýkora, Jaroslav. author. Bartosinski, Roman. author.
Preferred Shelf Number ONLINE(331311.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-2410-9
Format: Electronic Resources
Availability Online Library~1

Constraining Designs for Synthesis and Timing Analysis A Practical Guide to Synopsys Design Constraints (SDC)

2026-03-21T10:29:50Z

Author Gangadharan, Sridhar. author. Churiwala, Sanjay. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331327.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-3269-2
Format: Electronic Resources
Availability Online Library~1

A Practical Introduction to Hardware/Software Codesign

2026-03-21T10:29:50Z

Author Schaumont, Patrick R. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331370.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-3737-6
Format: Electronic Resources
Availability Online Library~1

Handbook of Neuroevolution Through Erlang

2026-03-21T10:29:50Z

Author Sher, Gene I. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331512.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4463-3
Format: Electronic Resources
Availability Online Library~1

Design Technologies for Green and Sustainable Computing Systems

2026-03-21T10:29:50Z

Author Pande, Partha Pratim. editor. Ganguly, Amlan. editor. Chakrabarty, Krishnendu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331637.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4975-1
Format: Electronic Resources
Availability Online Library~1

Energy-Efficient Communication Processors Design and Implementation for Emerging Wireless Systems

2026-03-21T10:29:50Z

Author Fasthuber, Robert. author. Catthoor, Francky. author. Raghavan, Praveen. author. Naessens, Frederik. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331642.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4992-8
Format: Electronic Resources
Availability Online Library~1

Energy-aware Scheduling on Multiprocessor Platforms

2026-03-21T10:29:50Z

Author Li, Dawei. author. Wu, Jie. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331714.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5224-9
Format: Electronic Resources
Availability Online Library~1

Finding Source Code on the Web for Remix and Reuse

2026-03-21T10:29:50Z

Author Sim, Susan Elliott. editor. Gallardo-Valencia, Rosalva E. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332071.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-6596-6
Format: Electronic Resources
Availability Online Library~1

Sustainable Web Ecosystem Design

2026-03-21T10:29:50Z

Author O'Toole, Greg. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332331.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-7714-3
Format: Electronic Resources
Availability Online Library~1

Scala Design Patterns Patterns for Practical Reuse and Design

2026-03-21T10:29:50Z

Author Hunt, John. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332904.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02192-8
Format: Electronic Resources
Availability Online Library~1

Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers

2026-03-21T10:29:50Z

Author Cordeiro, José. editor. Virvou, Maria. editor. Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333246.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-29578-2
Format: Electronic Resources
Availability Online Library~1

Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies

2026-03-21T10:29:50Z

Author Reisig, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333688.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-33278-4
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2012: Parallel Processing Workshops BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers

2026-03-21T10:29:50Z

Author Caragiannis, Ioannis. editor. Alexander, Michael. editor. Badia, Rosa Maria. editor. Cannataro, Mario. editor. Costan, Alexandru. editor.
Preferred Shelf Number ONLINE(334328.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36949-0
Format: Electronic Resources
Availability Online Library~1

Innovation and Future of Enterprise Information Systems ERP Future 2012 Conference, Salzburg, Austria, November 2012, Revised Papers

2026-03-21T10:29:50Z

Author Piazolo, Felix. editor. Felderer, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334344.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37021-2
Format: Electronic Resources
Availability Online Library~1

Web Dynpro ABAP for Practitioners

2026-03-21T10:29:50Z

Author Gellert, Ulrich. author. Cristea, Ana Daniela. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334566.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38247-5
Format: Electronic Resources
Availability Online Library~1

Autonomic Computing Principles, Design and Implementation

2026-03-21T10:29:50Z

Author Lalanda, Philippe. author. McCann, Julie A. author. Diaconescu, Ada. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331115.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5007-7
Format: Electronic Resources
Availability Online Library~1

Concise Guide to Databases A Practical Introduction

2026-03-21T10:29:50Z

Author Lake, Peter. author. Crowther, Paul. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331224.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5601-7
Format: Electronic Resources
Availability Online Library~1

Dynamic Reconfiguration in Real-Time Systems Energy, Performance, and Thermal Perspectives

2026-03-21T10:29:50Z

Author Wang, Weixun. author. Mishra, Prabhat. author. Ranka, Sanjay. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331237.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-0278-7
Format: Electronic Resources
Availability Online Library~1

Partial Reconfiguration on FPGAs Architectures, Tools and Applications

2026-03-21T10:29:50Z

Author Koch, Dirk. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331261.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1225-0
Format: Electronic Resources
Availability Online Library~1

System-Level Validation High-Level Modeling and Directed Test Generation Techniques

2026-03-21T10:29:50Z

Author Chen, Mingsong. author. Qin, Xiaoke. author. Koo, Heon-Mo. author. Mishra, Prabhat. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331265.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1359-2
Format: Electronic Resources
Availability Online Library~1

Embedded Systems Design with FPGAs

2026-03-21T10:29:50Z

Author Athanas, Peter. editor. Pnevmatikatos, Dionisios. editor. Sklavos, Nicolas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331266.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1362-2
Format: Electronic Resources
Availability Online Library~1

High-Performance Computing Using FPGAs

2026-03-21T10:29:50Z

Author Vanderbauwhede, Wim. editor. Benkrid, Khaled. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331283.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1791-0
Format: Electronic Resources
Availability Online Library~1

Self-Organization in Embedded Real-Time Systems

2026-03-21T10:29:50Z

Author Higuera-Toledano, M. Teresa. editor. Brinkschulte, Uwe. editor. Rettberg, Achim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331293.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1969-3
Format: Electronic Resources
Availability Online Library~1

Data Acquisition Systems From Fundamentals to Applied Design

2026-03-21T10:29:50Z

Author Di Paolo Emilio, Maurizio. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331451.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4214-1
Format: Electronic Resources
Availability Online Library~1

An ASIC Low Power Primer Analysis, Techniques and Specification

2026-03-21T10:29:50Z

Author Chadha, Rakesh. author. Bhasker, J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331464.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4271-4
Format: Electronic Resources
Availability Online Library~1

Compilation and Synthesis for Embedded Reconfigurable Systems An Aspect-Oriented Approach

2026-03-21T10:29:50Z

Author Cardoso, João Manuel Paiva. editor. Diniz, Pedro C. editor. de Figueiredo Coutinho, José Gabriel. editor. Petrov, Zlatko Marinov. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331615.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4894-5
Format: Electronic Resources
Availability Online Library~1

Model-Based Design of Adaptive Embedded Systems

2026-03-21T10:29:50Z

Author Basten, Twan. editor. Hamberg, Roelof. editor. Reckers, Frans. editor. Verriet, Jacques. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331594.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4821-1
Format: Electronic Resources
Availability Online Library~1

Information Systems Development Reflections, Challenges and New Directions

2026-03-21T10:29:50Z

Author Pooley, Rob. editor. Coady, Jennifer. editor. Schneider, Christoph. editor. Linger, Henry. editor. Barry, Chris. editor.
Preferred Shelf Number ONLINE(331631.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4951-5
Format: Electronic Resources
Availability Online Library~1

NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings

2026-03-21T10:29:50Z

Author Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334533.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38088-4
Format: Electronic Resources
Availability Online Library~1

Embedded Systems for Smart Appliances and Energy Management

2026-03-21T10:29:50Z

Author Grimm, Christoph. editor. Neumann, Peter. editor. Mahlknecht, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330846.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4419-8795-2
Format: Electronic Resources
Availability Online Library~1

Design for High Performance, Low Power, and Reliable 3D Integrated Circuits

2026-03-21T10:29:50Z

Author Lim, Sung Kyu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330852.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4419-9542-1
Format: Electronic Resources
Availability Online Library~1

An Introduction to Network Programming with Java Java 7 Compatible

2026-03-21T10:29:50Z

Author Graba, Jan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331180.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5254-5
Format: Electronic Resources
Availability Online Library~1

Designing TSVs for 3D Integrated Circuits

2026-03-21T10:29:50Z

Author Khan, Nauman. author. Hassoun, Soha. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331791.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5508-0
Format: Electronic Resources
Availability Online Library~1

3D Video Coding for Embedded Devices Energy Efficient Algorithms and Architectures

2026-03-21T10:29:50Z

Author Zatt, Bruno. author. Shafique, Muhammad. author. Bampi, Sergio. author. Henkel, Jörg. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332110.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-6759-5
Format: Electronic Resources
Availability Online Library~1