Search Results for Systems engineering. - Narrowed by: Software engineering.

Recommendation Systems in Software Engineering

2024-11-05T05:32:22Z

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

Intentional Perspectives on Information Systems Engineering

2024-11-05T05:32:22Z

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

The Engineering of Mixed Reality Systems

2024-11-05T05:32:22Z

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

Systems and software engineering with applications

2024-11-05T05:32:22Z

Author Schneidewind, Norman.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5769539 IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5769539
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Self-Adaptive Systems

2024-11-05T05:32:22Z

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

2024-11-05T05:32:22Z

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

Trustworthy systems through quantitative software engineering

2024-11-05T05:32:22Z

Author Bernstein, Lawrence, 1940- Yuhas, C. M. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5988898
Format: Electronic Resources
Availability Online Library~1

Software engineering for image processing systems

2024-11-05T05:32:22Z

Author Laplante, Phillip A.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Applications of Intelligent Control to Engineering Systems

2024-11-05T05:32:22Z

Author Valavanis, Kimon P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-3018-4
Format: Electronic Resources
Availability Online Library~1

Enterprise Information Systems Engineering The MERODE Approach

2024-11-05T05:32:22Z

Author Snoeck, Monique. author. (orcid)0000-0002-3824-3214 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10145-3
Format: Electronic Resources
Availability Online Library~1

Evolving Connectionist Systems The Knowledge Engineering Approach

2024-11-05T05:32:22Z

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

2024-11-05T05:32:22Z

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

Advanced Information Systems Engineering 31st International Conference, CAiSE 2019, Rome, Italy, June 3–7, 2019, Proceedings

2024-11-05T05:32:22Z

Author Giorgini, Paolo. editor. (orcid)0000-0003-4152-9683 Weber, Barbara. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-21290-2
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Resilient Systems 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings

2024-11-05T05:32:22Z

Author Calinescu, Radu. editor. (orcid)0000-0002-2678-9260 Di Giandomenico, Felicita. editor. (orcid)0000-0002-8760-7299 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30856-8
Format: Electronic Resources
Availability Online Library~1

Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

2024-11-05T05:32:22Z

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

Interdisciplinary approaches to information systems and software engineering

2024-11-05T05:32:22Z

Author Mukherjee, Alok Bhushan, 1985- editor. Krishna, Akhouri Pramod, 1962- editor. IGI Global, publisher.
Preferred Shelf Number ONLINE
Electronic Access Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-7784-3
Format: Electronic Resources
Availability Online Library~1

Engineering Adaptive Software Systems Communications of NII Shonan Meetings

2024-11-05T05:32:22Z

Author Yu, Yijun. editor. Bandara, Arosha. editor. Honiden, Shinichi. editor. Hu, Zhenjiang. editor. Tamai, Tetsuo. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-2185-6
Format: Electronic Resources
Availability Online Library~1

Automotive Systems and Software Engineering State of the Art and Future Trends

2024-11-05T05:32:22Z

Author Dajsuren, Yanja. editor. van den Brand, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-12157-0
Format: Electronic Resources
Availability Online Library~1

Biomedical Engineering Systems and Technologies 11th International Joint Conference, BIOSTEC 2018, Funchal, Madeira, Portugal, January 19–21, 2018, Revised Selected Papers

2024-11-05T05:32:22Z

Author Cliquet Jr., Alberto. editor. Wiebe, Sheldon. editor. Anderson, Paul. editor. Saggio, Giovanni. editor. Zwiggelaar, Reyer. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-29196-9
Format: Electronic Resources
Availability Online Library~1

Security and Quality in Cyber-Physical Systems Engineering With Forewords by Robert M. Lee and Tom Gilb

2024-11-05T05:32:22Z

Author Biffl, Stefan. editor. (orcid)0000-0002-3413-7780 Eckhart, Matthias. editor. Lüder, Arndt. editor. Weippl, Edgar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-25312-7
Format: Electronic Resources
Availability Online Library~1

Engineering Multi-Agent Systems 6th International Workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papers

2024-11-05T05:32:22Z

Author Weyns, Danny. editor. (orcid)0000-0002-1162-0817 Mascardi, Viviana. editor. (orcid)0000-0002-2261-9926 Ricci, Alessandro. editor. (orcid)0000-0002-9222-5092 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-25693-7
Format: Electronic Resources
Availability Online Library~1

