Search Results for Software - Narrowed by: 2012

Embedded software the works

2026-06-11T21:15:35Z

Author Walls, Colin.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect An electronic book accessible through the World Wide Web; click for information
Format: Electronic Resources
Availability Online Library~1

Software Similarity and Classification

2026-06-11T21:15:35Z

Author Cesare, Silvio. author. Xiang, Yang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2909-7
Format: Electronic Resources
Availability Online Library~1

Software and Network Engineering

2026-06-11T21:15:35Z

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

Experimentation in Software Engineering

2026-06-11T21:15:35Z

Author Wohlin, Claes. author. Runeson, Per. author. Höst, Martin. author. Ohlsson, Magnus C. author. Regnell, Björn. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29044-2
Format: Electronic Resources
Availability Online Library~1

Software and Systems Traceability

2026-06-11T21:15:35Z

Author Cleland-Huang, Jane. editor. Gotel, Orlena. editor. Zisman, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2239-5
Format: Electronic Resources
Availability Online Library~1

Software maintenance success recipes

2026-06-11T21:15:35Z

Author Reifer, Donald J., author.
Preferred Shelf Number QA76.6 .R435 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Software Process Definition and Management

2026-06-11T21:15:35Z

Author Münch, Jürgen. author. Armbrust, Ove. author. Kowalczyk, Martin. author. Soto, Martín. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24291-5
Format: Electronic Resources
Availability Online Library~1

Software engineering : the current practices

2026-06-11T21:15:35Z

Author Rajlich, Vaclav.
Preferred Shelf Number QA76.758 R36 2012
Format: Books
Availability Beytepe Library~1

Handbook of software engineering & knowledge engineering

2026-06-11T21:15:35Z

Author Chang, Shi Kuo, 1944- ed.
Preferred Shelf Number QA 76.758 H36 2001- V.2
Format: Books
Availability Beytepe Library~1

Fundamentals of multicore software development

2026-06-11T21:15:35Z

Author Pankratius, Victor. Adl-Tabatabai, Ali-Reza. Tichy, Walter F.
Preferred Shelf Number QA76.642 .F86 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Embedded systems hardware for software engineers

2026-06-11T21:15:35Z

Author Lipiansky, Ed.
Preferred Shelf Number ONLINE
Electronic Access Subscription required
Format: Electronic Resources
Availability Online Library~1

Embedded systems hardware for software engineers

2026-06-11T21:15:35Z

Author Lipiansky, Ed.
Preferred Shelf Number TK7895.E42 L56 2012
Format: Books
Availability Beytepe Library~1

The 7 qualities of highly secure software

2026-06-11T21:15:35Z

Author Paul, Mano., author.
Preferred Shelf Number QA76.9 .A25 P38 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Software project management : a process-driven approach

2026-06-11T21:15:35Z

Author Ahmed, Ashfaque., author.
Preferred Shelf Number QA76.76 .D47 A3965 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Transactions on Aspect-Oriented Software Development IX

2026-06-11T21:15:35Z

Author Leavens, Gary T. editor. Chiba, Shigeru. editor. Haupt, Michael. editor. Ostermann, Klaus. editor. Wohlstadter, Eric. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35551-6
Format: Electronic Resources
Availability Online Library~1

Java software solutions : foundations of program design

2026-06-11T21:15:35Z

Author Lewis, John. Loftus, William. Abirami, S.
Preferred Shelf Number QA76.73.J38 L49 2012
Format: Books
Availability Beytepe Library~2

QuickBooks 2010 finance software for small business

2026-06-11T21:15:35Z

Author Barich, Thomas E.
Preferred Shelf Number ONLINE
Electronic Access Subscription required
Format: Electronic Resources
Availability Online Library~1

Enterprise software architecture and design entities, services, and resources

2026-06-11T21:15:35Z

Author Duggan, Dominic.
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9781118180518 http://site.ebrary.com/lib/alltitles/Doc?id=10529323
Format: Electronic Resources
Availability Online Library~1

Software Engineering Research,Management and Applications 2011

2026-06-11T21:15:35Z

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

Software Engineering Research, Management and Applications 2012

2026-06-11T21:15:35Z

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

Improving Software Testing Technical and Organizational Developments

2026-06-11T21:15:35Z

Author Majchrzak, Tim A. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27464-0
Format: Electronic Resources
Availability Online Library~1

Games, Actions and Social Software Multidisciplinary Aspects

2026-06-11T21:15:35Z

Author Eijck, Jan. editor. Verbrugge, Rineke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29326-9
Format: Electronic Resources
Availability Online Library~1

Knowledge-based software engineering proceedings of the tenth Joint Conference on Knowledge-Based Software Engineering

2026-06-11T21:15:35Z

Author Joint Conference on Knowledge-Based Software Engineering (10th : 2012 : Rhodes (Island), Greece) Virvou, Maria. Matsuura, Saeko. IOS Press.
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=489951
Format: Electronic Resources
Availability Online Library~1

Directory of library automation software, systems, and services.

2026-06-11T21:15:35Z

Author Cibbarelli, Pamela R., ed. Information Today, Inc.
Preferred Shelf Number Z678.9.A3 D6
Format: Books
Availability Beytepe Library~1

Instrument engineers' handbook. Process software and digital networks

2026-06-11T21:15:35Z

Author Eren, Halit. Liptak, Bela G.
Preferred Shelf Number TS156.8 .L57 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

The IFPUG guide to IT and software measurement

2026-06-11T21:15:35Z

Author International Function Point Users Group.
Preferred Shelf Number QA76.76 .S65 I36 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Secure and resilient software : requirements, test cases, and testing methods

2026-06-11T21:15:35Z

Author Merkow, Mark S., author. Raghavan, Lakshmikanth.
Preferred Shelf Number QA76.76 .T48 M47 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Foundations of Algebraic Specification and Formal Software Development

2026-06-11T21:15:35Z

Author Sannella, Donald. author. Tarlecki, Andrzej. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17336-3
Format: Electronic Resources
Availability Online Library~1

A Short Course in Computational Science and Engineering C++, Java and Octave Numerical Programming with Free Software Tools

2026-06-11T21:15:35Z

Author Yevick, David.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Sonar code quality testing essentials achieve higher levels of software quality with sonar

2026-06-11T21:15:35Z

Author Arapidis, Charalampos S.
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=481277
Format: Electronic Resources
Availability Online Library~1

Case study research in software engineering guidelines and examples

2026-06-11T21:15:35Z

Author Runeson, Per, 1966-
Preferred Shelf Number ONLINE
Electronic Access Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=818522 John Wiley http://dx.doi.org/10.1002/9781118181034 http://swb.eblib.com/patron/FullRecord.aspx?p=818522
Format: Electronic Resources
Availability Online Library~1

Internet success a study of open-source software commons

2026-06-11T21:15:35Z

Author Schweik, Charles M., 1961- English, Robert C., 1951-
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267538
Format: Electronic Resources
Availability Online Library~1

Coding places software practice in a South American city

2026-06-11T21:15:35Z

Author Takhteyev, Yuri, 1976-
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6354165
Format: Electronic Resources
Availability Online Library~1

Computer, network, software, and hardware engineering with applications

2026-06-11T21:15:35Z

Author Shneidewind, Norman.
Preferred Shelf Number TK7885 S2564 2012
Format: Books
Availability Beytepe Library~1

Onboard Computers, Onboard Software and Satellite Operations An Introduction

2026-06-11T21:15:35Z

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

Empirical Software Engineering and Verification International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures

2026-06-11T21:15:35Z

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

SDL 2011: Integrating System and Software Modeling 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers

2026-06-11T21:15:35Z

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

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

2026-06-11T21:15:35Z

Author Jin, David. editor. Lin, Sally. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25986-9
Format: Electronic Resources
Availability Online Library~1

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

2026-06-11T21:15:35Z

Author Jin, David. editor. Lin, Sally. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25989-0
Format: Electronic Resources
Availability Online Library~1

Software Process Improvement and Capability Determination 12th International Conference, SPICE 2012, Palma, Spain, May 29-31, 2012. Proceedings

2026-06-11T21:15:35Z

Author Mas, Antonia. editor. Mesquida, Antoni. editor. Rout, Terry. editor. O’Connor, Rory V. editor. Dorling, Alec. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30439-2
Format: Electronic Resources
Availability Online Library~1

Software Composition 11th International Conference, SC 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings

2026-06-11T21:15:35Z

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

Reliable Software Technologies – Ada-Europe 2012 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings

2026-06-11T21:15:35Z

Author Brorsson, Mats. editor. Pinho, Luís Miguel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30598-6
Format: Electronic Resources
Availability Online Library~1

Computer- Aided Design in Power Engineering Application of Software Tools

2026-06-11T21:15:35Z

Author Stojkovic, Zlatan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30206-0
Format: Electronic Resources
Availability Online Library~1

Software for People Fundamentals, Trends and Best Practices

