Search Results for Software - Narrowed by: 2013
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSoftware$0026qf$003dPUBDATE$002509Publication$002bDate$0025092013$0025092013$0026ps$003d300$0026isd$003dtrue?dt=list
2024-10-17T06:18:26Z
Software-Qualität
ent://SD_ILS/0/SD_ILS:337190
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Hoffmann, Dirk W. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337190.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35700-8">http://dx.doi.org/10.1007/978-3-642-35700-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Implementing Software Defined Radio
ent://SD_ILS/0/SD_ILS:330849
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Grayver, Eugene. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330849.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-9332-8">http://dx.doi.org/10.1007/978-1-4419-9332-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Product Quality Control
ent://SD_ILS/0/SD_ILS:334625
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Wagner, Stefan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334625.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38571-1">http://dx.doi.org/10.1007/978-3-642-38571-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ontology-Driven Software Development
ent://SD_ILS/0/SD_ILS:333408
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Pan, Jeff Z. editor. Staab, Steffen. editor. Aßmann, Uwe. editor. Ebert, Jürgen. editor. Zhao, Yuting. editor.<br/>Preferred Shelf Number ONLINE(333408.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31226-7">http://dx.doi.org/10.1007/978-3-642-31226-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of software engineering & knowledge engineering
ent://SD_ILS/0/SD_ILS:79287
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Chang, Shi Kuo, 1944- ed.<br/>Preferred Shelf Number QA 76.758 H36 2001- V.2<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Gröbner Bases Statistics and Software Systems
ent://SD_ILS/0/SD_ILS:335439
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Hibi, Takayuki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335439.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-4-431-54574-3">http://dx.doi.org/10.1007/978-4-431-54574-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering: A Hands-On Approach
ent://SD_ILS/0/SD_ILS:336486
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Lee, Roger Y. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336486.1)<br/>Electronic Access <a href="http://dx.doi.org/10.2991/978-94-6239-006-5">http://dx.doi.org/10.2991/978-94-6239-006-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Projektorganisation und Management im Software Engineering
ent://SD_ILS/0/SD_ILS:336947
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Broy, Manfred. author. Kuhrmann, Marco. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336947.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29290-3">http://dx.doi.org/10.1007/978-3-642-29290-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Optimierungssysteme Modelle, Verfahren, Software, Anwendungen
ent://SD_ILS/0/SD_ILS:337333
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Suhl, Leena. author. Mellouli, Taïeb. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337333.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38937-5">http://dx.doi.org/10.1007/978-3-642-38937-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multi-criteria decision analysis : methods and software
ent://SD_ILS/0/SD_ILS:317229
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Ishizaka, Alessio. Nemery, Philippe.<br/>Preferred Shelf Number T57.95 I84 2013<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
A Practical Introduction to Hardware/Software Codesign
ent://SD_ILS/0/SD_ILS:331370
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Schaumont, Patrick R. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331370.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-3737-6">http://dx.doi.org/10.1007/978-1-4614-3737-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Software Industry Economic Principles, Strategies, Perspectives
ent://SD_ILS/0/SD_ILS:333443
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Buxmann, Peter. author. Diefenbach, Heiner. author. Hess, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333443.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31510-7">http://dx.doi.org/10.1007/978-3-642-31510-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Driven Dependability Assessment of Software Systems
ent://SD_ILS/0/SD_ILS:334812
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Bernardi, Simona. author. Merseguer, José. author. Petriu, Dorina Corina. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334812.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39512-3">http://dx.doi.org/10.1007/978-3-642-39512-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data Analysis in Management with SPSS Software
ent://SD_ILS/0/SD_ILS:335463
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Verma, J.P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335463.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-81-322-0786-3">http://dx.doi.org/10.1007/978-81-322-0786-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Patterns kompakt Entwurfsmuster für effektive Software-Entwicklung
ent://SD_ILS/0/SD_ILS:337114
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Eilebrecht, Karl. author. Starke, Gernot. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337114.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34718-4">http://dx.doi.org/10.1007/978-3-642-34718-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Anpassung von Open-Source-Software in Anwenderunternehmen
ent://SD_ILS/0/SD_ILS:337922
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Keßler, Steffen. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337922.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-658-01955-6">http://dx.doi.org/10.1007/978-3-658-01955-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Aspect-Oriented Software Development X
ent://SD_ILS/0/SD_ILS:334333
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Leavens, Gary T. editor. Chiba, Shigeru. editor. Tanter, Éric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334333.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36964-3">http://dx.doi.org/10.1007/978-3-642-36964-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Energieeffiziente Antriebstechnologien Hybridisierung – Downsizing – Software und IT
ent://SD_ILS/0/SD_ILS:337594
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Siebenpfeiffer, Wolfgang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337594.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-658-00790-4">http://dx.doi.org/10.1007/978-3-658-00790-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software-Entwicklung für dynamische Portfolioallokation und Risikomanagement
ent://SD_ILS/0/SD_ILS:337718
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Impekoven, Christoph. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337718.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-658-01182-6">http://dx.doi.org/10.1007/978-3-658-01182-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Cost Estimation, Benchmarking, and Risk Assessment The Software Decision-Makers' Guide to Predictable Software Development
ent://SD_ILS/0/SD_ILS:333358
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Trendowicz, Adam. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333358.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30764-5">http://dx.doi.org/10.1007/978-3-642-30764-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Directory of library automation software, systems, and services.
ent://SD_ILS/0/SD_ILS:79391
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Cibbarelli, Pamela R., ed. Information Today, Inc.<br/>Preferred Shelf Number Z678.9.A3 D6<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Student usability in educational software and games improving experiences
ent://SD_ILS/0/SD_ILS:280086
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Gonzalez, Carina. IGI Global.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=481636">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=481636</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multi-Agent Based Beam Search for Real-Time Production Scheduling and Control Method, Software and Industrial Application
ent://SD_ILS/0/SD_ILS:331015
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Kang, Shu Gang. author. Choi, Shiu Hong. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331015.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4576-9">http://dx.doi.org/10.1007/978-1-4471-4576-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Requirements Engineering and Management for Software Development Projects
ent://SD_ILS/0/SD_ILS:331756
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Chemuturi, Murali. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331756.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-5377-2">http://dx.doi.org/10.1007/978-1-4614-5377-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fast Compact Algorithms and Software for Spline Smoothing
ent://SD_ILS/0/SD_ILS:331788
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Weinert, Howard L. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331788.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-5496-0">http://dx.doi.org/10.1007/978-1-4614-5496-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Performance Evaluation Software Moving Object Detection and Tracking in Videos
ent://SD_ILS/0/SD_ILS:332057
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Karasulu, Bahadir. author. Korukoglu, Serdar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332057.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-6534-8">http://dx.doi.org/10.1007/978-1-4614-6534-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Sensor Systems and Software 4th International ICST Conference, S-Cube 2013, Lucca, Italy, June 11-12, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:333015
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Zuniga, Marco. editor. Dini, Gianluca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333015.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-04166-7">http://dx.doi.org/10.1007/978-3-319-04166-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Enterprise Resource Planning and Supply Chain Management Functions, Business Processes and Software for Manufacturing Companies
ent://SD_ILS/0/SD_ILS:333451
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Kurbel, Karl E. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333451.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31573-2">http://dx.doi.org/10.1007/978-3-642-31573-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2012
ent://SD_ILS/0/SD_ILS:333535
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Lee, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333535.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32172-6">http://dx.doi.org/10.1007/978-3-642-32172-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:333558
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Maciaszek, Leszek A. editor. Zhang, Kang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333558.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32341-6">http://dx.doi.org/10.1007/978-3-642-32341-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Process Improvement and Capability Determination 13th International Conference, SPICE 2013, Bremen, Germany, June 4-6, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334677
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Woronowicz, Tanja. editor. Rout, Terry. editor. O’Connor, Rory V. editor. Dorling, Alec. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334677.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38833-0">http://dx.doi.org/10.1007/978-3-642-38833-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
ent://SD_ILS/0/SD_ILS:334688
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Bernardo, Marco. editor. Vink, Erik. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334688.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38874-3">http://dx.doi.org/10.1007/978-3-642-38874-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Open Source Software: Quality Verification 9th IFIP WG 2.13 International Conference, OSS 2013, Koper-Capodistria, Slovenia, June 25-28, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334700
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Petrinja, Etiel. editor. Succi, Giancarlo. editor. Ioini, Nabil. editor. Sillitti, Alberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334700.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38928-3">http://dx.doi.org/10.1007/978-3-642-38928-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Safe and Secure Software Reuse 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings
ent://SD_ILS/0/SD_ILS:334706
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Favaro, John. editor. Morisio, Maurizio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334706.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38977-1">http://dx.doi.org/10.1007/978-3-642-38977-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334714
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Drira, Khalil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334714.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39031-9">http://dx.doi.org/10.1007/978-3-642-39031-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Business. From Physical Products to Software Services and Solutions 4th International Conference, ICSOB 2013, Potsdam, Germany, June 11-14, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334783
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Herzwurm, Georg. editor. Margaria, Tiziana. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334783.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39336-5">http://dx.doi.org/10.1007/978-3-642-39336-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334820
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334820.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39611-3">http://dx.doi.org/10.1007/978-3-642-39611-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334821
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Binder, Walter. editor. Bodden, Eric. editor. Löwe, Welf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334821.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39614-4">http://dx.doi.org/10.1007/978-3-642-39614-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
ent://SD_ILS/0/SD_ILS:334841
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334841.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39721-9">http://dx.doi.org/10.1007/978-3-642-39721-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334844
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Ruhe, Günther. editor. Zhang, Yuanyuan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334844.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39742-4">http://dx.doi.org/10.1007/978-3-642-39742-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334911
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Arbab, Farhad. editor. Sirjani, Marjan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334911.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40213-5">http://dx.doi.org/10.1007/978-3-642-40213-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334968
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Hierons, Robert M. editor. Merayo, Mercedes G. editor. Bravetti, Mario. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334968.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40561-7">http://dx.doi.org/10.1007/978-3-642-40561-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335024
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Gorbenko, Anatoliy. editor. Romanovsky, Alexander. editor. Kharchenko, Vyacheslav. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335024.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40894-6">http://dx.doi.org/10.1007/978-3-642-40894-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Environmental Software Systems. Fostering Information Sharing 10th IFIP WG 5.11 International Symposium, ISESS 2013, Neusiedl am See, Austria, October 9-11, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335064
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Hřebíček, Jiří. editor. Schimak, Gerald. editor. Kubásek, Miroslav. editor. Rizzoli, Andrea E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335064.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41151-9">http://dx.doi.org/10.1007/978-3-642-41151-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:335072
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Groves, Lindsay. editor. Sun, Jing. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335072.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41202-8">http://dx.doi.org/10.1007/978-3-642-41202-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Lean Enterprise Software and Systems 4th International Conference, LESS 2013, Galway, Ireland, December 1-4, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:335170
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Fitzgerald, Brian. editor. Conboy, Kieran. editor. Power, Ken. editor. Valerdi, Ricardo. editor. Morgan, Lorraine. editor.<br/>Preferred Shelf Number ONLINE(335170.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-44930-7">http://dx.doi.org/10.1007/978-3-642-44930-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software and Data Technologies 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335215
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Cordeiro, José. editor. Hammoudi, Slimane. editor. Sinderen, Marten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335215.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45404-2">http://dx.doi.org/10.1007/978-3-642-45404-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evaluation of Novel Approaches to Software Engineering 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335217
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Maciaszek, Leszek A. editor. Filipe, Joaquim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335217.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45422-6">http://dx.doi.org/10.1007/978-3-642-45422-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evaluation of Novel Approaches to Software Engineering 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335227
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Filipe, Joaquim. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335227.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-54092-9">http://dx.doi.org/10.1007/978-3-642-54092-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Early Software Reliability Prediction A Fuzzy Logic Approach
ent://SD_ILS/0/SD_ILS:335512
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Pandey, Ajeet Kumar. author. Goyal, Neeraj Kumar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335512.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-81-322-1176-1">http://dx.doi.org/10.1007/978-81-322-1176-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Planets, Stars and Stellar Systems Volume 2: Astronomical Techniques, Software, and Data
ent://SD_ILS/0/SD_ILS:336020
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Oswalt, Terry D. editor. Bond, Howard E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336020.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-5618-2">http://dx.doi.org/10.1007/978-94-007-5618-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multicore Systems On-Chip: Practical Software/Hardware Design 2nd Edition
ent://SD_ILS/0/SD_ILS:336495
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Ben Abdallah, Abderazek. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336495.1)<br/>Electronic Access <a href="http://dx.doi.org/10.2991/978-94-91216-92-3">http://dx.doi.org/10.2991/978-94-91216-92-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering Frameworks for the Cloud Computing Paradigm
ent://SD_ILS/0/SD_ILS:331122
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Mahmood, Zaigham. editor. Saeed, Saqib. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331122.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5031-2">http://dx.doi.org/10.1007/978-1-4471-5031-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of the 2012 International Conference on Information Technology and Software Engineering Information Technology
ent://SD_ILS/0/SD_ILS:333860
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Lu, Wei. editor. Cai, Guoqiang. editor. Liu, Weibin. editor. Xing, Weiwei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333860.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34528-9">http://dx.doi.org/10.1007/978-3-642-34528-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of the 2012 International Conference on Information Technology and Software Engineering Software Engineering & Digital Media Technology
ent://SD_ILS/0/SD_ILS:333861
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Lu, Wei. editor. Cai, Guoqiang. editor. Liu, Weibin. editor. Xing, Weiwei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333861.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34531-9">http://dx.doi.org/10.1007/978-3-642-34531-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Quality. Increasing Value in Software and Systems Development 5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334033
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Winkler, Dietmar. editor. Biffl, Stefan. editor. Bergsmann, Johannes. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334033.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35702-2">http://dx.doi.org/10.1007/978-3-642-35702-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334069
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Păsăreanu, Corina S. editor. Salaün, Gwen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334069.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35861-6">http://dx.doi.org/10.1007/978-3-642-35861-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers
ent://SD_ILS/0/SD_ILS:334096
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334096.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35992-7">http://dx.doi.org/10.1007/978-3-642-35992-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures
ent://SD_ILS/0/SD_ILS:334109
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Lucia, Andrea. editor. Ferrucci, Filomena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334109.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36054-1">http://dx.doi.org/10.1007/978-3-642-36054-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334120
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Czarnecki, Krzysztof. editor. Hedin, Görel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334120.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36089-3">http://dx.doi.org/10.1007/978-3-642-36089-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Using Event-B for Critical Device Software Systems
ent://SD_ILS/0/SD_ILS:331181
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Singh, Neeraj Kumar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331181.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5260-6">http://dx.doi.org/10.1007/978-1-4471-5260-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The R Software Fundamentals of Programming and Statistical Analysis
ent://SD_ILS/0/SD_ILS:332463
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Lafaye de Micheaux, Pierre. author. Drouilhet, Rémy. author. Liquet, Benoit. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332463.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-9020-3">http://dx.doi.org/10.1007/978-1-4614-9020-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ambient Intelligence - Software and Applications 4th International Symposium on Ambient Intelligence (ISAmI 2013
ent://SD_ILS/0/SD_ILS:332771
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Berlo, Ad. editor. Hallenborg, Kasper. editor. Rodríguez, Juan M. Corchado. editor. Tapia, Dante I. editor. Novais, Paulo. editor.<br/>Preferred Shelf Number ONLINE(332771.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-00566-9">http://dx.doi.org/10.1007/978-3-319-00566-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
ent://SD_ILS/0/SD_ILS:332795
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Lee, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332795.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-00738-0">http://dx.doi.org/10.1007/978-3-319-00738-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:332962
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332962.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03077-7">http://dx.doi.org/10.1007/978-3-319-03077-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:332934
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332934.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-02654-1">http://dx.doi.org/10.1007/978-3-319-02654-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:333246
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Cordeiro, José. editor. Virvou, Maria. editor. Shishkov, Boris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333246.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29578-2">http://dx.doi.org/10.1007/978-3-642-29578-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Complex Automated Negotiations: Theories, Models, and Software Competitions
ent://SD_ILS/0/SD_ILS:333354
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Ito, Takayuki. editor. Zhang, Minjie. editor. Robu, Valentin. editor. Matsuo, Tokuro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333354.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30737-9">http://dx.doi.org/10.1007/978-3-642-30737-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of the 2012 International Conference on Information Technology and Software Engineering Information Technology & Computing Intelligence
ent://SD_ILS/0/SD_ILS:333859
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Lu, Wei. editor. Cai, Guoqiang. editor. Liu, Weibin. editor. Xing, Weiwei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333859.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34522-7">http://dx.doi.org/10.1007/978-3-642-34522-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:334055
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334055.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35813-5">http://dx.doi.org/10.1007/978-3-642-35813-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software and Data Technologies 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334142
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Escalona, María José. editor. Cordeiro, José. editor. Shishkov, Boris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334142.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36177-7">http://dx.doi.org/10.1007/978-3-642-36177-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334631
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Keller, Hubert B. editor. Plödereder, Erhard. editor. Dencker, Peter. editor. Klenk, Herbert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334631.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38601-5">http://dx.doi.org/10.1007/978-3-642-38601-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:335141
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Yenigün, Hüsnü. editor. Yilmaz, Cemal. editor. Ulrich, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335141.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41707-8">http://dx.doi.org/10.1007/978-3-642-41707-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Java kompakt Eine Einführung in die Software-Entwicklung mit Java
ent://SD_ILS/0/SD_ILS:336934
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Hölzl, Matthias. author. Raed, Allaithy. author. Wirsing, Martin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336934.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28504-2">http://dx.doi.org/10.1007/978-3-642-28504-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334236
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Jürjens, Jan. editor. Livshits, Benjamin. editor. Scandariato, Riccardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334236.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36563-8">http://dx.doi.org/10.1007/978-3-642-36563-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Systems and Software Variability Management Concepts, Tools and Experiences
ent://SD_ILS/0/SD_ILS:334240
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Capilla, Rafael. editor. Bosch, Jan. editor. Kang, Kyo-Chul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334240.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36583-6">http://dx.doi.org/10.1007/978-3-642-36583-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334278
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334278.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36742-7">http://dx.doi.org/10.1007/978-3-642-36742-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles of Security and Trust Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334305
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Basin, David. editor. Mitchell, John C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334305.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36830-1">http://dx.doi.org/10.1007/978-3-642-36830-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334348
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Felleisen, Matthias. editor. Gardner, Philippa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334348.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37036-6">http://dx.doi.org/10.1007/978-3-642-37036-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334353
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Jhala, Ranjit. editor. Bosschere, Koen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334353.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37051-9">http://dx.doi.org/10.1007/978-3-642-37051-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334354
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Cortellessa, Vittorio. editor. Varró, Dániel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334354.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37057-1">http://dx.doi.org/10.1007/978-3-642-37057-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334358
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Pfenning, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334358.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37075-5">http://dx.doi.org/10.1007/978-3-642-37075-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Perspectives on the Future of Software Engineering Essays in Honor of Dieter Rombach
ent://SD_ILS/0/SD_ILS:334419
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Münch, Jürgen. editor. Schmid, Klaus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334419.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37395-4">http://dx.doi.org/10.1007/978-3-642-37395-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Requirements Engineering: Foundation for Software Quality 19th International Working Conference, REFSQ 2013, Essen, Germany, April 8-11, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334426
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Doerr, Joerg. editor. Opdahl, Andreas L. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334426.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37422-7">http://dx.doi.org/10.1007/978-3-642-37422-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Modeling and Software Design Second International Symposium, BMSD 2012, Geneva, Switzerland, July 4-6, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334438
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Shishkov, Boris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334438.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37478-4">http://dx.doi.org/10.1007/978-3-642-37478-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Feature-Oriented Software Product Lines Concepts and Implementation
ent://SD_ILS/0/SD_ILS:334447
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Apel, Sven. author. Batory, Don. author. Kästner, Christian. author. Saake, Gunter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334447.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37521-7">http://dx.doi.org/10.1007/978-3-642-37521-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers
ent://SD_ILS/0/SD_ILS:334556
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334556.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38209-3">http://dx.doi.org/10.1007/978-3-642-38209-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile Processes in Software Engineering and Extreme Programming 14th International Conference, XP 2013, Vienna, Austria, June 3-7, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334579
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Baumeister, Hubert. editor. Weber, Barbara. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334579.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38314-4">http://dx.doi.org/10.1007/978-3-642-38314-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Product-Focused Software Process Improvement 14th International Conference, PROFES 2013, Paphos, Cyprus, June 12-14, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334768
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Heidrich, Jens. editor. Oivo, Markku. editor. Jedlitschka, Andreas. editor. Baldassarre, Maria Teresa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334768.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39259-7">http://dx.doi.org/10.1007/978-3-642-39259-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334743
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Bartocci, Ezio. editor. Ramakrishnan, C. R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334743.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39176-7">http://dx.doi.org/10.1007/978-3-642-39176-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Systems, Software and Services Process Improvement 20th European Conference, EuroSPI 2013, Dundalk, Ireland, June 25-27, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334744
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author McCaffery, Fergal. editor. O’Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334744.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39179-8">http://dx.doi.org/10.1007/978-3-642-39179-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agent-Oriented Software Engineering XIII 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334859
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Müller, Jörg P. editor. Cossentino, Massimo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334859.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39866-7">http://dx.doi.org/10.1007/978-3-642-39866-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334870
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Lourenço, João M. editor. Farchi, Eitan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334870.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39955-8">http://dx.doi.org/10.1007/978-3-642-39955-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trustworthy Eternal Systems via Evolving Software, Data and Knowledge Second International Workshop, EternalS 2012, Montpellier, France, August 28, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335198
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Moschitti, Alessandro. editor. Plank, Barbara. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335198.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45260-4">http://dx.doi.org/10.1007/978-3-642-45260-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information and Software Technologies 19th International Conference, ICIST 2013, Kaunas, Lithuania, October 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335153
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Skersys, Tomas. editor. Butleris, Rimantas. editor. Butkiene, Rita. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335153.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41947-8">http://dx.doi.org/10.1007/978-3-642-41947-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Grundkurs Software-Engineering mit UML Der pragmatische Weg zu erfolgreichen Softwareprojekten
ent://SD_ILS/0/SD_ILS:337559
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Kleuker, Stephan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337559.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-658-00642-6">http://dx.doi.org/10.1007/978-3-658-00642-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automotive Software Engineering Grundlagen, Prozesse, Methoden und Werkzeuge effizient einsetzen
ent://SD_ILS/0/SD_ILS:338377
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Schäuffele, Jörg. author. Zurawka, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(338377.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-2470-7">http://dx.doi.org/10.1007/978-3-8348-2470-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Speaking code coding as aesthetic and political expression
ent://SD_ILS/0/SD_ILS:220306
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Cox, Geoff. McLean, Alex (Christopher Alex), 1975-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6451062">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6451062</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
10 PRINT CHR$(205.5+RND(1));:GOTO 10
ent://SD_ILS/0/SD_ILS:220303
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Montfort, Nick.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6451066">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6451066</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro Windows Phone App Development
ent://SD_ILS/0/SD_ILS:330639
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Software, Falafel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330639.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-4783-8">http://dx.doi.org/10.1007/978-1-4302-4783-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
PowerBuilder : PowerScript reference, version 6.
ent://SD_ILS/0/SD_ILS:86071
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Preferred Shelf Number QA 76.76.A65 P871 1991-97 V.2<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Agile user experience design a practitioner's guide to making it work
ent://SD_ILS/0/SD_ILS:145225
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Brown, Diana (Diana DeMarco)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124159532">http://www.sciencedirect.com/science/book/9780124159532</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile data warehousing project management business intelligence systems using Scrum and XP
ent://SD_ILS/0/SD_ILS:145391
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Hughes, Ralph, 1959-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123964632">http://www.sciencedirect.com/science/book/9780123964632</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming with mobile applications : Android, iOS, and Windows Phone 7
ent://SD_ILS/0/SD_ILS:270343
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Duffy, Thomas J.<br/>Preferred Shelf Number QA76.76.A65 D84 2013<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Programming with JavaScript : algorithms and applications for desktop and mobile browsers
ent://SD_ILS/0/SD_ILS:270474
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Dionisio, John David N. Toal, Ray.<br/>Preferred Shelf Number QA76.73.J38 D57 2013<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The Android developer's cookbook : building applications with the Android SDK
ent://SD_ILS/0/SD_ILS:267739
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Schwarz, Ronan. Dutson, Phil, 1981- Steele, James, 1971- To, Nelson, 1976-<br/>Preferred Shelf Number QA76.76.A65 S743 2013<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
A guide to IT contracting checklists, tools, and techniques
ent://SD_ILS/0/SD_ILS:285306
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Overly, Michael R. Karlyn, Matthew A.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439876596">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook on mobile and ubiquitous computing status and perspective
ent://SD_ILS/0/SD_ILS:286262
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Yang, Laurence Tianruo. Syukur, Evi. Loke, Seng.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439848128">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Netcentric system of systems engineering with DEVS unified process
ent://SD_ILS/0/SD_ILS:287174
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Mittal, Saurabh. Risco-Martn̕, Jos ̌Luis, 1975- Cetinkaya, Deniz. Verbraeck, Alexander. Seck, Mamadou D.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439827079">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Oxford handbook of medical statistics
ent://SD_ILS/0/SD_ILS:267856
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Peacock, Janet (Janet L.) Peacock, Philip J.<br/>Preferred Shelf Number REF WA 39 P356 2013<br/>Format: Books<br/>Availability Health Sciences Library~1<br/>
Introducing geographic information systems with ArcGIS: a workbook approach to learning GIS
ent://SD_ILS/0/SD_ILS:270039
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Kennedy, Michael.<br/>Preferred Shelf Number G70.212 K47 2013<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Resource-oriented architecture patterns for webs of data
ent://SD_ILS/0/SD_ILS:281456
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Sletten, Brian.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=580090">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=580090</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed sensor networks
ent://SD_ILS/0/SD_ILS:285298
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Iyengar, S. S. (Sundararaja S.) Brooks, R. R. (Richard R.)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439862834">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed sensor networks
ent://SD_ILS/0/SD_ILS:285299
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Iyengar, S. S. (Sundararaja S.) Brooks, R. R. (Richard R.)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439862889">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business-driven IT-wide agile (Scrum) and/or Kanban (Lean) implementation an action guide for business and IT leaders
ent://SD_ILS/0/SD_ILS:285361
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Pham, Andrew Thu. Pham, David Khoi.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781466557499">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combating climate change an agricultural perspective
ent://SD_ILS/0/SD_ILS:285387
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Kang, Manjit S., editor of compilation. Banga, S. S. (Surinder S.), editor of compilation.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781466566712">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer system reliability safety and usability
ent://SD_ILS/0/SD_ILS:285390
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Dhillon, B. S.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781466573130">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agent-based modeling and simulation with swarm
ent://SD_ILS/0/SD_ILS:287195
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Iba, Hitoshi.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781466562400">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The practical OPNET user guide for computer network simulation
ent://SD_ILS/0/SD_ILS:288081
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Sethi, Adarshpal S. Hnatyshin, Vasil Y.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439812068">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Identification and management of distributed data NGN, content-centric networks, and the web
ent://SD_ILS/0/SD_ILS:288095
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Bartolomeo, Giovanni, 1977-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439879085">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer security literacy staying safe in a digital world
ent://SD_ILS/0/SD_ILS:290839
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Jacobson, Douglas. Idziorek, Joseph.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439856192">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Technology computer aided design simulation for VLSI MOSFET
ent://SD_ILS/0/SD_ILS:290952
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Sarkar, Chandan Kumar, editor of compilation.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781466512665">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Seven views of mind
ent://SD_ILS/0/SD_ILS:259671
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Wallach, Lise. Wallach, Michael A.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203103876">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interval-censored time-to-event data methods and applications
ent://SD_ILS/0/SD_ILS:286242
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Chen, Ding-Geng. Sun, Jianguo, 1961- Peace, Karl E., 1941-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781466504288">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Safety and human error in engineering systems
ent://SD_ILS/0/SD_ILS:288126
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Dhillon, B. S. (Balbir S.), 1947-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781466506954">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multihomed communication with SCTP (Stream Control Transmission Protocol)
ent://SD_ILS/0/SD_ILS:288170
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Leung, Victor Chung Ming, 1955-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781466566996">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Generalized estimating equations
ent://SD_ILS/0/SD_ILS:289068
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Hardin, James W. (James William) Hilbe, Joseph.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439881149">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Spatial mathematics theory and practice through mapping
ent://SD_ILS/0/SD_ILS:290043
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Arlinghaus, Sandra L. (Sandra Lach) Kerski, Joseph J.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781466505339">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Noise mapping in the EU models and procedures
ent://SD_ILS/0/SD_ILS:290193
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Licitra, Gaetano.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9780203848128">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Piezoelectric materials and devices applications in engineering and medical sciences
ent://SD_ILS/0/SD_ILS:290832
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Vijaya, M. S.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439887882">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer-aided control systems design practical applications using MATLAB and Simulink
ent://SD_ILS/0/SD_ILS:290939
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Chin, Cheng Siong.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781466568525">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Windows networking tools the complete guide to management, troubleshooting, and security
ent://SD_ILS/0/SD_ILS:291657
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Held, Gilbert, 1943-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781466511071">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Contemporary high performance computing from petascale toward exascale
ent://SD_ILS/0/SD_ILS:291729
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Vetter, Jeffrey S.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781466568358">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Low power emerging wireless technologies
ent://SD_ILS/0/SD_ILS:291667
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Mahmoudi, Reza. Iniewski, Krzysztof, 1960-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781466507029">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
iPhone 5 kickstart
ent://SD_ILS/0/SD_ILS:293407
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Cohen, Dennis R. Cohen, Michael.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://mhebooklibrary.com/reader/iphone-5-kickstart">Subscription required</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tasarımdan programlamaya mobil uygulama geliştirme
ent://SD_ILS/0/SD_ILS:310358
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author İncearık, M. Emrullah Paksoy, Murat.<br/>Preferred Shelf Number QA76.76.A65 I53 2013<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
Biopharmaceutics modeling and simulations theory, practice, methods, and applications
ent://SD_ILS/0/SD_ILS:318982
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Sugano, Kiyohiko.<br/>Preferred Shelf Number ONLINE(318982.1)<br/>Electronic Access John Wiley <a href="http://dx.doi.org/10.1002/9781118354339">http://dx.doi.org/10.1002/9781118354339</a>
<a href="http://lib.myilibrary.com?id=462709">http://lib.myilibrary.com?id=462709</a>
<a href="http://rbdigital.oneclickdigital.com">http://rbdigital.oneclickdigital.com</a>
OverDrive (PDF) <a href="http://www.contentreserve.com/TitleInfo.asp?ID={34CA8DE4-B045-4FBD-9A56-87EE0BA622FE}&Format=50">http://www.contentreserve.com/TitleInfo.asp?ID={34CA8DE4-B045-4FBD-9A56-87EE0BA622FE}&Format=50</a>
OverDrive (EPUB) <a href="http://www.contentreserve.com/TitleInfo.asp?ID={34CA8DE4-B045-4FBD-9A56-87EE0BA622FE}&Format=410">http://www.contentreserve.com/TitleInfo.asp?ID={34CA8DE4-B045-4FBD-9A56-87EE0BA622FE}&Format=410</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro Team Foundation Service
ent://SD_ILS/0/SD_ILS:330735
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Olausson, Mathias. author. Rossberg, Joachim. author. Ehn, Jakob. author. Sköld, Mattias. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330735.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-5996-1">http://dx.doi.org/10.1007/978-1-4302-5996-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Physical Layer Multi-Core Prototyping A Dataflow-Based Approach for LTE eNodeB
ent://SD_ILS/0/SD_ILS:330930
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Pelcat, Maxime. author. Aridhi, Slaheddine. author. Piat, Jonathan. author. Nezan, Jean-François. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330930.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4210-2">http://dx.doi.org/10.1007/978-1-4471-4210-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cloud Computing Methods and Practical Approaches
ent://SD_ILS/0/SD_ILS:331146
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Mahmood, Zaigham. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331146.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5107-4">http://dx.doi.org/10.1007/978-1-4471-5107-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Programming Theory and Practice
ent://SD_ILS/0/SD_ILS:331611
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Shankar, A. Udaya. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331611.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-4881-5">http://dx.doi.org/10.1007/978-1-4614-4881-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Systems Development Reflections, Challenges and New Directions
ent://SD_ILS/0/SD_ILS:331631
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Pooley, Rob. editor. Coady, Jennifer. editor. Schneider, Christoph. editor. Linger, Henry. editor. Barry, Chris. editor.<br/>Preferred Shelf Number ONLINE(331631.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-4951-5">http://dx.doi.org/10.1007/978-1-4614-4951-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Connected Dominating Set: Theory and Applications
ent://SD_ILS/0/SD_ILS:331720
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Du, Ding-Zhu. author. Wan, Peng-Jun. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331720.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-5242-3">http://dx.doi.org/10.1007/978-1-4614-5242-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Finding Source Code on the Web for Remix and Reuse
ent://SD_ILS/0/SD_ILS:332071
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Sim, Susan Elliott. editor. Gallardo-Valencia, Rosalva E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332071.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-6596-6">http://dx.doi.org/10.1007/978-1-4614-6596-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Genetic Programming Theory and Practice X
ent://SD_ILS/0/SD_ILS:332135
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Riolo, Rick. editor. Vladislavleva, Ekaterina. editor. Ritchie, Marylyn D. editor. Moore, Jason H. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332135.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-6846-2">http://dx.doi.org/10.1007/978-1-4614-6846-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction
ent://SD_ILS/0/SD_ILS:332681
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Pudlák, Pavel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332681.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-00119-7">http://dx.doi.org/10.1007/978-3-319-00119-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Realtime Data Mining Self-Learning Techniques for Recommendation Engines
ent://SD_ILS/0/SD_ILS:332858
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Paprotny, Alexander. author. Thess, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332858.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-01321-3">http://dx.doi.org/10.1007/978-3-319-01321-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
DNA Computing and Molecular Programming 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:332892
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Soloveichik, David. editor. Yurke, Bernard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332892.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-01928-4">http://dx.doi.org/10.1007/978-3-319-01928-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multimodal Brain Image Analysis Third International Workshop, MBIA 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:332901
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Shen, Li. editor. Liu, Tianming. editor. Yap, Pew-Thian. editor. Huang, Heng. editor. Shen, Dinggang. editor.<br/>Preferred Shelf Number ONLINE(332901.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-02126-3">http://dx.doi.org/10.1007/978-3-319-02126-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Scala Design Patterns Patterns for Practical Reuse and Design
ent://SD_ILS/0/SD_ILS:332904
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Hunt, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332904.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-02192-8">http://dx.doi.org/10.1007/978-3-319-02192-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:332910
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332910.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-02297-0">http://dx.doi.org/10.1007/978-3-319-02297-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
String Processing and Information Retrieval 20th International Symposium, SPIRE 2013, Jerusalem, Israel, October 7-9, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:332920
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Kurland, Oren. editor. Lewenstein, Moshe. editor. Porat, Ely. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332920.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-02432-5">http://dx.doi.org/10.1007/978-3-319-02432-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:332921
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Hung, Dang. editor. Ogawa, Mizuhito. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332921.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-02444-8">http://dx.doi.org/10.1007/978-3-319-02444-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
AI 2013: Advances in Artificial Intelligence 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:332987
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Cranefield, Stephen. editor. Nayak, Abhaya. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332987.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03680-9">http://dx.doi.org/10.1007/978-3-319-03680-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Big Data Analytics Second International Conference, BDA 2013, Mysore, India, December 16-18, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:332988
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Bhatnagar, Vasudha. editor. Srinivasa, Srinath. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332988.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03689-2">http://dx.doi.org/10.1007/978-3-319-03689-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Multimedia Information Processing – PCM 2013 14th Pacific-Rim Conference on Multimedia, Nanjing, China, December 13-16, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:332991
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Huet, Benoit. editor. Ngo, Chong-Wah. editor. Tang, Jinhui. editor. Zhou, Zhi-Hua. editor. Hauptmann, Alexander G. editor.<br/>Preferred Shelf Number ONLINE(332991.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03731-8">http://dx.doi.org/10.1007/978-3-319-03731-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trends in Mobile Web Information Systems MobiWIS 2013 International Workshops, Paphos, Cyprus, August 26-28, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:332992
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Matera, Maristella. editor. Rossi, Gustavo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332992.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03737-0">http://dx.doi.org/10.1007/978-3-319-03737-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:332993
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Panigrahi, Bijaya Ketan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. Das, Swagatam. editor. Dash, Shubhransu Sekhar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332993.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03753-0">http://dx.doi.org/10.1007/978-3-319-03753-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:332994
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Panigrahi, Bijaya Ketan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. Das, Swagatam. editor. Dash, Shubhransu Sekhar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332994.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03756-1">http://dx.doi.org/10.1007/978-3-319-03756-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorial Optimization and Applications 7th International Conference, COCOA 2013, Chengdu, China, December 12-14, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:332995
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Widmayer, Peter. editor. Xu, Yinfeng. editor. Zhu, Binhai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332995.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03780-6">http://dx.doi.org/10.1007/978-3-319-03780-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph Drawing 21st International Symposium, GD 2013, Bordeaux, France, September 23-25, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:332997
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Wismath, Stephen. editor. Wolff, Alexander. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332997.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03841-4">http://dx.doi.org/10.1007/978-3-319-03841-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:332999
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Baldoni, Roberto. editor. Nisse, Nicolas. editor. Steen, Maarten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332999.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03850-6">http://dx.doi.org/10.1007/978-3-319-03850-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms and Architectures for Parallel Processing 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:333000
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Kołodziej, Joanna. editor. Martino, Beniamino. editor. Talia, Domenico. editor. Xiong, Kaiqi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333000.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03859-9">http://dx.doi.org/10.1007/978-3-319-03859-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multiple Access Communcations 6th International Workshop, MACOM 2013, Vilnius, Lithuania, December 16-17, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:333001
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Jonsson, Magnus. editor. Vinel, Alexey. editor. Bellalta, Boris. editor. Marina, Ninoslav. editor. Dimitrova, Desislava. editor.<br/>Preferred Shelf Number ONLINE(333001.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03871-1">http://dx.doi.org/10.1007/978-3-319-03871-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cloud Computing Third International Conference, CloudComp 2012, Vienna, Austria, September 24-26, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:333002
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Yousif, Mazin. editor. Schubert, Lutz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333002.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03874-2">http://dx.doi.org/10.1007/978-3-319-03874-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms and Architectures for Parallel Processing 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:333003
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Aversa, Rocco. editor. Kołodziej, Joanna. editor. Zhang, Jun. editor. Amato, Flora. editor. Fortino, Giancarlo. editor.<br/>Preferred Shelf Number ONLINE(333003.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03889-6">http://dx.doi.org/10.1007/978-3-319-03889-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parameterized and Exact Computation 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:333005
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Gutin, Gregory. editor. Szeider, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333005.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03898-8">http://dx.doi.org/10.1007/978-3-319-03898-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information and Communication Technologies in Education, Research, and Industrial Applications 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:333011
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.<br/>Preferred Shelf Number ONLINE(333011.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03998-5">http://dx.doi.org/10.1007/978-3-319-03998-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cloud Computing and Services Science Second International Conference, CLOSER 2012, Porto, Portugal, April 18-21, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:333024
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Ivanov, Ivan I. editor. Sinderen, Marten. editor. Leymann, Frank. editor. Shan, Tony. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333024.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-04519-1">http://dx.doi.org/10.1007/978-3-319-04519-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Enterprise Architecture at Work Modelling, Communication and Analysis
ent://SD_ILS/0/SD_ILS:333251
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Lankhorst, Marc. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333251.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29651-2">http://dx.doi.org/10.1007/978-3-642-29651-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations
ent://SD_ILS/0/SD_ILS:333514
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Raynal, Michel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333514.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32027-9">http://dx.doi.org/10.1007/978-3-642-32027-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Cryptography with Maple
ent://SD_ILS/0/SD_ILS:333533
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Gómez Pardo, José Luis. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333533.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32166-5">http://dx.doi.org/10.1007/978-3-642-32166-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Surface- and Groundwater Quality Changes in Periods of Water Scarcity
ent://SD_ILS/0/SD_ILS:333547
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Gregor, Miloš. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333547.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32244-0">http://dx.doi.org/10.1007/978-3-642-32244-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Vision, Imaging and Computer Graphics. Theory and Applications International Joint Conference, VISIGRAPP 2011, Vilamoura, Portugal, March 5-7, 2011. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:333559
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Csurka, Gabriela. editor. Kraus, Martin. editor. Mestetskiy, Leonid. editor. Richard, Paul. editor. Braz, José. editor.<br/>Preferred Shelf Number ONLINE(333559.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32350-8">http://dx.doi.org/10.1007/978-3-642-32350-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:334657
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Tan, Ying. editor. Shi, Yuhui. editor. Mo, Hongwei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334657.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38715-9">http://dx.doi.org/10.1007/978-3-642-38715-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing for Computational Science - VECPAR 2012 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334658
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Daydé, Michel. editor. Marques, Osni. editor. Nakajima, Kengo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334658.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38718-0">http://dx.doi.org/10.1007/978-3-642-38718-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Supercomputing 28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334662
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Kunkel, Julian Martin. editor. Ludwig, Thomas. editor. Meuer, Hans Werner. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334662.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38750-0">http://dx.doi.org/10.1007/978-3-642-38750-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Third Joint International Conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334663
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Fellows, Michael. editor. Tan, Xuehou. editor. Zhu, Binhai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334663.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38756-2">http://dx.doi.org/10.1007/978-3-642-38756-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334665
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Du, Ding-Zhu. editor. Zhang, Guochuan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334665.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38768-5">http://dx.doi.org/10.1007/978-3-642-38768-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334666
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Béal, Marie-Pierre. editor. Carton, Olivier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334666.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38771-5">http://dx.doi.org/10.1007/978-3-642-38771-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Post-Quantum Cryptography 5th International Workshop, PQCrypto 2013, Limoges, France, June 4-7, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334635
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Gaborit, Philippe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334635.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38616-9">http://dx.doi.org/10.1007/978-3-642-38616-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Language Processing and Intelligent Information Systems 20th International Conference, IIS 2013, Warsaw, Poland, June 17-18, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334639
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Kłopotek, Mieczysław A. editor. Koronacki, Jacek. editor. Marciniak, Małgorzata. editor. Mykowiecka, Agnieszka. editor. Wierzchoń, Sławomir T. editor.<br/>Preferred Shelf Number ONLINE(334639.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38634-3">http://dx.doi.org/10.1007/978-3-642-38634-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Natural and Artificial Models in Computation and Biology 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:334640
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Ferrández Vicente, José Manuel. editor. Álvarez Sánchez, José Ramón. editor. Paz López, Félix. editor. Toledo Moreo, Fco. Javier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334640.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38637-4">http://dx.doi.org/10.1007/978-3-642-38637-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Aspect-Oriented Requirements Engineering
ent://SD_ILS/0/SD_ILS:334641
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Moreira, Ana. editor. Chitchyan, Ruzanna. editor. Araújo, João. editor. Rashid, Awais. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334641.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38640-4">http://dx.doi.org/10.1007/978-3-642-38640-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Benchmarking Peer-to-Peer Systems Understanding Quality of Service in Large-Scale Distributed Systems
ent://SD_ILS/0/SD_ILS:334646
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Effelsberg, Wolfgang. editor. Steinmetz, Ralf. editor. Strufe, Thorsten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334646.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38673-2">http://dx.doi.org/10.1007/978-3-642-38673-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Pattern Languages of Programming III
ent://SD_ILS/0/SD_ILS:334647
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Noble, James. editor. Johnson, Ralph. editor. Zdun, Uwe. editor. Wallingford, Eugene. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334647.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38676-3">http://dx.doi.org/10.1007/978-3-642-38676-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334651
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Colom, José-Manuel. editor. Desel, Jörg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334651.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38697-8">http://dx.doi.org/10.1007/978-3-642-38697-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design Science at the Intersection of Physical and Virtual Design 8th International Conference, DESRIST 2013, Helsinki, Finland, June 11-12, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334675
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Brocke, Jan. editor. Hekkala, Riitta. editor. Ram, Sudha. editor. Rossi, Matti. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334675.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38827-9">http://dx.doi.org/10.1007/978-3-642-38827-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334682
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Schirner, Gunar. editor. Götz, Marcelo. editor. Rettberg, Achim. editor. Zanella, Mauro C. editor. Rammig, Franz J. editor.<br/>Preferred Shelf Number ONLINE(334682.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38853-8">http://dx.doi.org/10.1007/978-3-642-38853-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334683
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Logozzo, Francesco. editor. Fähndrich, Manuel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334683.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38856-9">http://dx.doi.org/10.1007/978-3-642-38856-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Networks 20th International Conference, CN 2013, Lwówek Śląski, Poland, June 17-21, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334686
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Kwiecień, Andrzej. editor. Gaj, Piotr. editor. Stera, Piotr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334686.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38865-1">http://dx.doi.org/10.1007/978-3-642-38865-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334691
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Duddy, Keith. editor. Kappel, Gerti. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334691.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38883-5">http://dx.doi.org/10.1007/978-3-642-38883-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorial Pattern Matching 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334695
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Fischer, Johannes. editor. Sanders, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334695.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38905-4">http://dx.doi.org/10.1007/978-3-642-38905-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trust and Trustworthy Computing 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334696
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Huth, Michael. editor. Asokan, N. editor. Čapkun, Srdjan. editor. Flechais, Ivan. editor. Coles-Kemp, Lizzie. editor.<br/>Preferred Shelf Number ONLINE(334696.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38908-5">http://dx.doi.org/10.1007/978-3-642-38908-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334697
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Khendek, Ferhat. editor. Toeroe, Maria. editor. Gherbi, Abdelouahed. editor. Reed, Rick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334697.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38911-5">http://dx.doi.org/10.1007/978-3-642-38911-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334698
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Veanes, Margus. editor. Viganò, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334698.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38916-0">http://dx.doi.org/10.1007/978-3-642-38916-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reversible Computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334708
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Dueck, Gerhard W. editor. Miller, D. Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334708.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38986-3">http://dx.doi.org/10.1007/978-3-642-38986-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pattern Recognition 5th Mexican Conference, MCPR 2013, Querétaro, Mexico, June 26-29, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334709
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Carrasco-Ochoa, Jesús Ariel. editor. Martínez-Trinidad, José Francisco. editor. Rodríguez, Joaquín Salas. editor. Baja, Gabriella Sanniti. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334709.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38989-4">http://dx.doi.org/10.1007/978-3-642-38989-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Emerging Management Mechanisms for the Future Internet 7th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2013, Barcelona, Spain, June 25-28, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334710
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Doyen, Guillaume. editor. Waldburger, Martin. editor. Čeleda, Pavel. editor. Sperotto, Anna. editor. Stiller, Burkhard. editor.<br/>Preferred Shelf Number ONLINE(334710.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38998-6">http://dx.doi.org/10.1007/978-3-642-38998-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334711
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Gorp, Pieter. editor. Ritter, Tom. editor. Rose, Louis M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334711.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39013-5">http://dx.doi.org/10.1007/978-3-642-39013-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334715
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Castagna, Giuseppe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334715.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39038-8">http://dx.doi.org/10.1007/978-3-642-39038-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334718
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334718.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39053-1">http://dx.doi.org/10.1007/978-3-642-39053-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Neural Networks – ISNN 2013 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:334722
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Guo, Chengan. editor. Hou, Zeng-Guang. editor. Zeng, Zhigang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334722.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39065-4">http://dx.doi.org/10.1007/978-3-642-39065-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Neural Networks – ISNN 2013 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:334723
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Guo, Chengan. editor. Hou, Zeng-Guang. editor. Zeng, Zhigang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334723.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39068-5">http://dx.doi.org/10.1007/978-3-642-39068-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ad-hoc, Mobile, and Wireless Network 12th International Conference, ADHOC-NOW 2013, Wrocław, Poland, July 8-10, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334764
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Cichoń, Jacek. editor. Gȩbala, Maciej. editor. Klonowski, Marek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334764.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39247-4">http://dx.doi.org/10.1007/978-3-642-39247-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Health Information Engineering and Systems Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334727
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Weber, Jens. editor. Perseil, Isabelle. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334727.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39088-3">http://dx.doi.org/10.1007/978-3-642-39088-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Implementation and Application of Automata 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334771
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Konstantinidis, Stavros. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334771.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39274-0">http://dx.doi.org/10.1007/978-3-642-39274-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334772
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Liu, Shaoying. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334772.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39277-1">http://dx.doi.org/10.1007/978-3-642-39277-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334778
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Jurgensen, Helmut. editor. Reis, Rogério. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334778.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39310-5">http://dx.doi.org/10.1007/978-3-642-39310-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Analytical and Stochastic Modeling Techniques and Applications 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334797
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Dudin, Alexander. editor. Turck, Koen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334797.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39408-9">http://dx.doi.org/10.1007/978-3-642-39408-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Big Data 29th British National Conference on Databases, BNCOD 2013, Oxford, UK, July 8-10, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334803
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Gottlob, Georg. editor. Grasso, Giovanni. editor. Olteanu, Dan. editor. Schallhart, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334803.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39467-6">http://dx.doi.org/10.1007/978-3-642-39467-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Inclusive Society: Health and Wellbeing in the Community, and Care at Home 11th International Conference on Smart Homes and Health Telematics, ICOST 2013, Singapore, June 19-21, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334804
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Biswas, Jit. editor. Kobayashi, Hisato. editor. Wong, Lawrence. editor. Abdulrazak, Bessam. editor. Mokhtari, Mounir. editor.<br/>Preferred Shelf Number ONLINE(334804.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39470-6">http://dx.doi.org/10.1007/978-3-642-39470-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Computing Theories and Technology 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334808
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Huang, De-Shuang. editor. Jo, Kang-Hyun. editor. Zhou, Yong-Quan. editor. Han, Kyungsook. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334808.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39482-9">http://dx.doi.org/10.1007/978-3-642-39482-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated Uncertainty in Knowledge Modelling and Decision Making International Symposium, IUKM 2013, Beijing, China, July 12-14, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334813
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Qin, Zengchang. editor. Huynh, Van-Nam. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334813.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39515-4">http://dx.doi.org/10.1007/978-3-642-39515-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial General Intelligence 6th International Conference, AGI 2013, Beijing, China, July 31 – August 3, 2013 Proceedings
ent://SD_ILS/0/SD_ILS:334814
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Kühnberger, Kai-Uwe. editor. Rudolph, Sebastian. editor. Wang, Pei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334814.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39521-5">http://dx.doi.org/10.1007/978-3-642-39521-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web-Age Information Management WAIM 2013 International Workshops: HardBD, MDSP, BigEM, TMSN, LQPM, BDMS, Beidaihe, China, June 14-16, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334815
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Gao, Yunjun. editor. Shim, Kyuseok. editor. Ding, Zhiming. editor. Jin, Peiquan. editor. Ren, Zujie. editor.<br/>Preferred Shelf Number ONLINE(334815.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39527-7">http://dx.doi.org/10.1007/978-3-642-39527-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334822
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Morgenstern, Leora. editor. Stefaneas, Petros. editor. Lévy, François. editor. Wyner, Adam. editor. Paschke, Adrian. editor.<br/>Preferred Shelf Number ONLINE(334822.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39617-5">http://dx.doi.org/10.1007/978-3-642-39617-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334825
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334825.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39634-2">http://dx.doi.org/10.1007/978-3-642-39634-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:334826
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.<br/>Preferred Shelf Number ONLINE(334826.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39637-3">http://dx.doi.org/10.1007/978-3-642-39637-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part V
ent://SD_ILS/0/SD_ILS:334827
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.<br/>Preferred Shelf Number ONLINE(334827.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39640-3">http://dx.doi.org/10.1007/978-3-642-39640-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:334828
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.<br/>Preferred Shelf Number ONLINE(334828.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39643-4">http://dx.doi.org/10.1007/978-3-642-39643-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:334829
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.<br/>Preferred Shelf Number ONLINE(334829.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39646-5">http://dx.doi.org/10.1007/978-3-642-39646-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:334830
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.<br/>Preferred Shelf Number ONLINE(334830.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39649-6">http://dx.doi.org/10.1007/978-3-642-39649-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Power of Algorithms Inspiration and Examples in Everyday Life
ent://SD_ILS/0/SD_ILS:334831
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Ausiello, Giorgio. editor. Petreschi, Rossella. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334831.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39652-6">http://dx.doi.org/10.1007/978-3-642-39652-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334832
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Faber, Wolfgang. editor. Lembo, Domenico. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334832.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39666-3">http://dx.doi.org/10.1007/978-3-642-39666-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
ent://SD_ILS/0/SD_ILS:334837
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334837.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39698-4">http://dx.doi.org/10.1007/978-3-642-39698-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wireless Algorithms, Systems, and Applications 8th International Conference, WASA 2013, Zhangjiajie, China, August 7-10, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334838
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Ren, Kui. editor. Liu, Xue. editor. Liang, Weifa. editor. Xu, Ming. editor. Jia, Xiaohua. editor.<br/>Preferred Shelf Number ONLINE(334838.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39701-1">http://dx.doi.org/10.1007/978-3-642-39701-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Machine Learning and Data Mining in Pattern Recognition 9th International Conference, MLDM 2013, New York, NY, USA, July 19-25, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334839
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Perner, Petra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334839.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39712-7">http://dx.doi.org/10.1007/978-3-642-39712-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Aspects of Computing – ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334840
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334840.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39718-9">http://dx.doi.org/10.1007/978-3-642-39718-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Science, Engineering and Management 6th International Conference, KSEM 2013, Dalian, China, August 10-12, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334849
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Wang, Mingzheng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334849.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39787-5">http://dx.doi.org/10.1007/978-3-642-39787-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334851
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Sharygina, Natasha. editor. Veith, Helmut. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334851.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39799-8">http://dx.doi.org/10.1007/978-3-642-39799-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Large-Scale Data- and Knowledge-Centered Systems IX
ent://SD_ILS/0/SD_ILS:334886
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334886.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40069-8">http://dx.doi.org/10.1007/978-3-642-40069-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Cryptology – CRYPTO 2013 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:334888
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Canetti, Ran. editor. Garay, Juan A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334888.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40084-1">http://dx.doi.org/10.1007/978-3-642-40084-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms and Data Structures 13th International Symposium, WADS 2013, London, ON, Canada, August 12-14, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334893
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Dehne, Frank. editor. Solis-Oba, Roberto. editor. Sack, Jörg-Rüdiger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334893.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40104-6">http://dx.doi.org/10.1007/978-3-642-40104-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Contemporary Evolution Strategies
ent://SD_ILS/0/SD_ILS:334897
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Bäck, Thomas. author. Foussette, Christophe. author. Krause, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334897.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40137-4">http://dx.doi.org/10.1007/978-3-642-40137-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Networked Systems First International Conference, NETYS 2013, Marrakech, Morocco, May 2-4, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334899
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Gramoli, Vincent. editor. Guerraoui, Rachid. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334899.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40148-0">http://dx.doi.org/10.1007/978-3-642-40148-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Process Management 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334904
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Daniel, Florian. editor. Wang, Jianmin. editor. Weber, Barbara. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334904.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40176-3">http://dx.doi.org/10.1007/978-3-642-40176-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
CONCUR 2013 – Concurrency Theory 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334905
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author D’Argenio, Pedro R. editor. Melgratti, Hernán. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334905.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40184-8">http://dx.doi.org/10.1007/978-3-642-40184-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334910
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Heckel, Reiko. editor. Milius, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334910.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40206-7">http://dx.doi.org/10.1007/978-3-642-40206-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334913
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Braberman, Víctor. editor. Fribourg, Laurent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334913.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40229-6">http://dx.doi.org/10.1007/978-3-642-40229-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mobile and Ubiquitous Systems: Computing, Networking, and Services 9th International Conference, MobiQuitous 2012, Beijing, China, December 12-14, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334916
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Zheng, Kan. editor. Li, Mo. editor. Jiang, Hongbo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334916.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40238-8">http://dx.doi.org/10.1007/978-3-642-40238-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Space-Efficient Data Structures, Streams, and Algorithms Papers in Honor of J. Ian Munro on the Occasion of His 66th Birthday
ent://SD_ILS/0/SD_ILS:334921
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Brodnik, Andrej. editor. López-Ortiz, Alejandro. editor. Raman, Venkatesh. editor. Viola, Alfredo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334921.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40273-9">http://dx.doi.org/10.1007/978-3-642-40273-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mobile Web Information Systems 10th International Conference, MobiWIS 2013, Paphos, Cyprus, August 26-29, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334922
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Daniel, Florian. editor. Papadopoulos, George A. editor. Thiran, Philippe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334922.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40276-0">http://dx.doi.org/10.1007/978-3-642-40276-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334925
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Chatterjee, Krishnendu. editor. Sgall, Jirí. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334925.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40313-2">http://dx.doi.org/10.1007/978-3-642-40313-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 16th International Workshop, APPROX 2013, and 17th International Workshop, RANDOM 2013, Berkeley, CA, USA, August 21-23, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334929
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Raghavendra, Prasad. editor. Raskhodnikova, Sofya. editor. Jansen, Klaus. editor. Rolim, José D. P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334929.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40328-6">http://dx.doi.org/10.1007/978-3-642-40328-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cryptographic Hardware and Embedded Systems - CHES 2013 15th International Workshop, Santa Barbara, CA, USA, August 20-23, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334932
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Bertoni, Guido. editor. Coron, Jean-Sébastien. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334932.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40349-1">http://dx.doi.org/10.1007/978-3-642-40349-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Energy Minimization Methods in Computer Vision and Pattern Recognition 9th International Conference, EMMCVPR 2013, Lund, Sweden, August 19-21, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334939
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Heyden, Anders. editor. Kahl, Fredrik. editor. Olsson, Carl. editor. Oskarsson, Magnus. editor. Tai, Xue-Cheng. editor.<br/>Preferred Shelf Number ONLINE(334939.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40395-8">http://dx.doi.org/10.1007/978-3-642-40395-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Enabling Things to Talk Designing IoT solutions with the IoT Architectural Reference Model
ent://SD_ILS/0/SD_ILS:334941
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Bassi, Alessandro. editor. Bauer, Martin. editor. Fiedler, Martin. editor. Kramp, Thorsten. editor. Kranenburg, Rob. editor.<br/>Preferred Shelf Number ONLINE(334941.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40403-0">http://dx.doi.org/10.1007/978-3-642-40403-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms – ESA 2013 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334947
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Bodlaender, Hans L. editor. Italiano, Giuseppe F. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334947.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40450-4">http://dx.doi.org/10.1007/978-3-642-40450-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms in Bioinformatics 13th International Workshop, WABI 2013, Sophia Antipolis, France, September 2-4, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334948
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Darling, Aaron. editor. Stoye, Jens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334948.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40453-5">http://dx.doi.org/10.1007/978-3-642-40453-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Petri Nets and Other Models of Concurrency VIII
ent://SD_ILS/0/SD_ILS:334949
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Koutny, Maciej. editor. Aalst, Wil M. P. editor. Yakovlev, Alex. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334949.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40465-8">http://dx.doi.org/10.1007/978-3-642-40465-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:334950
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.<br/>Preferred Shelf Number ONLINE(334950.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40477-1">http://dx.doi.org/10.1007/978-3-642-40477-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:334951
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.<br/>Preferred Shelf Number ONLINE(334951.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40480-1">http://dx.doi.org/10.1007/978-3-642-40480-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:334952
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.<br/>Preferred Shelf Number ONLINE(334952.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40483-2">http://dx.doi.org/10.1007/978-3-642-40483-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:334955
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.<br/>Preferred Shelf Number ONLINE(334955.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40498-6">http://dx.doi.org/10.1007/978-3-642-40498-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:334962
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334962.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40537-2">http://dx.doi.org/10.1007/978-3-642-40537-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Communication Networking 19th EUNICE/IFIP WG 6.6 International Workshop, Chemnitz, Germany, August 28-30, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334966
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Bauschert, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334966.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40552-5">http://dx.doi.org/10.1007/978-3-642-40552-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334969
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334969.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40564-8">http://dx.doi.org/10.1007/978-3-642-40564-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings
ent://SD_ILS/0/SD_ILS:334973
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334973.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40579-2">http://dx.doi.org/10.1007/978-3-642-40579-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Security Engineering and Intelligence Informatics CD-ARES 2013 Workshops: MoCrySEn and SeCIHD, Regensburg, Germany, September 2-6, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334975
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Cuzzocrea, Alfredo. editor. Kittl, Christian. editor. Simos, Dimitris E. editor. Weippl, Edgar. editor. Xu, Lida. editor.<br/>Preferred Shelf Number ONLINE(334975.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40588-4">http://dx.doi.org/10.1007/978-3-642-40588-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
ent://SD_ILS/0/SD_ILS:334978
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Giachino, Elena. editor. Hähnle, Reiner. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334978.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40615-7">http://dx.doi.org/10.1007/978-3-642-40615-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334979
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Leite, João. editor. Son, Tran Cao. editor. Torroni, Paolo. editor. Torre, Leon. editor. Woltran, Stefan. editor.<br/>Preferred Shelf Number ONLINE(334979.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40624-9">http://dx.doi.org/10.1007/978-3-642-40624-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334980
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Schulte, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334980.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40627-0">http://dx.doi.org/10.1007/978-3-642-40627-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Artificial Intelligence 15th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2013, Madrid, Spain, September 17-20, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334981
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Bielza, Concha. editor. Salmerón, Antonio. editor. Alonso-Betanzos, Amparo. editor. Hidalgo, J. Ignacio. editor. Martínez, Luis. editor.<br/>Preferred Shelf Number ONLINE(334981.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40643-0">http://dx.doi.org/10.1007/978-3-642-40643-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Service-Oriented and Cloud Computing Second European Conference, ESOCC 2013, Málaga, Spain, September 11-13, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334983
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Lau, Kung-Kiu. editor. Lamersdorf, Winfried. editor. Pimentel, Ernesto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334983.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40651-5">http://dx.doi.org/10.1007/978-3-642-40651-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334985
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Muntean, Traian. editor. Poulakis, Dimitrios. editor. Rolland, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334985.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40663-8">http://dx.doi.org/10.1007/978-3-642-40663-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334987
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Ida, Tetsuo. editor. Fleuriot, Jacques. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334987.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40672-0">http://dx.doi.org/10.1007/978-3-642-40672-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
OpenMP in the Era of Low Power Devices and Accelerators 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334990
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Rendell, Alistair P. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334990.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40698-0">http://dx.doi.org/10.1007/978-3-642-40698-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334992
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Gupta, Ashutosh. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334992.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40708-6">http://dx.doi.org/10.1007/978-3-642-40708-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Language Processing and Knowledge in the Web 25th International Conference, GSCL 2013, Darmstadt, Germany, September 25-27, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334994
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Gurevych, Iryna. editor. Biemann, Chris. editor. Zesch, Torsten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334994.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40722-2">http://dx.doi.org/10.1007/978-3-642-40722-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Performance Engineering 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334995
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Balsamo, Maria Simonetta. editor. Knottenbelt, William J. editor. Marin, Andrea. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334995.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40725-3">http://dx.doi.org/10.1007/978-3-642-40725-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Neural Networks and Machine Learning – ICANN 2013 23rd International Conference on Artificial Neural Networks Sofia, Bulgaria, September 10-13, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334996
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Mladenov, Valeri. editor. Koprinkova-Hristova, Petia. editor. Palm, Günther. editor. Villa, Alessandro E. P. editor. Appollini, Bruno. editor.<br/>Preferred Shelf Number ONLINE(334996.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40728-4">http://dx.doi.org/10.1007/978-3-642-40728-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335003
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Legay, Axel. editor. Bensalem, Saddek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335003.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40787-1">http://dx.doi.org/10.1007/978-3-642-40787-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Safety, Reliability, and Security 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335005
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Bitsch, Friedemann. editor. Guiochet, Jérémie. editor. Kaâniche, Mohamed. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335005.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40793-2">http://dx.doi.org/10.1007/978-3-642-40793-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Network and Parallel Computing 10th IFIP International Conference, NPC 2013, Guiyang, China, September 19-21, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335013
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Hsu, Ching-Hsien. editor. Li, Xiaoming. editor. Shi, Xuanhua. editor. Zheng, Ran. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335013.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40820-5">http://dx.doi.org/10.1007/978-3-642-40820-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Augmented Reality Environments for Medical Imaging and Computer-Assisted Interventions 6th International Workshop, MIAR 2013 and 8th International Workshop, AE-CAI 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335016
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Liao, Hongen. editor. Linte, Cristian A. editor. Masamune, Ken. editor. Peters, Terry M. editor. Zheng, Guoyan. editor.<br/>Preferred Shelf Number ONLINE(335016.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40843-4">http://dx.doi.org/10.1007/978-3-642-40843-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hybrid Artificial Intelligent Systems 8th International Conference, HAIS 2013, Salamanca, Spain, September 11-13, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335017
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Pan, Jeng-Shyang. editor. Polycarpou, Marios M. editor. Woźniak, Michał. editor. Carvalho, André C. P. L. F. editor. Quintián, Héctor. editor.<br/>Preferred Shelf Number ONLINE(335017.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40846-5">http://dx.doi.org/10.1007/978-3-642-40846-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Robotics and Applications 6th International Conference, ICIRA 2013, Busan, South Korea, September 25-28, 2013, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:335018
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Lee, Jangmyung. editor. Lee, Min Cheol. editor. Liu, Honghai. editor. Ryu, Jee-Hwan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335018.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40849-6">http://dx.doi.org/10.1007/978-3-642-40849-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Robotics and Applications 6th International Conference, ICIRA 2013, Busan, South Korea, September 25-28, 2013, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:335019
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Lee, Jangmyung. editor. Lee, Min Cheol. editor. Liu, Honghai. editor. Ryu, Jee-Hwan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335019.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40852-6">http://dx.doi.org/10.1007/978-3-642-40852-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Systems: Development, Learning, Security 6th SIGSAND/PLAIS EuroSymposium 2013, Gdańsk, Poland, September 26, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335020
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Wrycza, Stanisław. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335020.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40855-7">http://dx.doi.org/10.1007/978-3-642-40855-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cellular Automata and Discrete Complex Systems 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335022
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Kari, Jarkko. editor. Kutrib, Martin. editor. Malcher, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335022.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40867-0">http://dx.doi.org/10.1007/978-3-642-40867-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335023
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335023.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40885-4">http://dx.doi.org/10.1007/978-3-642-40885-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Discovery Science 16th International Conference, DS 2013, Singapore, October 6-9, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335025
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Fürnkranz, Johannes. editor. Hüllermeier, Eyke. editor. Higuchi, Tomoyuki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335025.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40897-7">http://dx.doi.org/10.1007/978-3-642-40897-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335028
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Bois, André Rauber. editor. Trinder, Phil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335028.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40922-6">http://dx.doi.org/10.1007/978-3-642-40922-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Information Systems and Industrial Management 12th IFIP TC8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335029
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Saeed, Khalid. editor. Chaki, Rituparna. editor. Cortesi, Agostino. editor. Wierzchoń, Sławomir. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335029.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40925-7">http://dx.doi.org/10.1007/978-3-642-40925-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335030
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Jain, Sanjay. editor. Munos, Rémi. editor. Stephan, Frank. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335030.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40935-6">http://dx.doi.org/10.1007/978-3-642-40935-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Global Sourcing. Models, Governance, and Relationships 7th Global Sourcing Workshop 2013, Val d’Isère, France, March 11-14, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335033
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Oshri, Ilan. editor. Kotlarsky, Julia. editor. Willcocks, Leslie P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335033.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40951-6">http://dx.doi.org/10.1007/978-3-642-40951-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335040
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Pecheur, Charles. editor. Dierkes, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335040.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41010-9">http://dx.doi.org/10.1007/978-3-642-41010-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Logistics 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335043
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Pacino, Dario. editor. Voß, Stefan. editor. Jensen, Rune Møller. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335043.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41019-2">http://dx.doi.org/10.1007/978-3-642-41019-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
On the Move to Meaningful Internet Systems: OTM 2013 Conferences Confederated International Conferences: CoopIS, DOA-Trusted Cloud, and ODBASE 2013, Graz, Austria, September 9-13, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335044
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Meersman, Robert. editor. Panetto, Hervé. editor. Dillon, Tharam. editor. Eder, Johann. editor. Bellahsene, Zohra. editor.<br/>Preferred Shelf Number ONLINE(335044.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41030-7">http://dx.doi.org/10.1007/978-3-642-41030-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings
ent://SD_ILS/0/SD_ILS:335046
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Abdulla, Parosh Aziz. editor. Potapov, Igor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335046.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41036-9">http://dx.doi.org/10.1007/978-3-642-41036-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evaluating AAL Systems Through Competitive Benchmarking International Competitions and Final Workshop, EvAAL 2013, July and September 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335047
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Botía, Juan A. editor. Álvarez-García, Juan Antonio. editor. Fujinami, Kaori. editor. Barsocchi, Paolo. editor. Riedel, Till. editor.<br/>Preferred Shelf Number ONLINE(335047.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41043-7">http://dx.doi.org/10.1007/978-3-642-41043-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wireless Sensor Networks for Developing Countries First International Conference, WSN4DC, Jamshoro, Pakistan, April 24-26, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335048
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Shaikh, Faisal Karim. editor. Chowdhry, Bhawani Shankar. editor. Ammari, Habib M. editor. Uqaili, Muhammad Aslam. editor. Shah, Assadullah. editor.<br/>Preferred Shelf Number ONLINE(335048.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41054-3">http://dx.doi.org/10.1007/978-3-642-41054-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Similarity Search and Applications 6th International Conference, SISAP 2013, A Coruña, Spain, October 2-4, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:335050
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Brisaboa, Nieves. editor. Pedreira, Oscar. editor. Zezula, Pavel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335050.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41062-8">http://dx.doi.org/10.1007/978-3-642-41062-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Security and Trust Management 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335057
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Accorsi, Rafael. editor. Ranise, Silvio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335057.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41098-7">http://dx.doi.org/10.1007/978-3-642-41098-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Time and Petri Nets
ent://SD_ILS/0/SD_ILS:335059
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Popova-Zeugmann, Louchka. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335059.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41115-1">http://dx.doi.org/10.1007/978-3-642-41115-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Information Systems Engineering – WISE 2013 14th International Conference, Nanjing, China, October 13-15, 2013, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:335065
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Lin, Xuemin. editor. Manolopoulos, Yannis. editor. Srivastava, Divesh. editor. Huang, Guangyan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335065.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41154-0">http://dx.doi.org/10.1007/978-3-642-41154-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trustworthy Global Computing 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335066
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Palamidessi, Catuscia. editor. Ryan, Mark D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335066.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41157-1">http://dx.doi.org/10.1007/978-3-642-41157-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Image Analysis and Processing – ICIAP 2013 17th International Conference, Naples, Italy, September 9-13, 2013. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:335069
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Petrosino, Alfredo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335069.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41181-6">http://dx.doi.org/10.1007/978-3-642-41181-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Image Analysis and Processing – ICIAP 2013 17th International Conference, Naples, Italy, September 9-13, 2013, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:335070
2024-10-17T06:18:26Z
2024-10-17T06:18:26Z
Author Petrosino, Alfredo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335070.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41184-7">http://dx.doi.org/10.1007/978-3-642-41184-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>