Search Results for Germany - Narrowed by: Software engineering.

Systems and Virtualization Management. Standards and New Technologies Second International Workshop, SVM 2008 Munich, Germany, October, 21-22, 2008 Proceedings

2026-05-16T02:29:38Z

Author Boursas, Latifa. editor. Carlson, Mark. editor. Hommel, Wolfgang. editor. Sibilla, Michelle. editor. Wold, Kes. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88708-9
Format: Electronic Resources
Availability Online Library~1

Balancing Software Innovation and Regulatory Compliance 17th International Conference on Software Quality, SWQD 2025, Munich, Germany, May 20-22, 2025, Proceedings

2026-05-16T02:29:38Z

Author Fischbach, Jannik. editor. (orcid)0000-0002-4361-6118 Ramler, Rudolf. editor. (orcid)0000-0001-9903-6107 Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124 Bergsmann, Johannes. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-89277-6
Format: Electronic Resources
Availability Online Library~1

Innovations for Community Services 25th International Conference, I4CS 2025, Munich, Germany, June 11-13, 2025, Proceedings

2026-05-16T02:29:38Z

Author Zielinski, Sebastian. editor. (orcid)0009-0000-0894-8996 Eichler, Gerald. editor. (orcid)0000-0002-7420-698X Erfurth, Christian. editor. (orcid)0000-0003-2761-3985 Fahrnberger, Günter. editor. (orcid)0000-0002-2606-3988 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-94263-1
Format: Electronic Resources
Availability Online Library~1

Subject-Oriented Business Process Management. Models for Designing Digital Transformations 15th International Conference, S-BPM ONE 2024, Weiden, Germany, May 21-22, 2024, Proceedings

2026-05-16T02:29:38Z

Author Elstermann, Matthes. editor. (orcid)0009-0007-9845-9926 Lederer, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-72041-3
Format: Electronic Resources
Availability Online Library~1

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 18th European Conference, ECSQARU 2025, Hagen, Germany, September 23-26, 2025, Proceedings

2026-05-16T02:29:38Z

Author Sauerwald, Kai. editor. (orcid)0000-0002-1551-7016 Thimm, Matthias. editor. (orcid)0000-0002-8157-1053 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-032-05134-9
Format: Electronic Resources
Availability Online Library~1

High Performance Computing. ISC High Performance 2024 International Workshops Hamburg, Germany, May 12-16, 2024, Revised Selected Papers

2026-05-16T02:29:38Z

Author Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Neuwirth, Sarah. editor. (orcid)0000-0001-7409-153X Kruse, Carola. editor. (orcid)0000-0002-4142-7356 Weinzierl, Tobias. editor. (orcid)0000-0002-6208-1841 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-73716-9
Format: Electronic Resources
Availability Online Library~1

Graph Transformation 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings

2026-05-16T02:29:38Z

Author Endrullis, Jörg. editor. (orcid)0000-0002-2554-8270 Tichy, Matthias. editor. (orcid)0000-0002-9067-3748 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-94706-3
Format: Electronic Resources
Availability Online Library~1

End-User Development 10th International Symposium, IS-EUD 2025, Munich, Germany, June 16-18, 2025, Proceedings

2026-05-16T02:29:38Z

Author Santoro, Carmen. editor. (orcid)0000-0002-0556-7538 Schmidt, Albrecht. editor. (orcid)0000-0003-3890-1990 Matera, Maristella. editor. (orcid)0000-0003-0552-8624 Bellucci, Andrea. editor. (orcid)0000-0003-4035-5271 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-95452-8
Format: Electronic Resources
Availability Online Library~1

Systems, Software and Services Process Improvement 31st European Conference, EuroSPI 2024, Munich, Germany, September 4-6, 2024, Proceedings, Part II

2026-05-16T02:29:38Z

Author Yilmaz, Murat. editor. (orcid)0000-0002-2446-3224 Clarke, Paul. editor. (orcid)0000-0002-4487-627X Riel, Andreas. editor. (orcid)0000-0001-9859-019X Messnarz, Richard. editor. (orcid)0000-0002-0555-3160 Greiner, Christian. editor. (orcid)0000-0002-8184-7128
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71142-8
Format: Electronic Resources
Availability Online Library~1

Robust Argumentation Machines First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings

2026-05-16T02:29:38Z

Author Cimiano, Philipp. editor. (orcid)0000-0002-4771-441X Frank, Anette. editor. (orcid)0000-0003-4706-9817 Kohlhase, Michael. editor. (orcid)0000-0002-9859-6337 Stein, Benno. editor. (orcid)0000-0001-9033-2217 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-63536-6
Format: Electronic Resources
Availability Online Library~1

Systems, Software and Services Process Improvement 31st European Conference, EuroSPI 2024, Munich, Germany, September 4-6, 2024, Proceedings, Part I

2026-05-16T02:29:38Z

Author Yilmaz, Murat. editor. (orcid)0000-0002-2446-3224 Clarke, Paul. editor. (orcid)0000-0002-4487-627X Riel, Andreas. editor. (orcid)0000-0001-9859-019X Messnarz, Richard. editor. (orcid)0000-0002-0555-3160 Greiner, Christian. editor. (orcid)0000-0002-8184-7128
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71139-8
Format: Electronic Resources
Availability Online Library~1

High Performance Computing 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16–20, 2019, Proceedings

2026-05-16T02:29:38Z

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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-20656-7
Format: Electronic Resources
Availability Online Library~1

Mathematical Morphology and Its Applications to Signal and Image Processing 14th International Symposium, ISMM 2019, Saarbrücken, Germany, July 8-10, 2019, Proceedings

2026-05-16T02:29:38Z

Author Burgeth, Bernhard. editor. (orcid)0000-0001-6602-6201 Kleefeld, Andreas. editor. (orcid)0000-0001-8324-821X Naegel, Benoît. editor. (orcid)0000-0002-7695-1473 Passat, Nicolas. editor. (orcid)0000-0002-0320-4581 Perret, Benjamin. editor. (orcid)0000-0003-0933-8342
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-20867-7
Format: Electronic Resources
Availability Online Library~1

Membrane Computing 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers

2026-05-16T02:29:38Z

Author Hinze, Thomas. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Zandron, Claudio. editor. (orcid)0000-0002-2163-7639 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-12797-8
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2019: Parallel Processing 25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26–30, 2019, Proceedings

2026-05-16T02:29:38Z

Author Yahyapour, Ramin. editor. (orcid)0000-0002-9057-4395 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-29400-7
Format: Electronic Resources
Availability Online Library~1

System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings

2026-05-16T02:29:38Z

Author Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Sancho, Maria-Ribera. editor. (orcid)0000-0002-5904-8709 Sherratt, Edel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30690-8
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

2026-05-16T02:29:38Z

Author Mesnard, Fred. editor. Stuckey, Peter J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-13838-7
Format: Electronic Resources
Availability Online Library~1

High Performance Computing ISC High Performance 2019 International Workshops, Frankfurt, Germany, June 16-20, 2019, Revised Selected Papers

2026-05-16T02:29:38Z

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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-34356-9
Format: Electronic Resources
Availability Online Library~1

Requirements Engineering: Foundation for Software Quality 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings

2026-05-16T02:29:38Z

Author Knauss, Eric. editor. (orcid)0000-0002-6631-872X Goedicke, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-15538-4
Format: Electronic Resources
Availability Online Library~1

Algorithms for Sensor Systems 15th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2019, Munich, Germany, September 12–13, 2019, Revised Selected Papers