2026-06-11T21:15:35Z

Author Maedche, Alexander. editor. Botzenhardt, Achim. editor. Neer, Ludwig. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31371-4
Format: Electronic Resources
Availability Online Library~1

Model Checking Software 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings

2026-06-11T21:15:35Z

Author Donaldson, Alastair. editor. Parker, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31759-0
Format: Electronic Resources
Availability Online Library~1

Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

2026-06-11T21:15:35Z

Author Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Gurov, Dilian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31762-0
Format: Electronic Resources
Availability Online Library~1

Sensor Systems and Software Third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012, Revised Selected Papers

2026-06-11T21:15:35Z

Author Martins, Francisco. editor. Lopes, Luís. editor. Paulino, Hervé. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32778-0
Format: Electronic Resources
Availability Online Library~1

Search Based Software Engineering 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings

2026-06-11T21:15:35Z

Author Fraser, Gordon. editor. Teixeira de Souza, Jerffeson. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33119-0
Format: Electronic Resources
Availability Online Library~1

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

2026-06-11T21:15:35Z

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

Information and Software Technologies 18th International Conference, ICIST 2012, Kaunas, Lithuania, September 13-14, 2012. Proceedings

2026-06-11T21:15:35Z

Author Skersys, Tomas. editor. Butleris, Rimantas. editor. Butkiene, Rita. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33308-8
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

2026-06-11T21:15:35Z

Author Eleftherakis, George. editor. Hinchey, Mike. editor. Holcombe, Mike. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33826-7
Format: Electronic Resources
Availability Online Library~1

Fast Software Encryption 19th International Workshop, FSE 2012, Washington, DC, USA, March 19-21, 2012. Revised Selected Papers

2026-06-11T21:15:35Z

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

Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers

2026-06-11T21:15:35Z

Author Eder, Kerstin. editor. Lourenço, João. editor. Shehory, Onn. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34188-5
Format: Electronic Resources
Availability Online Library~1

Human-Centered Software Engineering 4th International Conference, HCSE 2012, Toulouse, France, October 29-31, 2012. Proceedings

2026-06-11T21:15:35Z

Author Winckler, Marco. editor. Forbrig, Peter. editor. Bernhaupt, Regina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34347-6
Format: Electronic Resources
Availability Online Library~1

Testing Software and Systems 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings

2026-06-11T21:15:35Z

Author Nielsen, Brian. editor. Weise, Carsten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34691-0
Format: Electronic Resources
Availability Online Library~1

Firms in Open Source Software Development Managing Innovation Beyond Firm Boundaries

2026-06-11T21:15:35Z

Author Schaarschmidt, Mario. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8349-4143-5
Format: Electronic Resources
Availability Online Library~1

Hardware/Software Co-design for Heterogeneous Multi-core Platforms The hArtes Toolchain

2026-06-11T21:15:35Z

Author Bertels, Koen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-1406-9
Format: Electronic Resources
Availability Online Library~1

Computer, network, software, and hardware engineering with applications

2026-06-11T21:15:35Z

Author Schneidewind, Norman.
Preferred Shelf Number ONLINE
Electronic Access IEEEXplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6168884
Format: Electronic Resources
Availability Online Library~1

Managing Humans Biting and Humorous Tales of a Software Engineering Manager

2026-06-11T21:15:35Z

Author Lopp, Michael. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-4315-1
Format: Electronic Resources
Availability Online Library~1

How to Recruit and Hire Great Software Engineers Building a Crack Development Team

2026-06-11T21:15:35Z

Author McCuller, Patrick. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-4918-4
Format: Electronic Resources
Availability Online Library~1

Software Exorcism: A Handbook for Debugging and Optimizing Legacy Code

2026-06-11T21:15:35Z

Author Blunden, Bill. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-5108-8
Format: Electronic Resources
Availability Online Library~1

Nanometer CMOS Sigma-Delta Modulators for Software Defined Radio

2026-06-11T21:15:35Z

Author Morgado, Alonso. author. del Río, Rocío. author. Rosa, José M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-0037-0
Format: Electronic Resources
Availability Online Library~1

Software Radio Sampling Rate Selection, Design and Synchronization

2026-06-11T21:15:35Z

Author Venosa, Elettra. author. harris, fredric j. author. Palmieri, Francesco A. N. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-0113-1
Format: Electronic Resources
Availability Online Library~1

Management kreativitätsintensiver Prozesse Theorien, Methoden, Software und deren Anwendung in der Fernsehindustrie

2026-06-11T21:15:35Z

Author Becker, Jörg. editor. Schwaderlapp, Werner. editor. Seidel, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21678-7
Format: Electronic Resources
Availability Online Library~1

Earth System Modelling - Volume 3 Coupling Software and Strategies

2026-06-11T21:15:35Z

Author Valcke, Sophie. author. Redler, René. author. Budich, Reinhard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23360-9
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Knowledge Engineering: Theory and Practice Volume 2

2026-06-11T21:15:35Z

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

Engineering Secure Software and Systems 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings

2026-06-11T21:15:35Z

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

Business Modeling and Software Design First International Symposium, BMSD 2011, Sofia, Bulgaria, July 27-28, 2011, Revised Selected Papers

2026-06-11T21:15:35Z

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

Agile Processes in Software Engineering and Extreme Programming 13th International Conference, XP 2012, Malmö, Sweden, May 21-25, 2012. Proceedings

2026-06-11T21:15:35Z

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

Software Business Third International Conference, ICSOB 2012, Cambridge, MA, USA, June 18-20, 2012. Proceedings

2026-06-11T21:15:35Z

Author Cusumano, Michael A. editor. Iyer, Bala. editor. Venkatraman, N. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30746-1
Format: Electronic Resources
Availability Online Library~1

Software Service and Application Engineering Essays Dedicated to Bernd Krämer on the Occasion of His 65th Birthday

2026-06-11T21:15:35Z

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

Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

2026-06-11T21:15:35Z

Author Bernardo, Marco. editor. Cortellessa, Vittorio. editor. Pierantonio, Alfonso. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30982-3
Format: Electronic Resources
Availability Online Library~1

Product-Focused Software Process Improvement 13th International Conference, PROFES 2012, Madrid, Spain, June 13-15, 2012 Proceedings

2026-06-11T21:15:35Z

Author Dieste, Oscar. editor. Jedlitschka, Andreas. editor. Juristo, Natalia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31063-8
Format: Electronic Resources
Availability Online Library~1

Systems, Software and Services Process Improvement 19th European Conference, EuroSPI 2012, Vienna, Austria, June 25-27, 2012. Proceedings

2026-06-11T21:15:35Z

Author Winkler, Dietmar. editor. O’Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31199-4
Format: Electronic Resources
Availability Online Library~1

Multicore Software Engineering, Performance, and Tools International Conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings

2026-06-11T21:15:35Z

Author Pankratius, Victor. editor. Philippsen, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31202-1
Format: Electronic Resources
Availability Online Library~1

Software Testing in the Cloud Migration and Execution

2026-06-11T21:15:35Z

Author Tilley, Scott. author. Parveen, Tauhida. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32122-1
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Software Engineering 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings

2026-06-11T21:15:35Z

Author Aoki, Toshiaki. editor. Taguchi, Kenji. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34281-3
Format: Electronic Resources
Availability Online Library~1

SynDEVS Co-Design Flow A Hardware / Software Co-Design Flow Based on the Discrete Event System Specification Model of Computation

2026-06-11T21:15:35Z

Author Molter, H. Gregor. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-658-00397-5
Format: Electronic Resources
Availability Online Library~1

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

2026-06-11T21:15:35Z

Author Kim, Tai-hoon. editor. Ramos, Carlos. editor. Kim, Haeng-kon. editor. Kiumi, Akingbehin. editor. Mohammed, Sabah. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35267-6
Format: Electronic Resources
Availability Online Library~1

The Cinderella.2 Manual Working with The Interactive Geometry Software

2026-06-11T21:15:35Z

Author Richter-Gebert, Jürgen. author. Kortenkamp, Ulrich H. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-34926-6
Format: Electronic Resources
Availability Online Library~1

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

2026-06-11T21:15:35Z

Author Palmirani, Monica. editor. Pagallo, Ugo. editor. Casanovas, Pompeu. editor. Sartor, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35731-2
Format: Electronic Resources
Availability Online Library~1

Formal Aspects of Component Software 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

2026-06-11T21:15:35Z

Author Arbab, Farhad. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35743-5
Format: Electronic Resources
Availability Online Library~1

Tools for Practical Software Verification LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures

2026-06-11T21:15:35Z

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

Wechselwirkungen zwischen Organisation und Social Software in der Wissensarbeit

2026-06-11T21:15:35Z

Author Kansy, Simone. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8349-7079-4
Format: Electronic Resources
Availability Online Library~1

Inside a Secret Software Laboratory An Ethnographic Study of a Global Software Package Producer

