Search Results for Performance. - Narrowed by: Software engineering.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dPerformance.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300$0026isd$003dtrue?
2024-11-12T23:27:51Z
Model-Based Software Performance Analysis
ent://SD_ILS/0/SD_ILS:192394
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Cortellessa, Vittorio. author. Di Marco, Antinisca. author. Inverardi, Paola. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13621-4">http://dx.doi.org/10.1007/978-3-642-13621-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Practical Approach to High-Performance Computing
ent://SD_ILS/0/SD_ILS:485920
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Kurgalin, Sergei. author. Borzunov, Sergei. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-27558-7">https://doi.org/10.1007/978-3-030-27558-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Analyzing Computer System Performance with Perl::PDQ
ent://SD_ILS/0/SD_ILS:195072
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Gunther, Neil J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22583-3">http://dx.doi.org/10.1007/978-3-642-22583-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Biometric Systems Technology, Design and Performance Evaluation
ent://SD_ILS/0/SD_ILS:175199
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Wayman, James. editor. Jain, Anil. editor. Maltoni, Davide. editor. Maio, Dario. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138151">http://dx.doi.org/10.1007/b138151</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming and Performance Visualization Tools International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486836
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Bhatele, Abhinav. editor. (orcid)0000-0003-3069-3701 Boehme, David. editor. Levine, Joshua A. editor. Malony, Allen D. editor. Schulz, Martin. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17872-7">https://doi.org/10.1007/978-3-030-17872-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16–20, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483235
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Juckeland, Guido. editor. (orcid)0000-0002-9935-4428 Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652 Sadayappan, Ponnuswamy. editor. (orcid)0000-0002-4737-2034 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-20656-7">https://doi.org/10.1007/978-3-030-20656-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing ISC High Performance 2019 International Workshops, Frankfurt, Germany, June 16-20, 2019, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:483679
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Juckeland, Guido. editor. (orcid)0000-0002-9935-4428 Alam, Sadaf. editor. (orcid)0000-0002-2534-5078 Jagode, Heike. editor. (orcid)0000-0002-8173-9434 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-34356-9">https://doi.org/10.1007/978-3-030-34356-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High-Performance Computing Applications in Numerical Simulation and Edge Computing ACM ICS 2018 International Workshops, HPCMS and HiDEC, Beijing, China, June 12, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:483956
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Hu, Changjun. editor. Yang, Wen. editor. Jiang, Congfeng. editor. Dai, Dong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-32-9987-0">https://doi.org/10.1007/978-981-32-9987-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Performance Engineering 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399954
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Bakhshi, Rena. editor. Ballarini, Paolo. editor. Barbot, Benoît. editor. Castel-Taleb, Hind. editor. Remke, Anne. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02227-3">https://doi.org/10.1007/978-3-030-02227-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:402313
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Jarvis, Stephen. editor. Wright, Steven. editor. Hammond, Simon. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72971-8">https://doi.org/10.1007/978-3-319-72971-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334870
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Lourenço, João M. editor. Farchi, Eitan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334870.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39955-8">http://dx.doi.org/10.1007/978-3-642-39955-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Performance Engineering 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334995
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Balsamo, Maria Simonetta. editor. Knottenbelt, William J. editor. Marin, Andrea. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334995.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40725-3">http://dx.doi.org/10.1007/978-3-642-40725-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Selected Topics in Performance Evaluation and Benchmarking 4th TPC Technology Conference, TPCTC 2012, Istanbul, Turkey, August 27, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334274
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Nambiar, Raghunath. editor. Poess, Meikel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334274.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36727-4">http://dx.doi.org/10.1007/978-3-642-36727-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Performance Engineering 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334290
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Tribastone, Mirco. editor. Gilmore, Stephen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334290.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36781-6">http://dx.doi.org/10.1007/978-3-642-36781-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multicore Software Engineering, Performance, and Tools International Conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197039
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Pankratius, Victor. editor. Philippsen, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31202-1">http://dx.doi.org/10.1007/978-3-642-31202-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Topics in Performance Evaluation, Measurement and Characterization Third TPC Technology Conference, TPCTC 2011, Seattle, WA, USA, August 29-September 3, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197247
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Nambiar, Raghunath. editor. Poess, Meikel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32627-1">http://dx.doi.org/10.1007/978-3-642-32627-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Performance Evaluation, Measurement and Characterization of Complex Systems Second TPC Technology Conference, TPCTC 2010, Singapore, September 13-17, 2010. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193830
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Nambiar, Raghunath. editor. Poess, Meikel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18206-8">http://dx.doi.org/10.1007/978-3-642-18206-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Architecture and Grid Computing International Conference, HPAGC 2011, Chandigarh, India, July 19-20, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195070
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Mantri, Archana. editor. Nandi, Suman. editor. Kumar, Gaurav. editor. Kumar, Sandeep. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22577-2">http://dx.doi.org/10.1007/978-3-642-22577-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Performance Engineering 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195734
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Thomas, Nigel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24749-1">http://dx.doi.org/10.1007/978-3-642-24749-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Performance Evaluation of Computer and Communication Systems. Milestones and Future Challenges IFIP WG 6.3/7.3 International Workshop, PERFORM 2010, in Honor of Günter Haring on the Occasion of His Emeritus Celebration, Vienna, Austria, October 14-16, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:195987
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Hummel, Karin Anna. editor. Hlavacs, Helmut. editor. Gansterer, Wilfried. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25575-5">http://dx.doi.org/10.1007/978-3-642-25575-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing for Computational Science – VECPAR 2010 9th International conference, Berkeley, CA, USA, June 22-25, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:194005
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Palma, José M. Laginha M. editor. Daydé, Michel. editor. Marques, Osni. editor. Lopes, João Correia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19328-6">http://dx.doi.org/10.1007/978-3-642-19328-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing and Applications Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191815
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Zhang, Wu. editor. Chen, Zhangxin. editor. Douglas, Craig C. editor. Tong, Weiqin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11842-5">http://dx.doi.org/10.1007/978-3-642-11842-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Performance Engineering 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193083
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Aldini, Alessandro. editor. Bernardo, Marco. editor. Bononi, Luciano. editor. Cortellessa, Vittorio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15784-4">http://dx.doi.org/10.1007/978-3-642-15784-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
HPC@Green IT Green High Performance Computing Methods
ent://SD_ILS/0/SD_ILS:190122
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Gruber, Ralf. author. Keller, Vincent. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01789-6">http://dx.doi.org/10.1007/978-3-642-01789-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools for High Performance Computing 2009 Proceedings of the 3rd International Workshop on Parallel Tools for High Performance Computing, September 2009, ZIH, Dresden
ent://SD_ILS/0/SD_ILS:191631
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Müller, Matthias S. editor. Resch, Michael M. editor. Schulz, Alexander. editor. Nagel, Wolfgang E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11261-4">http://dx.doi.org/10.1007/978-3-642-11261-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing Systems and Applications 23rd International Symposium, HPCS 2009, Kingston, ON, Canada, June 14-17, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:192067
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Mewhort, Douglas J. K. editor. Cann, Natalie M. editor. Slater, Gary W. editor. Naughton, Thomas J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12659-8">http://dx.doi.org/10.1007/978-3-642-12659-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Performance Engineering 6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings
ent://SD_ILS/0/SD_ILS:190462
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Bradley, Jeremy T. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02924-0">http://dx.doi.org/10.1007/978-3-642-02924-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Performance Evaluation and Benchmarking First TPC Technology Conference, TPCTC 2009, Lyon, France, August 24-28, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191362
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Nambiar, Raghunath. editor. Poess, Meikel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10424-4">http://dx.doi.org/10.1007/978-3-642-10424-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools for High Performance Computing Proceedings of the 2nd International Workshop on Parallel Tools for High Performance Computing, July 2008, HLRS, Stuttgart
ent://SD_ILS/0/SD_ILS:185511
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Resch, Michael. editor. Keller, Rainer. editor. Himmler, Valentin. editor. Krammer, Bettina. editor. Schulz, Alexander. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68564-7">http://dx.doi.org/10.1007/978-3-540-68564-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Performance Engineering 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188845
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Thomas, Nigel. editor. Juiz, Carlos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-87412-6">http://dx.doi.org/10.1007/978-3-540-87412-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing - HiPC 2008 15th International Conference, Bangalore, India, December 17-20, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189354
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Sadayappan, Ponnuswamy. editor. Parashar, Manish. editor. Badrinath, Ramamurthy. editor. Prasanna, Viktor K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89894-8">http://dx.doi.org/10.1007/978-3-540-89894-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Performance Evaluation: Metrics, Models and Benchmarks SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:185893
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Kounev, Samuel. editor. Gorton, Ian. editor. Sachs, Kai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69814-2">http://dx.doi.org/10.1007/978-3-540-69814-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Network Performance Analysis Using the J Programming Language
ent://SD_ILS/0/SD_ILS:175583
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Holt, Alan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-823-4">http://dx.doi.org/10.1007/978-1-84628-823-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing for Computational Science - VECPAR 2008 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:189473
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Palma, José M. Laginha M. editor. Amestoy, Patrick R. editor. Daydé, Michel. editor. Mattoso, Marta. editor. Lopes, João Correia. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-92859-1">http://dx.doi.org/10.1007/978-3-540-92859-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:187955
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Labarta, Jesús. editor. Joe, Kazuki. editor. Sato, Toshinori. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77704-5">http://dx.doi.org/10.1007/978-3-540-77704-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
All About Maude - A High-Performance Logical Framework How to Specify, Program and Verify Systems in Rewriting Logic
ent://SD_ILS/0/SD_ILS:186429
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Clavel, Manuel. author. Durán, Francisco. author. Eker, Steven. author. Lincoln, Patrick. author. Martí-Oliet, Narciso. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71999-1">http://dx.doi.org/10.1007/978-3-540-71999-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed, High-Performance and Grid Computing in Computational Biology International Workshop, GCCB 2006, Eilat, Israel, January 21, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:185957
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Dubitzky, Werner. editor. Schuster, Assaf. editor. Sloot, Peter M. A. editor. Schroeder, Michael. editor. Romberg, Mathilde. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69968-2">http://dx.doi.org/10.1007/978-3-540-69968-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures
ent://SD_ILS/0/SD_ILS:186566
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Bernardo, Marco. editor. Hillston, Jane. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72522-0">http://dx.doi.org/10.1007/978-3-540-72522-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Managing Traffic Performance in Converged Networks 20th International Teletraffic Congress, ITC20 2007, Ottawa, Canada, June 17-21, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186711
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Mason, Lorne. editor. Drwiega, Tadeusz. editor. Yan, James. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72990-7">http://dx.doi.org/10.1007/978-3-540-72990-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing – HiPC 2007 14th International Conference, Goa, India, December 18-21, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187817
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Aluru, Srinivas. editor. Parashar, Manish. editor. Badrinath, Ramamurthy. editor. Prasanna, Viktor K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77220-0">http://dx.doi.org/10.1007/978-3-540-77220-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:186259
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Daydé, Michel. editor. Palma, José M. L. M. editor. Coutinho, Álvaro L. G. A. editor. Pacitti, Esther. editor. Lopes, João Correia. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71351-7">http://dx.doi.org/10.1007/978-3-540-71351-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Frontiers of High Performance Computing and Networking ISPA 2007 Workshops ISPA 2007 International Workshops SSDSN, UPWN, WISH, SGC, ParDMCom, HiPCoMB, and IST-AWSN Niagara Falls, Canada, August 28-September 1, 2007 Proceedings
ent://SD_ILS/0/SD_ILS:187254
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Thulasiraman, Parimala. editor. He, Xubin. editor. Xu, Tony Li. editor. Denko, Mieso K. editor. Thulasiram, Ruppa K. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74767-3">http://dx.doi.org/10.1007/978-3-540-74767-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods and Stochastic Models for Performance Evaluation Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187364
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Wolter, Katinka. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75211-0">http://dx.doi.org/10.1007/978-3-540-75211-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing and Communications Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187419
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Perrott, Ronald. editor. Chapman, Barbara M. editor. Subhlok, Jaspal. editor. Mello, Rodrigo Fernandes. editor. Yang, Laurence T. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75444-2">http://dx.doi.org/10.1007/978-3-540-75444-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro Java EE 5 Performance Management and Optimization
ent://SD_ILS/0/SD_ILS:170875
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Haines, Steven. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0170-0">http://dx.doi.org/10.1007/978-1-4302-0170-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro Oracle Database 10g RAC on Linux Installation, Administration, and Performance
ent://SD_ILS/0/SD_ILS:170915
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Dyke, Julian. author. Shaw, Steve. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0214-1">http://dx.doi.org/10.1007/978-1-4302-0214-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods and Stochastic Models for Performance Evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184242
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Horváth, András. editor. Telek, Miklós. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11777830">http://dx.doi.org/10.1007/11777830</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
NETWORKING 2006. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 5th International IFIP-TC6 Networking Conference, Coimbra, Portugal, May 15-19, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183963
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Boavida, Fernando. editor. Plagemann, Thomas. editor. Stiller, Burkhard. editor. Westphal, Cedric. editor. Monteiro, Edmundo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11753810">http://dx.doi.org/10.1007/11753810</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing and Communications Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184722
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Gerndt, Michael. editor. Kranzlmüller, Dieter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11847366">http://dx.doi.org/10.1007/11847366</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Frontiers of High Performance Computing and Networking – ISPA 2006 Workshops ISPA 2006 International Workshops, FHPCN, XHPC, S-GRACE, GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento, Italy, December 4-7, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:185279
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Min, Geyong. editor. Martino, Beniamino. editor. Yang, Laurence T. editor. Guo, Minyi. editor. Rünger, Gudula. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11942634">http://dx.doi.org/10.1007/11942634</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing - HiPC 2006 13th International Conference, Bangalore, India, December 18-21, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:185330
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Robert, Yves. editor. Parashar, Manish. editor. Badrinath, Ramamurthy. editor. Prasanna, Viktor K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11945918">http://dx.doi.org/10.1007/11945918</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing for Computational Science - VECPAR 2004 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:182940
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Daydé, Michel. editor. Dongarra, Jack. editor. Hernández, Vicente. editor. Palma, José M. L. M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106965">http://dx.doi.org/10.1007/b106965</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Best Practices in Software Measurement How to use metrics to improve project and process performance
ent://SD_ILS/0/SD_ILS:180938
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Ebert, Christof. author. Bundschuh, Manfred. author. Dumke, Reiner. author. Schmietendorf, Andreas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138013">http://dx.doi.org/10.1007/b138013</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing - HiPC 2004 11th International Conference, Bangalore, India, December 19-22, 2004. Proceedings
ent://SD_ILS/0/SD_ILS:182325
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Bougé, Luc. editor. Prasanna, Viktor K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104576">http://dx.doi.org/10.1007/b104576</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:182989
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Bravetti, Mario. editor. Kloul, Leïla. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11549970">http://dx.doi.org/10.1007/11549970</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing – HiPC 2005 12th International Conference, Goa, India, December 18-21, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183369
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Bader, David A. editor. Parashar, Manish. editor. Sridhar, Varadarajan. editor. Prasanna, Viktor K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11602569">http://dx.doi.org/10.1007/11602569</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183084
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Boutaba, Raouf. editor. Almeroth, Kevin. editor. Puigjaner, Ramon. editor. Shen, Sherman. editor. Black, James P. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136094">http://dx.doi.org/10.1007/b136094</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing and Communications First International Conference, HPCC 2005, Sorrento, Italy, September 21-23, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183142
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Yang, Laurence T. editor. Rana, Omer F. editor. Martino, Beniamino. editor. Dongarra, Jack. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11557654">http://dx.doi.org/10.1007/11557654</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399218
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Johnsen, Einar Broch. editor. Schaefer, Ina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92970-5">https://doi.org/10.1007/978-3-319-92970-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications of Computing and Communication Technologies First International Conference, ICACCT 2018, Delhi, India, March 9, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:399226
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Deka, Ganesh Chandra. editor. Kaiwartya, Omprakash. editor. Vashisth, Pooja. editor. Rathee, Priyanka. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-2035-4">https://doi.org/10.1007/978-981-13-2035-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Information Systems Engineering 30th International Conference, CAiSE 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399238
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Krogstie, John. editor. Reijers, Hajo A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91563-0">https://doi.org/10.1007/978-3-319-91563-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399472
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 Peleska, Jan. editor. (orcid)0000-0003-3667-9775 Roscoe, Bill. editor. de Vink, Erik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95582-7">https://doi.org/10.1007/978-3-319-95582-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399485
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Feng, Xinyu. editor. Müller-Olm, Markus. editor. Yang, Zijiang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99933-3">https://doi.org/10.1007/978-3-319-99933-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Systems, Software and Services Process Improvement 25th European Conference, EuroSPI 2018, Bilbao, Spain, September 5-7, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399494
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Larrucea, Xabier. editor. Santamaria, Izaskun. editor. O'Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-97925-0">https://doi.org/10.1007/978-3-319-97925-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information and Communication Technologies in Education, Research, and Industrial Applications 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:399530
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Bassiliades, Nick. editor. (orcid)0000-0001-6035-1038 Ermolayev, Vadim. editor. (orcid)0000-0002-5159-254X Fill, Hans-Georg. editor. Yakovyna, Vitaliy. editor. (orcid)0000-0003-0133-8591 Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-76168-8">https://doi.org/10.1007/978-3-319-76168-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399537
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02768-1">https://doi.org/10.1007/978-3-030-02768-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399551
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Dutle, Aaron. editor. Muñoz, César. editor. Narkawicz, Anthony. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-77935-5">https://doi.org/10.1007/978-3-319-77935-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Open Source Systems: Enterprise Software and Solutions 14th IFIP WG 2.13 International Conference, OSS 2018, Athens, Greece, June 8-10, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399571
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Stamelos, Ioannis. editor. Gonzalez-Barahoña, Jesus M. editor. (orcid)0000-0001-9682-460X Varlamis, Iraklis. editor. (orcid)0000-0002-0876-8167 Anagnostopoulos, Dimosthenis. editor. (orcid)0000-0003-0747-4252 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92375-8">https://doi.org/10.1007/978-3-319-92375-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:399597
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Piskac, Ruzica. editor. Rümmer, Philipp. editor. (orcid)0000-0002-2733-7098 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03592-1">https://doi.org/10.1007/978-3-030-03592-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Service-Oriented Computing – ICSOC 2017 Workshops ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:399608
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Braubach, Lars. editor. Murillo, Juan M. editor. (orcid)0000-0003-4961-4030 Kaviani, Nima. editor. Lama, Manuel. editor. (orcid)0000-0001-7195-6155 Burgueño, Loli. editor. (orcid)0000-0002-7779-8810<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91764-1">https://doi.org/10.1007/978-3-319-91764-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer and Information Sciences 32nd International Symposium, ISCIS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 20-21, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399732
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Czachórski, Tadeusz. editor. (orcid)0000-0001-7158-0258 Gelenbe, Erol. editor. (orcid)0000-0001-9688-2201 Grochla, Krzysztof. editor. (orcid)0000-0001-6221-4790 Lent, Ricardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00840-6">https://doi.org/10.1007/978-3-030-00840-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Architecture 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24–28, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399751
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Cuesta, Carlos E. editor. (orcid)0000-0003-0286-4219 Garlan, David. editor. (orcid)0000-0002-6735-8301 Pérez, Jennifer. editor. (orcid)0000-0003-3192-7995 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00761-4">https://doi.org/10.1007/978-3-030-00761-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
ent://SD_ILS/0/SD_ILS:399861
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Jones, Cliff. editor. Wang, Ji. editor. Zhan, Naijun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01461-2">https://doi.org/10.1007/978-3-030-01461-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ad-hoc, Mobile, and Wireless Networks 17th International Conference on Ad Hoc Networks and Wireless, ADHOC-NOW 2018, Saint-Malo, France, September 5-7, 2018. Proceedings
ent://SD_ILS/0/SD_ILS:399919
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Montavont, Nicolas. editor. Papadopoulos, Georgios Z. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00247-3">https://doi.org/10.1007/978-3-030-00247-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Virtual Reality and Augmented Reality 15th EuroVR International Conference, EuroVR 2018, London, UK, October 22–23, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400096
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Bourdot, Patrick. editor. (orcid)0000-0003-2247-1930 Cobb, Sue. editor. (orcid)0000-0002-4600-6235 Interrante, Victoria. editor. (orcid)0000-0002-3313-6663 kato, Hirokazu. editor. Stricker, Didier. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01790-3">https://doi.org/10.1007/978-3-030-01790-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Service-Oriented and Cloud Computing Workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:400099
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Mann, Zoltán Ádám. editor. Stolz, Volker. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-79090-9">https://doi.org/10.1007/978-3-319-79090-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400131
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Podelski, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99725-4">https://doi.org/10.1007/978-3-319-99725-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Systems Security 14th International Conference, ICISS 2018, Bangalore, India, December 17-19, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400247
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Ganapathy, Vinod. editor. Jaeger, Trent. editor. Shyamasundar, R.K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05171-6">https://doi.org/10.1007/978-3-030-05171-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Frontiers in Quantitative Methods in Informatics 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:401223
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Balsamo, Simonetta. editor. Marin, Andrea. editor. Vicario, Enrico. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91632-3">https://doi.org/10.1007/978-3-319-91632-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Service-Oriented and Cloud Computing Workshops of ESOCC 2016, Vienna, Austria, September 5–7, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:401905
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Lazovik, Alexander. editor. Schulte, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72125-5">https://doi.org/10.1007/978-3-319-72125-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:402375
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Avigad, Jeremy. editor. Mahboubi, Assia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94821-8">https://doi.org/10.1007/978-3-319-94821-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399356
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Sun, Jing. editor. Sun, Meng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02450-5">https://doi.org/10.1007/978-3-030-02450-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:400263
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02928-9">https://doi.org/10.1007/978-3-030-02928-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Privacy Technologies and Policy 6th Annual Privacy Forum, APF 2018, Barcelona, Spain, June 13-14, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:400265
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Medina, Manel. editor. Mitrakas, Andreas. editor. Rannenberg, Kai. editor. Schweighofer, Erich. editor. Tsouroulas, Nikolaos. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02547-2">https://doi.org/10.1007/978-3-030-02547-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400554
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Colombo, Christian. editor. Leucker, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03769-7">https://doi.org/10.1007/978-3-030-03769-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:400605
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89960-2">https://doi.org/10.1007/978-3-319-89960-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401110
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Gallagher, John P. editor. (orcid)0000-0001-6984-7419 Sulzmann, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-90686-7">https://doi.org/10.1007/978-3-319-90686-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Communications and Networking 11th EAI international Conference, ChinaCom 2016 Chongqing, China, September 24-26, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:402150
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Chen, Qianbin. editor. Meng, Weixiao. editor. Zhao, Liqiang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66628-0">https://doi.org/10.1007/978-3-319-66628-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Communications and Networking 11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:402158
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Chen, Qianbin. editor. Meng, Weixiao. editor. Zhao, Liqiang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66625-9">https://doi.org/10.1007/978-3-319-66625-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Technologies 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:402213
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Cabello, Enrique. editor. Cardoso, Jorge. editor. Maciaszek, Leszek A. editor. van Sinderen, Marten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93641-3">https://doi.org/10.1007/978-3-319-93641-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evaluation of Novel Approaches to Software Engineering 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:401995
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Damiani, Ernesto. editor. Spanoudakis, George. editor. Maciaszek, Leszek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94135-6">https://doi.org/10.1007/978-3-319-94135-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400075
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481 Bensalem, Saddek. editor. Bliudze, Simon. editor. (orcid)0000-0002-7900-5271 Monsuez, Bruno. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00359-3">https://doi.org/10.1007/978-3-030-00359-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:400459
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Itsykson, Vladimir. editor. Scedrov, Andre. editor. Zakharov, Victor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71734-0">https://doi.org/10.1007/978-3-319-71734-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Process Improvement and Capability Determination 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9–10, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400465
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Stamelos, Ioannis. editor. O'Connor, Rory V. editor. Rout, Terry. editor. Dorling, Alec. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00623-5">https://doi.org/10.1007/978-3-030-00623-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:400495
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Pires, Luís Ferreira. editor. Hammoudi, Slimane. editor. Selic, Bran. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94764-8">https://doi.org/10.1007/978-3-319-94764-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
ent://SD_ILS/0/SD_ILS:400607
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Baier, Christel. editor. (orcid)0000-0002-5321-9343 Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89366-2">https://doi.org/10.1007/978-3-319-89366-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Lectures on Runtime Verification Introductory and Advanced Topics
ent://SD_ILS/0/SD_ILS:400774
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601 Falcone, Yliès. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-75632-5">https://doi.org/10.1007/978-3-319-75632-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Communications and Networking 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:400843
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Li, Bo. editor. Shu, Lei. editor. Zeng, Deze. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-78139-6">https://doi.org/10.1007/978-3-319-78139-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
5G for Future Wireless Networks First International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:400890
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Long, Keping. editor. Leung, Victor C.M. editor. Zhang, Haijun. editor. Feng, Zhiyong. editor. Li, Yonghui. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72823-0">https://doi.org/10.1007/978-3-319-72823-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Communication Technologies for Vehicles 13th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2018, Madrid, Spain, May 17-18, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400897
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Moreno García-Loygorri, Juan. editor. (orcid)0000-0002-4626-1535 Pérez-Yuste, Antonio. editor. (orcid)0000-0002-3503-5065 Briso, César. editor. (orcid)0000-0001-8219-9110 Berbineau, Marion. editor. Pirovano, Alain. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-90371-2">https://doi.org/10.1007/978-3-319-90371-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming
ent://SD_ILS/0/SD_ILS:400976
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Kormanyos, Christopher. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-56718-0">https://doi.org/10.1007/978-3-662-56718-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Autonomous Control for a Reliable Internet of Services Methods, Models, Approaches, Techniques, Algorithms, and Tools
ent://SD_ILS/0/SD_ILS:401277
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Ganchev, Ivan. editor. (orcid)0000-0003-0535-7087 van der Mei, R. D. editor. van den Berg, Hans. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-90415-3">https://doi.org/10.1007/978-3-319-90415-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modelling Foundations and Applications 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401565
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Pierantonio, Alfonso. editor. (orcid)0000-0002-5231-3952 Trujillo, Salvador. editor. (orcid)0000-0002-3147-4618 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92997-2">https://doi.org/10.1007/978-3-319-92997-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cloud Computing – CLOUD 2018 11th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401605
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Luo, Min. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94295-7">https://doi.org/10.1007/978-3-319-94295-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Big Data – BigData 2018 7th International Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401655
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Chin, Francis Y. L. editor. Chen, C. L. Philip. editor. (orcid)0000-0001-5451-7230 Khan, Latifur. editor. Lee, Kisung. editor. (orcid)0000-0003-4367-4374 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94301-5">https://doi.org/10.1007/978-3-319-94301-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:401670
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Heras, Dora B. editor. Bougé, Luc. editor. Mencagli, Gabriele. editor. Jeannot, Emmanuel. editor. Sakellariou, Rizos. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-75178-8">https://doi.org/10.1007/978-3-319-75178-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Services – SERVICES 2018 14th World Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401733
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Yang, Alvin. editor. Kantamneni, Siva. editor. (orcid)0000-0002-5729-2898 Li, Ying. editor. Dico, Awel. editor. Chen, Xiangang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94472-2">https://doi.org/10.1007/978-3-319-94472-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wireless Internet 9th International Conference, WICON 2016, Haikou, China, December 19-20, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:401922
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Huang, Mengxing. editor. Zhang, Yan. editor. Jing, Weipeng. editor. Mehmood, Amjad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72998-5">https://doi.org/10.1007/978-3-319-72998-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:401949
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831 Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-74313-4">https://doi.org/10.1007/978-3-319-74313-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401991
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Rensink, Arend. editor. (orcid)0000-0002-1714-6319 Sánchez Cuadrado, Jesús. editor. (orcid)0000-0001-9755-5616 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93317-7">https://doi.org/10.1007/978-3-319-93317-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Requirements Engineering and Management for Software Development Projects
ent://SD_ILS/0/SD_ILS:331756
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Chemuturi, Murali. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331756.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-5377-2">http://dx.doi.org/10.1007/978-1-4614-5377-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cloud Computing Third International Conference, CloudComp 2012, Vienna, Austria, September 24-26, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:333002
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Yousif, Mazin. editor. Schubert, Lutz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333002.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03874-2">http://dx.doi.org/10.1007/978-3-319-03874-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Communication Technologies for Vehicles 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d’Ascq, France, May 14-15, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334508
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Berbineau, Marion. editor. Jonsson, Magnus. editor. Bonnin, Jean-Marie. editor. Cherkaoui, Soumaya. editor. Aguado, Marina. editor.<br/>Preferred Shelf Number ONLINE(334508.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37974-1">http://dx.doi.org/10.1007/978-3-642-37974-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:335148
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Bian, Fuling. editor. Xie, Yichun. editor. Cui, Xiaohui. editor. Zeng, Yixin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335148.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41908-9">http://dx.doi.org/10.1007/978-3-642-41908-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:335179
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Bian, Fuling. editor. Xie, Yichun. editor. Cui, Xiaohui. editor. Zeng, Yixin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335179.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45025-9">http://dx.doi.org/10.1007/978-3-642-45025-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Innovative Technologies for Dependable OTS-Based Critical Systems Challenges and Achievements of the CRITICAL STEP Project
ent://SD_ILS/0/SD_ILS:335577
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Cotroneo, Domenico. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335577.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-88-470-2772-5">http://dx.doi.org/10.1007/978-88-470-2772-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Autonomic Computing Principles, Design and Implementation
ent://SD_ILS/0/SD_ILS:331115
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Lalanda, Philippe. author. McCann, Julie A. author. Diaconescu, Ada. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331115.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5007-7">http://dx.doi.org/10.1007/978-1-4471-5007-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334871
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Malyshkin, Victor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334871.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39958-9">http://dx.doi.org/10.1007/978-3-642-39958-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Euro-Par 2013 Parallel Processing 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334882
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Wolf, Felix. editor. Mohr, Bernd. editor. Mey, Dieter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334882.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40047-6">http://dx.doi.org/10.1007/978-3-642-40047-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335120
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Moreira, Ana. editor. Schätz, Bernhard. editor. Gray, Jeff. editor. Vallecillo, Antonio. editor. Clarke, Peter. editor.<br/>Preferred Shelf Number ONLINE(335120.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41533-3">http://dx.doi.org/10.1007/978-3-642-41533-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evaluating AAL Systems Through Competitive Benchmarking International Competitions and Final Workshop, EvAAL 2013, July and September 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335047
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Botía, Juan A. editor. Álvarez-García, Juan Antonio. editor. Fujinami, Kaori. editor. Barsocchi, Paolo. editor. Riedel, Till. editor.<br/>Preferred Shelf Number ONLINE(335047.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41043-7">http://dx.doi.org/10.1007/978-3-642-41043-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Qualitätssicherung durch Softwaretests Vorgehensweisen und Werkzeuge zum Test von Java-Programmen
ent://SD_ILS/0/SD_ILS:338309
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Kleuker, Stephan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(338309.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-2068-6">http://dx.doi.org/10.1007/978-3-8348-2068-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming
ent://SD_ILS/0/SD_ILS:333884
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Kormanyos, Christopher Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333884.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34688-0">http://dx.doi.org/10.1007/978-3-642-34688-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Facing the Multicore-Challenge III Aspects of New Paradigms and Technologies in Parallel Computing
ent://SD_ILS/0/SD_ILS:334079
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Keller, Rainer. editor. Kramer, David. editor. Weiss, Jan-Philipp. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334079.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35893-7">http://dx.doi.org/10.1007/978-3-642-35893-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wireless Sensor Networks 10th European Conference, EWSN 2013, Ghent, Belgium, February 13-15, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334263
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Demeester, Piet. editor. Moerman, Ingrid. editor. Terzis, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334263.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36672-7">http://dx.doi.org/10.1007/978-3-642-36672-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:334328
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Caragiannis, Ioannis. editor. Alexander, Michael. editor. Badia, Rosa Maria. editor. Cannataro, Mario. editor. Costan, Alexandru. editor.<br/>Preferred Shelf Number ONLINE(334328.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36949-0">http://dx.doi.org/10.1007/978-3-642-36949-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evaluating AAL Systems Through Competitive Benchmarking International Competitions and Final Workshop, EvAAL 2012, July and September 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334425
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Chessa, Stefano. editor. Knauth, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334425.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37419-7">http://dx.doi.org/10.1007/978-3-642-37419-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Benchmarking Peer-to-Peer Systems Understanding Quality of Service in Large-Scale Distributed Systems
ent://SD_ILS/0/SD_ILS:334646
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Effelsberg, Wolfgang. editor. Steinmetz, Ralf. editor. Strufe, Thorsten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334646.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38673-2">http://dx.doi.org/10.1007/978-3-642-38673-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Supercomputing 28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334662
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Kunkel, Julian Martin. editor. Ludwig, Thomas. editor. Meuer, Hans Werner. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334662.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38750-0">http://dx.doi.org/10.1007/978-3-642-38750-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334682
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Schirner, Gunar. editor. Götz, Marcelo. editor. Rettberg, Achim. editor. Zanella, Mauro C. editor. Rammig, Franz J. editor.<br/>Preferred Shelf Number ONLINE(334682.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38853-8">http://dx.doi.org/10.1007/978-3-642-38853-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Networks 20th International Conference, CN 2013, Lwówek Śląski, Poland, June 17-21, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334686
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Kwiecień, Andrzej. editor. Gaj, Piotr. editor. Stera, Piotr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334686.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38865-1">http://dx.doi.org/10.1007/978-3-642-38865-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Analytical and Stochastic Modeling Techniques and Applications 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334797
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Dudin, Alexander. editor. Turck, Koen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334797.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39408-9">http://dx.doi.org/10.1007/978-3-642-39408-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Driven Dependability Assessment of Software Systems
ent://SD_ILS/0/SD_ILS:334812
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Bernardi, Simona. author. Merseguer, José. author. Petriu, Dorina Corina. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334812.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39512-3">http://dx.doi.org/10.1007/978-3-642-39512-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Improving Software Testing Technical and Organizational Developments
ent://SD_ILS/0/SD_ILS:196203
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Majchrzak, Tim A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27464-0">http://dx.doi.org/10.1007/978-3-642-27464-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms for Sensor Systems 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2011, Saarbrücken, Germany, September 8-9, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196381
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Erlebach, Thomas. editor. Nikoletseas, Sotiris. editor. Orponen, Pekka. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28209-6">http://dx.doi.org/10.1007/978-3-642-28209-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Resilience Assessment and Evaluation of Computing Systems
ent://SD_ILS/0/SD_ILS:196592
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Wolter, Katinka. editor. Avritzer, Alberto. editor. Vieira, Marco. editor. van Moorsel, Aad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29032-9">http://dx.doi.org/10.1007/978-3-642-29032-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quality, Reliability, Security and Robustness in Heterogeneous Networks 7th International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2010, and Dedicated Short Range Communications Workshop, DSRC 2010, Houston, TX, USA, November 17-19, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196648
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Zhang, Xi. editor. Qiao, Daji. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29222-4">http://dx.doi.org/10.1007/978-3-642-29222-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testbeds and Research Infrastructure. Development of Networks and Communities 7th International ICST Conference,TridentCom 2011, Shanghai, China, April 17-19, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196661
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Korakis, Thanasis. editor. Li, Hongbin. editor. Tran-Gia, Phuoc. editor. Park, Hong-Shik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29273-6">http://dx.doi.org/10.1007/978-3-642-29273-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Sensor Systems and Software Third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197274
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Martins, Francisco. editor. Lopes, Luís. editor. Paulino, Hervé. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32778-0">http://dx.doi.org/10.1007/978-3-642-32778-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Euro-Par 2012 Parallel Processing 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197282
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Kaklamanis, Christos. editor. Papatheodorou, Theodore. editor. Spirakis, Paul G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32820-6">http://dx.doi.org/10.1007/978-3-642-32820-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197418
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author France, Robert B. editor. Kazmeier, Jürgen. editor. Breu, Ruth. editor. Atkinson, Colin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33666-9">http://dx.doi.org/10.1007/978-3-642-33666-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Aspects of Design Science European Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197421
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Helfert, Markus. editor. Donnellan, Brian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33681-2">http://dx.doi.org/10.1007/978-3-642-33681-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Petri Nets and Other Models of Concurrency VI
ent://SD_ILS/0/SD_ILS:197576
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Jensen, Kurt. editor. Aalst, Wil M. editor. Ajmone Marsan, Marco. editor. Franceschinis, Giuliana. editor. Kleijn, Jetty. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35179-2">http://dx.doi.org/10.1007/978-3-642-35179-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Analytical and Stochastic Modeling Techniques and Applications 19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196959
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Al-Begain, Khalid. editor. Fiems, Dieter. editor. Vincent, Jean-Marc. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30782-9">http://dx.doi.org/10.1007/978-3-642-30782-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Software Development Designing and Managing the Life Cycle
ent://SD_ILS/0/SD_ILS:173413
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Langer, Arthur M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-2300-2">http://dx.doi.org/10.1007/978-1-4471-2300-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Achieving Systems Safety Proceedings of the Twentieth Safety-Critical Systems Symposium, Bristol, UK, 7-9th February 2012
ent://SD_ILS/0/SD_ILS:173458
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Dale, Chris. editor. Anderson, Tom. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-2494-8">http://dx.doi.org/10.1007/978-1-4471-2494-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Economics of Grids, Clouds, Systems, and Services 8th International Workshop, GECON 2011, Paphos, Cyprus, December 5, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196507
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Vanmechelen, Kurt. editor. Altmann, Jörn. editor. Rana, Omer F. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28675-9">http://dx.doi.org/10.1007/978-3-642-28675-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Semantic Web Services Advancement through Evaluation
ent://SD_ILS/0/SD_ILS:196521
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Blake, Brian. editor. Cabral, Liliana. editor. König-Ries, Birgitta. editor. Küster, Ulrich. editor. Martin, David. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28735-0">http://dx.doi.org/10.1007/978-3-642-28735-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Euro-Par 2011: Parallel Processing Workshops CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 – September 2, 2011, Revised Selected Papers, Part I
ent://SD_ILS/0/SD_ILS:196761
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Alexander, Michael. editor. D’Ambra, Pasqua. editor. Belloum, Adam. editor. Bosilca, George. editor. Cannataro, Mario. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29737-3">http://dx.doi.org/10.1007/978-3-642-29737-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Euro-Par 2011: Parallel Processing Workshops CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 – September 2, 2011, Revised Selected Papers, Part II
ent://SD_ILS/0/SD_ILS:196762
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Alexander, Michael. editor. D’Ambra, Pasqua. editor. Belloum, Adam. editor. Bosilca, George. editor. Cannataro, Mario. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29740-3">http://dx.doi.org/10.1007/978-3-642-29740-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Embedded Technologies Vom Treiber bis zur Grafik-Anbindung
ent://SD_ILS/0/SD_ILS:195513
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Wietzke, Joachim. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23996-0">http://dx.doi.org/10.1007/978-3-642-23996-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Methods, Techniques, and Applications in Modeling and Simulation Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings
ent://SD_ILS/0/SD_ILS:203980
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Kim, Jong-Hyun. editor. Lee, Kangsun. editor. Tanaka, Satoshi. editor. Park, Soo-Hyun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-4-431-54216-2">http://dx.doi.org/10.1007/978-4-431-54216-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Networks 19th International Conference, CN 2012, Szczyrk, Poland, June 19-23, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197042
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Kwiecień, Andrzej. editor. Gaj, Piotr. editor. Stera, Piotr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31217-5">http://dx.doi.org/10.1007/978-3-642-31217-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wireless Algorithms, Systems, and Applications 7th International Conference, WASA 2012, Yellow Mountains, China, August 8-10, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197147
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Wang, Xinbing. editor. Zheng, Rong. editor. Jing, Tao. editor. Xing, Kai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31869-6">http://dx.doi.org/10.1007/978-3-642-31869-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundational and Practical Aspects of Resource Analysis Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197226
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Peña, Ricardo. editor. Eekelen, Marko. editor. Shkaravska, Olha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32495-6">http://dx.doi.org/10.1007/978-3-642-32495-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evaluating AAL Systems Through Competitive Benchmarking. Indoor Localization and Tracking International Competition, EvAAL 2011, Competition in Valencia, Spain, July 25-29, 2011, and Final Workshop in Lecce, Italy, September 26, 2011. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197398
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Chessa, Stefano. editor. Knauth, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33533-4">http://dx.doi.org/10.1007/978-3-642-33533-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Economics of Grids, Clouds, Systems, and Services 9th International Conference, GECON 2012, Berlin, Germany, November 27-28, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197578
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Vanmechelen, Kurt. editor. Altmann, Jörn. editor. Rana, Omer F. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35194-5">http://dx.doi.org/10.1007/978-3-642-35194-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testbeds and Research Infrastructure. Development of Networks and Communities 8th International ICST Conference, TridentCom 2012, Thessanoliki, Greece, June 11-13, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197617
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Korakis, Thanasis. editor. Zink, Michael. editor. Ott, Maximilian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35576-9">http://dx.doi.org/10.1007/978-3-642-35576-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
From scientific instrument to industrial machine Coping with architectural stress in embedded systems
ent://SD_ILS/0/SD_ILS:206610
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Doornbos, Richard. editor. van Loo, Sjir. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-4147-8">http://dx.doi.org/10.1007/978-94-007-4147-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Based Engineering of Embedded Real-Time Systems International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193244
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Giese, Holger. editor. Karsai, Gabor. editor. Lee, Edward. editor. Rumpe, Bernhard. editor. Schätz, Bernhard. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16277-0">http://dx.doi.org/10.1007/978-3-642-16277-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193696
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Leuken, René. editor. Sicard, Gilles. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17752-1">http://dx.doi.org/10.1007/978-3-642-17752-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testbeds and Research Infrastructures. Development of Networks and Communities 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193730
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Magedanz, Thomas. editor. Gavras, Anastasius. editor. Thanh, Nguyen Huu. editor. Chase, Jeffry S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17851-1">http://dx.doi.org/10.1007/978-3-642-17851-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Critical Information Infrastructures Security 5th International Workshop, CRITIS 2010, Athens, Greece, September 23-24, 2010. Revised Papers
ent://SD_ILS/0/SD_ILS:194786
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Xenakis, Christos. editor. Wolthusen, Stephen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21694-7">http://dx.doi.org/10.1007/978-3-642-21694-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Analytical and Stochastic Modeling Techniques and Applications 18th International Conference, ASMTA 2011, Venice, Italy, June 20-22, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194793
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Al-Begain, Khalid. editor. Balsamo, Simonetta. editor. Fiems, Dieter. editor. Marin, Andrea. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21713-5">http://dx.doi.org/10.1007/978-3-642-21713-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human Interface and the Management of Information. Interacting with Information Symposium on Human Interface 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:194820
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Smith, Michael J. editor. Salvendy, Gavriel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21793-7">http://dx.doi.org/10.1007/978-3-642-21793-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Euro-Par 2010 Parallel Processing Workshops HeteroPar, HPCC, HiBB, CoreGrid, UCHPC, HPCF, PROPER, CCPI, VHPC, Ischia, Italy, August 31–September 3, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:194849
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Guarracino, Mario R. editor. Vivien, Frédéric. editor. Träff, Jesper Larsson. editor. Cannatoro, Mario. editor. Danelutto, Marco. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21878-1">http://dx.doi.org/10.1007/978-3-642-21878-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Grids, Clouds and Virtualization
ent://SD_ILS/0/SD_ILS:168405
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Cafaro, Massimo. editor. Aloisio, Giovanni. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-049-6">http://dx.doi.org/10.1007/978-0-85729-049-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Systems Safety Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011
ent://SD_ILS/0/SD_ILS:168431
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Dale, Chris. editor. Anderson, Tom. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-133-2">http://dx.doi.org/10.1007/978-0-85729-133-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Sensing and Systems in Pervasive Computing Engineering Context Aware Systems
ent://SD_ILS/0/SD_ILS:168611
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Chalmers, Dan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-841-6">http://dx.doi.org/10.1007/978-0-85729-841-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Encyclopedia of Parallel Computing
ent://SD_ILS/0/SD_ILS:164784
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Padua, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-09766-4">http://dx.doi.org/10.1007/978-0-387-09766-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Real-Time Systems Design Principles for Distributed Embedded Applications
ent://SD_ILS/0/SD_ILS:173097
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Kopetz, Hermann. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-8237-7">http://dx.doi.org/10.1007/978-1-4419-8237-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hard Real-Time Computing Systems Predictable Scheduling Algorithms and Applications
ent://SD_ILS/0/SD_ILS:173752
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Buttazzo, Giorgio C. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-0676-1">http://dx.doi.org/10.1007/978-1-4614-0676-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Requirements Engineering
ent://SD_ILS/0/SD_ILS:176242
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Hull, Elizabeth. author. Jackson, Ken. author. Dick, Jeremy. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84996-405-0">http://dx.doi.org/10.1007/978-1-84996-405-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195562
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Ayala, José L. editor. García-Cámara, Braulio. editor. Prieto, Manuel. editor. Ruggiero, Martino. editor. Sicard, Gilles. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24154-3">http://dx.doi.org/10.1007/978-3-642-24154-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Accelerating Test, Validation and Debug of High Speed Serial Interfaces
ent://SD_ILS/0/SD_ILS:205484
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Fan, Yongquan. author. Zilic, Zeljko. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-9398-1">http://dx.doi.org/10.1007/978-90-481-9398-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:194654
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Calinescu, Radu. editor. Jackson, Ethan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21292-5">http://dx.doi.org/10.1007/978-3-642-21292-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wireless Algorithms, Systems, and Applications 6th International Conference, WASA 2011, Chengdu, China, August 11-13, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195358
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Cheng, Yu. editor. Eun, Do Young. editor. Qin, Zhiguang. editor. Song, Min. editor. Xing, Kai. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23490-3">http://dx.doi.org/10.1007/978-3-642-23490-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Process Algebraic Approach to Software Architecture Design
ent://SD_ILS/0/SD_ILS:175768
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Aldini, Alessandro. author. Bernardo, Marco. author. Corradini, Flavio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-223-4">http://dx.doi.org/10.1007/978-1-84800-223-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Making Systems Safer Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, 9-11th February 2010
ent://SD_ILS/0/SD_ILS:176151
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Dale, Chris. editor. Anderson, Tom. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84996-086-1">http://dx.doi.org/10.1007/978-1-84996-086-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ad Hoc Networks First International Conference, ADHOCNETS 2009, Niagara Falls, Ontario, Canada, September 22-25, 2009. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191780
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Zheng, Jun. editor. Mao, Shiwen. editor. Midkiff, Scott F. editor. Zhu, Hua. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11723-7">http://dx.doi.org/10.1007/978-3-642-11723-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Networks for Grid Applications Third International ICST Conference, GridNets 2009, Athens, Greece, September 8-9, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191784
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Doulamis, Anastasios. editor. Mambretti, Joe. editor. Tomkos, Ioannis. editor. Varvarigou, Theodora. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11733-6">http://dx.doi.org/10.1007/978-3-642-11733-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Analytical and Stochastic Modeling Techniques and Applications 17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192378
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Al-Begain, Khalid. editor. Fiems, Dieter. editor. Knottenbelt, William J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13568-2">http://dx.doi.org/10.1007/978-3-642-13568-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wireless Algorithms, Systems, and Applications 5th International Conference, WASA 2010, Beijing, China, August 15-17, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192725
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Pandurangan, Gopal. editor. Anil Kumar, V. S. editor. Ming, Gu. editor. Liu, Yunhao. editor. Li, Yingshu. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14654-1">http://dx.doi.org/10.1007/978-3-642-14654-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Critical Information Infrastructures Security 4th International Workshop, CRITIS 2009, Bonn, Germany, September 30 - October 2, 2009. Revised Papers
ent://SD_ILS/0/SD_ILS:192634
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Rome, Erich. editor. Bloomfield, Robin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14379-3">http://dx.doi.org/10.1007/978-3-642-14379-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Trends in Wireless and Mobile Networks Second International Conference, WiMo 2010, Ankara, Turkey, June 26-28, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192569
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Özcan, Abdulkadir. editor. Chaki, Nabendu. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14171-3">http://dx.doi.org/10.1007/978-3-642-14171-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms for Sensor Systems 6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities, ALGOSENSORS 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193485
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Scheideler, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16988-5">http://dx.doi.org/10.1007/978-3-642-16988-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Computer Software. Future Trends and Techniques for Development 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:192036
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Choppy, Christine. editor. Sokolsky, Oleg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12566-9">http://dx.doi.org/10.1007/978-3-642-12566-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Euro-Par 2009 – Parallel Processing Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:192557
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Lin, Hai-Xiang. editor. Alexander, Michael. editor. Forsell, Martti. editor. Knüpfer, Andreas. editor. Prodan, Radu. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14122-5">http://dx.doi.org/10.1007/978-3-642-14122-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification and Validation in Systems Engineering Assessing UML/SysML Design Models
ent://SD_ILS/0/SD_ILS:192902
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Debbabi, Mourad. author. Hassaïne, Fawzi. author. Jarraya, Yosr. author. Soeanu, Andrei. author. Alawneh, Luay. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15228-3">http://dx.doi.org/10.1007/978-3-642-15228-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Economics of Grids, Clouds, Systems, and Services 7th International Workshop, GECON 2010, Ischia, Italy, August 31, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193050
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Altmann, Jörn. editor. Rana, Omer F. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15681-6">http://dx.doi.org/10.1007/978-3-642-15681-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Abnahme komplexer Software-Systeme Das Praxishandbuch
ent://SD_ILS/0/SD_ILS:185414
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Osterhage, Wolfgang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68230-1">http://dx.doi.org/10.1007/978-3-540-68230-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Aspect-Oriented Software Development V
ent://SD_ILS/0/SD_ILS:190203
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Rashid, Awais. editor. Ossher, Harold. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02059-9">http://dx.doi.org/10.1007/978-3-642-02059-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Computing in Sensor Systems 5th IEEE International Conference, DCOSS 2009, Marina del Rey, CA, USA, June 8-10, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190211
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Krishnamachari, Bhaskar. editor. Suri, Subhash. editor. Heinzelman, Wendi. editor. Mitra, Urbashi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02085-8">http://dx.doi.org/10.1007/978-3-642-02085-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reliable Software Technologies – Ada-Europe 2009 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190165
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Kordon, Fabrice. editor. Kermarrec, Yvon. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01924-1">http://dx.doi.org/10.1007/978-3-642-01924-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Future Multimedia Networking Second International Workshop, FMN 2009, Coimbra, Portugal, June 22-23, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190331
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Mauthe, Andreas. editor. Zeadally, Sherali. editor. Cerqueira, Eduardo. editor. Curado, Marília. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02472-6">http://dx.doi.org/10.1007/978-3-642-02472-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Process and Product Measurement International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:191262
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Abran, Alain. editor. Braungarten, René. editor. Dumke, Reiner R. editor. Cuadrado-Gallego, Juan J. editor. Brunekreef, Jacob. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-05415-0">http://dx.doi.org/10.1007/978-3-642-05415-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmic Aspects of Wireless Sensor Networks 5th International Workshop, ALGOSENSORS 2009, Rhodes, Greece, July 10-11, 2009. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191269
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Dolev, Shlomi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-05434-1">http://dx.doi.org/10.1007/978-3-642-05434-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08
ent://SD_ILS/0/SD_ILS:170626
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Radetzki, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-9714-0">http://dx.doi.org/10.1007/978-1-4020-9714-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Safety-Critical Systems: Problems, Process and Practice Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, 3–5 February 2009
ent://SD_ILS/0/SD_ILS:175957
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Dale, Chris. editor. Anderson, Tom. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-349-5">http://dx.doi.org/10.1007/978-1-84882-349-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human Interface and the Management of Information. Information and Interaction Symposium on Human Interface 2009, Held as part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:190358
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Salvendy, Gavriel. editor. Smith, Michael J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02559-4">http://dx.doi.org/10.1007/978-3-642-02559-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Implementation and Application of Automata 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190479
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Maneth, Sebastian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02979-0">http://dx.doi.org/10.1007/978-3-642-02979-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Euro-Par 2009 Parallel Processing 15th International Euro-Par Conference, Delft, The Netherlands, August 25-28, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190764
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Sips, Henk. editor. Epema, Dick. editor. Lin, Hai-Xiang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03869-3">http://dx.doi.org/10.1007/978-3-642-03869-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Analysis, Architectures and Modelling of Embedded Systems Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190898
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Rettberg, Achim. editor. Zanella, Mauro C. editor. Amann, Michael. editor. Keckeisen, Michael. editor. Rammig, Franz J. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04284-3">http://dx.doi.org/10.1007/978-3-642-04284-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Safety, Reliability, and Security 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190960
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Buth, Bettina. editor. Rabe, Gerd. editor. Seyfarth, Till. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04468-7">http://dx.doi.org/10.1007/978-3-642-04468-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers
ent://SD_ILS/0/SD_ILS:191028
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Bensalem, Saddek. editor. Peled, Doron A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04694-0">http://dx.doi.org/10.1007/978-3-642-04694-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Scalable Information Systems 4th International ICST Conference, INFOSCALE 2009, Hong Kong, June 10-11, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191382
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Mueller, Peter. editor. Cao, Jian-Nong. editor. Wang, Cho-Li. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10485-5">http://dx.doi.org/10.1007/978-3-642-10485-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Software Engineering International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:191424
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Ślęzak, Dominik. editor. Kim, Tai-hoon. editor. Kiumi, Akingbehin. editor. Jiang, Tao. editor. Verner, June. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10619-4">http://dx.doi.org/10.1007/978-3-642-10619-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quality of Service in Heterogeneous Networks 6th International ICST Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2009 and 3rd International Workshop on Advanced Architectures and Algorithms for Internet Delivery and Applications, AAA-IDEA 2009, Las Palmas, Gran Canaria, November 23-25, 2009 Proceedings
ent://SD_ILS/0/SD_ILS:191426
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Bartolini, Novella. editor. Nikoletseas, Sotiris. editor. Sinha, Prasun. editor. Cardellini, Valeria. editor. Mahanti, Anirban. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10625-5">http://dx.doi.org/10.1007/978-3-642-10625-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cloud Computing First International Conference, CloudCom 2009, Beijing, China, December 1-4, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:191439
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Jaatun, Martin Gilje. editor. Zhao, Gansen. editor. Rong, Chunming. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10665-1">http://dx.doi.org/10.1007/978-3-642-10665-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189067
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88479-8">http://dx.doi.org/10.1007/978-3-540-88479-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
NETWORKING 2009 8th International IFIP-TC 6 Networking Conference, Aachen, Germany, May 11-15, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:189980
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Fratta, Luigi. editor. Schulzrinne, Henning. editor. Takahashi, Yutaka. editor. Spaniol, Otto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01399-7">http://dx.doi.org/10.1007/978-3-642-01399-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Services and Formal Methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:189970
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Bruni, Roberto. editor. Wolf, Karsten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01364-5">http://dx.doi.org/10.1007/978-3-642-01364-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Networks for Grid Applications Second International Conference, GridNets 2008, Beijing, China, October 8-10, 2008, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:190209
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Vicat-Blanc Primet, Pascale. editor. Kudoh, Tomohiro. editor. Mambretti, Joe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02080-3">http://dx.doi.org/10.1007/978-3-642-02080-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Applications and Interoperable Systems 9th IFIP WG 6.1 International Conference, DAIS 2009, Lisbon, Portugal, June 9-11, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190236
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Senivongse, Twittie. editor. Oliveira, Rui. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02164-0">http://dx.doi.org/10.1007/978-3-642-02164-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Analytical and Stochastic Modeling Techniques and Applications 16th International Conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190250
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Al-Begain, Khalid. editor. Fiems, Dieter. editor. Horváth, Gábor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02205-0">http://dx.doi.org/10.1007/978-3-642-02205-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Networks 16th Conference, CN 2009, Wisła, Poland, June 16-20, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190394
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Kwiecień, Andrzej. editor. Gaj, Piotr. editor. Stera, Piotr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02671-3">http://dx.doi.org/10.1007/978-3-642-02671-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tests and Proofs Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190469
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Dubois, Catherine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02949-3">http://dx.doi.org/10.1007/978-3-642-02949-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wireless Algorithms, Systems, and Applications 4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190616
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Liu, Benyuan. editor. Bestavros, Azer. editor. Du, Ding-Zhu. editor. Wang, Jie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03417-6">http://dx.doi.org/10.1007/978-3-642-03417-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Robust and Online Large-Scale Optimization Models and Techniques for Transportation Systems
ent://SD_ILS/0/SD_ILS:191279
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Ahuja, Ravindra K. editor. Möhring, Rolf H. editor. Zaroliagis, Christos D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-05465-5">http://dx.doi.org/10.1007/978-3-642-05465-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Architecting Dependable Systems VI
ent://SD_ILS/0/SD_ILS:191313
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Lemos, Rogério. editor. Fabre, Jean-Charles. editor. Gacek, Cristina. editor. Gadducci, Fabio. editor. Beek, Maurice. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10248-6">http://dx.doi.org/10.1007/978-3-642-10248-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Services and Formal Methods 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:188368
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Dumas, Marlon. editor. Heckel, Reiko. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79230-7">http://dx.doi.org/10.1007/978-3-540-79230-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
NETWORKING 2008 Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet 7th International IFIP-TC6 Networking Conference Singapore, May 5-9, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:188473
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Das, Amitabha. editor. Pung, Hung Keng. editor. Lee, Francis Bu Sung. editor. Wong, Lawrence Wai Choong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79549-0">http://dx.doi.org/10.1007/978-3-540-79549-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Euro-Par 2008 – Parallel Processing 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188702
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Luque, Emilio. editor. Margalef, Tomàs. editor. Benítez, Domingo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85451-7">http://dx.doi.org/10.1007/978-3-540-85451-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Next Generation Teletraffic and Wired/Wireless Advanced Networking 8th International Conference, NEW2AN and 1st Russian Conference on Smart Spaces, ruSMART 2008 St. Petersburg, Russia, September 3-5, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188711
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Balandin, Sergey. editor. Moltchanov, Dmitri. editor. Koucheryavy, Yevgeni. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85500-2">http://dx.doi.org/10.1007/978-3-540-85500-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188772
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Cassez, Franck. editor. Jard, Claude. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85778-5">http://dx.doi.org/10.1007/978-3-540-85778-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wireless Algorithms, Systems, and Applications Third International Conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189082
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Li, Yingshu. editor. Huynh, Dung T. editor. Das, Sajal K. editor. Du, Ding-Zhu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88582-5">http://dx.doi.org/10.1007/978-3-540-88582-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers
ent://SD_ILS/0/SD_ILS:189230
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Leucker, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89247-2">http://dx.doi.org/10.1007/978-3-540-89247-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Analytical and Stochastic Modeling Techniques and Applications 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185675
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Al-Begain, Khalid. editor. Heindl, Armin. editor. Telek, Miklós. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68982-9">http://dx.doi.org/10.1007/978-3-540-68982-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Advanced Empirical Software Engineering
ent://SD_ILS/0/SD_ILS:175684
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Shull, Forrest. editor. Singer, Janice. editor. Sjøberg, Dag I. K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-044-5">http://dx.doi.org/10.1007/978-1-84800-044-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Improvements in System Safety
ent://SD_ILS/0/SD_ILS:175711
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Redmill, Felix. editor. Anderson, Tom. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-100-8">http://dx.doi.org/10.1007/978-1-84800-100-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Grid and Pervasive Computing Third International Conference, GPC 2008, Kunming, China, May 25-28, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:185344
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Wu, Song. editor. Yang, Laurence T. editor. Xu, Tony Li. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68083-3">http://dx.doi.org/10.1007/978-3-540-68083-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Testing Network An Integral Approach to Test Activities in Large Software Projects
ent://SD_ILS/0/SD_ILS:188154
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Henry, Pierre. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78504-0">http://dx.doi.org/10.1007/978-3-540-78504-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188342
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Beckert, Bernhard. editor. Hähnle, Reiner. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79124-9">http://dx.doi.org/10.1007/978-3-540-79124-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Common Component Modeling Example Comparing Software Component Models
ent://SD_ILS/0/SD_ILS:188664
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Rausch, Andreas. editor. Reussner, Ralf. editor. Mirandola, Raffaela. editor. Plášil, František. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85289-6">http://dx.doi.org/10.1007/978-3-540-85289-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reliable Systems on Unreliable Networked Platforms 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:186197
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Kordon, Fabrice. editor. Sztipanovits, Janos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71156-8">http://dx.doi.org/10.1007/978-3-540-71156-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Grid and Pervasive Computing Second International Conference, GPC 2007, Paris, France, May 2-4, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186516
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Cérin, Christophe. editor. Li, Kuan-Ching. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72360-8">http://dx.doi.org/10.1007/978-3-540-72360-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Composition of Embedded Systems. Scientific and Industrial Issues 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers
ent://SD_ILS/0/SD_ILS:187866
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Kordon, Fabrice. editor. Sokolsky, Oleg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77419-8">http://dx.doi.org/10.1007/978-3-540-77419-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Memory Optimization Techniques for Low-Power Embedded Processors
ent://SD_ILS/0/SD_ILS:169629
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Verma, Manish. author. Marwedel, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-5897-4">http://dx.doi.org/10.1007/978-1-4020-5897-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Next Generation Teletraffic and Wired/Wireless Advanced Networking 7th International Conference, NEW2AN 2007 St. Petersburg, Russia, September 10-14, 2007 Proceedings
ent://SD_ILS/0/SD_ILS:187282
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Koucheryavy, Yevgeni. editor. Harju, Jarmo. editor. Sayenko, Alexander. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74833-5">http://dx.doi.org/10.1007/978-3-540-74833-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel and Distributed Processing and Applications 5th International Symposium, ISPA 2007 Niagara Falls, Canada, August 29-31, 2007 Proceedings
ent://SD_ILS/0/SD_ILS:187249
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Stojmenovic, Ivan. editor. Thulasiram, Ruppa K. editor. Yang, Laurence T. editor. Jia, Weijia. editor. Guo, Minyi. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74742-0">http://dx.doi.org/10.1007/978-3-540-74742-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trends in Enterprise Application Architecture 2nd International Conference, TEAA 2006, Berlin, Germany, November 29 - December 1, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:187534
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Draheim, Dirk. editor. Weber, Gerald. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75912-6">http://dx.doi.org/10.1007/978-3-540-75912-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Safety of Systems Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, 13–15 February 2007
ent://SD_ILS/0/SD_ILS:175575
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Redmill, Felix. editor. Anderson, Tom. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-806-7">http://dx.doi.org/10.1007/978-1-84628-806-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
NETWORKING 2007. Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet 6th International IFIP-TC6 Networking Conference, Atlanta, GA, USA, May 14-18, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186599
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Akyildiz, Ian F. editor. Sivakumar, Raghupathy. editor. Ekici, Eylem. editor. Oliveira, Jaudelice Cavalcante de. editor. McNair, Janise. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72606-7">http://dx.doi.org/10.1007/978-3-540-72606-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Embedded Software and Systems Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186619
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Lee, Yann-Hang. editor. Kim, Heung-Nam. editor. Kim, Jong. editor. Park, Yongwan. editor. Yang, Laurence T. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72685-2">http://dx.doi.org/10.1007/978-3-540-72685-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Test and Analysis of Web Services
ent://SD_ILS/0/SD_ILS:186686
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Baresi, Luciano. editor. Nitto, Elisabetta Di. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72912-9">http://dx.doi.org/10.1007/978-3-540-72912-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Optical Network Design and Modeling 11th International IFIP TC6 Conference, ONDM 2007, Athens, Greece, May 29-31, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186637
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Tomkos, Ioannis. editor. Neri, Fabio. editor. Solé Pareta, Josep. editor. Masip Bruin, Xavier. editor. Sánchez Lopez, Sergi. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72731-6">http://dx.doi.org/10.1007/978-3-540-72731-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tests and Proofs First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers
ent://SD_ILS/0/SD_ILS:186960
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Gurevich, Yuri. editor. Meyer, Bertrand. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73770-4">http://dx.doi.org/10.1007/978-3-540-73770-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dependable Computing Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187389
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Bondavalli, Andrea. editor. Brasileiro, Francisco. editor. Rajsbaum, Sergio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75294-3">http://dx.doi.org/10.1007/978-3-540-75294-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guerrilla Capacity Planning A Tactical Approach to Planning for Highly Scalable Applications and Services
ent://SD_ILS/0/SD_ILS:182503
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Gunther, Neil J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-31010-5">http://dx.doi.org/10.1007/978-3-540-31010-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Performancemanagement für serviceorientierte JAVA-Anwendungen Werkzeug- und Methodenunterstützung im Spannungsfeld von Entwicklung und Betrieb
ent://SD_ILS/0/SD_ILS:184396
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Schmalenbach, Christof. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-36632-4">http://dx.doi.org/10.1007/978-3-540-36632-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Architectures, Components, and Applications Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:187931
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Overhage, Sven. editor. Szyperski, Clemens A. editor. Reussner, Ralf. editor. Stafford, Judith A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77619-2">http://dx.doi.org/10.1007/978-3-540-77619-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Engineering
ent://SD_ILS/0/SD_ILS:181682
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Mendes, Emilia. editor. Mosley, Nile. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-28218-1">http://dx.doi.org/10.1007/3-540-28218-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Next Generation Teletraffic and Wired/Wireless Advanced Networking 6th International Conference, NEW2AN 2006, St. Petersburg, Russia, May 29 - June 2, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184055
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Koucheryavy, Yevgeni. editor. Harju, Jarmo. editor. Iversen, Villy B. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11759355">http://dx.doi.org/10.1007/11759355</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Availability and Disaster Recovery Concepts, Design, Implementation
ent://SD_ILS/0/SD_ILS:184109
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Schmidt, Klaus. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-34582-5">http://dx.doi.org/10.1007/3-540-34582-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Services and Formal Methods Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings
ent://SD_ILS/0/SD_ILS:184696
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Bravetti, Mario. editor. Núñez, Manuel. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11841197">http://dx.doi.org/10.1007/11841197</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Configuration Management Using Vesta
ent://SD_ILS/0/SD_ILS:165766
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Heydon, Allan. author. Mann, Timothy. author. Levin, Roy. author. Yu, Yuan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-30852-4">http://dx.doi.org/10.1007/978-0-387-30852-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Developments in Risk-based Approaches to Safety Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, 7–9 February 2006
ent://SD_ILS/0/SD_ILS:175422
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Redmill, Felix. editor. Anderson, Tom. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-84628-447-3">http://dx.doi.org/10.1007/1-84628-447-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Grid and Pervasive Computing First International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183842
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Chung, Yeh-Ching. editor. Moreira, José E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11745693">http://dx.doi.org/10.1007/11745693</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Embedded Systems – Modeling, Technology, and Applications
ent://SD_ILS/0/SD_ILS:169320
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Hommel, Günter. editor. Huanye, Sheng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-4933-1">http://dx.doi.org/10.1007/1-4020-4933-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dependable Systems: Software, Computing, Networks Research Results of the DICS Program
ent://SD_ILS/0/SD_ILS:184443
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Kohlas, Jürg. editor. Meyer, Bertrand. editor. Schiper, André. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11808107">http://dx.doi.org/10.1007/11808107</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wireless Algorithms, Systems, and Applications First International Conference, WASA 2006, Xi’an, China, August 15-17, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184494
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Cheng, Xiuzhen. editor. Li, Wei. editor. Znati, Taieb. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11814856">http://dx.doi.org/10.1007/11814856</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quality of Software Architectures Second International Conference on Quality of Software Architectures, QoSA 2006, Västerås, Sweden, June 27-29, 2006 Revised Papers
ent://SD_ILS/0/SD_ILS:185130
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Hofmeister, Christine. editor. Crnkovic, Ivica. editor. Reussner, Ralf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11921998">http://dx.doi.org/10.1007/11921998</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel and Distributed Processing and Applications 4th International Symposium, ISPA 2006, Sorrento, Italy, December 4-6, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:185339
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Guo, Minyi. editor. Yang, Laurence T. editor. Martino, Beniamino. editor. Zima, Hans P. editor. Dongarra, Jack. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11946441">http://dx.doi.org/10.1007/11946441</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dependable Computing Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183155
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Maziero, Carlos Alberto. editor. Gabriel Silva, João. editor. Andrade, Aline Maria Santos. editor. Assis Silva, Flávio Morais. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11572329">http://dx.doi.org/10.1007/11572329</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel and Distributed Processing and Applications Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183163
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Pan, Yi. editor. Chen, Daoxu. editor. Guo, Minyi. editor. Cao, Jiannong. editor. Dongarra, Jack. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11576235">http://dx.doi.org/10.1007/11576235</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Process Modeling
ent://SD_ILS/0/SD_ILS:165037
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Acuña, Silvia T. editor. Juristo, Natalia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104986">http://dx.doi.org/10.1007/b104986</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Software Process Model Handbook for Incorporating People’s Capabilities
ent://SD_ILS/0/SD_ILS:165143
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Acuña, Silvia Teresita. author. Juristo, Natalia. author. Moreno, Ana María. author. Mon, Alicia. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106969">http://dx.doi.org/10.1007/b106969</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Functional Verification of Programmable Embedded Architectures A Top-Down Approach
ent://SD_ILS/0/SD_ILS:165277
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Mishra, Prabhat. author. Dutt, Nikil D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137514">http://dx.doi.org/10.1007/b137514</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Constituents of Modern System-safety Thinking Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8–10 February 2005
ent://SD_ILS/0/SD_ILS:175257
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Redmill, Felix. editor. Anderson, Tom. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b139109">http://dx.doi.org/10.1007/b139109</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Embedded Software and Systems First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182909
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Wu, Zhaohui. editor. Chen, Chun. editor. Guo, Minyi. editor. Bu, Jiajun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11535409">http://dx.doi.org/10.1007/11535409</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Embedded Software and Systems Second International Conference, ICESS 2005, Xi’an, China, December 16-18, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183282
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Yang, Laurence T. editor. Zhou, Xingshe. editor. Zhao, Wei. editor. Wu, Zhaohui. editor. Zhu, Yian. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11599555">http://dx.doi.org/10.1007/11599555</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Expert Oracle
ent://SD_ILS/0/SD_ILS:170724
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Kyte, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0019-2">http://dx.doi.org/10.1007/978-1-4302-0019-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Requirements Engineering
ent://SD_ILS/0/SD_ILS:175209
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Hull, Elizabeth. author. Jackson, Kenneth. author. Dick, Jeremy. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138335">http://dx.doi.org/10.1007/b138335</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dependable Computing - EDCC 5 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183086
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Cin, Mario. editor. Kaâniche, Mohamed. editor. Pataricza, András. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b107276">http://dx.doi.org/10.1007/b107276</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quality of Software Architectures and Software Quality First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183121
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Reussner, Ralf. editor. Mayer, Johannes. editor. Stafford, Judith A. editor. Overhage, Sven. editor. Becker, Steffen. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11558569">http://dx.doi.org/10.1007/11558569</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel and Distributed Processing and Applications - ISPA 2005 Workshops ISPA 2005 International Workshops, AEPP, ASTD, BIOS, GCIC, IADS, MASN, SGCA, and WISA, Nanjing, China, November 2-5, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183176
2024-11-12T23:27:51Z
2024-11-12T23:27:51Z
Author Chen, Guihai. editor. Pan, Yi. editor. Guo, Minyi. editor. Lu, Jian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11576259">http://dx.doi.org/10.1007/11576259</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>