2026-05-16T02:29:38Z

Author Dressler, Falko. editor. (orcid)0000-0002-1989-1750 Scheideler, Christian. editor. (orcid)0000-0002-5278-528X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-34405-4
Format: Electronic Resources
Availability Online Library~1

Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings

2026-05-16T02:29:38Z

Author Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457 Haar, Stefan. editor. (orcid)0000-0002-1892-2703 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-21571-2
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – EUROCRYPT 2019 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part III

2026-05-16T02:29:38Z

Author Ishai, Yuval. editor. Rijmen, Vincent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17659-4
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – EUROCRYPT 2019 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part II

2026-05-16T02:29:38Z

Author Ishai, Yuval. editor. Rijmen, Vincent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17656-3
Format: Electronic Resources
Availability Online Library~1

Applied Reconfigurable Computing 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9–11, 2019, Proceedings

2026-05-16T02:29:38Z

Author Hochberger, Christian. editor. Nelson, Brent. editor. Koch, Andreas. editor. Woods, Roger. editor. Diniz, Pedro. editor. (orcid)0000-0003-3131-9367
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17227-5
Format: Electronic Resources
Availability Online Library~1

Business Information Systems 21st International Conference, BIS 2018, Berlin, Germany, July 18-20, 2018, Proceedings

2026-05-16T02:29:38Z

Author Abramowicz, Witold. editor. (orcid)0000-0001-5464-9698 Paschke, Adrian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93931-5
Format: Electronic Resources
Availability Online Library~1

KI 2018: Advances in Artificial Intelligence 41st German Conference on AI, Berlin, Germany, September 24–28, 2018, Proceedings

2026-05-16T02:29:38Z

Author Trollmann, Frank. editor. Turhan, Anni-Yasmin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00111-7
Format: Electronic Resources
Availability Online Library~1

Computer Vision – ECCV 2018 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part XI

2026-05-16T02:29:38Z

Author Ferrari, Vittorio. editor. Hebert, Martial. editor. Sminchisescu, Cristian. editor. Weiss, Yair. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01252-6
Format: Electronic Resources
Availability Online Library~1

Interactive Collaborative Robotics Third International Conference, ICR 2018, Leipzig, Germany, September 18–22, 2018, Proceedings

2026-05-16T02:29:38Z

Author Ronzhin, Andrey. editor. (orcid)0000-0002-8903-3508 Rigoll, Gerhard. editor. (orcid)0000-0003-1096-1596 Meshcheryakov, Roman. editor. (orcid)0000-0002-1129-8434 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99582-3
Format: Electronic Resources
Availability Online Library~1

Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers

2026-05-16T02:29:38Z

Author Bennaceur, Amel. editor. (orcid)0000-0002-6124-9622 Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 Meinke, Karl. editor. (orcid)0000-0002-9706-5008 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-96562-8
Format: Electronic Resources
Availability Online Library~1

From Animals to Animats 15 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14-17, 2018, Proceedings

2026-05-16T02:29:38Z

Author Manoonpong, Poramate. editor. (orcid)0000-0002-4806-7576 Larsen, Jørgen Christian. editor. (orcid)0000-0002-4741-8290 Xiong, Xiaofeng. editor. Hallam, John. editor. Triesch, Jochen. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-97628-0
Format: Electronic Resources
Availability Online Library~1

Security Standardisation Research 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings

2026-05-16T02:29:38Z

Author Cremers, Cas. editor. (orcid)0000-0003-0322-2293 Lehmann, Anja. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04762-7
Format: Electronic Resources
Availability Online Library~1

Computer Vision – ECCV 2018 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part II

2026-05-16T02:29:38Z

Author Ferrari, Vittorio. editor. Hebert, Martial. editor. Sminchisescu, Cristian. editor. Weiss, Yair. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01216-8
Format: Electronic Resources
Availability Online Library~1

Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers

2026-05-16T02:29:38Z

Author Seipel, Dietmar. editor. Hanus, Michael. editor. (orcid)0000-0002-4953-8202 Abreu, Salvador. editor. (orcid)0000-0002-1613-4631 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00801-7
Format: Electronic Resources
Availability Online Library~1

Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

2026-05-16T02:29:38Z

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

Computer Vision – ECCV 2018 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part XVI

2026-05-16T02:29:38Z

Author Ferrari, Vittorio. editor. Hebert, Martial. editor. Sminchisescu, Cristian. editor. Weiss, Yair. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01270-0
Format: Electronic Resources
Availability Online Library~1

Product-Focused Software Process Improvement 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings

2026-05-16T02:29:38Z

Author Kuhrmann, Marco. editor. (orcid)0000-0001-6101-8931 Schneider, Kurt. editor. Pfahl, Dietmar. editor. (orcid)0000-0003-2400-501X Amasaki, Sousuke. editor. Ciolkowski, Marcus. editor. (orcid)0000-0001-8494-4794
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03673-7
Format: Electronic Resources
Availability Online Library~1

Measurement, Modelling and Evaluation of Computing Systems 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings

2026-05-16T02:29:38Z

Author German, Reinhard. editor. Hielscher, Kai-Steffen. editor. Krieger, Udo R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74947-1
Format: Electronic Resources
Availability Online Library~1

Software Technologies: Applications and Foundations STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers

2026-05-16T02:29:38Z

Author Seidl, Martina. editor. Zschaler, Steffen. editor. (orcid)0000-0001-9062-6637 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74730-9
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

2026-05-16T02:29:38Z

Author Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63390-9
Format: Electronic Resources
Availability Online Library~1

Interoperability and Open-Source Solutions for the Internet of Things Second International Workshop, InterOSS-IoT 2016, Held in Conjunction with IoT 2016, Stuttgart, Germany, November 7, 2016, Invited Papers

2026-05-16T02:29:38Z

Author Podnar Žarko, Ivana. editor. Broering, Arne. editor. Soursos, Sergios. editor. Serrano, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-56877-5
Format: Electronic Resources
Availability Online Library~1

Spatial Cognition X 13th Biennial Conference, KogWis 2016, Bremen, Germany, September 26-30, 2016, and 10th International Conference, Spatial Cognition 2016, Philadelphia, PA, USA, August 2-5, 2016, Revised Selected Papers

2026-05-16T02:29:38Z

Author Barkowsky, Thomas. editor. Burte, Heather. editor. Hölscher, Christoph. editor. Schultheis, Holger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68189-4
Format: Electronic Resources
Availability Online Library~1

High-Performance Scientific Computing First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4-5, 2016, Revised Selected Papers

2026-05-16T02:29:38Z

Author Di Napoli, Edoardo. editor. Hermanns, Marc-André. editor. Iliev, Hristo. editor. Lintermann, Andreas. editor. Peyser, Alexander. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-53862-4
Format: Electronic Resources
Availability Online Library~1

Similarity Search and Applications 10th International Conference, SISAP 2017, Munich, Germany, October 4-6, 2017, Proceedings

2026-05-16T02:29:38Z

Author Beecks, Christian. editor. Borutta, Felix. editor. Kröger, Peer. editor. Seidl, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68474-1
Format: Electronic Resources
Availability Online Library~1

Designing the Digital Transformation 12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 - June 1, 2017, Proceedings

2026-05-16T02:29:38Z

Author Maedche, Alexander. editor. vom Brocke, Jan. editor. Hevner, Alan. editor. (orcid)0000-0003-4953-3900 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-59144-5
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

2026-05-16T02:29:38Z

Author Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63387-9
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings

2026-05-16T02:29:38Z