Advanced Information Systems Engineering Workshops CAiSE 2019 International Workshops, Rome, Italy, June 3-7, 2019, Proceedings

2024-11-05T05:32:22Z

Author Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 Stirna, Janis. editor. (orcid)0000-0002-3669-832X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-20948-3
Format: Electronic Resources
Availability Online Library~1

Information Systems Engineering in Responsible Information Systems CAiSE Forum 2019, Rome, Italy, June 3–7, 2019, Proceedings

2024-11-05T05:32:22Z

Author Cappiello, Cinzia. editor. (orcid)0000-0001-6062-5174 Ruiz, Marcela. editor. (orcid)0000-0002-0592-1779 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-21297-1
Format: Electronic Resources
Availability Online Library~1

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

2024-11-05T05:32:22Z

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 Workshops CAiSE 2018 International Workshops, Tallinn, Estonia, June 11-15, 2018, Proceedings

2024-11-05T05:32:22Z

Author Matulevičius, Raimundas. editor. Dijkman, Remco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92898-2
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

2024-11-05T05:32:22Z

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

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

2024-11-05T05:32:22Z

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

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

2024-11-05T05:32:22Z

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

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

2024-11-05T05:32:22Z

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

Recent Trends and Future Technology in Applied Intelligence 31st International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, Montreal, QC, Canada, June 25-28, 2018, Proceedings

2024-11-05T05:32:22Z

Author Mouhoub, Malek. editor. Sadaoui, Samira. editor. Ait Mohamed, Otmane. editor. Ali, Moonis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92058-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

2024-11-05T05:32:22Z

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

System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings

2024-11-05T05:32:22Z

Author Khendek, Ferhat. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01042-3
Format: Electronic Resources
Availability Online Library~1

Environment modeling-based requirements engineering for software intensive systems.

2024-11-05T05:32:22Z

Author Jin, Zhi, 1962- author.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect https://www.sciencedirect.com/science/book/9780128019542
Format: Electronic Resources
Availability Online Library~1

Engineering Secure Software and Systems 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014. Proceedings

2024-11-05T05:32:22Z

Author Jürjens, Jan. editor. Piessens, Frank. editor. Bielova, Nataliia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-04897-0
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

2024-11-05T05:32:22Z

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

Aligning Business Processes and Information Systems New Approaches to Continuous Quality Engineering

2024-11-05T05:32:22Z

Author Heinrich, Robert. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-06518-8
Format: Electronic Resources
Availability Online Library~1

Engineering Secure Future Internet Services and Systems Current Research

2024-11-05T05:32:22Z

Author Heisel, Maritta. editor. Joosen, Wouter. editor. López, Javier. editor. Martinelli, Fabio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07452-8
Format: Electronic Resources
Availability Online Library~1

Engineering Multi-Agent Systems Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers

2024-11-05T05:32:22Z

Author Dalpiaz, Fabiano. editor. (orcid)0000-0003-4480-3887 Dix, Jürgen. editor. van Riemsdijk, M. Birna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-14484-9
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

2024-11-05T05:32:22Z

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

Advanced Information Systems Engineering 26th International Conference, CAiSE 2014, Thessaloniki, Greece, June 16-20, 2014, Proceedings

2024-11-05T05:32:22Z

Author Jarke, Matthias. editor. Mylopoulos, John. editor. (orcid)0000-0002-8698-3292 Quix, Christoph. editor. Rolland, Colette. editor. Manolopoulos, Yannis. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07881-6
Format: Electronic Resources
Availability Online Library~1

Web Information Systems Engineering -- WISE 2014 15th International Conference, Thessaloniki, Greece, October 12-14, 2014, Proceedings, Part II

2024-11-05T05:32:22Z

Author Benatallah, Boualem. editor. Bestavros, Azer. editor. Manolopoulos, Yannis. editor. Vakali, Athena. editor. Zhang, Yanchun. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11746-1
Format: Electronic Resources
Availability Online Library~1

Design Science Methodology for Information Systems and Software Engineering

2024-11-05T05:32:22Z