2026-06-11T21:15:35Z

Author Grimm, Christine. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8349-7176-0
Format: Electronic Resources
Availability Online Library~1

Embedded systems security practical methods for safe and secure software and systems development

2026-06-11T21:15:35Z

Author Kleidermacher, David. Kleidermacher, Mike.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123868862
Format: Electronic Resources
Availability Online Library~1

Guide to Software Development Designing and Managing the Life Cycle

2026-06-11T21:15:35Z

Author Langer, Arthur M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2300-2
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Knowledge Engineering: Theory and Practice Volume 1

2026-06-11T21:15:35Z

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

Geospatial Free and Open Source Software in the 21st Century Proceedings of the first Open Source Geospatial Research Symposium, OGRS 2009

2026-06-11T21:15:35Z

Author Bocher, Erwan. editor. Neteler, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10595-1
Format: Electronic Resources
Availability Online Library~1

Software Quality. Process Automation in Software Development 4th International Conference, SWQD 2012, Vienna, Austria, January 17-19, 2012. Proceedings

2026-06-11T21:15:35Z

Author Biffl, Stefan. editor. Winkler, Dietmar. editor. Bergsmann, Johannes. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27213-4
Format: Electronic Resources
Availability Online Library~1

The Software Dilemma Balancing Creativity and Control on the Path to Sustainable Software

2026-06-11T21:15:35Z

Author Gutbrod, Roger. author. Wiele, Christian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27236-3
Format: Electronic Resources
Availability Online Library~1

Formal Aspects of Component Software 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers

2026-06-11T21:15:35Z

Author Barbosa, Luís Soares. editor. Lumpe, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27269-1
Format: Electronic Resources
Availability Online Library~1

Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings

2026-06-11T21:15:35Z

Author Joshi, Rajeev. editor. Müller, Peter. editor. Podelski, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27705-4
Format: Electronic Resources
Availability Online Library~1

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

2026-06-11T21:15:35Z

Author Szmuc, Tomasz. editor. Szpyrka, Marcin. editor. Zendulka, Jaroslav. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28038-2
Format: Electronic Resources
Availability Online Library~1

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

2026-06-11T21:15:35Z

Author Degano, Pierpaolo. editor. Guttman, Joshua D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28641-4
Format: Electronic Resources
Availability Online Library~1

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

2026-06-11T21:15:35Z

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

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

2026-06-11T21:15:35Z

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

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

2026-06-11T21:15:35Z

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

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

2026-06-11T21:15:35Z

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

Ambient Intelligence - Software and Applications 3rd International Symposium on Ambient Intelligence (ISAmI 2012)

2026-06-11T21:15:35Z

Author Novais, Paulo. editor. Hallenborg, Kasper. editor. Tapia, Dante I. editor. Rodríguez, Juan M. Corchado. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28783-1
Format: Electronic Resources
Availability Online Library~1

Software Language Engineering 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers

2026-06-11T21:15:35Z

Author Sloane, Anthony. editor. Aßmann, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28830-2
Format: Electronic Resources
Availability Online Library~1

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

2026-06-11T21:15:35Z

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

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

2026-06-11T21:15:35Z

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

Global Trends in Information Systems and Software Applications 4th International Conference, ObCom 2011, Vellore, TN, India, December 9-11, 2011. Proceedings, Part II

2026-06-11T21:15:35Z

Author Krishna, P. Venkata. editor. Babu, M. Rajasekhara. editor. Ariwa, Ezendu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29216-3
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Software Engineering 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers

2026-06-11T21:15:35Z

Author Arbab, Farhad. editor. Sirjani, Marjan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29320-7
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Knowledge Engineering: Theory and Practice Selected papers from 2012 International Conference on Software Engineering, Knowledge Engineering and Information Engineering (SEKEIE 2012)

2026-06-11T21:15:35Z

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

Models in Software Engineering Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers

2026-06-11T21:15:35Z

Author Kienzle, Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29645-1
Format: Electronic Resources
Availability Online Library~1

The Effectiveness of instruction through moodle and accent reduction software on the pronunciation of efl teacher trainees /cArif Bakla.

2026-06-11T21:15:35Z

Author Bakla, Arif. Foreign Language Education, Department of English Language Teaching Tez.
Preferred Shelf Number TEZ 10304 B35 2012
Format: Books
Availability Beytepe Library~1

Social software engineering : development and collaboration with social networking

2026-06-11T21:15:35Z

Author Keyes, Jessica, 1950, author.
Preferred Shelf Number QA76.758 .K479 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Oracle database performance and scalability : a quantitative approach

2026-06-11T21:15:35Z

Author Liu, Henry H.
Preferred Shelf Number QA76.9.D3 L5945 2012
Format: Books
Availability Beytepe Library~1

The ScrumMaster study guide

2026-06-11T21:15:35Z

Author Schiel, James., author.
Preferred Shelf Number QA76.76 .D47 S2956 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Building enterprise systems with ODP : an introduction to open distributed processing

2026-06-11T21:15:35Z

Author Linington, Peter F., author.
Preferred Shelf Number QA76.9 .D5 L56 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Analysis of the MPEG-1 layer III (MP3) algorithm using MATLAB

2026-06-11T21:15:35Z

Author Thiagarajan, Jayaraman Jayaraman. Spanias, Andreas.
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440470
Format: Electronic Resources
Availability Online Library~1

Tcl/Tk a developer's guide

2026-06-11T21:15:35Z

Author Flynt, Clif.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123847171
Format: Electronic Resources
Availability Online Library~1

Information security management handbook

2026-06-11T21:15:35Z

Author Tipton, Harold F. Krause, Micki.
Preferred Shelf Number QA76.9 .A25 I54165 2003
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Information security management handbook

2026-06-11T21:15:35Z

Author Tipton, Harold F. Nozaki, Micki Krause.
Preferred Shelf Number QA76.9 .A25 I54165 2007
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

PowerBuilder : PowerScript reference, version 6.

2026-06-11T21:15:35Z

Preferred Shelf Number QA 76.76.A65 P871 1991-97 V.2
Format: Books
Availability Beytepe Library~1

Statistical thinking in epidemiology

2026-06-11T21:15:35Z

Author Tu, Yu-Kang., author. Gilthorpe, Mark S.
Preferred Shelf Number RA652.2 .M3 T8 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Combinatorial scientific computing

2026-06-11T21:15:35Z

Author Naumann, Uwe, 1969- Schenk, Olaf, 1967-
Preferred Shelf Number QA76.6 .C6275 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Green mobile devices and networks : energy optimization and scavenging techniques

2026-06-11T21:15:35Z

Author Venkataraman, Hrishikesh. Muntean, Gabriel-Miro, 1972-
Preferred Shelf Number TK5103.2 .E545 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Environmental fate and transport analysis with compartment modeling

2026-06-11T21:15:35Z

Author Little, Keith W., author.
Preferred Shelf Number TD174 .L58 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Algebraic and stochastic coding theory

2026-06-11T21:15:35Z

Author Kythe, Dave K., author. Kythe, Prem K.
Preferred Shelf Number QA268 .K98 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Multimedia image and video processing

2026-06-11T21:15:35Z

Author Guan, Ling. He, Yifeng, 1972- Kung, S. Y. (Sun Yuan)
Preferred Shelf Number QA76.575 .M83285 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Embedded systems and wireless technology

2026-06-11T21:15:35Z

Author Aquino Santos, Raul, 1965- Block, Arthur Edwards, 1957-
Preferred Shelf Number TK5105.77 .E43 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Flavor, fragrance, and odor analysis

2026-06-11T21:15:35Z

Author Marsili, Ray, 1946-
Preferred Shelf Number TX546 .F52 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Large-scale simulation : models, algorithms, and applications

2026-06-11T21:15:35Z

Author Chen, Dan, 1973, author. Wang, Lizhe, 1974- Chen, Jingying, 1973 -
Preferred Shelf Number QA76.9 .C65 C475 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

GPU Pro 3 : advanced rendering techniques

2026-06-11T21:15:35Z

Author Engel, Wolfgang F.
Preferred Shelf Number T385 .G6886 2011
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Developing Essbase applications : advanced techniques for finance and IT professionals

2026-06-11T21:15:35Z

Author Lackpour, Cameron.
Preferred Shelf Number QA76.9 .D26 D495 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Network and application security fundamentals and practices

2026-06-11T21:15:35Z

Author Ganguly, Debashis., author. Lahiri, Shibamouli.
Preferred Shelf Number TK5105.59 .G36 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Informative hypotheses : theory and practice for behavioral and social scientists

2026-06-11T21:15:35Z

Author Hoijtink, Herbert., author.
Preferred Shelf Number BF39 .H625 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Field hydrogeology : a guide for site investigations and report preparation

2026-06-11T21:15:35Z

Author Moore, John E. (John Ezra), 1931, author.
Preferred Shelf Number GB102.3 .M66 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