Author Abate, Alessandro. editor. Geeraerts, Gilles. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-65765-3
Format: Electronic Resources
Availability Online Library~1

Advanced Information Systems Engineering Workshops CAISE 2017 International Workshops, Essen, Germany, June 12-16, 2017, Proceedings

2026-05-16T02:29:38Z

Author Metzger, Andreas. editor. Persson, Anne. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60048-2
Format: Electronic Resources
Availability Online Library~1

Search Based Software Engineering 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings

2026-05-16T02:29:38Z

Author Menzies, Tim. editor. Petke, Justyna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66299-2
Format: Electronic Resources
Availability Online Library~1

Advances in Production Management Systems. The Path to Intelligent, Collaborative and Sustainable Manufacturing IFIP WG 5.7 International Conference, APMS 2017, Hamburg, Germany, September 3-7, 2017, Proceedings, Part I

2026-05-16T02:29:38Z

Author Lödding, Hermann. editor. Riedel, Ralph. editor. Thoben, Klaus-Dieter. editor. von Cieminski, Gregor. editor. Kiritsis, Dimitris. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66923-6
Format: Electronic Resources
Availability Online Library~1

Verified Software. Theories, Tools, and Experiments 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

2026-05-16T02:29:38Z

Author Paskevich, Andrei. editor. Wies, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72308-2
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Self-Adaptive Systems III. Assurances International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers

2026-05-16T02:29:38Z

Author de Lemos, Rogério. editor. Garlan, David. editor. Ghezzi, Carlo. editor. Giese, Holger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74183-3
Format: Electronic Resources
Availability Online Library~1

Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

2026-05-16T02:29:38Z

Author Gabmeyer, Sebastian. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61467-0
Format: Electronic Resources
Availability Online Library~1

Requirements Engineering: Foundation for Software Quality 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 - March 2, 2017, Proceedings

2026-05-16T02:29:38Z

Author Grünbacher, Paul. editor. Perini, Anna. editor. (orcid)0000-0001-8818-6476 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54045-0
Format: Electronic Resources
Availability Online Library~1

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

2026-05-16T02:29:38Z

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

Agile Processes in Software Engineering and Extreme Programming 18th International Conference, XP 2017, Cologne, Germany, May 22-26, 2017, Proceedings

2026-05-16T02:29:38Z

Author Baumeister, Hubert. editor. Lichter, Horst. editor. Riebisch, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57633-6
Format: Electronic Resources
Availability Online Library~1

Enterprise and Organizational Modeling and Simulation 13th International Workshop, EOMAS 2017, Held at CAiSE 2017, Essen, Germany, June 12-13, 2017, Selected Papers

2026-05-16T02:29:38Z

Author Pergl, Robert. editor. Lock, Russell. editor. Babkin, Eduard. editor. (orcid)0000-0003-2597-9043 Molhanec, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68185-6
Format: Electronic Resources
Availability Online Library~1

Software Business 8th International Conference, ICSOB 2017, Essen, Germany, June 12-13, 2017, Proceedings

2026-05-16T02:29:38Z

Author Ojala, Arto. editor. (orcid)0000-0002-3276-6348 Holmström Olsson, Helena. editor. Werder, Karl. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69191-6
Format: Electronic Resources
Availability Online Library~1

Theory and Practice of Model Transformation 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings

2026-05-16T02:29:38Z

Author Guerra, Esther. editor. van den Brand, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61473-1
Format: Electronic Resources
Availability Online Library~1

Modelling Foundations and Applications 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

2026-05-16T02:29:38Z

Author Anjorin, Anthony. editor. Espinoza, Huáscar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61482-3
Format: Electronic Resources
Availability Online Library~1

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

2026-05-16T02:29:38Z

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

Engineering Secure Software and Systems 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings

2026-05-16T02:29:38Z

Author Bodden, Eric. editor. Payer, Mathias. editor. (orcid)0000-0001-5054-7547 Athanasopoulos, Elias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-62105-0
Format: Electronic Resources
Availability Online Library~1

Advanced Information Systems Engineering 29th International Conference, CAiSE 2017, Essen, Germany, June 12-16, 2017, Proceedings

2026-05-16T02:29:38Z

Author Dubois, Eric. editor. Pohl, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-59536-8
Format: Electronic Resources
Availability Online Library~1

Advances in Production Management Systems. The Path to Intelligent, Collaborative and Sustainable Manufacturing IFIP WG 5.7 International Conference, APMS 2017, Hamburg, Germany, September 3-7, 2017, Proceedings, Part II

2026-05-16T02:29:38Z

Author Lödding, Hermann. editor. Riedel, Ralph. editor. Thoben, Klaus-Dieter. editor. von Cieminski, Gregor. editor. Kiritsis, Dimitris. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66926-7
Format: Electronic Resources
Availability Online Library~1

Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings

2026-05-16T02:29:38Z

Author Remke, Anne. editor. Haverkort, Boudewijn R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-31559-1
Format: Electronic Resources
Availability Online Library~1

Mathematical Software - ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings

2026-05-16T02:29:38Z

Author Greuel, Gert-Martin. editor. Koch, Thorsten. editor. Paule, Peter. editor. Sommese, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42432-3
Format: Electronic Resources
Availability Online Library~1

Architecture of Computing Systems -- ARCS 2016 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings

2026-05-16T02:29:38Z

Author Hannig, Frank. editor. (orcid)0000-0003-3663-6484 Cardoso, João M.P. editor. Pionteck, Thilo. editor. Fey, Dietmar. editor. (orcid)0000-0002-6077-4732 Schröder-Preikschat, Wolfgang. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-30695-7
Format: Electronic Resources
Availability Online Library~1

Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedings

2026-05-16T02:29:38Z

Author Fischbach, Kai. editor. Krieger, Udo R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-05359-2
Format: Electronic Resources
Availability Online Library~1

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

2026-05-16T02:29:38Z

Author Jürjens, Jan. editor. Piessens, Frank. editor. Bielova, Nataliia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-04897-0
Format: Electronic Resources
Availability Online Library~1

Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

2026-05-16T02:29:38Z

Author Müller-Olm, Markus. editor. Seidl, Helmut. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10936-7
Format: Electronic Resources
Availability Online Library~1

Stabilization, Safety, and Security of Distributed Systems 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 -- October 1, 2014. Proceedings

2026-05-16T02:29:38Z

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

S-BPM ONE -- Scientific Research 6th International Conference, S-BPM ONE 2014, Eichstätt, Germany, April 22-23, 2014, Proceedings

2026-05-16T02:29:38Z

Author Nanopoulos, Alexandros. editor. Schmidt, Werner. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06065-1
Format: Electronic Resources
Availability Online Library~1

Coordination Models and Languages 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

2026-05-16T02:29:38Z

Author Kühn, Eva. editor. Pugliese, Rosario. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-43376-8
Format: Electronic Resources
Availability Online Library~1

Cloud Computing and Services Science Third International Conference, CLOSER 2013, Aachen, Germany, May 8-10, 2013, Revised Selected Papers

2026-05-16T02:29:38Z

Author Helfert, Markus. editor. Desprez, Frédéric. editor. Ferguson, Donald. editor. Leymann, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11561-0
Format: Electronic Resources
Availability Online Library~1

Human-Centered Software Engineering 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings

2026-05-16T02:29:38Z