Author Wieringa, Roel J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-43839-8
Format: Electronic Resources
Availability Online Library~1

Advanced Information Systems Engineering Workshops CAiSE 2014 International Workshops, Thessaloniki, Greece, June 16-20, 2014, Proceedings

2024-11-05T05:32:22Z

Author Iliadis, Lazaros. editor. Papazoglou, Michael. editor. Pohl, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07869-4
Format: Electronic Resources
Availability Online Library~1

Web Information Systems Engineering -- WISE 2014 15th International Conference, Thessaloniki, Greece, October 12-14, 2014, Proceedings, Part I

2024-11-05T05:32:22Z

Author Benatallah, Boualem. editor. Bestavros, Azer. editor. Manolopoulos, Yannis. editor. Vakali, Athena. editor. Zhang, Yanchun. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11749-2
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

2024-11-05T05:32:22Z

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

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

2024-11-05T05:32:22Z

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

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

2024-11-05T05:32:22Z

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

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

2024-11-05T05:32:22Z

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

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

2024-11-05T05:32:22Z

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

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

2024-11-05T05:32:22Z

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

Seminal Contributions to Information Systems Engineering 25 Years of CAiSE

2024-11-05T05:32:22Z

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

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

2024-11-05T05:32:22Z

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

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

2024-11-05T05:32:22Z

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

2024-11-05T05:32:22Z

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

2024-11-05T05:32:22Z

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

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

2024-11-05T05:32:22Z

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

2024-11-05T05:32:22Z

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

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

2024-11-05T05:32:22Z

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

2024-11-05T05:32:22Z

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 Information Systems Engineering 24th International Conference, CAiSE 2012, Gdansk, Poland, June 25-29, 2012. Proceedings

2024-11-05T05:32:22Z

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

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

2024-11-05T05:32:22Z

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

2024-11-05T05:32:22Z

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

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

2024-11-05T05:32:22Z

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

Applied Ontology Engineering in Cloud Services, Networks and Management Systems

2024-11-05T05:32:22Z

Author Serrano Orozco, J. Martín. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-2236-5
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

2024-11-05T05:32:22Z

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

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

2024-11-05T05:32:22Z

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

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

2024-11-05T05:32:22Z

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

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

2024-11-05T05:32:22Z

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

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

2024-11-05T05:32:22Z

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

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

2024-11-05T05:32:22Z

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

2024-11-05T05:32:22Z

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

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

2024-11-05T05:32:22Z

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

2024-11-05T05:32:22Z

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

2024-11-05T05:32:22Z

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

2024-11-05T05:32:22Z

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 Driven Engineering Languages and Systems 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings

2024-11-05T05:32:22Z

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

Sensing and Systems in Pervasive Computing Engineering Context Aware Systems

2024-11-05T05:32:22Z

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

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

2024-11-05T05:32:22Z

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

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

2024-11-05T05:32:22Z

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

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

2024-11-05T05:32:22Z

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 II

2024-11-05T05:32:22Z

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

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

2024-11-05T05:32:22Z

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

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

2024-11-05T05:32:22Z

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

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

2024-11-05T05:32:22Z

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

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

2024-11-05T05:32:22Z

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

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

2024-11-05T05:32:22Z

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

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

2024-11-05T05:32:22Z

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

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

2024-11-05T05:32:22Z

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

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

2024-11-05T05:32:22Z

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

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

2024-11-05T05:32:22Z

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

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

2024-11-05T05:32:22Z

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

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

2024-11-05T05:32:22Z

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

The Making of Information Systems Software Engineering and Management in a Globalized World

2024-11-05T05:32:22Z

Author Kurbel, Karl E. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79261-1
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

2024-11-05T05:32:22Z

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

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

2024-11-05T05:32:22Z

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

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

2024-11-05T05:32:22Z

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

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

2024-11-05T05:32:22Z

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

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

2024-11-05T05:32:22Z

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

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

2024-11-05T05:32:22Z

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

Advances and Innovations in Systems, Computing Sciences and Software Engineering

2024-11-05T05:32:22Z

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

Advances in Systems, Computing Sciences and Software Engineering Proceedings of SCSS05

2024-11-05T05:32:22Z

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

Software Engineering 2 Specification of Systems and Languages

2024-11-05T05:32:22Z

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