iOS programlama ve mobil ticaret uygulamaları

2026-06-11T21:15:35Z

Author Cura, Tunçhan.
Preferred Shelf Number QA76.76.C87 I57 2012
Format: Books
Availability Beytepe Library~1

Social media, crisis communication, and emergency management : leveraging Web 2.0 technologies

2026-06-11T21:15:35Z

Author White, Connie M., author.
Preferred Shelf Number HM742 .W45 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Plasma processing of nanomaterials

2026-06-11T21:15:35Z

Author Sankaran, Mohan.
Preferred Shelf Number TA418.9 .N35 P53 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Telecommunication networks

2026-06-11T21:15:35Z

Author Iannone, Eugenio., author.
Preferred Shelf Number TK5105 .I247 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Systems engineering and architecting : creating formal requirements

2026-06-11T21:15:35Z

Author Bellagamba, Laurence., author.
Preferred Shelf Number TA168 .B376 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Water, wastewater, and stormwater infrastructure management

2026-06-11T21:15:35Z

Author Grigg, Neil S., author.
Preferred Shelf Number TD159 .G75 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Near field communications handbook

2026-06-11T21:15:35Z

Author Ahson, Syed A. Ilyas, Mohammad, 1953-
Preferred Shelf Number TK5103.2 .N43 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

IT release management : a hands-on guide

2026-06-11T21:15:35Z

Author Howard, Dave, 1957, author.
Preferred Shelf Number T58.64 .H688 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Geomechanical processes during underground mining : proceedings of the School of Underground mining, Dnipropetrovs'k/Yalta, Ukraine, 24-28 September 2012

2026-06-11T21:15:35Z

Author School of Underground Mining (6th : 2012 : Dnipropetrovsk, Ukraine; I͡Alta, Ukraine) Bondarenko, Volodymyr.
Preferred Shelf Number TN145 .G46 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Optimal estimation of dynamic systems

2026-06-11T21:15:35Z

Author Crassidis, John L., author. Junkins, John L.
Preferred Shelf Number QA402 .C73 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Kendinize güvenerek Android

2026-06-11T21:15:35Z

Author Çavuş, Musa.
Preferred Shelf Number QA76.774.A53 C38 2012
Format: Books
Availability Beytepe Library~1

Flexible imputation of missing data

2026-06-11T21:15:35Z

Author Buuren, Stef van., author.
Preferred Shelf Number QA278 .B88 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

User Experience Design Mit erlebniszentrierter Softwareentwicklung zu Produkten, die begeistern

2026-06-11T21:15:35Z

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

Recht ex machina Formalisierung des Rechts im Internet der Dienste

2026-06-11T21:15:35Z

Author Raabe, Oliver. author. Wacker, Richard. author. Oberle, Daniel. author. Baumann, Christian. author. Funk, Christian. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17671-5
Format: Electronic Resources
Availability Online Library~1

Multi-disciplinary Trends in Artificial Intelligence 6th International Workshop, MIWAI 2012, Ho Chi Minh City, Vietnam, December 26-28, 2012. Proceedings

2026-06-11T21:15:35Z

Author Sombattheera, Chattrakul. editor. Loi, Nguyen Kim. editor. Wankar, Rajeev. editor. Quan, Tho. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35455-7
Format: Electronic Resources
Availability Online Library~1

Principles of Distributed Systems 16th International Conference, OPODIS 2012, Rome, Italy, December 18-20, 2012. Proceedings

2026-06-11T21:15:35Z

Author Baldoni, Roberto. editor. Flocchini, Paola. editor. Binoy, Ravindran. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35476-2
Format: Electronic Resources
Availability Online Library~1

Artificial General Intelligence 5th International Conference, AGI 2012, Oxford, UK, December 8-11, 2012. Proceedings

2026-06-11T21:15:35Z

Author Bach, Joscha. editor. Goertzel, Ben. editor. Iklé, Matthew. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35506-6
Format: Electronic Resources
Availability Online Library~1

Computer Applications for Bio-technology, Multimedia, and Ubiquitous City International Conferences MulGraB, BSBT and IUrC 2012 Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings

2026-06-11T21:15:35Z

Author Kim, Tai-hoon. editor. Kang, Jeong-Jin. editor. Grosky, William I. editor. Arslan, Tughrul. editor. Pissinou, Niki. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35521-9
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Systems Biology XIV Special Issue on Computational Models for Cell Processes

2026-06-11T21:15:35Z

Author Priami, Corrado. editor. Petre, Ion. editor. Vink, Erik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35524-0
Format: Electronic Resources
Availability Online Library~1

Advanced Data Mining and Applications 8th International Conference, ADMA 2012, Nanjing, China, December 15-18, 2012. Proceedings

2026-06-11T21:15:35Z

Author Zhou, Shuigeng. editor. Zhang, Songmao. editor. Karypis, George. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35527-1
Format: Electronic Resources
Availability Online Library~1

Artificial Evolution 10th International Conference, Evolution Artificielle, EA 2011, Angers, France, October 24-26, 2011, Revised Selected Papers

2026-06-11T21:15:35Z

Author Hao, Jin-Kao. editor. Legrand, Pierrick. editor. Collet, Pierre. editor. Monmarché, Nicolas. editor. Lutton, Evelyne. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35533-2
Format: Electronic Resources
Availability Online Library~1

Big Data Analytics First International Conference, BDA 2012, New Delhi, India, December 24-26, 2012. Proceedings

2026-06-11T21:15:35Z

Author Srinivasa, Srinath. editor. Bhatnagar, Vasudha. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35542-4
Format: Electronic Resources
Availability Online Library~1

Coordination, Organizations, Institutions, and Norms in Agent System VII COIN 2011 International Workshops, COIN@AAMAS 2011, Taipei, Taiwan, May 3, 2011, COIN@WI-IAT 2011, Lyon, France, August 22, 2011, Revised Selected Papers

2026-06-11T21:15:35Z

Author Cranefield, Stephen. editor. Riemsdijk, M. Birna. editor. Vázquez-Salceda, Javier. editor. Noriega, Pablo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35545-5
Format: Electronic Resources
Availability Online Library~1

Testbeds and Research Infrastructure. Development of Networks and Communities 8th International ICST Conference, TridentCom 2012, Thessanoliki, Greece, June 11-13, 2012, Revised Selected Papers

2026-06-11T21:15:35Z

Author Korakis, Thanasis. editor. Zink, Michael. editor. Ott, Maximilian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35576-9
Format: Electronic Resources
Availability Online Library~1

Future Generation Information Technology 4th International Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings

2026-06-11T21:15:35Z

Author Kim, Tai-hoon. editor. Lee, Young-hoon. editor. Fang, Wai-chi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35585-1
Format: Electronic Resources
Availability Online Library~1

Computer Applications for Communication, Networking, and Digital Contents International Conferences, FGCN and DCA 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings

2026-06-11T21:15:35Z

Author Kim, Tai-hoon. editor. Ko, Dae-sik. editor. Vasilakos, Thanos. editor. Stoica, Adrian. editor. Abawajy, Jemal. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35594-3
Format: Electronic Resources
Availability Online Library~1

Computer Applications for Graphics, Grid Computing, and Industrial Environment International Conferences, GDC, IESH and CGAG 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings

2026-06-11T21:15:35Z

Author Kim, Tai-hoon. editor. Cho, Hyun-seob. editor. Gervasi, Osvaldo. editor. Yau, Stephen S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35600-1
Format: Electronic Resources
Availability Online Library~1

Computer Applications for Database, Education, and Ubiquitous Computing International Conferences, EL, DTA and UNESST 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings

2026-06-11T21:15:35Z

Author Kim, Tai-hoon. editor. Ma, Jianhua. editor. Fang, Wai-chi. editor. Zhang, Yanchun. editor. Cuzzocrea, Alfredo. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35603-2
Format: Electronic Resources
Availability Online Library~1

Network and Parallel Computing 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012. Proceedings

2026-06-11T21:15:35Z

Author Park, James J. editor. Zomaya, Albert. editor. Yeo, Sang-Soo. editor. Sahni, Sartaj. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35606-3
Format: Electronic Resources
Availability Online Library~1

Advances in Communication, Network, and Computing Third International Conference, CNC 2012, Chennai, India, February 24-25, 2012, Revised Selected Papers

2026-06-11T21:15:35Z

Author Das, Vinu V. editor. Stephen, Janahanlal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35615-5
Format: Electronic Resources
Availability Online Library~1

Quantum Interaction 6th International Symposium, QI 2012, Paris, France, June 27-29, 2012, Revised Selected Papers

2026-06-11T21:15:35Z

Author Busemeyer, Jerome R. editor. Dubois, François. editor. Lambert-Mogiliansky, Ariane. editor. Melucci, Massimo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35659-9
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence Methods for Bioinformatics and Biostatistics 8th International Meeting, CIBB 2011, Gargnano del Garda, Italy, June 30 – July 2, 2011, Revised Selected Papers