Author Sauer, Stefan. editor. Bogdan, Cristian. editor. (orcid)0000-0001-7549-1797 Forbrig, Peter. editor. Bernhaupt, Regina. editor. Winckler, Marco. editor. (orcid)0000-0002-0756-6934
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44811-3
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2013: Parallel Processing Workshops BigDataCloud, DIHC, FedICI, HeteroPar, HiBB, LSDVE, MHPC, OMHI, PADABS, PROPER, Resilience, ROME, UCHPC 2013, Aachen, Germany, August 26-30, 2013. Revised Selected Papers

2026-05-16T02:29:38Z

Author an Mey, Dieter. editor. Alexander, Michael. editor. Paolo, Bientinesi. editor. Cannataro, Mario. editor. Clauss, Carsten. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54420-0
Format: Electronic Resources
Availability Online Library~1

Web Information Systems and Technologies 9th International Conference, WEBIST 2013, Aachen, Germany, May 8-10, 2013, Revised Selected Papers

2026-05-16T02:29:38Z

Author Krempels, Karl-Heinz. editor. Stocker, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44300-2
Format: Electronic Resources
Availability Online Library~1

Service-Oriented Computing--ICSOC 2013 Workshops CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers

2026-05-16T02:29:38Z

Author Lomuscio, Alessio. editor. Nepal, Surya. editor. Patrizi, Fabio. editor. Benatallah, Boualem. editor. Brandić, Ivona. editor. (orcid)0000-0001-7424-0208
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06859-6
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

2026-05-16T02:29:38Z

Author Ábrahám, Erika. editor. Palamidessi, Catuscia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-43613-4
Format: Electronic Resources
Availability Online Library~1

Requirements Engineering: Foundation for Software Quality 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014, Proceedings

2026-05-16T02:29:38Z

Author Salinesi, Camille. editor. van de Weerd, Inge. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-05843-6
Format: Electronic Resources
Availability Online Library~1

Model-Based Safety and Assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings

2026-05-16T02:29:38Z

Author Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142 Rauzy, Antoine. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12214-4
Format: Electronic Resources
Availability Online Library~1

S-BPM ONE - Running Processes 5th International Conference, S-BPM ONE 2013, Deggendorf, Germany, March 11-12, 2013. Proceedings

2026-05-16T02:29:38Z

Author Fischer, Herbert. editor. Schneeberger, Josef. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334281.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36754-0
Format: Electronic Resources
Availability Online Library~1

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

2026-05-16T02:29:38Z

Author Tribastone, Mirco. editor. Gilmore, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334290.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36781-6
Format: Electronic Resources
Availability Online Library~1

Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers

2026-05-16T02:29:38Z

Author Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334556.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38209-3
Format: Electronic Resources
Availability Online Library~1

Requirements Engineering: Foundation for Software Quality 19th International Working Conference, REFSQ 2013, Essen, Germany, April 8-11, 2013. Proceedings

2026-05-16T02:29:38Z

Author Doerr, Joerg. editor. Opdahl, Andreas L. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334426.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37422-7
Format: Electronic Resources
Availability Online Library~1

Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings

2026-05-16T02:29:38Z

Author Keller, Hubert B. editor. Plödereder, Erhard. editor. Dencker, Peter. editor. Klenk, Herbert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334631.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38601-5
Format: Electronic Resources
Availability Online Library~1

Detection of Intrusions and Malware, and Vulnerability Assessment 10th International Conference, DIMVA 2013, Berlin, Germany, July 18-19, 2013. Proceedings

2026-05-16T02:29:38Z

Author Rieck, Konrad. editor. Stewin, Patrick. editor. Seifert, Jean-Pierre. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334760.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39235-1
Format: Electronic Resources
Availability Online Library~1

Software Business. From Physical Products to Software Services and Solutions 4th International Conference, ICSOB 2013, Potsdam, Germany, June 11-14, 2013. Proceedings

2026-05-16T02:29:38Z

Author Herzwurm, Georg. editor. Margaria, Tiziana. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334783.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39336-5
Format: Electronic Resources
Availability Online Library~1

Mobile Networks and Management 4th International Conference, MONAMI 2012, Hamburg, Germany, September 24-26, 2012, Revised Selected Papers

2026-05-16T02:29:38Z

