Search Results for software. - Narrowed by: 2012
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dsoftware.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092012$0025092012$0026ps$003d300$0026isd$003dtrue?
2026-01-26T20:47:47Z
Embedded software the works
ent://SD_ILS/0/SD_ILS:146561
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Walls, Colin.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124158221">An electronic book accessible through the World Wide Web; click for information</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software and Network Engineering
ent://SD_ILS/0/SD_ILS:196505
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Lee, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28670-4">http://dx.doi.org/10.1007/978-3-642-28670-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Experimentation in Software Engineering
ent://SD_ILS/0/SD_ILS:196596
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Wohlin, Claes. author. Runeson, Per. author. Höst, Martin. author. Ohlsson, Magnus C. author. Regnell, Björn. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29044-2">http://dx.doi.org/10.1007/978-3-642-29044-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Similarity and Classification
ent://SD_ILS/0/SD_ILS:173499
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Cesare, Silvio. author. Xiang, Yang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-2909-7">http://dx.doi.org/10.1007/978-1-4471-2909-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software maintenance success recipes
ent://SD_ILS/0/SD_ILS:545774
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Reifer, Donald J., author.<br/>Preferred Shelf Number QA76.6 .R435 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439851678">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Software and Systems Traceability
ent://SD_ILS/0/SD_ILS:173397
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Cleland-Huang, Jane. editor. Gotel, Orlena. editor. Zisman, Andrea. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-2239-5">http://dx.doi.org/10.1007/978-1-4471-2239-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Process Definition and Management
ent://SD_ILS/0/SD_ILS:195592
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Münch, Jürgen. author. Armbrust, Ove. author. Kowalczyk, Martin. author. Soto, Martín. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24291-5">http://dx.doi.org/10.1007/978-3-642-24291-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software engineering : the current practices
ent://SD_ILS/0/SD_ILS:364220
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Rajlich, Vaclav.<br/>Preferred Shelf Number QA76.758 R36 2012<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Handbook of software engineering & knowledge engineering
ent://SD_ILS/0/SD_ILS:79287
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
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/>
Fundamentals of multicore software development
ent://SD_ILS/0/SD_ILS:539077
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Pankratius, Victor. Adl-Tabatabai, Ali-Reza. Tichy, Walter F.<br/>Preferred Shelf Number QA76.642 .F86 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439812747">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Embedded systems hardware for software engineers
ent://SD_ILS/0/SD_ILS:248928
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Lipiansky, Ed.<br/>Preferred Shelf Number TK7895.E42 L56 2012<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Embedded systems hardware for software engineers
ent://SD_ILS/0/SD_ILS:293487
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Lipiansky, Ed.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://mhebooklibrary.com/reader/embedded-systems-hardware-for-software-engineers">Subscription required</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The 7 qualities of highly secure software
ent://SD_ILS/0/SD_ILS:544951
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Paul, Mano., author.<br/>Preferred Shelf Number QA76.9 .A25 P38 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439814475">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Software project management : a process-driven approach
ent://SD_ILS/0/SD_ILS:544607
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Ahmed, Ashfaque., author.<br/>Preferred Shelf Number QA76.76 .D47 A3965 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439846568">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Software Engineering Research,Management and Applications 2011
ent://SD_ILS/0/SD_ILS:195270
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Lee, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23202-2">http://dx.doi.org/10.1007/978-3-642-23202-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Aspect-Oriented Software Development IX
ent://SD_ILS/0/SD_ILS:197616
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Leavens, Gary T. editor. Chiba, Shigeru. editor. Haupt, Michael. editor. Ostermann, Klaus. editor. Wohlstadter, Eric. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35551-6">http://dx.doi.org/10.1007/978-3-642-35551-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
QuickBooks 2010 finance software for small business
ent://SD_ILS/0/SD_ILS:293475
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Barich, Thomas E.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://mhebooklibrary.com/reader/quickbooks-2010-quicksteps">Subscription required</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Java software solutions : foundations of program design
ent://SD_ILS/0/SD_ILS:268563
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Lewis, John. Loftus, William. Abirami, S.<br/>Preferred Shelf Number QA76.73.J38 L49 2012<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
Enterprise software architecture and design entities, services, and resources
ent://SD_ILS/0/SD_ILS:299111
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Duggan, Dominic.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access John Wiley <a href="http://dx.doi.org/10.1002/9781118180518">http://dx.doi.org/10.1002/9781118180518</a>
<a href="http://site.ebrary.com/lib/alltitles/Doc?id=10529323">http://site.ebrary.com/lib/alltitles/Doc?id=10529323</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Improving Software Testing Technical and Organizational Developments
ent://SD_ILS/0/SD_ILS:196203
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Majchrzak, Tim A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27464-0">http://dx.doi.org/10.1007/978-3-642-27464-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Games, Actions and Social Software Multidisciplinary Aspects
ent://SD_ILS/0/SD_ILS:196670
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Eijck, Jan. editor. Verbrugge, Rineke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29326-9">http://dx.doi.org/10.1007/978-3-642-29326-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering Research, Management and Applications 2012
ent://SD_ILS/0/SD_ILS:196893
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Lee, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30460-6">http://dx.doi.org/10.1007/978-3-642-30460-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge-based software engineering proceedings of the tenth Joint Conference on Knowledge-Based Software Engineering
ent://SD_ILS/0/SD_ILS:280387
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Joint Conference on Knowledge-Based Software Engineering (10th : 2012 : Rhodes (Island), Greece) Virvou, Maria. Matsuura, Saeko. IOS Press.<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=489951">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=489951</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
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
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/>
The IFPUG guide to IT and software measurement
ent://SD_ILS/0/SD_ILS:544611
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author International Function Point Users Group.<br/>Preferred Shelf Number QA76.76 .S65 I36 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439869345">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Secure and resilient software : requirements, test cases, and testing methods
ent://SD_ILS/0/SD_ILS:540156
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Merkow, Mark S., author. Raghavan, Lakshmikanth.<br/>Preferred Shelf Number QA76.76 .T48 M47 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439866221">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Computer, network, software, and hardware engineering with applications
ent://SD_ILS/0/SD_ILS:269837
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Shneidewind, Norman.<br/>Preferred Shelf Number TK7885 S2564 2012<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
SDL 2011: Integrating System and Software Modeling 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers
ent://SD_ILS/0/SD_ILS:195895
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Ober, Iulian. editor. Ober, Ileana. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25264-8">http://dx.doi.org/10.1007/978-3-642-25264-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Knowledge Engineering: Theory and Practice Volume 2
ent://SD_ILS/0/SD_ILS:195920
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Wu, Yanwen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25349-2">http://dx.doi.org/10.1007/978-3-642-25349-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Compiler Construction 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196501
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author O’Boyle, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28652-0">http://dx.doi.org/10.1007/978-3-642-28652-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196520
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Birkedal, Lars. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28729-9">http://dx.doi.org/10.1007/978-3-642-28729-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196526
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Flanagan, Cormac. editor. König, Barbara. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28756-5">http://dx.doi.org/10.1007/978-3-642-28756-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ambient Intelligence - Software and Applications 3rd International Symposium on Ambient Intelligence (ISAmI 2012)
ent://SD_ILS/0/SD_ILS:196533
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Novais, Paulo. editor. Hallenborg, Kasper. editor. Tapia, Dante I. editor. Rodríguez, Juan M. Corchado. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28783-1">http://dx.doi.org/10.1007/978-3-642-28783-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Language Engineering 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196547
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Sloane, Anthony. editor. Aßmann, Uwe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28830-2">http://dx.doi.org/10.1007/978-3-642-28830-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196553
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Seidl, Helmut. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28869-2">http://dx.doi.org/10.1007/978-3-642-28869-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamental Approaches to Software Engineering 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196554
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Lara, Juan. editor. Zisman, Andrea. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28872-2">http://dx.doi.org/10.1007/978-3-642-28872-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer- Aided Design in Power Engineering Application of Software Tools
ent://SD_ILS/0/SD_ILS:196843
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Stojkovic, Zlatan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30206-0">http://dx.doi.org/10.1007/978-3-642-30206-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Models in Software Engineering Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196745
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Kienzle, Jörg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29645-1">http://dx.doi.org/10.1007/978-3-642-29645-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Modeling and Software Design First International Symposium, BMSD 2011, Sofia, Bulgaria, July 27-28, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196768
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Shishkov, Boris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29788-5">http://dx.doi.org/10.1007/978-3-642-29788-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Composition 11th International Conference, SC 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196918
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Gschwind, Thomas. editor. Paoli, Flavio. editor. Gruhn, Volker. editor. Book, Matthias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30564-1">http://dx.doi.org/10.1007/978-3-642-30564-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
ent://SD_ILS/0/SD_ILS:197000
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Bernardo, Marco. editor. Cortellessa, Vittorio. editor. Pierantonio, Alfonso. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30982-3">http://dx.doi.org/10.1007/978-3-642-30982-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Service and Application Engineering Essays Dedicated to Bernd Krämer on the Occasion of His 65th Birthday
ent://SD_ILS/0/SD_ILS:196973
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Heisel, Maritta. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30835-2">http://dx.doi.org/10.1007/978-3-642-30835-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Product-Focused Software Process Improvement 13th International Conference, PROFES 2012, Madrid, Spain, June 13-15, 2012 Proceedings
ent://SD_ILS/0/SD_ILS:197012
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Dieste, Oscar. editor. Jedlitschka, Andreas. editor. Juristo, Natalia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31063-8">http://dx.doi.org/10.1007/978-3-642-31063-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Checking Software 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197133
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Donaldson, Alastair. editor. Parker, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31759-0">http://dx.doi.org/10.1007/978-3-642-31759-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197134
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Gurov, Dilian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31762-0">http://dx.doi.org/10.1007/978-3-642-31762-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197437
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Eleftherakis, George. editor. Hinchey, Mike. editor. Holcombe, Mike. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33826-7">http://dx.doi.org/10.1007/978-3-642-33826-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fast Software Encryption 19th International Workshop, FSE 2012, Washington, DC, USA, March 19-21, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197464
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Canteaut, Anne. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34047-5">http://dx.doi.org/10.1007/978-3-642-34047-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing Software and Systems 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197540
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Nielsen, Brian. editor. Weise, Carsten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34691-0">http://dx.doi.org/10.1007/978-3-642-34691-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
AI Approaches to the Complexity of Legal Systems. Models and Ethical Challenges for Legal Systems, Legal Language and Legal Ontologies, Argumentation and Software Agents International Workshop AICOL-III, Held as Part of the 25th IVR Congress, Frankfurt am Main, Germany, August 15-16, 2011. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197630
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Palmirani, Monica. editor. Pagallo, Ugo. editor. Casanovas, Pompeu. editor. Sartor, Giovanni. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35731-2">http://dx.doi.org/10.1007/978-3-642-35731-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools for Practical Software Verification LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures
ent://SD_ILS/0/SD_ILS:197634
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Meyer, Bertrand. editor. Nordio, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35746-6">http://dx.doi.org/10.1007/978-3-642-35746-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SynDEVS Co-Design Flow A Hardware / Software Co-Design Flow Based on the Discrete Event System Specification Model of Computation
ent://SD_ILS/0/SD_ILS:197668
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Molter, H. Gregor. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-658-00397-5">http://dx.doi.org/10.1007/978-3-658-00397-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Firms in Open Source Software Development Managing Innovation Beyond Firm Boundaries
ent://SD_ILS/0/SD_ILS:200266
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Schaarschmidt, Mario. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8349-4143-5">http://dx.doi.org/10.1007/978-3-8349-4143-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wechselwirkungen zwischen Organisation und Social Software in der Wissensarbeit
ent://SD_ILS/0/SD_ILS:201035
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Kansy, Simone. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8349-7079-4">http://dx.doi.org/10.1007/978-3-8349-7079-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Coding places software practice in a South American city
ent://SD_ILS/0/SD_ILS:220222
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Takhteyev, Yuri, 1976-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6354165">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6354165</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Sonar code quality testing essentials achieve higher levels of software quality with sonar
ent://SD_ILS/0/SD_ILS:280082
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Arapidis, Charalampos S.<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=481277">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=481277</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Earth System Modelling - Volume 3 Coupling Software and Strategies
ent://SD_ILS/0/SD_ILS:195321
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Valcke, Sophie. author. Redler, René. author. Budich, Reinhard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23360-9">http://dx.doi.org/10.1007/978-3-642-23360-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Short Course in Computational Science and Engineering C++, Java and Octave Numerical Programming with Free Software Tools
ent://SD_ILS/0/SD_ILS:235833
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Yevick, David.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9781139022262">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Inside a Secret Software Laboratory An Ethnographic Study of a Global Software Package Producer
ent://SD_ILS/0/SD_ILS:201113
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Grimm, Christine. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8349-7176-0">http://dx.doi.org/10.1007/978-3-8349-7176-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware/Software Co-design for Heterogeneous Multi-core Platforms The hArtes Toolchain
ent://SD_ILS/0/SD_ILS:206057
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Bertels, Koen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-1406-9">http://dx.doi.org/10.1007/978-94-007-1406-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Internet success a study of open-source software commons
ent://SD_ILS/0/SD_ILS:220099
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Schweik, Charles M., 1961- English, Robert C., 1951-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267538">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267538</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer, network, software, and hardware engineering with applications
ent://SD_ILS/0/SD_ILS:249355
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Schneidewind, Norman.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEEXplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6168884">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6168884</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Case study research in software engineering guidelines and examples
ent://SD_ILS/0/SD_ILS:299115
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Runeson, Per, 1966-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=818522">http://public.eblib.com/EBLPublic/PublicView.do?ptiID=818522</a>
John Wiley <a href="http://dx.doi.org/10.1002/9781118181034">http://dx.doi.org/10.1002/9781118181034</a>
<a href="http://swb.eblib.com/patron/FullRecord.aspx?p=818522">http://swb.eblib.com/patron/FullRecord.aspx?p=818522</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
How to Recruit and Hire Great Software Engineers Building a Crack Development Team
ent://SD_ILS/0/SD_ILS:171814
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author McCuller, Patrick. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-4918-4">http://dx.doi.org/10.1007/978-1-4302-4918-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Exorcism: A Handbook for Debugging and Optimizing Legacy Code
ent://SD_ILS/0/SD_ILS:171818
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Blunden, Bill. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-5108-8">http://dx.doi.org/10.1007/978-1-4302-5108-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Knowledge Engineering: Theory and Practice Volume 1
ent://SD_ILS/0/SD_ILS:190715
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Wu, Yanwen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03718-4">http://dx.doi.org/10.1007/978-3-642-03718-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Geospatial Free and Open Source Software in the 21st Century Proceedings of the first Open Source Geospatial Research Symposium, OGRS 2009
ent://SD_ILS/0/SD_ILS:191416
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Bocher, Erwan. editor. Neteler, Markus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10595-1">http://dx.doi.org/10.1007/978-3-642-10595-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Algebraic Specification and Formal Software Development
ent://SD_ILS/0/SD_ILS:193572
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Sannella, Donald. author. Tarlecki, Andrzej. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17336-3">http://dx.doi.org/10.1007/978-3-642-17336-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Software Development Designing and Managing the Life Cycle
ent://SD_ILS/0/SD_ILS:173413
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Langer, Arthur M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-2300-2">http://dx.doi.org/10.1007/978-1-4471-2300-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Nanometer CMOS Sigma-Delta Modulators for Software Defined Radio
ent://SD_ILS/0/SD_ILS:173574
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Morgado, Alonso. author. del Río, Rocío. author. Rosa, José M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-0037-0">http://dx.doi.org/10.1007/978-1-4614-0037-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Radio Sampling Rate Selection, Design and Synchronization
ent://SD_ILS/0/SD_ILS:173592
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Venosa, Elettra. author. harris, fredric j. author. Palmieri, Francesco A. N. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-0113-1">http://dx.doi.org/10.1007/978-1-4614-0113-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Management kreativitätsintensiver Prozesse Theorien, Methoden, Software und deren Anwendung in der Fernsehindustrie
ent://SD_ILS/0/SD_ILS:194780
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Becker, Jörg. editor. Schwaderlapp, Werner. editor. Seidel, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21678-7">http://dx.doi.org/10.1007/978-3-642-21678-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Onboard Computers, Onboard Software and Satellite Operations An Introduction
ent://SD_ILS/0/SD_ILS:195865
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Eickhoff, Jens. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25170-2">http://dx.doi.org/10.1007/978-3-642-25170-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Empirical Software Engineering and Verification International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures
ent://SD_ILS/0/SD_ILS:195885
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Meyer, Bertrand. editor. Nordio, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25231-0">http://dx.doi.org/10.1007/978-3-642-25231-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Multimedia, Software Engineering and Computing Vol.2 Proceedings of the 2011 MSEC International Conference on Multimedia, Software Engineering and Computing, November 26–27, Wuhan, China
ent://SD_ILS/0/SD_ILS:196097
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Jin, David. editor. Lin, Sally. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25986-9">http://dx.doi.org/10.1007/978-3-642-25986-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Multimedia, Software Engineering and Computing Vol.1 Proceedings of the 2011 MSEC International Conference on Multimedia, Software Engineering and Computing, November 26–27, Wuhan, China
ent://SD_ILS/0/SD_ILS:196098
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Jin, David. editor. Lin, Sally. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25989-0">http://dx.doi.org/10.1007/978-3-642-25989-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Quality. Process Automation in Software Development 4th International Conference, SWQD 2012, Vienna, Austria, January 17-19, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196129
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Biffl, Stefan. editor. Winkler, Dietmar. editor. Bergsmann, Johannes. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27213-4">http://dx.doi.org/10.1007/978-3-642-27213-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Software Dilemma Balancing Creativity and Control on the Path to Sustainable Software
ent://SD_ILS/0/SD_ILS:196137
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Gutbrod, Roger. author. Wiele, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27236-3">http://dx.doi.org/10.1007/978-3-642-27236-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Aspects of Component Software 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196145
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Barbosa, Luís Soares. editor. Lumpe, Markus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27269-1">http://dx.doi.org/10.1007/978-3-642-27269-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196275
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Joshi, Rajeev. editor. Müller, Peter. editor. Podelski, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27705-4">http://dx.doi.org/10.1007/978-3-642-27705-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Software Engineering Techniques 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196329
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Szmuc, Tomasz. editor. Szpyrka, Marcin. editor. Zendulka, Jaroslav. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28038-2">http://dx.doi.org/10.1007/978-3-642-28038-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Secure Software and Systems 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196370
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Barthe, Gilles. editor. Livshits, Benjamin. editor. Scandariato, Riccardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28166-2">http://dx.doi.org/10.1007/978-3-642-28166-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles of Security and Trust First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings
ent://SD_ILS/0/SD_ILS:196497
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Degano, Pierpaolo. editor. Guttman, Joshua D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28641-4">http://dx.doi.org/10.1007/978-3-642-28641-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Requirements Engineering: Foundation for Software Quality 18th International Working Conference, REFSQ 2012, Essen, Germany, March 19-22, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196517
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Regnell, Björn. editor. Damian, Daniela. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28714-5">http://dx.doi.org/10.1007/978-3-642-28714-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Global Trends in Information Systems and Software Applications 4th International Conference, ObCom 2011, Vellore, TN, India, December 9-11, 2011. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:196646
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Krishna, P. Venkata. editor. Babu, M. Rajasekhara. editor. Ariwa, Ezendu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29216-3">http://dx.doi.org/10.1007/978-3-642-29216-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamentals of Software Engineering 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196668
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Arbab, Farhad. editor. Sirjani, Marjan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29320-7">http://dx.doi.org/10.1007/978-3-642-29320-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Knowledge Engineering: Theory and Practice Selected papers from 2012 International Conference on Software Engineering, Knowledge Engineering and Information Engineering (SEKEIE 2012)
ent://SD_ILS/0/SD_ILS:196704
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Zhang, Wei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29455-6">http://dx.doi.org/10.1007/978-3-642-29455-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile Processes in Software Engineering and Extreme Programming 13th International Conference, XP 2012, Malmö, Sweden, May 21-25, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196863
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Wohlin, Claes. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30350-0">http://dx.doi.org/10.1007/978-3-642-30350-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Process Improvement and Capability Determination 12th International Conference, SPICE 2012, Palma, Spain, May 29-31, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196887
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Mas, Antonia. editor. Mesquida, Antoni. editor. Rout, Terry. editor. O’Connor, Rory V. editor. Dorling, Alec. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30439-2">http://dx.doi.org/10.1007/978-3-642-30439-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reliable Software Technologies – Ada-Europe 2012 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196925
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Brorsson, Mats. editor. Pinho, Luís Miguel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30598-6">http://dx.doi.org/10.1007/978-3-642-30598-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Business Third International Conference, ICSOB 2012, Cambridge, MA, USA, June 18-20, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196951
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Cusumano, Michael A. editor. Iyer, Bala. editor. Venkatraman, N. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30746-1">http://dx.doi.org/10.1007/978-3-642-30746-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Systems, Software and Services Process Improvement 19th European Conference, EuroSPI 2012, Vienna, Austria, June 25-27, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197038
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Winkler, Dietmar. editor. O’Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31199-4">http://dx.doi.org/10.1007/978-3-642-31199-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multicore Software Engineering, Performance, and Tools International Conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197039
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Pankratius, Victor. editor. Philippsen, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31202-1">http://dx.doi.org/10.1007/978-3-642-31202-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software for People Fundamentals, Trends and Best Practices
ent://SD_ILS/0/SD_ILS:197065
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Maedche, Alexander. editor. Botzenhardt, Achim. editor. Neer, Ludwig. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31371-4">http://dx.doi.org/10.1007/978-3-642-31371-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Testing in the Cloud Migration and Execution
ent://SD_ILS/0/SD_ILS:197182
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Tilley, Scott. author. Parveen, Tauhida. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32122-1">http://dx.doi.org/10.1007/978-3-642-32122-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Sensor Systems and Software Third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197274
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Martins, Francisco. editor. Lopes, Luís. editor. Paulino, Hervé. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32778-0">http://dx.doi.org/10.1007/978-3-642-32778-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Search Based Software Engineering 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197321
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Fraser, Gordon. editor. Teixeira de Souza, Jerffeson. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33119-0">http://dx.doi.org/10.1007/978-3-642-33119-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering for Resilient Systems 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197330
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Avgeriou, Paris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33176-3">http://dx.doi.org/10.1007/978-3-642-33176-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information and Software Technologies 18th International Conference, ICIST 2012, Kaunas, Lithuania, September 13-14, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197354
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Skersys, Tomas. editor. Butleris, Rimantas. editor. Butkiene, Rita. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33308-8">http://dx.doi.org/10.1007/978-3-642-33308-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods and Software Engineering 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197501
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Aoki, Toshiaki. editor. Taguchi, Kenji. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34281-3">http://dx.doi.org/10.1007/978-3-642-34281-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Centered Software Engineering 4th International Conference, HCSE 2012, Toulouse, France, October 29-31, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197508
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Winckler, Marco. editor. Forbrig, Peter. editor. Bernhaupt, Regina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34347-6">http://dx.doi.org/10.1007/978-3-642-34347-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197489
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Eder, Kerstin. editor. Lourenço, João. editor. Shehory, Onn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34188-5">http://dx.doi.org/10.1007/978-3-642-34188-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Aspects of Component Software 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197633
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Arbab, Farhad. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35743-5">http://dx.doi.org/10.1007/978-3-642-35743-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity International Conferences, ASEA and DRBC 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197587
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Kim, Tai-hoon. editor. Ramos, Carlos. editor. Kim, Haeng-kon. editor. Kiumi, Akingbehin. editor. Mohammed, Sabah. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35267-6">http://dx.doi.org/10.1007/978-3-642-35267-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Effectiveness of instruction through moodle and accent reduction software on the pronunciation of efl teacher trainees /cArif Bakla.
ent://SD_ILS/0/SD_ILS:149601
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Bakla, Arif. Foreign Language Education, Department of English Language Teaching Tez.<br/>Preferred Shelf Number TEZ 10304 B35 2012<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The Cinderella.2 Manual Working with The Interactive Geometry Software
ent://SD_ILS/0/SD_ILS:184188
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Richter-Gebert, Jürgen. author. Kortenkamp, Ulrich H. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-34926-6">http://dx.doi.org/10.1007/978-3-540-34926-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Managing Humans Biting and Humorous Tales of a Software Engineering Manager
ent://SD_ILS/0/SD_ILS:171741
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Lopp, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-4315-1">http://dx.doi.org/10.1007/978-1-4302-4315-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Embedded systems security practical methods for safe and secure software and systems development
ent://SD_ILS/0/SD_ILS:146451
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Kleidermacher, David. Kleidermacher, Mike.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123868862">http://www.sciencedirect.com/science/book/9780123868862</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Instrument engineers' handbook. Process software and digital networks
ent://SD_ILS/0/SD_ILS:546455
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Eren, Halit. Liptak, Bela G.<br/>Preferred Shelf Number TS156.8 .L57 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439863435">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Social software engineering : development and collaboration with social networking
ent://SD_ILS/0/SD_ILS:546764
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Keyes, Jessica, 1950, author.<br/>Preferred Shelf Number QA76.758 .K479 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439853764">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Oracle database performance and scalability : a quantitative approach
ent://SD_ILS/0/SD_ILS:270180
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Liu, Henry H.<br/>Preferred Shelf Number QA76.9.D3 L5945 2012<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The ScrumMaster study guide
ent://SD_ILS/0/SD_ILS:538623
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Schiel, James., author.<br/>Preferred Shelf Number QA76.76 .D47 S2956 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439859926">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Building enterprise systems with ODP : an introduction to open distributed processing
ent://SD_ILS/0/SD_ILS:546592
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Linington, Peter F., author.<br/>Preferred Shelf Number QA76.9 .D5 L56 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439866269">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Analysis of the MPEG-1 layer III (MP3) algorithm using MATLAB
ent://SD_ILS/0/SD_ILS:279187
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Thiagarajan, Jayaraman Jayaraman. Spanias, Andreas.<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=440470">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440470</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tcl/Tk a developer's guide
ent://SD_ILS/0/SD_ILS:148583
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Flynt, Clif.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123847171">http://www.sciencedirect.com/science/book/9780123847171</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information security management handbook
ent://SD_ILS/0/SD_ILS:539793
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Tipton, Harold F. Nozaki, Micki Krause.<br/>Preferred Shelf Number QA76.9 .A25 I54165 2007<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439893159">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Information security management handbook
ent://SD_ILS/0/SD_ILS:542831
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Tipton, Harold F. Krause, Micki.<br/>Preferred Shelf Number QA76.9 .A25 I54165 2003<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420003406">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
PowerBuilder : PowerScript reference, version 6.
ent://SD_ILS/0/SD_ILS:86071
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Preferred Shelf Number QA 76.76.A65 P871 1991-97 V.2<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Industrial used of formal method formal verification
ent://SD_ILS/0/SD_ILS:305391
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Boulanger, Jean-Louis.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Wiley <a href="http://dx.doi.org/10.1002/9781118561829">http://dx.doi.org/10.1002/9781118561829</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated business processes with ERP systems
ent://SD_ILS/0/SD_ILS:312461
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Magal, Simha. Word, Jeffrey.<br/>Preferred Shelf Number HF5548.4.R2 M34 2012<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
iOS programlama ve mobil ticaret uygulamaları
ent://SD_ILS/0/SD_ILS:518105
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Cura, Tunçhan.<br/>Preferred Shelf Number QA76.76.C87 I57 2012<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Green mobile devices and networks : energy optimization and scavenging techniques
ent://SD_ILS/0/SD_ILS:541598
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Venkataraman, Hrishikesh. Muntean, Gabriel-Miro, 1972-<br/>Preferred Shelf Number TK5103.2 .E545 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439859902">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Network and application security fundamentals and practices
ent://SD_ILS/0/SD_ILS:541627
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Ganguly, Debashis., author. Lahiri, Shibamouli.<br/>Preferred Shelf Number TK5105.59 .G36 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781466502451">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Geomechanical processes during underground mining : proceedings of the School of Underground mining, Dnipropetrovs'k/Yalta, Ukraine, 24-28 September 2012
ent://SD_ILS/0/SD_ILS:545312
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author School of Underground Mining (6th : 2012 : Dnipropetrovsk, Ukraine; I͡Alta, Ukraine) Bondarenko, Volodymyr.<br/>Preferred Shelf Number TN145 .G46 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781135102715">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Flavor, fragrance, and odor analysis
ent://SD_ILS/0/SD_ILS:545784
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Marsili, Ray, 1946-<br/>Preferred Shelf Number TX546 .F52 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439846742">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Environmental fate and transport analysis with compartment modeling
ent://SD_ILS/0/SD_ILS:541801
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Little, Keith W., author.<br/>Preferred Shelf Number TD174 .L58 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439887974">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Informative hypotheses : theory and practice for behavioral and social scientists
ent://SD_ILS/0/SD_ILS:542601
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Hoijtink, Herbert., author.<br/>Preferred Shelf Number BF39 .H625 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439880524">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Field hydrogeology : a guide for site investigations and report preparation
ent://SD_ILS/0/SD_ILS:543754
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Moore, John E. (John Ezra), 1931, author.<br/>Preferred Shelf Number GB102.3 .M66 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439841259">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
IT release management : a hands-on guide
ent://SD_ILS/0/SD_ILS:543787
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Howard, Dave, 1957, author.<br/>Preferred Shelf Number T58.64 .H688 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439884102">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Coordinate measuring machines and systems
ent://SD_ILS/0/SD_ILS:546812
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Hocken, Robert J. Pereira, Paulo H.<br/>Preferred Shelf Number TA165.5 .C66 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420017533">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Computational modelling of objects represented in images : fundamentals, methods and applications III : proceedings of the International Symposium Compimage 2012, Rome, Italy, 5-7 September 2012
ent://SD_ILS/0/SD_ILS:547304
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author CompIMAGE 2012 (2012 : Rome, Italy) Di Giamberardino, Paolo.<br/>Preferred Shelf Number TA1637 .C66 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781135119942">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Advances in Cognitive Engineering and Neuroergonomics
ent://SD_ILS/0/SD_ILS:547621
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Stanney, Kay M., editor. Hale, Kelly S., editor. Taylor and Francis.<br/>Preferred Shelf Number QP360.7 A383 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439870174">Click here to view.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Social media, crisis communication, and emergency management : leveraging Web 2.0 technologies
ent://SD_ILS/0/SD_ILS:539394
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author White, Connie M., author.<br/>Preferred Shelf Number HM742 .W45 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781466537859">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Plasma processing of nanomaterials
ent://SD_ILS/0/SD_ILS:539463
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Sankaran, Mohan.<br/>Preferred Shelf Number TA418.9 .N35 P53 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781315217055">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Telecommunication networks
ent://SD_ILS/0/SD_ILS:539467
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Iannone, Eugenio., author.<br/>Preferred Shelf Number TK5105 .I247 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781315217529">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Statistical thinking in epidemiology
ent://SD_ILS/0/SD_ILS:540974
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Tu, Yu-Kang., author. Gilthorpe, Mark S.<br/>Preferred Shelf Number RA652.2 .M3 T8 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420099928">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Combinatorial scientific computing
ent://SD_ILS/0/SD_ILS:541122
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Naumann, Uwe, 1969- Schenk, Olaf, 1967-<br/>Preferred Shelf Number QA76.6 .C6275 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439827369">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Algebraic and stochastic coding theory
ent://SD_ILS/0/SD_ILS:542456
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Kythe, Dave K., author. Kythe, Prem K.<br/>Preferred Shelf Number QA268 .K98 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781315216560">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Multimedia image and video processing
ent://SD_ILS/0/SD_ILS:542469
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Guan, Ling. He, Yifeng, 1972- Kung, S. Y. (Sun Yuan)<br/>Preferred Shelf Number QA76.575 .M83285 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781315217765">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Embedded systems and wireless technology
ent://SD_ILS/0/SD_ILS:544680
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Aquino Santos, Raul, 1965- Block, Arthur Edwards, 1957-<br/>Preferred Shelf Number TK5105.77 .E43 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781466565654">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
GPU Pro 3 : advanced rendering techniques
ent://SD_ILS/0/SD_ILS:538801
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Engel, Wolfgang F.<br/>Preferred Shelf Number T385 .G6886 2011<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439887943">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Flexible imputation of missing data
ent://SD_ILS/0/SD_ILS:539608
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Buuren, Stef van., author.<br/>Preferred Shelf Number QA278 .B88 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439868256">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Developing Essbase applications : advanced techniques for finance and IT professionals
ent://SD_ILS/0/SD_ILS:539665
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Lackpour, Cameron.<br/>Preferred Shelf Number QA76.9 .D26 D495 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781466553316">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Systems engineering and architecting : creating formal requirements
ent://SD_ILS/0/SD_ILS:542813
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Bellagamba, Laurence., author.<br/>Preferred Shelf Number TA168 .B376 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439881422">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Water, wastewater, and stormwater infrastructure management
ent://SD_ILS/0/SD_ILS:542814
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Grigg, Neil S., author.<br/>Preferred Shelf Number TD159 .G75 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439881842">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Near field communications handbook
ent://SD_ILS/0/SD_ILS:542872
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Ahson, Syed A. Ilyas, Mohammad, 1953-<br/>Preferred Shelf Number TK5103.2 .N43 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420088151">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Kendinize güvenerek Android
ent://SD_ILS/0/SD_ILS:516248
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Çavuş, Musa.<br/>Preferred Shelf Number QA76.774.A53 C38 2012<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
PowerPoint, Communication, and the Knowledge Society
ent://SD_ILS/0/SD_ILS:239034
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Knoblauch, Hubert.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511979149">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information technology law
ent://SD_ILS/0/SD_ILS:258978
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Rowland, Diane. Kohl, Uta. Charlesworth, Andrew, 1966-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203148297">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Longitudinal data analysis a practical guide for researchers in aging, health, and social sciences
ent://SD_ILS/0/SD_ILS:259385
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Newsom, Jason T. Jones, Richard N. Hofer, Scott M.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203814208">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Approximation Algorithms and Semidefinite Programming
ent://SD_ILS/0/SD_ILS:194890
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Gärtner, Bernd. author. Matousek, Jiri. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22015-9">http://dx.doi.org/10.1007/978-3-642-22015-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Complex Scheduling
ent://SD_ILS/0/SD_ILS:195490
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Brucker, Peter. author. Knust, Sigrid. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23929-8">http://dx.doi.org/10.1007/978-3-642-23929-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Architecture ISCA 2010 International Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19-23, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:195602
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Varbanescu, Ana Lucia. editor. Molnos, Anca. editor. Nieuwpoort, Rob. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24322-6">http://dx.doi.org/10.1007/978-3-642-24322-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers
ent://SD_ILS/0/SD_ILS:195898
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Aichernig, Bernhard K. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25271-6">http://dx.doi.org/10.1007/978-3-642-25271-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
RFID. Security and Privacy 7th International Workshop, RFIDSec 2011, Amherst, USA, June 26-28, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:195902
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Juels, Ari. editor. Paar, Christof. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25286-0">http://dx.doi.org/10.1007/978-3-642-25286-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196086
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Kotásek, Zdeněk. editor. Bouda, Jan. editor. Černá, Ivana. editor. Sekanina, Lukáš. editor. Vojnar, Tomáš. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25929-6">http://dx.doi.org/10.1007/978-3-642-25929-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Technological Innovation for Value Creation Third IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2012, Costa de Caparica, Portugal, February 27-29, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196394
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Camarinha-Matos, Luis M. editor. Shahamatnia, Ehsan. editor. Nunes, Gonçalo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28255-3">http://dx.doi.org/10.1007/978-3-642-28255-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Partially Supervised Learning First IAPR TC3 Workshop, PSL 2011, Ulm, Germany, September 15-16, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196395
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Schwenker, Friedhelm. editor. Trentin, Edmondo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28258-4">http://dx.doi.org/10.1007/978-3-642-28258-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Modeling and Computational Science International Conference, MMCP 2011, Stará Lesná, Slovakia, July 4-8, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196382
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Adam, Gheorghe. editor. Buša, Ján. editor. Hnatič, Michal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28212-6">http://dx.doi.org/10.1007/978-3-642-28212-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Exploring Services Science Third International Conference, IESS 2012, Geneva, Switzerland, February 15-17, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196386
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Snene, Mehdi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28227-0">http://dx.doi.org/10.1007/978-3-642-28227-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Economics of Grids, Clouds, Systems, and Services 8th International Workshop, GECON 2011, Paphos, Cyprus, December 5, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196507
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Vanmechelen, Kurt. editor. Altmann, Jörn. editor. Rana, Omer F. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28675-9">http://dx.doi.org/10.1007/978-3-642-28675-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Information and Knowledge Systems 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196452
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Lukasiewicz, Thomas. editor. Sali, Attila. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28472-4">http://dx.doi.org/10.1007/978-3-642-28472-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Information and Database Systems 4th Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March 19-21, 2012, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:196456
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Pan, Jeng-Shyang. editor. Chen, Shyi-Ming. editor. Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28487-8">http://dx.doi.org/10.1007/978-3-642-28487-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Information and Database Systems 4th Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March 19-21, 2012, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:196458
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Pan, Jeng-Shyang. editor. Chen, Shyi-Ming. editor. Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28493-9">http://dx.doi.org/10.1007/978-3-642-28493-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196518
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Bjørner, Nikolaj. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28717-6">http://dx.doi.org/10.1007/978-3-642-28717-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Semantic Web Services Advancement through Evaluation
ent://SD_ILS/0/SD_ILS:196521
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Blake, Brian. editor. Cabral, Liliana. editor. König-Ries, Birgitta. editor. Küster, Ulrich. editor. Martin, David. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28735-0">http://dx.doi.org/10.1007/978-3-642-28735-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196559
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Goodloe, Alwyn E. editor. Person, Suzette. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28891-3">http://dx.doi.org/10.1007/978-3-642-28891-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile Management Leadership in an Agile Environment
ent://SD_ILS/0/SD_ILS:196561
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Medinilla, Ángel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28909-5">http://dx.doi.org/10.1007/978-3-642-28909-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory of Cryptography 9th Theory of Cryptography Conference, TCC 2012, Taormina, Sicily, Italy, March 19-21, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196562
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Cramer, Ronald. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28914-9">http://dx.doi.org/10.1007/978-3-642-28914-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Multi-Agent Systems 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196569
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Collier, Rem. editor. Dix, Jürgen. editor. Novák, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28939-2">http://dx.doi.org/10.1007/978-3-642-28939-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Passive and Active Measurement 13th International Conference, PAM 2012, Vienna, Austria, March 12-14th, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196471
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Taft, Nina. editor. Ricciato, Fabio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28537-0">http://dx.doi.org/10.1007/978-3-642-28537-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196472
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Schmitt, Jens B. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28540-0">http://dx.doi.org/10.1007/978-3-642-28540-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
VLSI-SoC: Forward-Looking Trends in IC and Systems Design 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196478
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Ayala, José L. editor. Atienza Alonso, David. editor. Reis, Ricardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28566-0">http://dx.doi.org/10.1007/978-3-642-28566-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Self-Organizing Systems 6th IFIP TC 6 International Workshop, IWSOS 2012, Delft, The Netherlands, March 15-16, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196481
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Kuipers, Fernando A. editor. Heegaard, Poul E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28583-7">http://dx.doi.org/10.1007/978-3-642-28583-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Cryptology – EUROCRYPT 2012 31st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cambridge, UK, April 15-19, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196588
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Pointcheval, David. editor. Johansson, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29011-4">http://dx.doi.org/10.1007/978-3-642-29011-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Resilience Assessment and Evaluation of Computing Systems
ent://SD_ILS/0/SD_ILS:196592
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Wolter, Katinka. editor. Avritzer, Alberto. editor. Vieira, Marco. editor. van Moorsel, Aad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29032-9">http://dx.doi.org/10.1007/978-3-642-29032-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Constructive Side-Channel Analysis and Secure Design Third International Workshop, COSADE 2012, Darmstadt, Germany, May 3-4, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196796
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Schindler, Werner. editor. Huss, Sorin A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29912-4">http://dx.doi.org/10.1007/978-3-642-29912-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mobile Lightweight Wireless Systems Third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196710
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Ser, Javier. editor. Jorswieck, Eduard Axel. editor. Miguez, Joaquin. editor. Matinmikko, Marja. editor. Palomar, Daniel P. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29479-2">http://dx.doi.org/10.1007/978-3-642-29479-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:196711
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Constable, Robert L. editor. Silva, Alexandra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29485-3">http://dx.doi.org/10.1007/978-3-642-29485-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Models of Computation 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196803
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Agrawal, Manindra. editor. Cooper, S. Barry. editor. Li, Angsheng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29952-0">http://dx.doi.org/10.1007/978-3-642-29952-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Bioinformatics Research and Applications 8th International Symposium, ISBRA 2012, Dallas, TX, USA, May 21-23, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196842
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Bleris, Leonidas. editor. Măndoiu, Ion. editor. Schwartz, Russell. editor. Wang, Jianxin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30191-9">http://dx.doi.org/10.1007/978-3-642-30191-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Research in Computational Molecular Biology 16th Annual International Conference, RECOMB 2012, Barcelona, Spain, April 21-24, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196742
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Chor, Benny. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29627-7">http://dx.doi.org/10.1007/978-3-642-29627-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Knowledge Discovery and Data Mining 16th Pacific-Asia Conference, PAKDD 2012, Kuala Lumpur, Malaysia, May 29-June 1, 2012, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:196845
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Tan, Pang-Ning. editor. Chawla, Sanjay. editor. Ho, Chin Kuan. editor. Bailey, James. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30217-6">http://dx.doi.org/10.1007/978-3-642-30217-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Joint International Conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196751
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Snoeyink, Jack. editor. Lu, Pinyan. editor. Su, Kaile. editor. Wang, Lusheng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29700-7">http://dx.doi.org/10.1007/978-3-642-29700-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Perspectives of Systems Informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196754
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Clarke, Edmund. editor. Virbitskaite, Irina. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29709-0">http://dx.doi.org/10.1007/978-3-642-29709-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Euro-Par 2011: Parallel Processing Workshops CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 – September 2, 2011, Revised Selected Papers, Part I
ent://SD_ILS/0/SD_ILS:196761
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Alexander, Michael. editor. D’Ambra, Pasqua. editor. Belloum, Adam. editor. Bosilca, George. editor. Cannataro, Mario. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29737-3">http://dx.doi.org/10.1007/978-3-642-29737-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Euro-Par 2011: Parallel Processing Workshops CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 – September 2, 2011, Revised Selected Papers, Part II
ent://SD_ILS/0/SD_ILS:196762
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Alexander, Michael. editor. D’Ambra, Pasqua. editor. Belloum, Adam. editor. Bosilca, George. editor. Cannataro, Mario. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29740-3">http://dx.doi.org/10.1007/978-3-642-29740-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
IS Olympics: Information Systems in a Diverse World CAiSE Forum 2011, London, UK, June 20-24, 2011, Selected Extended Papers
ent://SD_ILS/0/SD_ILS:196763
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Nurcan, Selmin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29749-6">http://dx.doi.org/10.1007/978-3-642-29749-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Public Key Infrastructures, Services and Applications 8th European Workshop, EuroPKI 2011, Leuven, Belgium, September 15-16, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196771
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Petkova-Nikova, Svetla. editor. Pashalidis, Andreas. editor. Pernul, Günther. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29804-2">http://dx.doi.org/10.1007/978-3-642-29804-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196774
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Schrijvers, Tom. editor. Thiemann, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29822-6">http://dx.doi.org/10.1007/978-3-642-29822-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms and Models for the Web Graph 9th International Workshop, WAW 2012, Halifax, NS, Canada, June 22-23, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196910
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Bonato, Anthony. editor. Janssen, Jeannette. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30541-2">http://dx.doi.org/10.1007/978-3-642-30541-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems 9th International Conference, CPAIOR 2012, Nantes, France, May 28 – June1, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196776
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Beldiceanu, Nicolas. editor. Jussien, Narendra. editor. Pinson, Éric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29828-8">http://dx.doi.org/10.1007/978-3-642-29828-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Services and Formal Methods 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196777
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Carbone, Marco. editor. Petit, Jean-Marc. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29834-9">http://dx.doi.org/10.1007/978-3-642-29834-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196779
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Lirkov, Ivan. editor. Margenov, Svetozar. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29843-1">http://dx.doi.org/10.1007/978-3-642-29843-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Runtime Verification Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196784
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Khurshid, Sarfraz. editor. Sen, Koushik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29860-8">http://dx.doi.org/10.1007/978-3-642-29860-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design Science Research in Information Systems. Advances in Theory and Practice 7th International Conference, DESRIST 2012, Las Vegas, NV, USA, May 14-15, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196785
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Peffers, Ken. editor. Rothenberger, Marcus. editor. Kuechler, Bill. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29863-9">http://dx.doi.org/10.1007/978-3-642-29863-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Concept Analysis 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196792
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Domenach, Florent. editor. Ignatov, Dmitry I. editor. Poelmans, Jonas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29892-9">http://dx.doi.org/10.1007/978-3-642-29892-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Applications and Interoperable Systems 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196969
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Göschka, Karl Michael. editor. Haridi, Seif. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30823-9">http://dx.doi.org/10.1007/978-3-642-30823-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Coordination Models and Languages 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196971
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Sirjani, Marjan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30829-1">http://dx.doi.org/10.1007/978-3-642-30829-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Swarm Intelligence Third International Conference, ICSI 2012, Shenzhen, China, June 17-20, 2012 Proceedings, Part I
ent://SD_ILS/0/SD_ILS:196999
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Tan, Ying. editor. Shi, Yuhui. editor. Ji, Zhen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30976-2">http://dx.doi.org/10.1007/978-3-642-30976-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Swarm Intelligence Third International Conference, ICSI 2012, Shenzhen, China, June 17-20, 2012 Proceedings, Part II
ent://SD_ILS/0/SD_ILS:197005
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Tan, Ying. editor. Shi, Yuhui. editor. Ji, Zhen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31020-1">http://dx.doi.org/10.1007/978-3-642-31020-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
How the World Computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196979
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Cooper, S. Barry. editor. Dawar, Anuj. editor. Löwe, Benedikt. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30870-3">http://dx.doi.org/10.1007/978-3-642-30870-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ECOOP 2012 – Object-Oriented Programming 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197011
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Noble, James. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31057-7">http://dx.doi.org/10.1007/978-3-642-31057-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Information Systems Engineering Workshops CAiSE 2012 International Workshops, Gdańsk, Poland, June 25-26, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197013
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Bajec, Marko. editor. Eder, Johann. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31069-0">http://dx.doi.org/10.1007/978-3-642-31069-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Enterprise, Business-Process and Information Systems Modeling 13th International Conference, BPMDS 2012, 17th International Conference, EMMSAD 2012, and 5th EuroSymposium, held at CAiSE 2012, Gdańsk, Poland, June 25-26, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197014
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Bider, Ilia. editor. Halpin, Terry. editor. Krogstie, John. editor. Nurcan, Selmin. editor. Proper, Erik. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31072-0">http://dx.doi.org/10.1007/978-3-642-31072-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:197015
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Misra, Sanjay. editor. Nedjah, Nadia. editor. Rocha, Ana Maria A. C. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31075-1">http://dx.doi.org/10.1007/978-3-642-31075-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Research in Applied Artificial Intelligence 25th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2012, Dalian, China, June 9-12, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197016
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Jiang, He. editor. Ding, Wei. editor. Ali, Moonis. editor. Wu, Xindong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31087-4">http://dx.doi.org/10.1007/978-3-642-31087-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Information Systems Engineering 24th International Conference, CAiSE 2012, Gdansk, Poland, June 25-29, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197017
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Ralyté, Jolita. editor. Franch, Xavier. editor. Brinkkemper, Sjaak. editor. Wrycza, Stanislaw. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31095-9">http://dx.doi.org/10.1007/978-3-642-31095-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:197021
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Misra, Sanjay. editor. Nedjah, Nadia. editor. Rocha, Ana Maria A. C. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31125-3">http://dx.doi.org/10.1007/978-3-642-31125-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics
ent://SD_ILS/0/SD_ILS:197102
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Moot, Richard. author. Retoré, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31555-8">http://dx.doi.org/10.1007/978-3-642-31555-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Computing Theories and Applications 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197107
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Huang, De-Shuang. editor. Ma, Jianhua. editor. Jo, Kang-Hyun. editor. Gromiha, M. Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31576-3">http://dx.doi.org/10.1007/978-3-642-31576-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:197110
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Czumaj, Artur. editor. Mehlhorn, Kurt. editor. Pitts, Andrew. editor. Wattenhofer, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31585-5">http://dx.doi.org/10.1007/978-3-642-31585-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:197112
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Czumaj, Artur. editor. Mehlhorn, Kurt. editor. Pitts, Andrew. editor. Wattenhofer, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31594-7">http://dx.doi.org/10.1007/978-3-642-31594-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Implementation and Application of Automata 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197113
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Moreira, Nelma. editor. Reis, Rogério. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31606-7">http://dx.doi.org/10.1007/978-3-642-31606-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing – SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197115
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Cimatti, Alessandro. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31612-8">http://dx.doi.org/10.1007/978-3-642-31612-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ad-hoc, Mobile, and Wireless Networks 11th International Conference, ADHOC-NOW 2012, Belgrade, Serbia, July 9-11, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197119
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Li, Xiang-Yang. editor. Papavassiliou, Symeon. editor. Ruehrup, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31638-8">http://dx.doi.org/10.1007/978-3-642-31638-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Arithmetic of Finite Fields 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197122
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Özbudak, Ferruh. editor. Rodríguez-Henríquez, Francisco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31662-3">http://dx.doi.org/10.1007/978-3-642-31662-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Privacy and Identity Management for Life 7th IFIP WG 9.2, 9.6/11.7, 11.4, 11.6/PrimeLife International Summer School, Trento, Italy, September 5-9, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197123
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Camenisch, Jan. editor. Crispo, Bruno. editor. Fischer-Hübner, Simone. editor. Leenes, Ronald. editor. Russello, Giovanni. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31668-5">http://dx.doi.org/10.1007/978-3-642-31668-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Privacy Enhancing Technologies 12th International Symposium, PETS 2012, Vigo, Spain, July 11-13, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197124
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Fischer-Hübner, Simone. editor. Wright, Matthew. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31680-7">http://dx.doi.org/10.1007/978-3-642-31680-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Engineering 12th International Conference, ICWE 2012, Berlin, Germany, July 23-27, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197132
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Brambilla, Marco. editor. Tokuda, Takehiro. editor. Tolksdorf, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31753-8">http://dx.doi.org/10.1007/978-3-642-31753-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorial Optimization and Applications 6th International Conference, COCOA 2012, Banff, AB, Canada, August 5-9, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197135
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Lin, Guohui. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31770-5">http://dx.doi.org/10.1007/978-3-642-31770-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Virtual and Networked Organizations, Emergent Technologies and Tools First International Conference, ViNOrg 2011, Ofir, Portugal, July 6-8, 2011. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197138
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Putnik, Goran D. editor. Cruz-Cunha, Maria Manuela. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31800-9">http://dx.doi.org/10.1007/978-3-642-31800-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Overview of the PMBOK® Guide Paving the Way for PMP® Certification
ent://SD_ILS/0/SD_ILS:197139
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Ó Conchúir, Deasún. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31803-0">http://dx.doi.org/10.1007/978-3-642-31803-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Emerging Intelligent Computing Technology and Applications 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197144
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Huang, De-Shuang. editor. Gupta, Phalguni. editor. Zhang, Xiang. editor. Premaratne, Prashan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31837-5">http://dx.doi.org/10.1007/978-3-642-31837-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computer Games 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197146
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Herik, H. Jaap. editor. Plaat, Aske. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31866-5">http://dx.doi.org/10.1007/978-3-642-31866-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wireless Algorithms, Systems, and Applications 7th International Conference, WASA 2012, Yellow Mountains, China, August 8-10, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197147
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Wang, Xinbing. editor. Zheng, Rong. editor. Jing, Tao. editor. Xing, Kai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31869-6">http://dx.doi.org/10.1007/978-3-642-31869-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Service-Oriented Computing - ICSOC 2011 Workshops ICSOC 2011, International Workshops WESOA, NFPSLAM-SOC, and Satellite Events, Paphos, Cyprus, December 5-8, 2011. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197148
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Pallis, George. editor. Jmaiel, Mohamed. editor. Charfi, Anis. editor. Graupner, Sven. editor. Karabulut, Yücel. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31875-7">http://dx.doi.org/10.1007/978-3-642-31875-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Security and Cryptology - ICISC 2011 14th International Conference, Seoul, Korea, November 30 - December 2, 2011. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197153
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Kim, Howon. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31912-9">http://dx.doi.org/10.1007/978-3-642-31912-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Multi-Agent Systems 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197154
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Dennis, Louise. editor. Boissier, Olivier. editor. Bordini, Rafael H. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31915-0">http://dx.doi.org/10.1007/978-3-642-31915-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Bioinformatics and Computational Biology 7th Brazilian Symposium on Bioinformatics, BSB 2012, Campo Grande, Brazil, August 15-17, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197156
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Souto, Marcilio C. editor. Kann, Maricel G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31927-3">http://dx.doi.org/10.1007/978-3-642-31927-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes
ent://SD_ILS/0/SD_ILS:197087
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Bezhanishvili, Nick. editor. Goranko, Valentin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31485-8">http://dx.doi.org/10.1007/978-3-642-31485-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Processing and Applied Mathematics 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part II
ent://SD_ILS/0/SD_ILS:197092
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Karczewski, Konrad. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31500-8">http://dx.doi.org/10.1007/978-3-642-31500-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reachability Problems 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197393
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Finkel, Alain. editor. Leroux, Jérôme. editor. Potapov, Igor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33512-9">http://dx.doi.org/10.1007/978-3-642-33512-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Robotics and Applications 5th International Conference, ICIRA 2012, Montreal, Canada, October 3-5, 2012, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:197394
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Su, Chun-Yi. editor. Rakheja, Subhash. editor. Liu, Honghai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33515-0">http://dx.doi.org/10.1007/978-3-642-33515-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Advances in the Message Passing Interface 19th European MPI Users’ Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197395
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Träff, Jesper Larsson. editor. Benkner, Siegfried. editor. Dongarra, Jack J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33518-1">http://dx.doi.org/10.1007/978-3-642-33518-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multimodal Brain Image Analysis Second International Workshop, MBIA 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 1-5, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197397
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Yap, Pew-Thian. editor. Liu, Tianming. editor. Shen, Dinggang. editor. Westin, Carl-Fredrik. editor. Shen, Li. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33530-3">http://dx.doi.org/10.1007/978-3-642-33530-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evaluating AAL Systems Through Competitive Benchmarking. Indoor Localization and Tracking International Competition, EvAAL 2011, Competition in Valencia, Spain, July 25-29, 2011, and Final Workshop in Lecce, Italy, September 26, 2011. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197398
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Chessa, Stefano. editor. Knauth, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33533-4">http://dx.doi.org/10.1007/978-3-642-33533-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Spatio-temporal Image Analysis for Longitudinal and Time-Series Image Data Second International Workshop, STIA 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 1, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197401
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Durrleman, Stanley. editor. Fletcher, Tom. editor. Gerig, Guido. editor. Niethammer, Marc. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33555-6">http://dx.doi.org/10.1007/978-3-642-33555-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Robotics and Applications 5th International Conference, ICIRA 2012, Montreal, QC, Canada, October 3-5, 2012, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:197392
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Su, Chun-Yi. editor. Rakheja, Subhash. editor. Liu, Honghai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33509-9">http://dx.doi.org/10.1007/978-3-642-33509-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Vision and Graphics International Conference, ICCVG 2012, Warsaw, Poland, September 24-26, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197403
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Bolc, Leonard. editor. Tadeusiewicz, Ryszard. editor. Chmielewski, Leszek J. editor. Wojciechowski, Konrad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33564-8">http://dx.doi.org/10.1007/978-3-642-33564-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Logistics Third International Conference, ICCL 2012, Shanghai, China, September 24-26, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197405
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Hu, Hao. editor. Shi, Xiaoning. editor. Stahlbock, Robert. editor. Voß, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33587-7">http://dx.doi.org/10.1007/978-3-642-33587-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
On the Move to Meaningful Internet Systems: OTM 2012 Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:197406
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Meersman, Robert. editor. Panetto, Hervé. editor. Dillon, Tharam. editor. Rinderle-Ma, Stefanie. editor. Dadam, Peter. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33606-5">http://dx.doi.org/10.1007/978-3-642-33606-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model and Data Engineering 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197407
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Abelló, Alberto. editor. Bellatreche, Ladjel. editor. Benatallah, Boualem. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33609-6">http://dx.doi.org/10.1007/978-3-642-33609-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
On the Move to Meaningful Internet Systems: OTM 2012 Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:197409
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Meersman, Robert. editor. Panetto, Hervé. editor. Dillon, Tharam. editor. Rinderle-Ma, Stefanie. editor. Dadam, Peter. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33615-7">http://dx.doi.org/10.1007/978-3-642-33615-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Methods in Systems Biology 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197412
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Gilbert, David. editor. Heiner, Monika. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33636-2">http://dx.doi.org/10.1007/978-3-642-33636-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Computing 26th International Symposium, DISC 2012, Salvador, Brazil, October 16-18, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197415
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Aguilera, Marcos K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33651-5">http://dx.doi.org/10.1007/978-3-642-33651-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph Transformations 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197416
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Ehrig, Hartmut. editor. Engels, Gregor. editor. Kreowski, Hans-Jörg. editor. Rozenberg, Grzegorz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33654-6">http://dx.doi.org/10.1007/978-3-642-33654-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197418
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author France, Robert B. editor. Kazmeier, Jürgen. editor. Breu, Ruth. editor. Atkinson, Colin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33666-9">http://dx.doi.org/10.1007/978-3-642-33666-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Safety, Reliability, and Security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197419
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Ortmeier, Frank. editor. Daniel, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33675-1">http://dx.doi.org/10.1007/978-3-642-33675-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Safety, Reliability, and Security 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197420
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Ortmeier, Frank. editor. Daniel, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33678-2">http://dx.doi.org/10.1007/978-3-642-33678-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Aspects of Design Science European Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197421
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Helfert, Markus. editor. Donnellan, Brian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33681-2">http://dx.doi.org/10.1007/978-3-642-33681-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Vision – ECCV 2012 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:197426
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Fitzgibbon, Andrew. editor. Lazebnik, Svetlana. editor. Perona, Pietro. editor. Sato, Yoichi. editor. Schmid, Cordelia. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33709-3">http://dx.doi.org/10.1007/978-3-642-33709-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Vision – ECCV 2012 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:197427
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Fitzgibbon, Andrew. editor. Lazebnik, Svetlana. editor. Perona, Pietro. editor. Sato, Yoichi. editor. Schmid, Cordelia. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33712-3">http://dx.doi.org/10.1007/978-3-642-33712-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Vision – ECCV 2012 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012, Proceedings, Part V
ent://SD_ILS/0/SD_ILS:197428
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Fitzgibbon, Andrew. editor. Lazebnik, Svetlana. editor. Perona, Pietro. editor. Sato, Yoichi. editor. Schmid, Cordelia. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33715-4">http://dx.doi.org/10.1007/978-3-642-33715-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Vision – ECCV 2012 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:197429
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Fitzgibbon, Andrew. editor. Lazebnik, Svetlana. editor. Perona, Pietro. editor. Sato, Yoichi. editor. Schmid, Cordelia. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33718-5">http://dx.doi.org/10.1007/978-3-642-33718-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Immune Systems 11th International Conference, ICARIS 2012, Taormina, Italy, August 28-31, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197430
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Coello Coello, Carlos A. editor. Greensmith, Julie. editor. Krasnogor, Natalio. editor. Liò, Pietro. editor. Nicosia, Giuseppe. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33757-4">http://dx.doi.org/10.1007/978-3-642-33757-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Vision – ECCV 2012 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012, Proceedings, Part VI
ent://SD_ILS/0/SD_ILS:197433
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Fitzgibbon, Andrew. editor. Lazebnik, Svetlana. editor. Perona, Pietro. editor. Sato, Yoichi. editor. Schmid, Cordelia. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33783-3">http://dx.doi.org/10.1007/978-3-642-33783-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Vision – ECCV 2012 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012, Proceedings, Part VII
ent://SD_ILS/0/SD_ILS:197434
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Fitzgibbon, Andrew. editor. Lazebnik, Svetlana. editor. Perona, Pietro. editor. Sato, Yoichi. editor. Schmid, Cordelia. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33786-4">http://dx.doi.org/10.1007/978-3-642-33786-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Practice of Natural Computing First International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197439
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33860-1">http://dx.doi.org/10.1007/978-3-642-33860-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Vision – ECCV 2012. Workshops and Demonstrations Florence, Italy, October 7-13, 2012, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:197440
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Fusiello, Andrea. editor. Murino, Vittorio. editor. Cucchiara, Rita. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33863-2">http://dx.doi.org/10.1007/978-3-642-33863-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Vision – ECCV 2012. Workshops and Demonstrations Florence, Italy, October 7-13, 2012, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:197441
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Fusiello, Andrea. editor. Murino, Vittorio. editor. Cucchiara, Rita. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33868-7">http://dx.doi.org/10.1007/978-3-642-33868-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Engineering and Knowledge Management 18th International Conference, EKAW 2012, Galway City, Ireland, October 8-12, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197442
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Teije, Annette. editor. Völker, Johanna. editor. Handschuh, Siegfried. editor. Stuckenschmidt, Heiner. editor. d’Acquin, Mathieu. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33876-2">http://dx.doi.org/10.1007/978-3-642-33876-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Vision – ECCV 2012. Workshops and Demonstrations Florence, Italy, October 7-13, 2012, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:197443
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Fusiello, Andrea. editor. Murino, Vittorio. editor. Cucchiara, Rita. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33885-4">http://dx.doi.org/10.1007/978-3-642-33885-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reflections on the History of Computing Preserving Memories and Sharing Stories
ent://SD_ILS/0/SD_ILS:197444
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Tatnall, Arthur. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33899-1">http://dx.doi.org/10.1007/978-3-642-33899-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Dynamics of Global Sourcing. Perspectives and Practices 6th Global Sourcing Workshop 2012, Courchevel, France, March 12-15, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197446
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Kotlarsky, Julia. editor. Oshri, Ilan. editor. Willcocks, Leslie P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33920-2">http://dx.doi.org/10.1007/978-3-642-33920-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Conceptual Modeling ER 2012 Workshops CMS, ECDM-NoCoDA, MoDIC, MORE-BI, RIGiM, SeCoGIS, WISM, Florence, Italy, October 15-18, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197454
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Castano, Silvana. editor. Vassiliadis, Panos. editor. Lakshmanan, Laks V. editor. Lee, Mong Li. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33999-8">http://dx.doi.org/10.1007/978-3-642-33999-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conceptual Modeling 31st International Conference ER 2012, Florence, Italy, October 15-18, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197455
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Atzeni, Paolo. editor. Cheung, David. editor. Ram, Sudha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34002-4">http://dx.doi.org/10.1007/978-3-642-34002-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rewriting Logic and Its Applications 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197456
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Durán, Franciso. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34005-5">http://dx.doi.org/10.1007/978-3-642-34005-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in New Technologies, Interactive Interfaces and Communicability Second International Conference, ADNTIIC 2011, Huerta Grande, Argentina, December 5-7, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197457
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Cipolla-Ficarra, Francisco. editor. Veltman, Kim. editor. Verber, Domen. editor. Cipolla-Ficarra, Miguel. editor. Kammüller, Florian. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34010-9">http://dx.doi.org/10.1007/978-3-642-34010-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:197460
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34032-1">http://dx.doi.org/10.1007/978-3-642-34032-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Service-Oriented Computing 10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197506
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Liu, Chengfei. editor. Ludwig, Heiko. editor. Toumani, Farouk. editor. Yu, Qi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34321-6">http://dx.doi.org/10.1007/978-3-642-34321-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197507
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Noda, Itsuki. editor. Ando, Noriaki. editor. Brugali, Davide. editor. Kuffner, James J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34327-8">http://dx.doi.org/10.1007/978-3-642-34327-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
AsiaSim 2012 Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:197510
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Xiao, Tianyuan. editor. Zhang, Lin. editor. Fei, Minrui. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34384-1">http://dx.doi.org/10.1007/978-3-642-34384-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Large-Scale Complex IT Systems. Development, Operation and Management 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197466
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Calinescu, Radu. editor. Garlan, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34059-8">http://dx.doi.org/10.1007/978-3-642-34059-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Computing and Applications Third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197467
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Liu, Baoxiang. editor. Ma, Maode. editor. Chang, Jincai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34062-8">http://dx.doi.org/10.1007/978-3-642-34062-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
System Simulation and Scientific Computing International Conference, ICSC 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:197513
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Xiao, Tianyuan. editor. Zhang, Lin. editor. Ma, Shiwei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34396-4">http://dx.doi.org/10.1007/978-3-642-34396-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Learning and Intelligent Optimization 6th International Conference, LION 6, Paris, France, January 16-20, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197515
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Hamadi, Youssef. editor. Schoenauer, Marc. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34413-8">http://dx.doi.org/10.1007/978-3-642-34413-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Security, Privacy, and Applied Cryptography Engineering Second International Conference, SPACE 2012, Chennai, India, November 3-4, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197516
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Bogdanov, Andrey. editor. Sanadhya, Somitra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34416-9">http://dx.doi.org/10.1007/978-3-642-34416-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information and Communications Security 14th International Conference, ICICS 2012, Hong Kong, China, October 29-31, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197478
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Chim, Tat Wing. editor. Yuen, Tsz Hon. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34129-8">http://dx.doi.org/10.1007/978-3-642-34129-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications of Graph Transformations with Industrial Relevance 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:197486
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Schürr, Andy. editor. Varró, Dániel. editor. Varró, Gergely. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34176-2">http://dx.doi.org/10.1007/978-3-642-34176-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Based Engineering of Embedded Systems The SPES 2020 Methodology
ent://SD_ILS/0/SD_ILS:197532
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Pohl, Klaus. editor. Hönninger, Harald. editor. Achatz, Reinhold. editor. Broy, Manfred. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34614-9">http://dx.doi.org/10.1007/978-3-642-34614-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data and Knowledge Engineering Third International Conference, ICDKE 2012, Wuyishan, Fujian, China, November 21-23, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197539
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Xiang, Yang. editor. Pathan, Mukaddim. editor. Tao, Xiaohui. editor. Wang, Hua. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34679-8">http://dx.doi.org/10.1007/978-3-642-34679-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Security and Cryptology 7th International Conference, Inscrypt 2011, Beijing, China, November 30 – December 3, 2011. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197541
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Wu, Chuan-Kun. editor. Yung, Moti. editor. Lin, Dongdai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34704-7">http://dx.doi.org/10.1007/978-3-642-34704-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorial Image Analaysis 15th International Workshop, IWCIA 2012, Austin, TX, USA, November 28-30, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197545
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Barneva, Reneta P. editor. Brimkov, Valentin E. editor. Aggarwal, Jake K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34732-0">http://dx.doi.org/10.1007/978-3-642-34732-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Multimedia Information Processing – PCM 2012 13th Pacific-Rim Conference on Multimedia, Singapore, December 4-6, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197547
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Lin, Weisi. editor. Xu, Dong. editor. Ho, Anthony. editor. Wu, Jianxin. editor. He, Ying. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34778-8">http://dx.doi.org/10.1007/978-3-642-34778-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification, and Validation International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197548
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Hähnle, Reiner. editor. Knoop, Jens. editor. Margaria, Tiziana. editor. Schreiner, Dietmar. editor. Steffen, Bernhard. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34781-8">http://dx.doi.org/10.1007/978-3-642-34781-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multi-Agent Systems 9th European Workshop, EUMAS 2011, Maastricht, The Netherlands, November 14-15, 2011. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197549
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Cossentino, Massimo. editor. Kaisers, Michael. editor. Tuyls, Karl. editor. Weiss, Gerhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34799-3">http://dx.doi.org/10.1007/978-3-642-34799-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design and Analysis of Algorithms First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197552
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Even, Guy. editor. Rawitz, Dror. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34862-4">http://dx.doi.org/10.1007/978-3-642-34862-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Internet and Distributed Computing Systems 5th International Conference, IDCS 2012, Wuyishan, Fujian, China, November 21-23, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197553
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Xiang, Yang. editor. Pathan, Mukaddim. editor. Tao, Xiaohui. editor. Wang, Hua. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34883-9">http://dx.doi.org/10.1007/978-3-642-34883-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ambient Intelligence Third International Joint Conference, AmI 2012, Pisa, Italy, November 13-15, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197556
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Paternò, Fabio. editor. Ruyter, Boris. editor. Markopoulos, Panos. editor. Santoro, Carmen. editor. Loenen, Evert. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34898-3">http://dx.doi.org/10.1007/978-3-642-34898-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Progress in Cryptology - INDOCRYPT 2012 13th International Conference on Cryptology in India, Kolkata, India, December 9-12, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197557
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Galbraith, Steven. editor. Nandi, Mridul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34931-7">http://dx.doi.org/10.1007/978-3-642-34931-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Cryptology – ASIACRYPT 2012 18th International Conference on the Theory and Application of Cryptology and Information Security, Beijing, China, December 2-6, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197559
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Wang, Xiaoyun. editor. Sako, Kazue. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34961-4">http://dx.doi.org/10.1007/978-3-642-34961-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multiple Access Communications 5th International Workshop, MACOM 2012, Maynooth, Ireland, November 19-20, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197560
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Bellalta, Boris. editor. Vinel, Alexey. editor. Jonsson, Magnus. editor. Barcelo, Jaume. editor. Maslennikov, Roman. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34976-8">http://dx.doi.org/10.1007/978-3-642-34976-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Information Systems Engineering - WISE 2012 13th International Conference, Paphos, Cyprus, November 28-30, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197563
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Wang, X. Sean. editor. Cruz, Isabel. editor. Delis, Alex. editor. Huang, Guangyan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35063-4">http://dx.doi.org/10.1007/978-3-642-35063-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Information Technology 5th International Conference, IAIT 2012, Bangkok, Thailand, December 6-7, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197564
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Papasratorn, Borworn. editor. Charoenkitkarn, Nipon. editor. Lavangnananda, Kittichai. editor. Chutimaskul, Wichian. editor. Vanijja, Vajirasak. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35076-4">http://dx.doi.org/10.1007/978-3-642-35076-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Machine Learning Technologies and Applications First International Conference, AMLTA 2012, Cairo, Egypt, December 8-10, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197594
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Hassanien, Aboul Ella. editor. Salem, Abdel-Badeeh M. editor. Ramadan, Rabie. editor. Kim, Tai-hoon. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35326-0">http://dx.doi.org/10.1007/978-3-642-35326-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Biometric Recognition 7th Chinese Conference, CCBR 2012, Guangzhou, China, December 4-5, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197568
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Zheng, Wei-Shi. editor. Sun, Zhenan. editor. Wang, Yunhong. editor. Chen, Xilin. editor. Yuen, Pong C. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35136-5">http://dx.doi.org/10.1007/978-3-642-35136-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cyberspace Safety and Security 4th International Symposium, CSS 2012, Melbourne, Australia, December 12-13, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197597
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Xiang, Yang. editor. Lopez, Javier. editor. Kuo, C.-C. Jay. editor. Zhou, Wanlei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35362-8">http://dx.doi.org/10.1007/978-3-642-35362-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ubiquitous Computing and Ambient Intelligence 6th International Conference, UCAmI 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197599
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Bravo, José. editor. López-de-Ipiña, Diego. editor. Moya, Francisco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35377-2">http://dx.doi.org/10.1007/978-3-642-35377-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ambient Assisted Living and Home Care 4th International Workshop, IWAAL 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197602
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Bravo, José. editor. Hervás, Ramón. editor. Rodríguez, Marcela. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35395-6">http://dx.doi.org/10.1007/978-3-642-35395-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Security Applications 13th International Workshop, WISA 2012, Jeju Island, Korea, August 16-18, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197604
2026-01-26T20:47:47Z
2026-01-26T20:47:47Z
Author Lee, Dong Hoon. editor. Yung, Moti. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35416-8">http://dx.doi.org/10.1007/978-3-642-35416-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>