2026-06-11T21:15:35Z

Author Biganzoli, Elia. editor. Vellido, Alfredo. editor. Ambrogi, Federico. editor. Tagliaferri, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35686-5
Format: Electronic Resources
Availability Online Library~1

Smart Energy Von der reaktiven Kundenverwaltung zum proaktiven Kundenmanagement

2026-06-11T21:15:35Z

Author Aichele, Christian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8348-1981-9
Format: Electronic Resources
Availability Online Library~1

Praxis der User Interface-Entwicklung Informationsstrukturen, Designpatterns, Vorgehensmuster

2026-06-11T21:15:35Z

Author Chlebek, Paul. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8348-8219-6
Format: Electronic Resources
Availability Online Library~1

Einführung in die Softwareentwicklung mit C Eine Einführung mit dem Visual Studio 2010

2026-06-11T21:15:35Z

Author Duschl, Dieter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8348-8239-4
Format: Electronic Resources
Availability Online Library~1

Testen von Informationssystemen Integriertes und prozessorientiertes Testen

2026-06-11T21:15:35Z

Author Pilorget, Lionel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8348-8677-4
Format: Electronic Resources
Availability Online Library~1

Advanced Methods, Techniques, and Applications in Modeling and Simulation Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings

2026-06-11T21:15:35Z

Author Kim, Jong-Hyun. editor. Lee, Kangsun. editor. Tanaka, Satoshi. editor. Park, Soo-Hyun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-4-431-54216-2
Format: Electronic Resources
Availability Online Library~1

The Soar cognitive architecture

2026-06-11T21:15:35Z

Author Laird, John, 1954-
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267535
Format: Electronic Resources
Availability Online Library~1

Single-case and small-n experimental designs a practical guide to randomization tests

2026-06-11T21:15:35Z

Author Dugard, Pat. File, Portia. Todman, John B. Todman, John B. Single-case and small-n experimental designs.
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Web application security a beginner's guide

2026-06-11T21:15:35Z

Author Sullivan, Bryan, 1974- Liu, Vincent.
Preferred Shelf Number ONLINE
Electronic Access Subscription required
Format: Electronic Resources
Availability Online Library~1

Oracle WebLogic server 11g administration handbook

2026-06-11T21:15:35Z

Author Alapati, Sam R.
Preferred Shelf Number ONLINE
Electronic Access Subscription required
Format: Electronic Resources
Availability Online Library~1

Oracle Hyperion financial management tips & techniques design, implementation & support

2026-06-11T21:15:35Z

Author Fugere, Peter John.
Preferred Shelf Number ONLINE
Electronic Access Subscription required
Format: Electronic Resources
Availability Online Library~1

iPod & iTunes

2026-06-11T21:15:35Z

Author Hart-Davis, Guy.
Preferred Shelf Number ONLINE
Electronic Access Subscription required
Format: Electronic Resources
Availability Online Library~1

Windows 7 for seniors

2026-06-11T21:15:35Z

Author Matthews, Martin S.
Preferred Shelf Number ONLINE
Electronic Access Subscription required
Format: Electronic Resources
Availability Online Library~1

Degunking Windows 7

2026-06-11T21:15:35Z

Author Ballew, Joli.
Preferred Shelf Number ONLINE
Electronic Access Subscription required
Format: Electronic Resources
Availability Online Library~1

iPod touch

2026-06-11T21:15:35Z

Author Hart-Davis, Guy.
Preferred Shelf Number ONLINE
Electronic Access Subscription required
Format: Electronic Resources
Availability Online Library~1

Kindle Fire geekery 50 insanely cool projects for your Amazon tablet

2026-06-11T21:15:35Z

Author Hart-Davis, Guy.
Preferred Shelf Number ONLINE
Electronic Access Subscription required
Format: Electronic Resources
Availability Online Library~1

iPhone geekery 50 insanely cool hacks and mods for your iPhone 4S

2026-06-11T21:15:35Z

Author Hart-Davis, Guy.
Preferred Shelf Number ONLINE
Electronic Access Subscription required
Format: Electronic Resources
Availability Online Library~1

Adobe Acrobat X

2026-06-11T21:15:35Z

Author Sahlin, Doug.
Preferred Shelf Number ONLINE
Electronic Access Subscription required
Format: Electronic Resources
Availability Online Library~1

iPhone & iPod touch

2026-06-11T21:15:35Z

Author Spivey, Dwight.
Preferred Shelf Number ONLINE
Electronic Access Subscription required
Format: Electronic Resources
Availability Online Library~1

Samsung Galaxy Tab

2026-06-11T21:15:35Z

Author Hart-Davis, Guy.
Preferred Shelf Number ONLINE
Electronic Access Subscription required
Format: Electronic Resources
Availability Online Library~1

Microsoft Office PowerPoint 2010

2026-06-11T21:15:35Z

Author Matthews, Carole Boggs.
Preferred Shelf Number ONLINE
Electronic Access Subscription required
Format: Electronic Resources
Availability Online Library~1

iPad geekery 50 insanely cool hacks and mods for your Apple tablet

2026-06-11T21:15:35Z

Author Hart-Davis, Guy.
Preferred Shelf Number ONLINE
Electronic Access Subscription required
Format: Electronic Resources
Availability Online Library~1

IPod, iPhone & iTunes

2026-06-11T21:15:35Z

Author Hart-Davis, Guy.
Preferred Shelf Number ONLINE
Electronic Access Subscription required
Format: Electronic Resources
Availability Online Library~1

Longitudinal data analysis a practical guide for researchers in aging, health, and social sciences

2026-06-11T21:15:35Z

Author Newsom, Jason T. Jones, Richard N. Hofer, Scott M.
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

IBM Cognos Business Intelligence 10 the official guide

2026-06-11T21:15:35Z

Author Volitich, Dan. Ruppert, Gerard.
Preferred Shelf Number ONLINE
Electronic Access Subscription required
Format: Electronic Resources
Availability Online Library~1

Java programming

2026-06-11T21:15:35Z

Author Sarang, P. G. (Poornachandra G.)
Preferred Shelf Number ONLINE
Electronic Access Subscription required
Format: Electronic Resources
Availability Online Library~1

From scientific instrument to industrial machine Coping with architectural stress in embedded systems

2026-06-11T21:15:35Z

Author Doornbos, Richard. editor. van Loo, Sjir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-4147-8
Format: Electronic Resources
Availability Online Library~1

Code Generation with Templates

2026-06-11T21:15:35Z

Author Arnoldus, Jeroen. author. van den Brand, Mark. author. Serebrenik, A. author. Brunekreef, J.J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.2991/978-94-91216-56-5
Format: Electronic Resources
Availability Online Library~1

PowerPoint, Communication, and the Knowledge Society

2026-06-11T21:15:35Z

Author Knoblauch, Hubert.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Computer Science and its Applications CSA 2012

2026-06-11T21:15:35Z

Author Yeo, Sang-Soo. editor. Pan, Yi. editor. Lee, Yang Sun. editor. Chang, Hang Bae. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-5699-1
Format: Electronic Resources
Availability Online Library~1

Reliability and availability of cloud computing

2026-06-11T21:15:35Z

Author Bauer, Eric. Adams, Randee. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6266788
Format: Electronic Resources
Availability Online Library~1

Infographics : the power of visual storytelling

2026-06-11T21:15:35Z

Author Lankow, Jason. Ritchie, Josh. Crooks, Ross.
Preferred Shelf Number P93.5 L34 2012
Format: Books
Availability Beytepe Library~1

Beginning ASP.NET 4.5 in C#

2026-06-11T21:15:35Z

Author MacDonald, Matthew.
Preferred Shelf Number TK5105.8885.A26 M33 2012
Format: Books
Availability Beytepe Library~1

The game localization handbook

2026-06-11T21:15:35Z

Author Chandler, Heather Maxwell. Deming, Stephanie O'Malley.
Preferred Shelf Number QA76.76.C672 C44 2012
Format: Books
Availability Beytepe Library~2

Moderne C++ Programmierung Klassen, Templates, Design Patterns

2026-06-11T21:15:35Z

Author Schneeweiß, Ralf. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21429-5
Format: Electronic Resources
Availability Online Library~1

Approximation Algorithms and Semidefinite Programming

2026-06-11T21:15:35Z

Author Gärtner, Bernd. author. Matousek, Jiri. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22015-9
Format: Electronic Resources
Availability Online Library~1

Agile Modellierung mit UML Codegenerierung, Testfälle, Refactoring

2026-06-11T21:15:35Z

Author Rumpe, Bernhard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22430-0
Format: Electronic Resources
Availability Online Library~1

Automated Solution of Differential Equations by the Finite Element Method The FEniCS Book

2026-06-11T21:15:35Z

Author Logg, Anders. editor. Mardal, Kent-Andre. editor. Wells, Garth. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23099-8
Format: Electronic Resources
Availability Online Library~1