2024-11-05T05:32:22Z

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

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

2024-11-05T05:32:22Z

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

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

2024-11-05T05:32:22Z

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

2024-11-05T05:32:22Z

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

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

2024-11-05T05:32:22Z

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

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

2024-11-05T05:32:22Z

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

2024-11-05T05:32:22Z

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

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

2024-11-05T05:32:22Z

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

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

2024-11-05T05:32:22Z

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

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

2024-11-05T05:32:22Z

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

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

2024-11-05T05:32:22Z

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

Autonomy Requirements Engineering for Space Missions

2024-11-05T05:32:22Z

Author Vassev, Emil. author. Hinchey, Mike. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09816-6
Format: Electronic Resources
Availability Online Library~1

Semantic Web: Concepts, Technologies and Applications

2024-11-05T05:32:22Z

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

Aligning Organizations Through Measurement The GQM+Strategies Approach

2024-11-05T05:32:22Z

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

2024-11-05T05:32:22Z

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

2024-11-05T05:32:22Z

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

Design and Use of Serious Games

2024-11-05T05:32:22Z

Author Kankaanranta, Marja. editor. Neittaanmäki, Pekka. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-9496-5
Format: Electronic Resources
Availability Online Library~1

Low-Power Design and Power-Aware Verification

2024-11-05T05:32:22Z

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

Implantable Sensors and Systems From Theory to Practice

2024-11-05T05:32:22Z

Author Yang, Guang-Zhong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69748-2
Format: Electronic Resources
Availability Online Library~1

Simulating Nonlinear Circuits with Python Power Electronics An Open-Source Simulator, Based on Python™

2024-11-05T05:32:22Z

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

Robust Data Mining

2024-11-05T05:32:22Z

Author Xanthopoulos, Petros. author. Pardalos, Panos M. author. Trafalis, Theodore B. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330861.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4419-9878-1
Format: Electronic Resources
Availability Online Library~1

Physical Layer Multi-Core Prototyping A Dataflow-Based Approach for LTE eNodeB

2024-11-05T05:32:22Z

Author Pelcat, Maxime. author. Aridhi, Slaheddine. author. Piat, Jonathan. author. Nezan, Jean-François. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330930.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4210-2
Format: Electronic Resources
Availability Online Library~1

An Introduction to Network Programming with Java Java 7 Compatible

2024-11-05T05:32:22Z

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

Concise Guide to Databases A Practical Introduction

2024-11-05T05:32:22Z

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

Handbook of Neuroevolution Through Erlang

2024-11-05T05:32:22Z

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

Information Systems Development Reflections, Challenges and New Directions

2024-11-05T05:32:22Z

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

Finding Source Code on the Web for Remix and Reuse

2024-11-05T05:32:22Z

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

Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies

2024-11-05T05:32:22Z

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

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

2024-11-05T05:32:22Z

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

Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations

2024-11-05T05:32:22Z

Author Raynal, Michel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333514.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-32027-9
Format: Electronic Resources
Availability Online Library~1

Introduction to Cryptography with Maple

2024-11-05T05:32:22Z

Author Gómez Pardo, José Luis. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333533.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-32166-5
Format: Electronic Resources
Availability Online Library~1

Industrial Deployment of System Engineering Methods

2024-11-05T05:32:22Z

Author Romanovsky, Alexander. editor. Thomas, Martyn. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333675.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-33170-1
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

2024-11-05T05:32:22Z

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

2024-11-05T05:32:22Z

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

2024-11-05T05:32:22Z

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

Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers

2024-11-05T05:32:22Z

Author Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334096.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35992-7
Format: Electronic Resources
Availability Online Library~1

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

2024-11-05T05:32:22Z

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

Safe and Secure Software Reuse 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings

2024-11-05T05:32:22Z

Author Favaro, John. editor. Morisio, Maurizio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334706.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38977-1
Format: Electronic Resources
Availability Online Library~1

Autonomic Computing Principles, Design and Implementation

2024-11-05T05:32:22Z

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

Sustainable Web Ecosystem Design

2024-11-05T05:32:22Z

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

Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift

2024-11-05T05:32:22Z

Author Paule, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332822.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-00966-7
Format: Electronic Resources
Availability Online Library~1