Author Timm-Giel, Andreas. editor. Strassner, John. editor. Agüero, Ramón. editor. Sargento, Susana. editor. Pentikousis, Kostas. editor.
Preferred Shelf Number ONLINE(334503.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37935-2
Format: Electronic Resources
Availability Online Library~1

Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings

2026-05-16T02:29:38Z

Author Cellier, Peggy. editor. Distel, Felix. editor. Ganter, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334580.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38317-5
Format: Electronic Resources
Availability Online Library~1

Supercomputing 28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013. Proceedings

2026-05-16T02:29:38Z

Author Kunkel, Julian Martin. editor. Ludwig, Thomas. editor. Meuer, Hans Werner. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334662.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38750-0
Format: Electronic Resources
Availability Online Library~1

Software Process Improvement and Capability Determination 13th International Conference, SPICE 2013, Bremen, Germany, June 4-6, 2013. Proceedings

2026-05-16T02:29:38Z

Author Woronowicz, Tanja. editor. Rout, Terry. editor. O’Connor, Rory V. editor. Dorling, Alec. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334677.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38833-0
Format: Electronic Resources
Availability Online Library~1

Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings

2026-05-16T02:29:38Z

Author Schirner, Gunar. editor. Götz, Marcelo. editor. Rettberg, Achim. editor. Zanella, Mauro C. editor. Rammig, Franz J. editor.
Preferred Shelf Number ONLINE(334682.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38853-8
Format: Electronic Resources
Availability Online Library~1

Service-Oriented Computing 11th International Conference, ICSOC 2013, Berlin, Germany, December 2-5, 2013, Proceedings

2026-05-16T02:29:38Z

Author Basu, Samik. editor. Pautasso, Cesare. editor. Zhang, Liang. editor. Fu, Xiang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335177.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45005-1
Format: Electronic Resources
Availability Online Library~1

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

2026-05-16T02:29:38Z

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

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers

2026-05-16T02:29:38Z

Author Czarnecki, Krzysztof. editor. Hedin, Görel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334120.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36089-3
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2013 Parallel Processing 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings

2026-05-16T02:29:38Z

Author Wolf, Felix. editor. Mohr, Bernd. editor. Mey, Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334882.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40047-6
Format: Electronic Resources
Availability Online Library~1

Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings

2026-05-16T02:29:38Z

Author Faber, Wolfgang. editor. Lembo, Domenico. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334832.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39666-3
Format: Electronic Resources
Availability Online Library~1

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings

2026-05-16T02:29:38Z

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

Graph Transformations 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings

2026-05-16T02:29:38Z

Author Ehrig, Hartmut. editor. Engels, Gregor. editor. Kreowski, Hans-Jörg. editor. Rozenberg, Grzegorz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33654-6
Format: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings

2026-05-16T02:29:38Z

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

Economics of Grids, Clouds, Systems, and Services 9th International Conference, GECON 2012, Berlin, Germany, November 27-28, 2012. Proceedings

2026-05-16T02:29:38Z

Author Vanmechelen, Kurt. editor. Altmann, Jörn. editor. Rana, Omer F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35194-5
Format: Electronic Resources
Availability Online Library~1

Current Trends in Web Engineering ICWE 2012 International Workshops: MDWE, ComposableWeb, WeRE, QWE, and Doctoral Consortium, Berlin, Germany, July 23-27, 2012, Revised Selected Papers

2026-05-16T02:29:38Z

Author Grossniklaus, Michael. editor. Wimmer, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35623-0
Format: Electronic Resources
Availability Online Library~1

Application and Theory of Petri Nets 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings

2026-05-16T02:29:38Z

Author Haddad, Serge. editor. Pomello, Lucia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31131-4
Format: Electronic Resources
Availability Online Library~1

Architecture of Computing Systems – ARCS 2012 25th International Conference, Munich, Germany, February 28 - March 2, 2012. Proceedings

2026-05-16T02:29:38Z

Author Herkersdorf, Andreas. editor. Römer, Kay. editor. Brinkschulte, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28293-5
Format: Electronic Resources
Availability Online Library~1

Requirements Engineering: Foundation for Software Quality 18th International Working Conference, REFSQ 2012, Essen, Germany, March 19-22, 2012. Proceedings

2026-05-16T02:29:38Z

Author Regnell, Björn. editor. Damian, Daniela. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28714-5
Format: Electronic Resources
Availability Online Library~1

Trustworthy Global Computing 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers

2026-05-16T02:29:38Z

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

Computer Safety, Reliability, and Security 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings

2026-05-16T02:29:38Z

Author Ortmeier, Frank. editor. Daniel, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33678-2
Format: Electronic Resources
Availability Online Library~1

Theory of Security and Applications Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers

2026-05-16T02:29:38Z

Author Mödersheim, Sebastian. editor. Palamidessi, Catuscia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27375-9
Format: Electronic Resources
Availability Online Library~1

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

2026-05-16T02:29:38Z

Author Erlebach, Thomas. editor. Nikoletseas, Sotiris. editor. Orponen, Pekka. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28209-6
Format: Electronic Resources
Availability Online Library~1

Web Engineering 12th International Conference, ICWE 2012, Berlin, Germany, July 23-27, 2012. Proceedings

2026-05-16T02:29:38Z

Author Brambilla, Marco. editor. Tokuda, Takehiro. editor. Tolksdorf, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31753-8
Format: Electronic Resources
Availability Online Library~1

Information Security 15th International Conference, ISC 2012, Passau, Germany, September 19-21, 2012. Proceedings

2026-05-16T02:29:38Z

Author Gollmann, Dieter. editor. Freiling, Felix C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33383-5
Format: Electronic Resources
Availability Online Library~1

Business Process Modeling Notation Second International Workshop, BPMN 2010, Potsdam, Germany, October 13-14, 2010. Proceedings

2026-05-16T02:29:38Z

Author Mendling, Jan. editor. Weidlich, Matthias. editor. Weske, Mathias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16298-5
Format: Electronic Resources
Availability Online Library~1

Ad-hoc, Mobile, and Wireless Networks 10th International Conference, ADHOC-NOW 2011, Paderborn, Germany, July 18-20, 2011. Proceedings

2026-05-16T02:29:38Z

Author Frey, Hannes. editor. Li, Xu. editor. Ruehrup, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22450-8
Format: Electronic Resources
Availability Online Library~1

Descriptional Complexity of Formal Systems 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings

2026-05-16T02:29:38Z

Author Holzer, Markus. editor. Kutrib, Martin. editor. Pighizzini, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22600-7
Format: Electronic Resources
Availability Online Library~1

Subject-Oriented Business Process Management Second International Conference, S-BPM ONE 2010, Karlsruhe, Germany, October 14, 2010. Selected Papers

2026-05-16T02:29:38Z

Author Fleischmann, Albert. editor. Schmidt, Werner. editor. Singer, Robert. editor. Seese, Detlef. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23135-3
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

2026-05-16T02:29:38Z

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

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

2026-05-16T02:29:38Z

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

Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

2026-05-16T02:29:38Z

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

Fundamental Approaches to Software Engineering 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

2026-05-16T02:29:38Z

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

Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

2026-05-16T02:29:38Z

Author Abdulla, Parosh Aziz. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19835-9
Format: Electronic Resources
Availability Online Library~1

Requirements Engineering: Foundation for Software Quality 17th International Working Conference, REFSQ 2011, Essen, Germany, March 28-30, 2011. Proceedings

2026-05-16T02:29:38Z

Author Berry, Daniel. editor. Franch, Xavier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19858-8
Format: Electronic Resources
Availability Online Library~1

Compiler Construction 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

2026-05-16T02:29:38Z

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

CONCUR 2011 – Concurrency Theory 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings

2026-05-16T02:29:38Z

Author Katoen, Joost-Pieter. editor. König, Barbara. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23217-6
Format: Electronic Resources
Availability Online Library~1

Energy-Aware Communications 17th International Workshop, EUNICE 2011, Dresden, Germany, September 5-7, 2011. Proceedings

2026-05-16T02:29:38Z

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

Automated Deduction in Geometry 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers

2026-05-16T02:29:38Z

Author Schreck, Pascal. editor. Narboux, Julien. editor. Richter-Gebert, Jürgen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25070-5
Format: Electronic Resources
Availability Online Library~1

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

2026-05-16T02:29:38Z

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

Testbeds and Research Infrastructures. Development of Networks and Communities 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010, Revised Selected Papers

2026-05-16T02:29:38Z

Author Magedanz, Thomas. editor. Gavras, Anastasius. editor. Thanh, Nguyen Huu. editor. Chase, Jeffry S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17851-1
Format: Electronic Resources
Availability Online Library~1

Self-Organizing Systems 5th International Workshop, IWSOS 2011, Karlsruhe, Germany, February 23-24. 2011. Proceedings

2026-05-16T02:29:38Z

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

Wireless Sensor Networks 8th European Conference, EWSN 2011, Bonn, Germany, February 23-25, 2011. Proceedings

2026-05-16T02:29:38Z

Author Marrón, Pedro José. editor. Whitehouse, Kamin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19186-2
Format: Electronic Resources
Availability Online Library~1

S-BPM ONE - Learning by Doing - Doing by Learning Third International Conference, S-BPM ONE 2011, Ingolstadt, Germany, September 29-30, 2011. Proceedings

2026-05-16T02:29:38Z

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

Software Architecture 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011. Proceedings

2026-05-16T02:29:38Z

Author Crnkovic, Ivica. editor. Gruhn, Volker. editor. Book, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23798-0
Format: Electronic Resources
Availability Online Library~1

Governance and Sustainability in Information Systems. Managing the Transfer and Diffusion of IT IFIP WG 8.6 International Working Conference, Hamburg, Germany, September 22-24, 2011. Proceedings

2026-05-16T02:29:38Z

Author Nüttgens, Markus. editor. Gadatsch, Andreas. editor. Kautz, Karlheinz. editor. Schirmer, Ingrid. editor. Blinn, Nadine. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24148-2
Format: Electronic Resources
Availability Online Library~1

Computational Logistics Second International Conference, ICCL 2011, Hamburg, Germany, September 19-22, 2011. Proceedings

2026-05-16T02:29:38Z

Author Böse, Jürgen W. editor. Hu, Hao. editor. Jahn, Carlos. editor. Shi, Xiaoning. editor. Stahlbock, Robert. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24264-9
Format: Electronic Resources
Availability Online Library~1

Frontiers of Combining Systems 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings

2026-05-16T02:29:38Z

Author Tinelli, Cesare. editor. Sofronie-Stokkermans, Viorica. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24364-6
Format: Electronic Resources
Availability Online Library~1

Multiagent System Technologies 9th German Conference, MATES 2011, Berlin, Germany, October 6-7, 2011. Proceedings

2026-05-16T02:29:38Z

Author Klügl, Franziska. editor. Ossowski, Sascha. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24603-6
Format: Electronic Resources
Availability Online Library~1

Requirements Engineering: Foundation for Software Quality 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30–July 2, 2010. Proceedings

2026-05-16T02:29:38Z

Author Wieringa, Roel. editor. Persson, Anne. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14192-8
Format: Electronic Resources
Availability Online Library~1

Future Internet - FIS 2009 Second Future Internet Symposium, FIS 2009, Berlin, Germany, September 1-3, 2009

2026-05-16T02:29:38Z

Author Zseby, Tanja. editor. Savola, Reijo. editor. Pistore, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14956-6
Format: Electronic Resources
Availability Online Library~1

Multiagent System Technologies 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010. Proceedings

2026-05-16T02:29:38Z

Author Dix, Jürgen. editor. Witteveen, Cees. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16178-0
Format: Electronic Resources
Availability Online Library~1

S-BPM ONE – Setting the Stage for Subject-Oriented Business Process Management First International Workshop, Karlsruhe, Germany, October 22, 2009. Revised Selected Papers

2026-05-16T02:29:38Z

Author Buchwald, Hagen. editor. Fleischmann, Albert. editor. Seese, Detlef. editor. Stary, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15915-2
Format: Electronic Resources
Availability Online Library~1

Smart Sensing and Context 5th European Conference, EuroSSC 2010, Passau, Germany, November 14-16, 2010. Proceedings

2026-05-16T02:29:38Z

Author Lukowicz, Paul. editor. Kunze, Kai. editor. Kortuem, Gerd. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16982-3
Format: Electronic Resources
Availability Online Library~1

Cloud Computing First International Conference, CloudComp 2009 Munich, Germany, October 19–21, 2009 Revised Selected Papers

2026-05-16T02:29:38Z

Author Avresky, Dimiter R. editor. Diaz, Michel. editor. Bode, Arndt. editor. Ciciani, Bruno. editor. Dekel, Eliezer. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12636-9
Format: Electronic Resources
Availability Online Library~1

Critical Information Infrastructures Security 4th International Workshop, CRITIS 2009, Bonn, Germany, September 30 - October 2, 2009. Revised Papers

2026-05-16T02:29:38Z

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

Trustworthly Global Computing 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

2026-05-16T02:29:38Z

Author Wirsing, Martin. editor. Hofmann, Martin. editor. Rauschmayer, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15640-3
Format: Electronic Resources
Availability Online Library~1

Recent Advances in the Message Passing Interface 17th European MPI Users’ Group Meeting, EuroMPI 2010, Stuttgart, Germany, September 12-15, 2010. Proceedings

2026-05-16T02:29:38Z

Author Keller, Rainer. editor. Gabriel, Edgar. editor. Resch, Michael. editor. Dongarra, Jack. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15646-5
Format: Electronic Resources
Availability Online Library~1

Objects and Databases Third International Conference, ICOODB 2010, Frankfurt/Main, Germany, September 28-30, 2010. Proceedings

2026-05-16T02:29:38Z

Author Dearle, Alan. editor. Zicari, Roberto V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16092-9
Format: Electronic Resources
Availability Online Library~1

Computational Logic in Multi-Agent Systems 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers

2026-05-16T02:29:38Z

Author Dix, Jürgen. editor. Fisher, Michael. editor. Novák, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16867-3
Format: Electronic Resources
Availability Online Library~1

Architecture of Computing Systems - ARCS 2010 23rd International Conference, Hannover, Germany, February 22-25, 2010. Proceedings

2026-05-16T02:29:38Z

Author Müller-Schloer, Christian. editor. Karl, Wolfgang. editor. Yehia, Sami. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11950-7
Format: Electronic Resources
Availability Online Library~1

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings

2026-05-16T02:29:38Z

Author Müller-Clostermann, Bruno. editor. Echtle, Klaus. editor. Rathgeb, Erwin P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12104-3
Format: Electronic Resources
Availability Online Library~1

Business Process Management Workshops BPM 2009 International Workshops, Ulm, Germany, September 7, 2009. Revised Papers

2026-05-16T02:29:38Z

Author Rinderle-Ma, Stefanie. editor. Sadiq, Shazia. editor. Leymann, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12186-9
Format: Electronic Resources
Availability Online Library~1

New Modeling Concepts for Today’s Software Processes International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings

2026-05-16T02:29:38Z

Author Münch, Jürgen. editor. Yang, Ye. editor. Schäfer, Wilhelm. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14347-2
Format: Electronic Resources
Availability Online Library~1

Simulation, Modeling, and Programming for Autonomous Robots Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010. Proceedings

2026-05-16T02:29:38Z

Author Ando, Noriaki. editor. Balakirsky, Stephen. editor. Hemker, Thomas. editor. Reggiani, Monica. editor. Stryk, Oskar. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17319-6
Format: Electronic Resources
Availability Online Library~1

Haptic and Audio Interaction Design 4th International Conference, HAID 2009 Dresden, Germany, September 10-11, 2009 Proceedings

2026-05-16T02:29:38Z

Author Altinsoy, M. Ercan. editor. Jekosch, Ute. editor. Brewster, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04076-4
Format: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings

2026-05-16T02:29:38Z

Author Buth, Bettina. editor. Rabe, Gerd. editor. Seyfarth, Till. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04468-7
Format: Electronic Resources
Availability Online Library~1

Analysis, Architectures and Modelling of Embedded Systems Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedings

2026-05-16T02:29:38Z

Author Rettberg, Achim. editor. Zanella, Mauro C. editor. Amann, Michael. editor. Keckeisen, Michael. editor. Rammig, Franz J. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04284-3
Format: Electronic Resources
Availability Online Library~1

Integrated Formal Methods 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

2026-05-16T02:29:38Z

Author Leuschel, Michael. editor. Wehrheim, Heike. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00255-7
Format: Electronic Resources
Availability Online Library~1

Mobile Wireless Middleware, Operating Systems, and Applications - Workshops Mobilware 2009 Workshops, Berlin, Germany, April 2009, Revised Selected Papers

2026-05-16T02:29:38Z

Author Hesselman, Cristian. editor. Giannelli, Carlo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03569-2
Format: Electronic Resources
Availability Online Library~1

SDL 2009: Design for Motes and Mobiles 14th International SDL Forum Bochum, Germany, September 22-24, 2009 Proceedings

2026-05-16T02:29:38Z

Author Reed, Rick. editor. Bilgic, Attila. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04554-7
Format: Electronic Resources
Availability Online Library~1

Constructing Ambient Intelligence AmI 2008 Workshops, Nuremberg, Germany 19-22, 2008. Revised Papers

2026-05-16T02:29:38Z

Author Gerhäuser, Heinz. editor. Hupp, Jürgen. editor. Efstratiou, Christos. editor. Heppner, Janina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10607-1
Format: Electronic Resources
Availability Online Library~1

End-User Development 2nd International Symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009. Proceedings

2026-05-16T02:29:38Z

Author Pipek, Volkmar. editor. Rosson, Mary Beth. editor. Ruyter, Boris. editor. Wulf, Volker. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00427-8
Format: Electronic Resources
Availability Online Library~1

NETWORKING 2009 8th International IFIP-TC 6 Networking Conference, Aachen, Germany, May 11-15, 2009. Proceedings

2026-05-16T02:29:38Z

Author Fratta, Luigi. editor. Schulzrinne, Henning. editor. Takahashi, Yutaka. editor. Spaniol, Otto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01399-7
Format: Electronic Resources
Availability Online Library~1

MobileWireless Middleware, Operating Systems, and Applications Second International Conference, Mobilware 2009, Berlin, Germany, April 28-29, 2009 Proceedings

2026-05-16T02:29:38Z

Author Bonnin, Jean-Marie. editor. Giannelli, Carlo. editor. Magedanz, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01802-2
Format: Electronic Resources
Availability Online Library~1

Formal Concept Analysis 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings

2026-05-16T02:29:38Z

Author Ferré, Sébastien. editor. Rudolph, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01815-2
Format: Electronic Resources
Availability Online Library~1

Multiagent System Technologies 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings

2026-05-16T02:29:38Z

Author Braubach, Lars. editor. Hoek, Wiebe. editor. Petta, Paolo. editor. Pokahr, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04143-3
Format: Electronic Resources
Availability Online Library~1

Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings

2026-05-16T02:29:38Z

Author Erdem, Esra. editor. Lin, Fangzhen. editor. Schaub, Torsten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04238-6
Format: Electronic Resources
Availability Online Library~1

Relations and Kleene Algebra in Computer Science 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings

2026-05-16T02:29:38Z

Author Berghammer, Rudolf. editor. Möller, Bernhard. editor. Struth, Georg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78913-0
Format: Electronic Resources
Availability Online Library~1

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

2026-05-16T02:29:38Z

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

Quality of Software Architectures. Models and Architectures 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings

2026-05-16T02:29:38Z

Author Becker, Steffen. editor. Plasil, Frantisek. editor. Reussner, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87879-7
Format: Electronic Resources
Availability Online Library~1

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings

2026-05-16T02:29:38Z

Author Chaudron, Michel R. V. editor. Szyperski, Clemens. editor. Reussner, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87891-9
Format: Electronic Resources
Availability Online Library~1

Computational Methods in Systems Biology 6th International Conference CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings

2026-05-16T02:29:38Z

Author Heiner, Monika. editor. Uhrmacher, Adelinde M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88562-7
Format: Electronic Resources
Availability Online Library~1

Model Driven Architecture – Foundations and Applications 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings

2026-05-16T02:29:38Z

Author Schieferdecker, Ina. editor. Hartman, Alan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69100-6
Format: Electronic Resources
Availability Online Library~1

Performance Evaluation: Metrics, Models and Benchmarks SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008. Proceedings

2026-05-16T02:29:38Z

Author Kounev, Samuel. editor. Gorton, Ian. editor. Sachs, Kai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69814-2
Format: Electronic Resources
Availability Online Library~1

Software Process and Product Measurement International Conferences IWSM 2008, Metrikon 2008, and Mensura 2008 Munich, Germany, November 18-19, 2008. Proceedings

2026-05-16T02:29:38Z

Author Dumke, Reiner R. editor. Braungarten, René. editor. Büren, Günter. editor. Abran, Alain. editor. Cuadrado-Gallego, Juan J. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89403-2
Format: Electronic Resources
Availability Online Library~1

Interactive Storytelling First Joint International Conference on Interactive Digital Storytelling, ICIDS 2008 Erfurt, Germany, November 26-29, 2008 Proceedings

2026-05-16T02:29:38Z

Author Spierling, Ulrike. editor. Szilas, Nicolas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89454-4
Format: Electronic Resources
Availability Online Library~1

Architecture of Computing Systems – ARCS 2008 21st International Conference, Dresden, Germany, February 25-28, 2008. Proceedings

2026-05-16T02:29:38Z

Author Brinkschulte, Uwe. editor. Ungerer, Theo. editor. Hochberger, Christian. editor. Spallek, Rainer G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78153-0
Format: Electronic Resources
Availability Online Library~1

Object-Oriented Technology. ECOOP 2007 Workshop Reader ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports

2026-05-16T02:29:38Z

Author Cebulla, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78195-0
Format: Electronic Resources
Availability Online Library~1

Making Globally Distributed Software Development a Success Story International Conference on Software Process, ICSP 2008 Leipzig, Germany, May 10-11, 2008 Proceedings

2026-05-16T02:29:38Z

Author Wang, Qing. editor. Pfahl, Dietmar. editor. Raffo, David M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79588-9
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

2026-05-16T02:29:38Z

Author Leue, Stefan. editor. Merino, Pedro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79707-4
Format: Electronic Resources
Availability Online Library~1

Parallel Problem Solving from Nature – PPSN X 10th International Conference Dortmund, Germany, September 13-17, 2008 Proceedings

2026-05-16T02:29:38Z

Author Rudolph, Günter. editor. Jansen, Thomas. editor. Lucas, Simon. editor. Poloni, Carlo. editor. Beume, Nicola. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87700-4
Format: Electronic Resources
Availability Online Library~1

Multiagent System Technologies 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings

2026-05-16T02:29:38Z

Author Bergmann, Ralph. editor. Lindemann, Gabriela. editor. Kirn, Stefan. editor. Pěchouček, Michal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87805-6
Format: Electronic Resources
Availability Online Library~1

Web Reasoning and Rule Systems Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings

2026-05-16T02:29:38Z

Author Calvanese, Diego. editor. Lausen, Georg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88737-9
Format: Electronic Resources
Availability Online Library~1

Self-Sustaining Systems First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 Revised Selected Papers

2026-05-16T02:29:38Z

Author Hirschfeld, Robert. editor. Rose, Kim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89275-5
Format: Electronic Resources
Availability Online Library~1

Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers

2026-05-16T02:29:38Z

Author Schürr, Andy. editor. Nagl, Manfred. editor. Zündorf, Albert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89020-1
Format: Electronic Resources
Availability Online Library~1

Empirical Software Engineering Issues. Critical Assessment and Future Directions International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006. Revised Papers

2026-05-16T02:29:38Z

Author Basili, Victor R. editor. Rombach, Dieter. editor. Schneider, Kurt. editor. Kitchenham, Barbara. editor. Pfahl, Dietmar. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71301-2
Format: Electronic Resources
Availability Online Library~1

Formal Methods: Applications and Technology 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers

2026-05-16T02:29:38Z

Author Brim, Luboš. editor. Haverkort, Boudewijn. editor. Leucker, Martin. editor. Pol, Jaco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70952-7
Format: Electronic Resources
Availability Online Library~1

Universal Access in Ambient Intelligence Environments 9th ERCIM Workshop on User Interfaces for All, Königswinter, Germany, September 27-28, 2006. Revised Papers

2026-05-16T02:29:38Z

Author Stephanidis, Constantine. editor. Pieper, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71025-7
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2006: Parallel Processing Workshops: CoreGRID 2006, UNICORE Summit 2006, Petascale Computational Biology and Bioinformatics, Dresden, Germany, August 29-September 1, 2006, Revised Selected Papers

2026-05-16T02:29:38Z

Author Lehner, Wolfgang. editor. Meyer, Norbert. editor. Streit, Achim. editor. Stewart, Craig. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72337-0
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings

2026-05-16T02:29:38Z

Author Damm, Werner. editor. Hermanns, Holger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73368-3
Format: Electronic Resources
Availability Online Library~1

Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings

2026-05-16T02:29:38Z

Author Bošnački, Dragan. editor. Edelkamp, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73370-6
Format: Electronic Resources
Availability Online Library~1

ECOOP 2007 – Object-Oriented Programming 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings

2026-05-16T02:29:38Z

Author Ernst, Erik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73589-2
Format: Electronic Resources
Availability Online Library~1

Automated Deduction – CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings

2026-05-16T02:29:38Z

Author Pfenning, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73595-3
Format: Electronic Resources
Availability Online Library~1

Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings

2026-05-16T02:29:38Z

Author Schneider, Klaus. editor. Brandt, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74591-4
Format: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedings

2026-05-16T02:29:38Z

Author Saglietti, Francesca. editor. Oster, Norbert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75101-4
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Stochastic Models for Performance Evaluation Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings

2026-05-16T02:29:38Z

Author Wolter, Katinka. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75211-0
Format: Electronic Resources
Availability Online Library~1

Multiagent System Technologies 5th German Conference, MATES 2007, Leipzig, Germany, September 24-26, 2007. Proceedings

2026-05-16T02:29:38Z

Author Petta, Paolo. editor. Müller, Jörg P. editor. Klusch, Matthias. editor. Georgeff, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74949-3
Format: Electronic Resources
Availability Online Library~1

Multi-Agent Systems and Applications V 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007. Proceedings

2026-05-16T02:29:38Z

Author Burkhard, Hans-Dieter. editor. Lindemann, Gabriela. editor. Verbrugge, Rineke. editor. Varga, László Zsolt. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75254-7
Format: Electronic Resources
Availability Online Library~1

Software Process Improvement 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007. Proceedings

2026-05-16T02:29:38Z

Author Abrahamsson, Pekka. editor. Baddoo, Nathan. editor. Margaria, Tiziana. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75381-0
Format: Electronic Resources
Availability Online Library~1

Trends in Enterprise Application Architecture 2nd International Conference, TEAA 2006, Berlin, Germany, November 29 - December 1, 2006, Revised Selected Papers

2026-05-16T02:29:38Z

Author Draheim, Dirk. editor. Weber, Gerald. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75912-6
Format: Electronic Resources
Availability Online Library~1

Self-Organizing Systems First International Workshop, IWSOS 2006, and Third International Workshop on New Trends in Network Architectures and Services, EuroNGI 2006, Passau, Germany, September 18-20, 2006 Proceedings

2026-05-16T02:29:38Z

Author Meer, Hermann. editor. Sterbenz, James P. G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11822035
Format: Electronic Resources
Availability Online Library~1

System Analysis and Modeling: Language Profiles 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers

2026-05-16T02:29:38Z

Author Gotzhein, Reinhard. editor. Reed, Rick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11951148
Format: Electronic Resources
Availability Online Library~1

Architecture of Computing Systems - ARCS 2006 19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006. Proceedings

2026-05-16T02:29:38Z

Author Grass, Werner. editor. Sick, Bernhard. editor. Waldschmidt, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11682127
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2006 Parallel Processing 12th International Euro-Par Conference, Dresden, Germany, August 28 – September 1, 2006. Proceedings

2026-05-16T02:29:38Z

Author Nagel, Wolfgang E. editor. Walter, Wolfgang V. editor. Lehner, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11823285
Format: Electronic Resources
Availability Online Library~1

High Performance Computing and Communications Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006. Proceedings

2026-05-16T02:29:38Z

Author Gerndt, Michael. editor. Kranzlmüller, Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11847366
Format: Electronic Resources
Availability Online Library~1

Formal Concept Analysis 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006. Proceedings

2026-05-16T02:29:38Z

Author Missaoui, Rokia. editor. Schmidt, Jürg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11671404
Format: Electronic Resources
Availability Online Library~1

Architecting Systems with Trustworthy Components International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers

2026-05-16T02:29:38Z

Author Reussner, Ralf H. editor. Stafford, Judith A. editor. Szyperski, Clemens A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11786160
Format: Electronic Resources
Availability Online Library~1

Multiagent System Technologies 4th German Conference, MATES 2006 Erfurt, Germany, September 19-20, 2006 Proceedings

2026-05-16T02:29:38Z

Author Fischer, Klaus. editor. Timm, Ingo J. editor. André, Elisabeth. editor. Zhong, Ning. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11872283
Format: Electronic Resources
Availability Online Library~1

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

2026-05-16T02:29:38Z

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

Multiagent System Technologies Third German Conference, MATES 2005, Koblenz, Germany, September 11-13, 2005. Proceedings

2026-05-16T02:29:38Z

Author Eymann, Torsten. editor. Klügl, Franziska. editor. Lamersdorf, Winfried. editor. Klusch, Matthias. editor. Huhns, Michael N. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11550648
Format: Electronic Resources
Availability Online Library~1

Automated Reasoning with Analytic Tableaux and Related Methods 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings

2026-05-16T02:29:38Z

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

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

2026-05-16T02:29:38Z

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

Security in Pervasive Computing Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005. Proceedings

2026-05-16T02:29:38Z

Author Hutter, Dieter. editor. Ullmann, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b135497
Format: Electronic Resources
Availability Online Library~1

Service Availability Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25 – 26, 2005, Revised Selected Papers

2026-05-16T02:29:38Z

Author Malek, Miroslaw. editor. Nett, Edgar. editor. Suri, Neeraj. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11560333
Format: Electronic Resources
Availability Online Library~1

Principles and Practice of Semantic Web Reasoning Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005 Proceedings

2026-05-16T02:29:38Z

Author Fages, François. editor. Soliman, Sylvain. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11552222
Format: Electronic Resources
Availability Online Library~1

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

2026-05-16T02:29:38Z

Author Reussner, Ralf. editor. Mayer, Johannes. editor. Stafford, Judith A. editor. Overhage, Sven. editor. Becker, Steffen. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11558569
Format: Electronic Resources
Availability Online Library~1

Service Availability First International Service Availability Symposium, ISAS 2004, Munich, Germany, May 13-14, 2004, Revised Selected Papers

2026-05-16T02:29:38Z

Author Malek, Miroslaw. editor. Reitenspieß, Manfred. editor. Kaiser, Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105309
Format: Electronic Resources
Availability Online Library~1

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings

2026-05-16T02:29:38Z

Author Borrione, Dominique. editor. Paul, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11560548
Format: Electronic Resources
Availability Online Library~1

Scenarios: Models, Transformations and Tools International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers

2026-05-16T02:29:38Z

Author Leue, Stefan. editor. Systä, Tarja Johanna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137052
Format: Electronic Resources
Availability Online Library~1

Pervasive Computing Third International Conference, PERVASIVE 2005, Munich, Germany, May 8-13, 2005. Proceedings

2026-05-16T02:29:38Z

Author Gellersen, Hans -W. editor. Want, Roy. editor. Schmidt, Albrecht. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136550
Format: Electronic Resources
Availability Online Library~1

Model Driven Architecture – Foundations and Applications First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005. Proceedings

2026-05-16T02:29:38Z

Author Hartman, Alan. editor. Kreische, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11581741
Format: Electronic Resources
Availability Online Library~1

Learn coding with Python and JavaScript A practical introduction for beginners

2026-05-16T02:29:38Z

Author Zuckarelli, Joachim L. author. (orcid)0000-0002-9280-3016 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-42912-6
Format: Electronic Resources
Availability Online Library~1

Applied Computer Science for GGOS Observatories Communication, Coordination and Automation of Future Geodetic Infrastructures

2026-05-16T02:29:38Z

Author Neidhardt, Alexander N.J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-40139-3
Format: Electronic Resources
Availability Online Library~1

Control Modes on Mobile Software Platforms Empirical Studies on the Importance of Informal Control

2026-05-16T02:29:38Z

Author Goldbach, Tobias. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-14893-5
Format: Electronic Resources
Availability Online Library~1

Description and Selection of Communication Services for Service Oriented Network Architectures

2026-05-16T02:29:38Z

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