From the Web to the Grid and Beyond Computing Paradigms Driven by High-Energy Physics

2026-06-11T21:15:35Z

Author Brun, René. editor. Carminati, Federico. editor. Galli Carminati, Giuliana. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23157-5
Format: Electronic Resources
Availability Online Library~1

e-Business and Telecommunications 7th International Joint Conference, ICETE 2010, Athens, Greece, July 26-28, 2010, Revised Selected Papers

2026-06-11T21:15:35Z

Author Obaidat, Mohammad S. editor. Tsihrintzis, George A. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25206-8
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers

2026-06-11T21:15:35Z

Author Aichernig, Bernhard K. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25271-6
Format: Electronic Resources
Availability Online Library~1

RFID. Security and Privacy 7th International Workshop, RFIDSec 2011, Amherst, USA, June 26-28, 2011, Revised Selected Papers

2026-06-11T21:15:35Z

Author Juels, Ari. editor. Paar, Christof. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25286-0
Format: Electronic Resources
Availability Online Library~1

Graph Drawing 19th International Symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011, Revised Selected Papers

2026-06-11T21:15:35Z

Author Kreveld, Marc. editor. Speckmann, Bettina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25878-7
Format: Electronic Resources
Availability Online Library~1

Principles and Practice of Multi-Agent Systems 13th International Conference, PRIMA 2010, Kolkata, India, November 12-15, 2010, Revised Selected Papers

2026-06-11T21:15:35Z

Author Desai, Nirmit. editor. Liu, Alan. editor. Winikoff, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25920-3
Format: Electronic Resources
Availability Online Library~1

Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers

2026-06-11T21:15:35Z

Author Kotásek, Zdeněk. editor. Bouda, Jan. editor. Černá, Ivana. editor. Sekanina, Lukáš. editor. Vojnar, Tomáš. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25929-6
Format: Electronic Resources
Availability Online Library~1

Distributed Computing and Networking 13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012. Proceedings

2026-06-11T21:15:35Z

Author Bononi, Luciano. editor. Datta, Ajoy K. editor. Devismes, Stéphane. editor. Misra, Archan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25959-3
Format: Electronic Resources
Availability Online Library~1

Elektrik/Elektronik-Architekturen im Kraftfahrzeug Modellierung und Bewertung von Echtzeitsystemen

2026-06-11T21:15:35Z

Author Streichert, Thilo. author. Traub, Matthias. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25478-9
Format: Electronic Resources
Availability Online Library~1

Runtime Verification Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers

2026-06-11T21:15:35Z

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

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

2026-06-11T21:15:35Z

Author Peffers, Ken. editor. Rothenberger, Marcus. editor. Kuechler, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29863-9
Format: Electronic Resources
Availability Online Library~1

Formal Concept Analysis 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings

2026-06-11T21:15:35Z

Author Domenach, Florent. editor. Ignatov, Dmitry I. editor. Poelmans, Jonas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29892-9
Format: Electronic Resources
Availability Online Library~1

Broadband Communications, Networks, and Systems 7th International ICST Conference, BROADNETS 2010, Athens, Greece, October 25–27, 2010, Revised Selected Papers

2026-06-11T21:15:35Z

Author Tomkos, Ioannis. editor. Bouras, Christos J. editor. Ellinas, Georgios. editor. Demestichas, Panagiotis. editor. Sinha, Prasun. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30376-0
Format: Electronic Resources
Availability Online Library~1

Facing the Multicore - Challenge II Aspects of New Paradigms and Technologies in Parallel Computing

2026-06-11T21:15:35Z

Author Keller, Rainer. editor. Kramer, David. editor. Weiss, Jan-Philipp. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30397-5
Format: Electronic Resources
Availability Online Library~1

Mobile Multimedia Communications 7th International ICST Conference, MOBIMEDIA 2011, Cagliari, Italy, September 5-7, 2011, Revised Selected Papers

2026-06-11T21:15:35Z

Author Atzori, Luigi. editor. Delgado, Jaime. editor. Giusto, Daniele. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30419-4
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Models of Computation 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings

2026-06-11T21:15:35Z

Author Agrawal, Manindra. editor. Cooper, S. Barry. editor. Li, Angsheng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29952-0
Format: Electronic Resources
Availability Online Library~1

Information Security and Privacy Research 27th IFIP TC 11 Information Security and Privacy Conference, SEC 2012, Heraklion, Crete, Greece, June 4-6, 2012. Proceedings

2026-06-11T21:15:35Z

Author Gritzalis, Dimitris. editor. Furnell, Steven. editor. Theoharidou, Marianthi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30436-1
Format: Electronic Resources
Availability Online Library~1

Theory and Practice of Model Transformations 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings

2026-06-11T21:15:35Z

Author Hu, Zhenjiang. editor. Lara, Juan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30476-7
Format: Electronic Resources
Availability Online Library~1

Research in Computational Molecular Biology 16th Annual International Conference, RECOMB 2012, Barcelona, Spain, April 21-24, 2012. Proceedings

2026-06-11T21:15:35Z

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

Objects, Models, Components, Patterns 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings

2026-06-11T21:15:35Z

Author Furia, Carlo A. editor. Nanz, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30561-0
Format: Electronic Resources
Availability Online Library~1

Networked Digital Technologies 4th International Conference, NDT 2012, Dubai, UAE, April 24-26, 2012, Proceedings, Part II

2026-06-11T21:15:35Z

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

Advances in Computer Science, Engineering & Applications Proceedings of the Second International Conference on Computer Science, Engineering and Applications (ICCSEA 2012), May 25-27, 2012, New Delhi, India, Volume 1

2026-06-11T21:15:35Z

Author Wyld, David C. editor. Zizka, Jan. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30157-5
Format: Electronic Resources
Availability Online Library~1

Mobile Wireless Middleware, Operating Systems, and Applications 4th International ICST Conference, Mobilware 2011, London, UK, June 22-24, 2011, Revised Selected Papers

2026-06-11T21:15:35Z

Author Venkatasubramanian, Nalini. editor. Getov, Vladimir. editor. Steglich, Stephan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30607-5
Format: Electronic Resources
Availability Online Library~1

Advances in Knowledge Discovery and Data Mining 16th Pacific-Asia Conference, PAKDD 2012, Kuala Lumpur, Malaysia, May 29-June 1, 2012, Proceedings, Part I

2026-06-11T21:15:35Z

Author Tan, Pang-Ning. editor. Chawla, Sanjay. editor. Ho, Chin Kuan. editor. Bailey, James. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30217-6
Format: Electronic Resources
Availability Online Library~1

Advances in Knowledge Discovery and Data Mining 16th Pacific-Asia Conference, PAKDD 2012, Kuala Lumpur, Malaysia, May 29 – June 1, 2012, Proceedings, Part II

2026-06-11T21:15:35Z

Author Tan, Pang-Ning. editor. Chawla, Sanjay. editor. Ho, Chin Kuan. editor. Bailey, James. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30220-6
Format: Electronic Resources
Availability Online Library~1

Computer Science – Theory and Applications 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings

2026-06-11T21:15:35Z

Author Hirsch, Edward A. editor. Karhumäki, Juhani. editor. Lepistö, Arto. editor. Prilutskii, Michail. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30642-6
Format: Electronic Resources
Availability Online Library~1

Computational Topology in Image Context 4th International Workshop, CTIC 2012, Bertinoro, Italy, May 28-30, 2012. Proceedings

2026-06-11T21:15:35Z

Author Ferri, Massimo. editor. Frosini, Patrizio. editor. Landi, Claudia. editor. Cerri, Andrea. editor. Fabio, Barbara. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30238-1
Format: Electronic Resources
Availability Online Library~1

A Primer on Scientific Programming with Python

2026-06-11T21:15:35Z

Author Langtangen, Hans Petter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30293-0
Format: Electronic Resources
Availability Online Library~1

Advanced Information Systems Engineering 24th International Conference, CAiSE 2012, Gdansk, Poland, June 25-29, 2012. Proceedings

2026-06-11T21:15:35Z

Author Ralyté, Jolita. editor. Franch, Xavier. editor. Brinkkemper, Sjaak. editor. Wrycza, Stanislaw. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31095-9
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks – ISNN 2012 9th International Symposium on Neural Networks, Shenyang, China, July 11-14, 2012. Proceedings, Part I

2026-06-11T21:15:35Z

Author Wang, Jun. editor. Yen, Gary G. editor. Polycarpou, Marios M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31346-2
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks – ISNN 2012 9th International Symposium on Neural Networks, Shenyang, China, July 11-14, 2012. Proceedings, Part II

2026-06-11T21:15:35Z

Author Wang, Jun. editor. Yen, Gary G. editor. Polycarpou, Marios M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31362-2
Format: Electronic Resources
Availability Online Library~1

Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings

2026-06-11T21:15:35Z

Author Gramlich, Bernhard. editor. Miller, Dale. editor. Sattler, Uli. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31365-3
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition 4th Mexican Conference, MCPR 2012, Huatulco, Mexico, June 27-30, 2012. Proceedings

2026-06-11T21:15:35Z

Author Carrasco-Ochoa, Jesús Ariel. editor. Martínez-Trinidad, José Francisco. editor. Olvera López, José Arturo. editor. Boyer, Kim L. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31149-9
Format: Electronic Resources
Availability Online Library~1

Algorithm Theory – SWAT 2012 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012. Proceedings

2026-06-11T21:15:35Z

Author Fomin, Fedor V. editor. Kaski, Petteri. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31155-0
Format: Electronic Resources
Availability Online Library~1

Parallel Processing and Applied Mathematics 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part I

2026-06-11T21:15:35Z

Author Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Karczewski, Konrad. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31464-3
Format: Electronic Resources
Availability Online Library~1

Tools for High Performance Computing 2011 Proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden

2026-06-11T21:15:35Z

Author Brunst, Holger. editor. Müller, Matthias S. editor. Nagel, Wolfgang E. editor. Resch, Michael M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31476-6
Format: Electronic Resources
Availability Online Library~1

Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes

2026-06-11T21:15:35Z

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

Modelling Foundations and Applications 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings

2026-06-11T21:15:35Z

Author Vallecillo, Antonio. editor. Tolvanen, Juha-Pekka. editor. Kindler, Ekkart. editor. Störrle, Harald. editor. Kolovos, Dimitris. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31491-9
Format: Electronic Resources
Availability Online Library~1

Progress in VLSI Design and Test 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings

2026-06-11T21:15:35Z

Author Rahaman, Hafizur. editor. Chattopadhyay, Sanatan. editor. Chattopadhyay, Santanu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31494-0
Format: Electronic Resources
Availability Online Library~1

Parallel Processing and Applied Mathematics 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part II

2026-06-11T21:15:35Z

Author Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Karczewski, Konrad. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31500-8
Format: Electronic Resources
Availability Online Library~1

Computer Networks 19th International Conference, CN 2012, Szczyrk, Poland, June 19-23, 2012. Proceedings

2026-06-11T21:15:35Z

Author Kwiecień, Andrzej. editor. Gaj, Piotr. editor. Stera, Piotr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31217-5
Format: Electronic Resources
Availability Online Library~1

The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics

2026-06-11T21:15:35Z

Author Moot, Richard. author. Retoré, Christian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31555-8
Format: Electronic Resources
Availability Online Library~1

Intelligent Computing Theories and Applications 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012. Proceedings

2026-06-11T21:15:35Z

Author Huang, De-Shuang. editor. Ma, Jianhua. editor. Jo, Kang-Hyun. editor. Gromiha, M. Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31576-3
Format: Electronic Resources
Availability Online Library~1

Image Analysis and Recognition 9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings, Part II

2026-06-11T21:15:35Z

Author Campilho, Aurélio. editor. Kamel, Mohamed. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31298-4
Format: Electronic Resources
Availability Online Library~1

Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II

2026-06-11T21:15:35Z

Author Czumaj, Artur. editor. Mehlhorn, Kurt. editor. Pitts, Andrew. editor. Wattenhofer, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31585-5
Format: Electronic Resources
Availability Online Library~1

Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I

2026-06-11T21:15:35Z

Author Czumaj, Artur. editor. Mehlhorn, Kurt. editor. Pitts, Andrew. editor. Wattenhofer, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31594-7
Format: Electronic Resources
Availability Online Library~1

Implementation and Application of Automata 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings

2026-06-11T21:15:35Z

Author Moreira, Nelma. editor. Reis, Rogério. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31606-7
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing – SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings

2026-06-11T21:15:35Z

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

Ad-hoc, Mobile, and Wireless Networks 11th International Conference, ADHOC-NOW 2012, Belgrade, Serbia, July 9-11, 2012. Proceedings

2026-06-11T21:15:35Z

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

Arithmetic of Finite Fields 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012. Proceedings

2026-06-11T21:15:35Z

Author Özbudak, Ferruh. editor. Rodríguez-Henríquez, Francisco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31662-3
Format: Electronic Resources
Availability Online Library~1

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

2026-06-11T21:15:35Z

Author Camenisch, Jan. editor. Crispo, Bruno. editor. Fischer-Hübner, Simone. editor. Leenes, Ronald. editor. Russello, Giovanni. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31668-5
Format: Electronic Resources
Availability Online Library~1

Privacy Enhancing Technologies 12th International Symposium, PETS 2012, Vigo, Spain, July 11-13, 2012. Proceedings

2026-06-11T21:15:35Z

Author Fischer-Hübner, Simone. editor. Wright, Matthew. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31680-7
Format: Electronic Resources
Availability Online Library~1

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

2026-06-11T21:15:35Z

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

Combinatorial Optimization and Applications 6th International Conference, COCOA 2012, Banff, AB, Canada, August 5-9, 2012. Proceedings

2026-06-11T21:15:35Z

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

Emerging Intelligent Computing Technology and Applications 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012. Proceedings

2026-06-11T21:15:35Z

Author Huang, De-Shuang. editor. Gupta, Phalguni. editor. Zhang, Xiang. editor. Premaratne, Prashan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31837-5
Format: Electronic Resources
Availability Online Library~1

Generic and Indexed Programming International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures

2026-06-11T21:15:35Z

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

DNA Computing and Molecular Programming 18th International Conference, DNA 18, Aarhus, Denmark, August 14-17, 2012. Proceedings

2026-06-11T21:15:35Z

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

Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers

2026-06-11T21:15:35Z

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

Computing and Combinatorics 18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012. Proceedings

2026-06-11T21:15:35Z

Author Gudmundsson, Joachim. editor. Mestre, Julián. editor. Viglas, Taso. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32241-9
Format: Electronic Resources
Availability Online Library~1

Programming Multi-Agent Systems 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers

2026-06-11T21:15:35Z

Author Dennis, Louise. editor. Boissier, Olivier. editor. Bordini, Rafael H. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31915-0
Format: Electronic Resources
Availability Online Library~1

Advances in Bioinformatics and Computational Biology 7th Brazilian Symposium on Bioinformatics, BSB 2012, Campo Grande, Brazil, August 15-17, 2012. Proceedings

2026-06-11T21:15:35Z

Author Souto, Marcilio C. editor. Kann, Maricel G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31927-3
Format: Electronic Resources
Availability Online Library~1

Rules on the Web: Research and Applications 6th International Symposium, RuleML 2012, Montpellier, France, August 27-29, 2012. Proceedings

2026-06-11T21:15:35Z

Author Bikakis, Antonis. editor. Giurca, Adrian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32689-9
Format: Electronic Resources
Availability Online Library~1

Convergence and Hybrid Information Technology 6th International Conference, ICHIT 2012, Daejeon, Korea, August 23-25, 2012. Proceedings

2026-06-11T21:15:35Z

Author Lee, Geuk. editor. Howard, Daniel. editor. Ślęzak, Dominik. editor. Hong, You Sik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32692-9
Format: Electronic Resources
Availability Online Library~1

Bio-Inspired Models of Networks, Information, and Computing Systems 6th International ICST Conference, BIONETICS 2011, York, UK, December 5-6, 2011, Revised Selected Papers

2026-06-11T21:15:35Z

Author Hart, Emma. editor. Timmis, Jon. editor. Mitchell, Paul. editor. Nakamo, Takadash. editor. Dabiri, Foad. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32711-7
Format: Electronic Resources
Availability Online Library~1

PRIMA 2012: Principles and Practice of Multi-Agent Systems 15th International Conference, Kuching, Sarawak, Malaysia, September 3-7, 2012. Proceedings

2026-06-11T21:15:35Z

Author Rahwan, Iyad. editor. Wobcke, Wayne. editor. Sen, Sandip. editor. Sugawara, Toshiharu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32729-2
Format: Electronic Resources
Availability Online Library~1

E-Voting and Identity Third International Conference, VoteID 2011, Tallinn, Estonia, September 28-30, 2011, Revised Selected Papers

2026-06-11T21:15:35Z

Author Kiayias, Aggelos. editor. Lipmaa, Helger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32747-6
Format: Electronic Resources
Availability Online Library~1

FM 2012: Formal Methods 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

2026-06-11T21:15:35Z

Author Giannakopoulou, Dimitra. editor. Méry, Dominique. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32759-9
Format: Electronic Resources
Availability Online Library~1

VLSI-SoC: Advanced Research for Systems on Chip 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers

2026-06-11T21:15:35Z

Author Mir, Salvador. editor. Tsui, Chi-Ying. editor. Reis, Ricardo. editor. Choy, Oliver C. S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32770-4
Format: Electronic Resources
Availability Online Library~1