Scala Design Patterns Patterns for Practical Reuse and Design

2024-11-05T05:32:22Z

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

Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings

2024-11-05T05:32:22Z

Author Hung, Dang. editor. Ogawa, Mizuhito. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332921.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02444-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

2024-11-05T05:32:22Z

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

The Software Industry Economic Principles, Strategies, Perspectives

2024-11-05T05:32:22Z

Author Buxmann, Peter. author. Diefenbach, Heiner. author. Hess, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333443.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-31510-7
Format: Electronic Resources
Availability Online Library~1

Surface- and Groundwater Quality Changes in Periods of Water Scarcity

2024-11-05T05:32:22Z

Author Gregor, Miloš. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333547.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-32244-0
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

2024-11-05T05:32:22Z

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

2024-11-05T05:32:22Z

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

2024-11-05T05:32:22Z

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

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

2024-11-05T05:32:22Z

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

2024-11-05T05:32:22Z

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

IAENG Transactions on Engineering Technologies Special Edition of the World Congress on Engineering and Computer Science 2011

2024-11-05T05:32:22Z

Author Kim, Haeng Kon. editor. Ao, Sio-Iong. editor. Rieger, Burghard B. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335821.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-4786-9
Format: Electronic Resources
Availability Online Library~1

Harnessing VLSI System Design with EDA Tools

2024-11-05T05:32:22Z

Author Kamat, Rajanish K. author. Shinde, Santosh A. author. Gaikwad, Pawan K. author. Guhilot, Hansraj. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-1864-7
Format: Electronic Resources
Availability Online Library~1

Analog Circuit Design Low Voltage Low Power; Short Range Wireless Front-Ends; Power Management and DC-DC

2024-11-05T05:32:22Z

Author Steyaert, Michiel. editor. van Roermund, Arthur. editor. Baschirotto, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-1926-2
Format: Electronic Resources
Availability Online Library~1

Distributed, Embedded and Real-time Java Systems

2024-11-05T05:32:22Z

Author Higuera-Toledano, M. Teresa. editor. Wellings, Andy J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-8158-5
Format: Electronic Resources
Availability Online Library~1

Automated Configuration Problem Solving

2024-11-05T05:32:22Z

Author Petrie, Charles J. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4532-6
Format: Electronic Resources
Availability Online Library~1

Communication Technologies for Vehicles 4th International Workshop, Nets4Cars/Nets4Trains 2012, Vilnius, Lithuania, April 25-27, 2012. Proceedings

2024-11-05T05:32:22Z

Author Vinel, Alexey. editor. Mehmood, Rashid. editor. Berbineau, Marion. editor. Garcia, Cristina Rico. editor. Huang, Chung-Ming. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29667-3
Format: Electronic Resources
Availability Online Library~1

Guide to FPGA Implementation of Arithmetic Functions

2024-11-05T05:32:22Z

Author Deschamps, Jean-Pierre. author. Sutter, Gustavo D. author. Cantó, Enrique. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-2987-2
Format: Electronic Resources
Availability Online Library~1

Views on Evolvability of Embedded Systems

2024-11-05T05:32:22Z

Author Van de Laar, Pierre. editor. Punter, Teade. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-9849-8
Format: Electronic Resources
Availability Online Library~1

Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems

2024-11-05T05:32:22Z

Author Lokuciejewski, Paul. author. Marwedel, Peter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-9929-7
Format: Electronic Resources
Availability Online Library~1

Dynamic Management of Sustainable Development Methods for Large Technical Systems

2024-11-05T05:32:22Z

Author Krishans, Zigurds. author. Mutule, Anna. author. Merkuryev, Yuri. author. Oleinikova, Irina. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-062-5
Format: Electronic Resources
Availability Online Library~1

3D Integration for NoC-based SoC Architectures

2024-11-05T05:32:22Z

Author Sheibanyrad, Abbas. editor. Pétrot, Frédéric. editor. Jantsch, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-7618-5
Format: Electronic Resources
Availability Online Library~1

Handbook of Open Source Tools

2024-11-05T05:32:22Z

Author Koranne, Sandeep. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-7719-9
Format: Electronic Resources
Availability Online Library~1

Real-Time Systems Design Principles for Distributed Embedded Applications

2024-11-05T05:32:22Z

Author Kopetz, Hermann. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-8237-7
Format: Electronic Resources
Availability Online Library~1

Design Methodologies for Secure Embedded Systems Festschrift in Honor of Prof. Dr.-Ing. Sorin A. Huss

2024-11-05T05:32:22Z

Author Biedermann, Alexander. editor. Molter, H. Gregor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16767-6
Format: Electronic Resources
Availability Online Library~1

Communication Technologies for Vehicles Third International Workshop, Nets4Cars/Nets4Trains 2011, Oberpfaffenhofen, Germany, March 23-24, 2011. Proceedings

2024-11-05T05:32:22Z

Author Strang, Thomas. editor. Festag, Andreas. editor. Vinel, Alexey. editor. Mehmood, Rashid. editor. Rico Garcia, Cristina. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19786-4
Format: Electronic Resources
Availability Online Library~1

Microelectronic Systems Circuits, Systems and Applications

2024-11-05T05:32:22Z

Author Heuberger, Albert. editor. Elst, Günter. editor. Hanke, Randolf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23071-4
Format: Electronic Resources
Availability Online Library~1

Security Trends for FPGAS From Secured to Secure Reconfigurable Systems

2024-11-05T05:32:22Z

Author Badrignans, Benoit. editor. Danger, Jean Luc. editor. Fischer, Viktor. editor. Gogniat, Guy. editor. Torres, Lionel. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-1338-3
Format: Electronic Resources
Availability Online Library~1

Accelerating Test, Validation and Debug of High Speed Serial Interfaces

2024-11-05T05:32:22Z

Author Fan, Yongquan. author. Zilic, Zeljko. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-9398-1
Format: Electronic Resources
Availability Online Library~1

Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems

2024-11-05T05:32:22Z

Author Marwedel, Peter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-0257-8
Format: Electronic Resources
Availability Online Library~1

Reconfigurable RF Power Amplifiers on Silicon for Wireless Handsets

2024-11-05T05:32:22Z

Author Leyssenne, Laurent. author. Kerhervé, Eric. author. Deval, Yann. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-0425-1
Format: Electronic Resources
Availability Online Library~1

Hard Real-Time Computing Systems Predictable Scheduling Algorithms and Applications

2024-11-05T05:32:22Z

Author Buttazzo, Giorgio C. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-0676-1
Format: Electronic Resources
Availability Online Library~1

RoboCup 2009: Robot Soccer World Cup XIII

2024-11-05T05:32:22Z

Author Baltes, Jacky. editor. Lagoudakis, Michail G. editor. Naruse, Tadashi. editor. Ghidary, Saeed Shiry. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11876-0
Format: Electronic Resources
Availability Online Library~1

Quality-Driven SystemC Design

2024-11-05T05:32:22Z

Author Große, Daniel. author. Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-3631-5
Format: Electronic Resources
Availability Online Library~1

SystemC: From the Ground Up

2024-11-05T05:32:22Z

Author Black, David C. author. Donovan, Jack. author. Bunton, Bill. author. Keist, Anna. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-69958-5
Format: Electronic Resources
Availability Online Library~1

Secure Integrated Circuits and Systems

2024-11-05T05:32:22Z

Author Verbauwhede, Ingrid M.R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-71829-3
Format: Electronic Resources
Availability Online Library~1

A Practical Introduction to Hardware/Software Codesign

2024-11-05T05:32:22Z

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

SPS-Programmierung mit IEC 61131-3 Konzepte und Programmiersprachen, Anforderungen an Programmiersysteme, Entscheidungshilfen

2024-11-05T05:32:22Z

Author Tiegelkamp, Michael. author. John, Karl Heinz. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00269-4
Format: Electronic Resources
Availability Online Library~1

RoboCup 2008: Robot Soccer World Cup XII

2024-11-05T05:32:22Z

Author Iocchi, Luca. editor. Matsubara, Hitoshi. editor. Weitzenfeld, Alfredo. editor. Zhou, Changjiu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02921-9
Format: Electronic Resources
Availability Online Library~1

Dynamic System Reconfiguration in Heterogeneous Platforms The MORPHEUS Approach

2024-11-05T05:32:22Z