Collaborative Networks in the Internet of Services 13th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2012, Bournemouth, UK, October 1-3, 2012. Proceedings

2026-06-11T21:15:35Z

Author Camarinha-Matos, Luis M. editor. Xu, Lai. editor. Afsarmanesh, Hamideh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32775-9
Format: Electronic Resources
Availability Online Library~1

Information and Communication Technologies 18th EUNICE/ IFIP WG 6.2, 6.6 International Conference, EUNICE 2012, Budapest, Hungary, August 29-31, 2012. Proceedings

2026-06-11T21:15:35Z

Author Szabó, Róbert. editor. Vidács, Attila. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32808-4
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2012 Parallel Processing 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings

2026-06-11T21:15:35Z

Author Kaklamanis, Christos. editor. Papatheodorou, Theodore. editor. Spirakis, Paul G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32820-6
Format: Electronic Resources
Availability Online Library~1

Convergence and Hybrid Information Technology 6th International Conference, ICHIT 2012, Daejeon, Korea, August 23-25, 2012. Proceedings

2026-06-11T21:15:35Z

Author Lee, Geuk. editor. Howard, Daniel. editor. Kang, Jeong Jin. editor. Ślęzak, Dominik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32645-5
Format: Electronic Resources
Availability Online Library~1

Uncertainty Quantification in Scientific Computing 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011, Revised Selected Papers

2026-06-11T21:15:35Z

Author Dienstfrey, Andrew M. editor. Boisvert, Ronald F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32677-6
Format: Electronic Resources
Availability Online Library~1

Datalog in Academia and Industry Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings

2026-06-11T21:15:35Z

Author Barceló, Pablo. editor. Pichler, Reinhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32925-8
Format: Electronic Resources
Availability Online Library~1

Parallel Problem Solving from Nature - PPSN XII 12th International Conference, Taormina, Italy, September 1-5, 2012, Proceedings, Part I

2026-06-11T21:15:35Z

Author Coello, Carlos A. Coello. editor. Cutello, Vincenzo. editor. Deb, Kalyanmoy. editor. Forrest, Stephanie. editor. Nicosia, Giuseppe. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32937-1
Format: Electronic Resources
Availability Online Library~1

CONCUR 2012 – Concurrency Theory 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings

2026-06-11T21:15:35Z

Author Koutny, Maciej. editor. Ulidowski, Irek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32940-1
Format: Electronic Resources
Availability Online Library~1

Theoretical Aspects of Computing – ICTAC 2012 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings

2026-06-11T21:15:35Z

Author Roychoudhury, Abhik. editor. D’Souza, Meenakshi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32943-2
Format: Electronic Resources
Availability Online Library~1

Parallel Problem Solving from Nature - PPSN XII 12th International Conference, Taormina, Italy, September 1-5, 2012, Proceedings, Part II

2026-06-11T21:15:35Z

Author Coello, Carlos A. Coello. editor. Cutello, Vincenzo. editor. Deb, Kalyanmoy. editor. Forrest, Stephanie. editor. Nicosia, Giuseppe. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32964-7
Format: Electronic Resources
Availability Online Library~1

Computer Algebra in Scientific Computing 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012. Proceedings

2026-06-11T21:15:35Z

Author Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32973-9
Format: Electronic Resources
Availability Online Library~1

Geographic Information Science 7th International Conference, GIScience 2012, Columbus, OH, USA, September 18-21, 2012. Proceedings

2026-06-11T21:15:35Z

Author Xiao, Ningchuan. editor. Kwan, Mei-Po. editor. Goodchild, Michael F. editor. Shekhar, Shashi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33024-7
Format: Electronic Resources
Availability Online Library~1

Cryptographic Hardware and Embedded Systems – CHES 2012 14th International Workshop, Leuven, Belgium, September 9-12, 2012. Proceedings

2026-06-11T21:15:35Z

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

Algorithms and Architectures for Parallel Processing 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part II

2026-06-11T21:15:35Z

Author Xiang, Yang. editor. Stojmenovic, Ivan. editor. Apduhan, Bernady O. editor. Wang, Guojun. editor. Nakano, Koji. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33065-0
Format: Electronic Resources
Availability Online Library~1

Enterprise Interoperability 4th International IFIP Working Conference, IWEI 2012, Harbin, China, September 6-7, 2012. Proceedings

2026-06-11T21:15:35Z

Author Sinderen, Marten. editor. Johnson, Pontus. editor. Xu, Xiaofei. editor. Doumeingts, Guy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33068-1
Format: Electronic Resources
Availability Online Library~1

Algorithms and Architectures for Parallel Processing 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part I

2026-06-11T21:15:35Z

Author Xiang, Yang. editor. Stojmenovic, Ivan. editor. Apduhan, Bernady O. editor. Wang, Guojun. editor. Nakano, Koji. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33078-0
Format: Electronic Resources
Availability Online Library~1

Algorithms – ESA 2012 20th Annual European Symposium, Ljubljana, Slovenia, September 10-12, 2012. Proceedings

2026-06-11T21:15:35Z

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

From Animals to Animats 12 12th International Conference on Simulation of Adaptive Behavior, SAB 2012, Odense, Denmark, August 27-30, 2012. Proceedings

2026-06-11T21:15:35Z

Author Ziemke, Tom. editor. Balkenius, Christian. editor. Hallam, John. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33093-3
Format: Electronic Resources
Availability Online Library~1

Algorithms in Bioinformatics 12th International Workshop, WABI 2012, Ljubljana, Slovenia, September 10-12, 2012. Proceedings

2026-06-11T21:15:35Z

Author Raphael, Ben. editor. Tang, Jijun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33122-0
Format: Electronic Resources
Availability Online Library~1

Static Analysis 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

2026-06-11T21:15:35Z

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

Advanced Concepts for Intelligent Vision Systems 14th International Conference, ACIVS 2012, Brno, Czech Republic, September 4-7, 2012. Proceedings

2026-06-11T21:15:35Z

Author Blanc-Talon, Jacques. editor. Philips, Wilfried. editor. Popescu, Dan. editor. Scheunders, Paul. editor. Zemčík, Pavel. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33140-4
Format: Electronic Resources
Availability Online Library~1

Computer Security – ESORICS 2012 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings

2026-06-11T21:15:35Z

Author Foresti, Sara. editor. Yung, Moti. editor. Martinelli, Fabio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33167-1
Format: Electronic Resources
Availability Online Library~1

Programming Languages 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings

2026-06-11T21:15:35Z

Author Carvalho Junior, Francisco Heron. editor. Barbosa, Luis Soares. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33182-4
Format: Electronic Resources
Availability Online Library~1

Web Reasoning and Rule Systems 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings

2026-06-11T21:15:35Z

Author Krötzsch, Markus. editor. Straccia, Umberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33203-6
Format: Electronic Resources
Availability Online Library~1

Computer Information Systems and Industrial Management 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings

2026-06-11T21:15:35Z

Author Cortesi, Agostino. editor. Chaki, Nabendu. editor. Saeed, Khalid. editor. Wierzchoń, Sławomir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33260-9
Format: Electronic Resources
Availability Online Library~1

Artificial Neural Networks and Machine Learning – ICANN 2012 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part II

2026-06-11T21:15:35Z

Author Villa, Alessandro E. editor. Duch, Włodzisław. editor. Érdi, Péter. editor. Masulli, Francesco. editor. Palm, Günther. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33266-1
Format: Electronic Resources
Availability Online Library~1

Artificial Neural Networks and Machine Learning – ICANN 2012 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part I

2026-06-11T21:15:35Z

Author Villa, Alessandro E. P. editor. Duch, Włodzisław. editor. Érdi, Péter. editor. Masulli, Francesco. editor. Palm, Günther. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33269-2
Format: Electronic Resources
Availability Online Library~1

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 17th Iberoamerican Congress, CIARP 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

2026-06-11T21:15:35Z

Author Alvarez, Luis. editor. Mejail, Marta. editor. Gomez, Luis. editor. Jacobo, Julio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33275-3
Format: Electronic Resources
Availability Online Library~1

Parameterized and Exact Computation 7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012. Proceedings

2026-06-11T21:15:35Z

Author Thilikos, Dimitrios M. editor. Woeginger, Gerhard J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33293-7
Format: Electronic Resources
Availability Online Library~1

Formal Methods: Foundations and Applications 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

2026-06-11T21:15:35Z

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

Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings

2026-06-11T21:15:35Z

Author Kahl, Wolfram. editor. Griffin, Timothy G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33314-9
Format: Electronic Resources
Availability Online Library~1

Cellular Automata 10th International Conference on Cellular Automata for Research and Industry, ACRI 2012, Santorini Island, Greece, September 24-27, 2012. Proceedings

2026-06-11T21:15:35Z

Author Sirakoulis, Georgios Ch. editor. Bandini, Stefania. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33350-7
Format: Electronic Resources
Availability Online Library~1