Author Voros, Nikolaos S. editor. Rosti, Alberto. editor. Hübner, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-2427-5
Format: Electronic Resources
Availability Online Library~1

Requirements engineering : from system goals to UML models to software specifications

2024-11-05T05:32:22Z

Author Lamsweerde, A. van (Axel)
Preferred Shelf Number QA76.758 L28 2009
Format: Books
Availability Beytepe Library~1

Architecting software intensive systems a practitioner's guide

2024-11-05T05:32:22Z

Author Lattanze, Anthony J.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Electronics System Design Techniques for Safety Critical Applications

2024-11-05T05:32:22Z

Author Sterpone, Luca. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8979-4
Format: Electronic Resources
Availability Online Library~1

Language-driven Exploration and Implementation of Partially Re-configurable ASIPs

2024-11-05T05:32:22Z

Author Chattopadhyay, Anupam. author. Leupers, Rainer. author. Meyr, Heinrich. author. Ascheid, Gerd. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-9297-8
Format: Electronic Resources
Availability Online Library~1

Unleash the System On Chip using FPGAs and Handel C

2024-11-05T05:32:22Z

Author Kamat, Rajanish K. author. Shinde, Santhosh A. author. Shelake, Vinod G. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-9362-3
Format: Electronic Resources
Availability Online Library~1

Hardware-dependent Software Principles and Practice

2024-11-05T05:32:22Z

Author Ecker, Wolfgang. editor. Müller, Wolfgang. editor. Dömer, Rainer. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-9436-1
Format: Electronic Resources
Availability Online Library~1

Hardware Software Co-Design of a Multimedia SOC Platform

2024-11-05T05:32:22Z

Author Chen, Sao-Jie. author. Lin, Guang-Huei. author. Hsiung, Pao-Ann. author. Hu, Yu-Hen. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-9623-5
Format: Electronic Resources
Availability Online Library~1

Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08

2024-11-05T05:32:22Z

Author Radetzki, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-9714-0
Format: Electronic Resources
Availability Online Library~1

Embedded System Design Modeling, Synthesis and Verification

2024-11-05T05:32:22Z

Author Gajski, Daniel D. author. Abdi, Samar. author. Gerstlauer, Andreas. author. Schirner, Gunar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-0504-8
Format: Electronic Resources
Availability Online Library~1

Deadlock Resolution in Automated Manufacturing Systems A Novel Petri Net Approach

2024-11-05T05:32:22Z

Author Li, ZhiWu. author. Zhou, MengChu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-244-3
Format: Electronic Resources
Availability Online Library~1

Dependability benchmarking for computer systems

2024-11-05T05:32:22Z

Author Kanoun, Karama. Spainhower, Lisa.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6129686
Format: Electronic Resources
Availability Online Library~1

Fine- and Coarse-Grain Reconfigurable Computing

2024-11-05T05:32:22Z

Author Vassiliadis, Stamatis. editor. Soudris, Dimitrios. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-6505-7
Format: Electronic Resources
Availability Online Library~1

Ingredients for Successful System Level Design Methodology

2024-11-05T05:32:22Z

Author Patel, Hiren D. author. Shukla, Sandeep K. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8472-0
Format: Electronic Resources
Availability Online Library~1

Retargetable Processor System Integration into Multi-Processor System-on-Chip Platforms

2024-11-05T05:32:22Z

Author Wieferink, Andreas. author. Meyr, Heinrich. author. Leupers, Rainer. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8652-6
Format: Electronic Resources
Availability Online Library~1

Introduction to Reconfigurable Computing Architectures, Algorithms, and Applications

2024-11-05T05:32:22Z

Author Bobda, Christophe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-6100-4
Format: Electronic Resources
Availability Online Library~1

Embedded Systems Specification and Design Languages Selected contributions from FDL’07

2024-11-05T05:32:22Z

Author Villar, Eugenio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8297-9
Format: Electronic Resources
Availability Online Library~1

Designing Embedded Processors A Low Power Perspective

2024-11-05T05:32:22Z

Author Henkel, Jörg. editor. Parameswaran, Sri. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-5869-1
Format: Electronic Resources
Availability Online Library~1

Advanced Memory Optimization Techniques for Low-Power Embedded Processors

2024-11-05T05:32:22Z

Author Verma, Manish. author. Marwedel, Peter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-5897-4
Format: Electronic Resources
Availability Online Library~1

Real-Time Object Uniform Design Methodology with UML

2024-11-05T05:32:22Z

Author Duc, Bui Minh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-5977-3
Format: Electronic Resources
Availability Online Library~1

Optimized ASIP Synthesis from Architecture Description Language Models

2024-11-05T05:32:22Z

Author Schliebusch, Oliver. author. Meyr, Heinrich. author. Leupers, Rainer. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-5686-4
Format: Electronic Resources
Availability Online Library~1

LabVIEW based Advanced Instrumentation Systems

2024-11-05T05:32:22Z

Author Sumathi, S. author. Surekha, P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-48501-8
Format: Electronic Resources
Availability Online Library~1

Compiling Esterel

2024-11-05T05:32:22Z

Author Potop-Butucaru, Dumitru. author. Edwards, Stephen A. author. Berry, Gérard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-70628-3
Format: Electronic Resources
Availability Online Library~1

Design for Manufacturability and Yield for Nano-Scale CMOS

2024-11-05T05:32:22Z

Author Chiang, Charles C. author. Kawa, Jamil. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-5188-3
Format: Electronic Resources
Availability Online Library~1

Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components

2024-11-05T05:32:22Z

Author Nicolescu, G. editor. Jerraya, A. A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-6153-0
Format: Electronic Resources
Availability Online Library~1

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007

2024-11-05T05:32:22Z

Author Ramesh, S. editor. Sampath, Prahladavaradan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-6254-4
Format: Electronic Resources
Availability Online Library~1

Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06

2024-11-05T05:32:22Z

Author Huss, Sorin A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-6149-3
Format: Electronic Resources
Availability Online Library~1

Processor Design System-on-Chip Computing for ASICs and FPGAs

2024-11-05T05:32:22Z

Author Nurmi, Jari. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-5530-0
Format: Electronic Resources
Availability Online Library~1

Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms

2024-11-05T05:32:22Z

Author Kogel, Tim. author. Leupers, Rainer. author. Meyr, Heinrich. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-4826-2
Format: Electronic Resources
Availability Online Library~1

Platform Based Design at the Electronic System Level Industry Perspectives and Experiences

2024-11-05T05:32:22Z

Author Burton, Mark. author. Morawiec, Adam. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-5138-7
Format: Electronic Resources
Availability Online Library~1

FPGA Implementations of Neural Networks

2024-11-05T05:32:22Z

Author Omondi, Amos R. editor. Rajapakse, Jagath C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-28487-7
Format: Electronic Resources
Availability Online Library~1

Supply Chain Management on Demand Strategies, Technologies, Applications

2024-11-05T05:32:22Z

Author An, Chae. editor. Fromm, Hansjörg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138951
Format: Electronic Resources
Availability Online Library~1

RoboCup 2004: Robot Soccer World Cup VIII

2024-11-05T05:32:22Z

Author Nardi, Daniele. editor. Riedmiller, Martin. editor. Sammut, Claude. editor. Santos-Victor, José. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106671
Format: Electronic Resources
Availability Online Library~1

Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04

2024-11-05T05:32:22Z

Author Boulet, Pierre. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136935
Format: Electronic Resources
Availability Online Library~1

Functional Verification of Programmable Embedded Architectures A Top-Down Approach

2024-11-05T05:32:22Z

Author Mishra, Prabhat. author. Dutt, Nikil D. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137514
Format: Electronic Resources
Availability Online Library~1

Interconnect-Centric Design for Advanced SoC and NoC

2024-11-05T05:32:22Z

Author Nurmi, Jari. editor. Tenhunen, Hannu. editor. Isoaho, Jouni. editor. Jantsch, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b117241
Format: Electronic Resources
Availability Online Library~1

UML for SOC Design

2024-11-05T05:32:22Z

Author Martin, Grant. editor. Müller, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b135980
Format: Electronic Resources
Availability Online Library~1

System Level Design of Reconfigurable Systems-on-Chip

2024-11-05T05:32:22Z

Author Voros, Nikolaos S. editor. Masselos, Konstantinos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136832
Format: Electronic Resources
Availability Online Library~1