Search Results for Software

1.

Software project management

Author

Hughes, Bob. Cotterell, Mike.

Preferred Shelf Number

QA76.76 H84 2009

Format:

Availability

Beytepe Library~1

Available:
Copies:

2.

Geomorphometry concepts, software, applications

Author

Hengl, Tomislav. Reuter, Hannes I.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780123743459

Format:

Availability

Online Library~1

Available:
Copies:

3.

Software-Entwicklung für Echtzeitsysteme

Author

Benra, Juliane T. editor. Halang, Wolfgang A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-01596-0

Format:

Availability

Online Library~1

Available:
Copies:

4.

Enterprise-scale agile software development

Author

Schiel, James.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

5.

Handbook of software engineering & knowledge engineering

Author

Chang, Shi Kuo, 1944- ed.

Preferred Shelf Number

QA 76.758 H36 2001- V.2

Format:

Availability

Beytepe Library~1

Available:
Copies:

6.

Guide to Graphics Software Tools

Author

Chen, Jim X. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84800-901-1

Format:

Availability

Online Library~1

Available:
Copies:

7.

Artificial Life Models in Software

Author

Komosinski, Maciej. editor. Adamatzky, Andrew. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84882-285-6

Format:

Availability

Online Library~1

Available:
Copies:

8.

Abnahme komplexer Software-Systeme Das Praxishandbuch

Author

Osterhage, Wolfgang. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-68230-1

Format:

Availability

Online Library~1

Available:
Copies:

9.

Optimierungssysteme Modelle, Verfahren, Software, Anwendungen

Author

Mellouli, Taieb. author. Suhl, Leena. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-01580-9

Format:

Availability

Online Library~1

Available:
Copies:

10.

Managing and leading software projects

Author

Fairley, R. E. (Richard E.), 1937- IEEE Computer Society.

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore An electronic book accessible through the World Wide Web; click for information

Format:

Availability

Online Library~1

Available:
Copies:

11.

Hardware-dependent Software Principles and Practice

Author

Ecker, Wolfgang. editor. Müller, Wolfgang. editor. Dömer, Rainer. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-9436-1

Format:

Availability

Online Library~1

Available:
Copies:

12.

Embedded Software Development with C

Author

Qian, Kai. author. Den Haring, David. author. Cao, Li. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-0606-9

Format:

Availability

Online Library~1

Available:
Copies:

13.

Software Engineering for Self-Adaptive Systems

Author

Cheng, Betty H. C. editor. Lemos, Rogério. editor. Giese, Holger. editor. Inverardi, Paola. editor. Magee, Jeff. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02161-9

Format:

Availability

Online Library~1

Available:
Copies:

14.

Systems and software engineering with applications

Author

Schneidewind, Norman.

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5769539
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5769539

Format:

Availability

Online Library~1

Available:
Copies:

15.

Software performance and scalability a quantitative approach

Author

Liu, Henry H. Wiley InterScience (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

Books24x7 http://www.books24x7.com/marc.asp?bookid=33731
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=448916
John Wiley http://dx.doi.org/10.1002/9780470465394
Safari Books Online http://proquest.safaribooksonline.com/?fpi=9780470462539
MyiLibrary, Table of contents http://www.myilibrary.com?id=223744&ref=toc

Format:

Availability

Online Library~1

Available:
Copies:

16.

Software-Architektur kompakt – angemessen und zielorientiert

Author

Starke, Gernot. author. Hruschka, Peter. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-8274-2205-7

Format:

Availability

Online Library~1

Available:
Copies:

17.

Software-Architektur Grundlagen — Konzepte — Praxis

Author

Vogel, Oliver. author. Arnold, Ingo. author. Chughtai, Arif. author. Ihler, Edmund. author. Kehrer, Timo. author.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-8274-2267-5

Format:

Availability

Online Library~1

Available:
Copies:

18.

Expressive processing digital fictions, computer games, and software studies

Author

Wardrip-Fruin, Noah.

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267550

Format:

Availability

Online Library~1

Available:
Copies:

19.

An Approach to Modelling Software Evolution Processes

Author

Li, Tong. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-79464-6

Format:

Availability

Online Library~1

Available:
Copies:

20.

Experience and Knowledge Management in Software Engineering

Author

Schneider, Kurt. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-95880-2

Format:

Availability

Online Library~1

Available:
Copies:

21.

Transactions on Aspect-Oriented Software Development V

Author

Rashid, Awais. editor. Ossher, Harold. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02059-9

Format:

Availability

Online Library~1

Available:
Copies:

22.

Software Architecture Knowledge Management Theory and Practice

Author

Ali Babar, Muhammad. editor. Dingsøyr, Torgeir. editor. Lago, Patricia. editor. van Vliet, Hans. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02374-3

Format:

Availability

Online Library~1

Available:
Copies:

23.

Software Engineering Research, Management and Applications 2009

Author

Lee, Roger. editor. Ishii, Naohiro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-05441-9

Format:

Availability

Online Library~1

Available:
Copies:

24.

Essential software testing a use-case approach

Author

Fournier, Greg.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

25.

MIS cases : decision making with application software

Author

Miller, M. Lisa.

Preferred Shelf Number

HD30.23 M55 2009

Format:

Availability

Beytepe Library~1

Available:
Copies:

26.

Software error detection through testing and analysis

Author

Huang, J. C., 1935-

Preferred Shelf Number

ONLINE

Electronic Access

Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=456102
John Wiley http://dx.doi.org/10.1002/9780470464076
MyiLibrary, Table of contents http://www.myilibrary.com?id=227967&ref=toc
http://site.ebrary.com/lib/alltitles/Doc?id=10332960
http://swb.eblib.com/patron/FullRecord.aspx?p=456102

Format:

Availability

Online Library~1

Available:
Copies:

27.

Directory of library automation software, systems, and services.

Author

Cibbarelli, Pamela R., ed. Information Today, Inc.

Preferred Shelf Number

Z678.9.A3 D6

Format:

Availability

Beytepe Library~1

Available:
Copies:

28.

Human-Centered Software Engineering Software Engineering Models, Patterns and Architectures for HCI

Author

Seffah, Ahmed. editor. Vanderdonckt, Jean. editor. Desmarais, Michel C. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84800-907-3

Format:

Availability

Online Library~1

Available:
Copies:

29.

Ada for Software Engineers (Second Edition with Ada 2005)

Author

Ben-Ari, Mordechai. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84882-314-3

Format:

Availability

Online Library~1

Available:
Copies:

30.

Informatik in der Medizintechnik Grundlagen — Software — Computergestützte Systeme

Author

Zauner, Martin. author. Schrempf, Andreas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-211-89189-6

Format:

Availability

Online Library~1

Available:
Copies:

31.

Cover image for Moderne Eignungsbeurteilung mit der DIN 33430 Mit einer Software zur computergestützten Konformitätsprüfung und einem Originalabdruck der DIN 33430

Moderne Eignungsbeurteilung mit der DIN 33430 Mit einer Software zur computergestützten Konformitätsprüfung und einem Originalabdruck der DIN 33430

Author

Reimann, Gerd. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-531-91829-7

Format:

Availability

Online Library~1

Available:
Copies:

32.

Cover image for Software and Data Technologies Second International Conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22-25, 2007, Revised Selected Papers

Software and Data Technologies Second International Conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22-25, 2007, Revised Selected Papers

Author

Filipe, Joaquim. editor. Shishkov, Boris. editor. Helfert, Markus. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-88655-6

Format:

Availability

Online Library~1

Available:
Copies:

33.

Software Engineering International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures

Author

Lucia, Andrea. editor. Ferrucci, Filomena. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-95888-8

Format:

Availability

Online Library~1

Available:
Copies:

34.

The Rubato Composer Music Software Component-Based Implementation of a Functorial Concept Architecture

Author

Milmeister, Gérard. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-00148-2

Format:

Availability

Online Library~1

Available:
Copies:

35.

Cover image for Engineering Secure Software and Systems First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings

Engineering Secure Software and Systems First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings

Author

Massacci, Fabio. editor. Redwine, Samuel T. editor. Zannone, Nicola. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-00199-4

Format:

Availability

Online Library~1

Available:
Copies:

36.

Cover image for Software Language Engineering First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers

Software Language Engineering First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers

Author

Gašević, Dragan. editor. Lämmel, Ralf. editor. Wyk, Eric. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-00434-6

Format:

Availability

Online Library~1

Available:
Copies:

37.

Cover image for Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Author

Moor, Oege. editor. Schwartzbach, Michael I. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-00722-4

Format:

Availability

Online Library~1

Available:
Copies:

38.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Author

Kowalewski, Stefan. editor. Philippou, Anna. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-00768-2

Format:

Availability

Online Library~1

Available:
Copies:

39.

Ocean Modelling for Beginners Using Open-Source Software

Author

Kämpf, Jochen. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-00820-7

Format:

Availability

Online Library~1

Available:
Copies:

40.

Cover image for Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Author

Castagna, Giuseppe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-00590-9

Format:

Availability

Online Library~1

Available:
Copies:

41.

Cover image for Fundamental Approaches to Software Engineering 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Fundamental Approaches to Software Engineering 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Author

Chechik, Marsha. editor. Wirsing, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-00593-0

Format:

Availability

Online Library~1

Available:
Copies:

42.

Cover image for Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Author

Alfaro, Luca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-00596-1

Format:

Availability

Online Library~1

Available:
Copies:

43.

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

Author

Lee, Roger. editor. Ishii, Naohiro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-01203-7

Format:

Availability

Online Library~1

Available:
Copies:

44.

Cover image for Models in Software Engineering Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers

Models in Software Engineering Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers

Author

Chaudron, Michel R. V. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-01648-6

Format:

Availability

Online Library~1

Available:
Copies:

45.

Cover image for Requirements Engineering: Foundation for Software Quality 15th International Working Conference, REFSQ 2009 Amsterdam, The Netherlands, June 8-9, 2009 Proceedings

Requirements Engineering: Foundation for Software Quality 15th International Working Conference, REFSQ 2009 Amsterdam, The Netherlands, June 8-9, 2009 Proceedings

Author

Glinz, Martin. editor. Heymans, Patrick. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02050-6

Format:

Availability

Online Library~1

Available:
Copies:

46.

Cover image for Agile Processes in Software Engineering and Extreme Programming 10th International Conference, XP 2009, Pula, Sardinia, Italy, May 25-29, 2009. Proceedings

Agile Processes in Software Engineering and Extreme Programming 10th International Conference, XP 2009, Pula, Sardinia, Italy, May 25-29, 2009. Proceedings

Author

Abrahamsson, Pekka. editor. Marchesi, Michele. editor. Maurer, Frank. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-01853-4

Format:

Availability

Online Library~1

Available:
Copies:

47.

Cover image for Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

Author

Bernardo, Marco. editor. Padovani, Luca. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-01918-0

Format:

Availability

Online Library~1

Available:
Copies:

48.

Cover image for Reliable Software Technologies – Ada-Europe 2009 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings

Reliable Software Technologies – Ada-Europe 2009 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings

Author

Kordon, Fabrice. editor. Kermarrec, Yvon. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-01924-1

Format:

Availability

Online Library~1

Available:
Copies:

49.

Cover image for Architectures for Adaptive Software Systems 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

Architectures for Adaptive Software Systems 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

Author

Mirandola, Raffaela. editor. Gorton, Ian. editor. Hofmeister, Christine. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02351-4

Format:

Availability

Online Library~1

Available:
Copies:

50.

Cover image for Component-Based Software Engineering 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

Component-Based Software Engineering 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

Author

Lewis, Grace A. editor. Poernomo, Iman. editor. Hofmeister, Christine. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02414-6

Format:

Availability

Online Library~1

Available:
Copies:

51.

Software Process Improvement 16th European Conference, EuroSPI 2009, Alcala (Madrid), Spain, September 2-4, 2009. Proceedings

Author

O’Connor, Rory V. editor. Baddoo, Nathan. editor. Cuadrago Gallego, Juan. editor. Rejas Muslera, Ricardo. editor. Smolander, Kari. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-04133-4

Format:

Availability

Online Library~1

Available:
Copies:

52.

Cover image for Advances in Software Engineering International Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers

Advances in Software Engineering International Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers

Author

Kim, Tai-hoon. editor. Fang, Wai-Chi. editor. Lee, Changhoon. editor. Arnett, Kirk P. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-10242-4

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for Software Technologies for Embedded and Ubiquitous Systems 7th IFIP WG 10.2 International Workshop, SEUS 2009 Newport Beach, CA, USA, November 16-18, 2009 Proceedings

Software Technologies for Embedded and Ubiquitous Systems 7th IFIP WG 10.2 International Workshop, SEUS 2009 Newport Beach, CA, USA, November 16-18, 2009 Proceedings

Author

Lee, Sunggu. editor. Narasimhan, Priya. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-10265-3

Format:

Availability

Online Library~1

Available:
Copies:

54.

Cover image for Formal Methods and Software Engineering 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings

Formal Methods and Software Engineering 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings

Author

Breitman, Karin. editor. Cavalcanti, Ana. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-10373-5

Format:

Availability

Online Library~1

Available:
Copies:

55.

Cover image for Advances in Software Engineering International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings

Advances in Software Engineering International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings

Author

Ślęzak, Dominik. editor. Kim, Tai-hoon. editor. Kiumi, Akingbehin. editor. Jiang, Tao. editor. Verner, June. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-10619-4

Format:

Availability

Online Library~1

Available:
Copies:

56.

RF and digital signal processing for software-defined radio a multi-standard multi-mode approach

Author

Rouphael, Tony J.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780750682107

Format:

Availability

Online Library~1

Available:
Copies:

57.

Hardware Software Co-Design of a Multimedia SOC Platform

Author

Chen, Sao-Jie. author. Lin, Guang-Huei. author. Hsiung, Pao-Ann. author. Hu, Yu-Hen. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-9623-5

Format:

Availability

Online Library~1

Available:
Copies:

58.

Green Software Defined Radios Enabling seamless connectivity while saving on hardware and energy

Author

Perre, Liesbet Van der. author. Craninckx, Jan. author. Dejonghe, Antoine. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-8212-2

Format:

Availability

Online Library~1

Available:
Copies:

59.

Cover image for Adoption-centric Usability Engineering Systematic Deployment, Assessment and Improvement of Usability Methods in Software Engineering

Adoption-centric Usability Engineering Systematic Deployment, Assessment and Improvement of Usability Methods in Software Engineering

Author

Seffah, Ahmed. editor. Metzker, Eduard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84800-019-3

Format:

Availability

Online Library~1

Available:
Copies:

60.

Software Verification and Analysis An Integrated, Hands-On Approach

Author

Stanley, William. author. Laski, Janusz. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84882-240-5

Format:

Availability

Online Library~1

Available:
Copies:

61.

Advanced Imaging in Biology and Medicine Technology, Software Environments, Applications

Author

Sensen, Christoph W. editor. Hallgrímsson, Benedikt. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-68993-5

Format:

Availability

Online Library~1

Available:
Copies:

62.

Software Product Management and Pricing Key Success Factors for Software Organizations

Author

Kittlaus, Hans-Bernd. author. Clough, Peter N. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-76987-3

Format:

Availability

Online Library~1

Available:
Copies:

63.

Cover image for Software Engineering Approaches for Offshore and Outsourced Development Second International Conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008. Revised Papers

Software Engineering Approaches for Offshore and Outsourced Development Second International Conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008. Revised Papers

Author

Berkling, Kay. editor. Joseph, Mathai. editor. Meyer, Bertrand. editor. Nordio, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-01856-5

Format:

Availability

Online Library~1

Available:
Copies:

64.

Cover image for Product-Focused Software Process Improvement 10th International Conference, PROFES 2009, Oulu, Finland, June 15-17, 2009. Proceedings

Product-Focused Software Process Improvement 10th International Conference, PROFES 2009, Oulu, Finland, June 15-17, 2009. Proceedings

Author

Bomarius, Frank. editor. Oivo, Markku. editor. Jaring, Päivi. editor. Abrahamsson, Pekka. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02152-7

Format:

Availability

Online Library~1

Available:
Copies:

65.

Cover image for Software Engineering Approaches for Offshore and Outsourced Development Third International Conference, SEAFOOD 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings

Software Engineering Approaches for Offshore and Outsourced Development Third International Conference, SEAFOOD 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings

Author

Gotel, Olly. editor. Joseph, Mathai. editor. Meyer, Bertrand. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02987-5

Format:

Availability

Online Library~1

Available:
Copies:

66.

Cover image for Language Engineering and Rigorous Software Development International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures

Language Engineering and Rigorous Software Development International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures

Author

Bove, Ana. editor. Barbosa, Luís Soares. editor. Pardo, Alberto. editor. Pinto, Jorge Sousa. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-03153-3

Format:

Availability

Online Library~1

Available:
Copies:

67.

Cover image for Software-intensive verteilte Echtzeitsysteme Fachtagung des GI/GMA-Fachausschusses Echtzeitsysteme (real-time) Boppard, 19. und 20. November 2009

Software-intensive verteilte Echtzeitsysteme Fachtagung des GI/GMA-Fachausschusses Echtzeitsysteme (real-time) Boppard, 19. und 20. November 2009

Author

Halang, Wolfgang A. editor. Holleczek, Peter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-04783-1

Format:

Availability

Online Library~1

Available:
Copies:

68.

Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Author

Abrial, Jean-Raymond. editor. Glässer, Uwe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-11447-2

Format:

Availability

Online Library~1

Available:
Copies:

69.

Vertical Software Industry Evolution Analysis of Telecom Operator Software

Author

Tyrväinen, Pasi. editor. Mazhelis, Oleksiy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-7908-2352-3

Format:

Availability

Online Library~1

Available:
Copies:

70.

Grundkurs Software-Engineering mit UML Der pragmatische Weg zu erfolgreichen Softwareprojekten

Author

Kleuker, Stephan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-8348-9235-5

Format:

Availability

Online Library~1

Available:
Copies:

71.

Energy efficient hardware-software co-synthesis using reconfigurable hardware

Author

Ou, Jingzhao. Prasanna Kumar, V. K.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

72.

Architecting software intensive systems a practitioner's guide

Author

Lattanze, Anthony J.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

73.

Machine learning for spatial environmental data theory, applications and software

Author

Kanevski, Mikhail. Pozdnoukhov, Alexei. Timonin, Vadim.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

74.

The fabric of mobile services software paradigms and business demands

Author

Loeb, Shoshana. Falchuk, Benjamin. Panagos, Euthimios. Wiley InterScience (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

John Wiley http://dx.doi.org/10.1002/9780470478240
http://site.ebrary.com/lib/alltitles/Doc?id=10332947
Books24x7 http://www.books24x7.com/marc.asp?bookid=33732

Format:

Availability

Online Library~1

Available:
Copies:

75.

Requirements engineering : from system goals to UML models to software specifications

Author

Lamsweerde, A. van (Axel)

Preferred Shelf Number

QA76.758 L28 2009

Format:

Availability

Beytepe Library~1

Available:
Copies:

76.

Cover image for Beyindeki beyaz cevher lezyonlarının otomatik belirlenmesi için bir yazılımın tasarım ve gerçekleştirimi = Design and implementation of a software for automatic detection of white matter lesions in brain

Beyindeki beyaz cevher lezyonlarının otomatik belirlenmesi için bir yazılımın tasarım ve gerçekleştirimi = Design and implementation of a software for automatic detection of white matter lesions in brain

Author

Keçeli, Ali Seydi.

Preferred Shelf Number

TEZ/8996 .K43 2009

Format:

Availability

Beytepe Library~1

Available:
Copies:

77.

Computer organization and design : the hardware/software interface

Author

Hennessy, John L. Patterson, David A., ort. yaz.

Preferred Shelf Number

QA76.9.C643 H46 2009

Format:

Availability

Beytepe Library~2

Available:
Copies:

78.

RF and digital signal processing for software-defined radio : a multi-standard multi-mode approach

Author

Rouphael, Tony J.

Preferred Shelf Number

TK5103.4875 R68 2009

Format:

Availability

Beytepe Library~1

Available:
Copies:

79.

Cover image for Agent-Oriented Software Engineering IX 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 Revised Selected Papers

Agent-Oriented Software Engineering IX 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 Revised Selected Papers

Author

Luck, Michael. editor. Gomez-Sanz, Jorge J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-01338-6

Format:

Availability

Online Library~1

Available:
Copies:

80.

Cover image for Trustworthy Software Development Processes International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings

Trustworthy Software Development Processes International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings

Author

Wang, Qing. editor. Garousi, Vahid. editor. Madachy, Raymond. editor. Pfahl, Dietmar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-01680-6

Format:

Availability

Online Library~1

Available:
Copies:

81.

Cover image for Hardware and Software: Verification and Testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings

Hardware and Software: Verification and Testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings

Author

Chockler, Hana. editor. Hu, Alan J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-01702-5

Format:

Availability

Online Library~1

Available:
Copies:

82.

Model Checking Software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings

Author

Păsăreanu, Corina S. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02652-2

Format:

Availability

Online Library~1

Available:
Copies:

83.

Software Composition 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings

Author

Bergel, Alexandre. editor. Fabry, Johan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02655-3

Format:

Availability

Online Library~1

Available:
Copies:

84.

Fast Software Encryption 16th International Workshop, FSE 2009 Leuven, Belgium, February 22-25, 2009 Revised Selected Papers

Author

Dunkelman, Orr. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-03317-9

Format:

Availability

Online Library~1

Available:
Copies:

85.

Transactions on Aspect-Oriented Software Development VI Special Issue on Aspects and Model-Driven Engineering

Author

Katz, Shmuel. editor. Ossher, Harold. editor. France, Robert. editor. Jézéquel, Jean-Marc. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-03764-1

Format:

Availability

Online Library~1

Available:
Copies:

86.

Cover image for Formal Foundations of Reuse and Domain Engineering 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings

Formal Foundations of Reuse and Domain Engineering 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings

Author

Edwards, Stephen H. editor. Kulczycki, Gregory. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-04211-9

Format:

Availability

Online Library~1

Available:
Copies:

87.

Cover image for Software Services for e-Business and e-Society 9th IFIP WG 6.1 Conference on e-Business, e-Services and e-Society, I3E 2009, Nancy, France, September 23-25, 2009. Proceedings

Software Services for e-Business and e-Society 9th IFIP WG 6.1 Conference on e-Business, e-Services and e-Society, I3E 2009, Nancy, France, September 23-25, 2009. Proceedings

Author

Godart, Claude. editor. Gronau, Norbert. editor. Sharma, Sushil. editor. Canals, Gérôme. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-04280-5

Format:

Availability

Online Library~1

Available:
Copies:

88.

Cover image for Software and Data Technologies Third International Conference, ICSOFT 2008, Porto, Portugal, July 22-24, 2008, Revised Selected Papers

Software and Data Technologies Third International Conference, ICSOFT 2008, Porto, Portugal, July 22-24, 2008, Revised Selected Papers

Author

Cordeiro, José. editor. Shishkov, Boris. editor. Ranchordas, AlpeshKumar. editor. Helfert, Markus. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-05201-9

Format:

Availability

Online Library~1

Available:
Copies:

89.

Cover image for Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings

Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings

Author

Núñez, Manuel. editor. Baker, Paul. editor. Merayo, Mercedes G. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-05031-2

Format:

Availability

Online Library~1

Available:
Copies:

90.

Cover image for Software Process and Product Measurement International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. Proceedings

Software Process and Product Measurement International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. Proceedings

Author

Abran, Alain. editor. Braungarten, René. editor. Dumke, Reiner R. editor. Cuadrado-Gallego, Juan J. editor. Brunekreef, Jacob. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-05415-0

Format:

Availability

Online Library~1

Available:
Copies:

91.

Software-Qualität Testen, Analysieren und Verifizieren von Software

Author

Liggesmeyer, Peter. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-8274-2203-3

Format:

Availability

Online Library~1

Available:
Copies:

92.

Modelling systems : practical tools and techniques in software development

Author

Fitzgerald, John, 1965- author. Larsen, P. G. (Peter Gorm), 1964- author.

Preferred Shelf Number

QA76.76 .D47 F59 2009

Electronic Access

https://doi.org/10.1017/CBO9780511626975

Format:

Availability

Online Library~1

Available:
Copies:

93.

The C programming language

Author

Kernighan, Brian W. Ritchie, Dennis M.

Preferred Shelf Number

QA76.73.C15 K47 2009

Format:

Availability

Beytepe Library~1

Available:
Copies:

94.

Advanced Agent-Based Environmental Management Systems

Author

Cortés, Ulises. editor. Poch, Manel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-7643-8900-0

Format:

Availability

Online Library~1

Available:
Copies:

95.

Windows 7 just the steps for dummies

Author

Muir, Nancy, 1954-

Preferred Shelf Number

ONLINE

Electronic Access

Click for information on Adobe Digital Editions version
Click for information on Adobe Digital Editions version
Click for information on Mobipocket Reader version
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Image http://images.contentreserve.com/ImageType-100/0128-1/{1865C98C-939A-45E6-AC30-F500574831A6}Img100.jpg

Format:

Availability

Online Library~1

Available:
Copies:

96.

PowerBuilder : PowerScript reference, version 6.

Preferred Shelf Number

QA 76.76.A65 P871 1991-97 V.2

Format:

Availability

Beytepe Library~1

Available:
Copies:

97.

Modern regression techniques using R : a practical guide for students and researchers

Author

Wright, Daniel B. London, Kamala.

Preferred Shelf Number

QA278.2 W735 2009

Format:

Availability

Beytepe Library~1

Available:
Copies:

98.

Design of cost-efficient interconnect processing units Spidergon STNoC

Author

Coppola, Marcello.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

99.

Data flow analysis theory and practice

Author

Khedker, Uday. Sanyal, Amitabha. Karkare, Bageshri.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

100.

Multi-agent systems simulation and applications

Author

Uhrmacher, Adelinde. Weyns, Danny.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

101.

Scheduling for Parallel Processing

Author

Drozdowski, Maciej. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84882-310-5

Format:

Availability

Online Library~1

Available:
Copies:

102.

A Concise and Practical Introduction to Programming Algorithms in Java

Author

Nielsen, Frank. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84882-339-6

Format:

Availability

Online Library~1

Available:
Copies:

103.

Cover image for Safety-Critical Systems: Problems, Process and Practice Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, 3–5 February 2009

Safety-Critical Systems: Problems, Process and Practice Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, 3–5 February 2009

Author

Dale, Chris. editor. Anderson, Tom. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84882-349-5

Format:

Availability

Online Library~1

Available:
Copies:

104.

New Trends on Human–Computer Interaction Research, Development, New Tools and Methods

Author

Macías, José A. editor. Granollers Saltiveri, Antoni. editor. Latorre, Pedro M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84882-352-5

Format:

Availability

Online Library~1

Available:
Copies:

105.

Geometric Algebra: An Algebraic System for Computer Games and Animation

Author

Vince, John. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84882-379-2

Format:

Availability

Online Library~1

Available:
Copies:

106.

Maple Règles et fonctions essentielles

Author

Puech, Nicolas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-2-287-48607-4

Format:

Availability

Online Library~1

Available:
Copies:

107.

Sichere Systeme Konzepte, Architekturen und Frameworks

Author

Schmitz, Roland. author. Kriha, Walter. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-78959-8

Format:

Availability

Online Library~1

Available:
Copies:

108.

Algorithmic Adventures From Knowledge to Magic

Author

Hromkovic, Juraj. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-85986-4

Format:

Availability

Online Library~1

Available:
Copies:

109.

Cover image for Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis AAMAS 2007 Workshop, AMEC 2007, Honolulu, Hawaii, May 14, 2007, and AAAI 2007 Workshop, TADA 2007, Vancouver, Canada, July 23, 2007, Selected and Revised Papers

Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis AAMAS 2007 Workshop, AMEC 2007, Honolulu, Hawaii, May 14, 2007, and AAAI 2007 Workshop, TADA 2007, Vancouver, Canada, July 23, 2007, Selected and Revised Papers

Author

Collins, John. editor. Faratin, Peyman. editor. Parsons, Simon. editor. Rodriguez-Aguilar, Juan A. editor. Sadeh, Norman M. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-88713-3

Format:

Availability

Online Library~1

Available:
Copies:

110.

Logic and Its Applications Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings

Author

Ramanujam, R. editor. Sarukkai, Sundar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-92701-3

Format:

Availability

Online Library~1

Available:
Copies:

111.

Cover image for Design Requirements Engineering: A Ten-Year Perspective Design Requirements Workshop, Cleveland, OH, USA, June 3-6, 2007, Revised and Invited Papers

Design Requirements Engineering: A Ten-Year Perspective Design Requirements Workshop, Cleveland, OH, USA, June 3-6, 2007, Revised and Invited Papers

Author

Lyytinen, Kalle. editor. Loucopoulos, Pericles. editor. Mylopoulos, John. editor. Robinson, Bill. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-92966-6

Format:

Availability

Online Library~1

Available:
Copies:

112.

Cover image for Verification, Model Checking, and Abstract Interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings

Verification, Model Checking, and Abstract Interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings

Author

Jones, Neil D. editor. Müller-Olm, Markus. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-93900-9

Format:

Availability

Online Library~1

Available:
Copies:

113.

Cover image for Declarative Agent Languages and Technologies VI 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers

Declarative Agent Languages and Technologies VI 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers

Author

Baldoni, Matteo. editor. Son, Tran Cao. editor. Riemsdijk, M. Birna. editor. Winikoff, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-93920-7

Format:

Availability

Online Library~1

Available:
Copies:

114.

Algorithms and Models for the Web-Graph 6th International Workshop, WAW 2009, Barcelona, Spain, February 12-13, 2009. Proceedings

Author

Avrachenkov, Konstantin. editor. Donato, Debora. editor. Litvak, Nelly. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-95995-3

Format:

Availability

Online Library~1

Available:
Copies:

115.

Cover image for Information Systems, Technology and Management Third International Conference, ICISTM 2009, Ghaziabad, India, March 12-13, 2009. Proceedings

Information Systems, Technology and Management Third International Conference, ICISTM 2009, Ghaziabad, India, March 12-13, 2009. Proceedings

Author

Prasad, Sushil K. editor. Routray, Susmi. editor. Khurana, Reema. editor. Sahni, Sartaj. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-00405-6

Format:

Availability

Online Library~1

Available:
Copies:

116.

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

Author

Pipek, Volkmar. editor. Rosson, Mary Beth. editor. Ruyter, Boris. editor. Wulf, Volker. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-00427-8

Format:

Availability

Online Library~1

Available:
Copies:

117.

Cover image for Model Checking and Artificial Intelligence 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers

Model Checking and Artificial Intelligence 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers

Author

Peled, Doron A. editor. Wooldridge, Michael J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-00431-5

Format:

Availability

Online Library~1

Available:
Copies:

118.

Human Machine Interaction Research Results of the MMI Program

Author

Lalanne, Denis. editor. Kohlas, Jürg. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-00437-7

Format:

Availability

Online Library~1

Available:
Copies:

119.

Cover image for Architecture of Computing Systems – ARCS 2009 22nd International Conference, Delft, The Netherlands, March 10-13, 2009. Proceedings

Architecture of Computing Systems – ARCS 2009 22nd International Conference, Delft, The Netherlands, March 10-13, 2009. Proceedings

Author

Berekovic, Mladen. editor. Müller-Schloer, Christian. editor. Hochberger, Christian. editor. Wong, Stephan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-00454-4

Format:

Availability

Online Library~1

Available:
Copies:

120.

Cover image for SPS-Programmierung mit IEC 61131-3 Konzepte und Programmiersprachen, Anforderungen an Programmiersysteme, Entscheidungshilfen

SPS-Programmierung mit IEC 61131-3 Konzepte und Programmiersprachen, Anforderungen an Programmiersysteme, Entscheidungshilfen

Author

Tiegelkamp, Michael. author. John, Karl Heinz. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-00269-4

Format:

Availability

Online Library~1

Available:
Copies:

121.

Coloured Petri Nets Modelling and Validation of Concurrent Systems

Author

Jensen, Kurt. author. Kristensen, Lars M. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b95112

Format:

Availability

Online Library~1

Available:
Copies:

122.

Cover image for Information Security Applications 9th International Workshop, WISA 2008, Jeju Island, Korea, September 23-25, 2008, Revised Selected Papers

Information Security Applications 9th International Workshop, WISA 2008, Jeju Island, Korea, September 23-25, 2008, Revised Selected Papers

Author

Chung, Kyo-Il. editor. Sohn, Kiwook. editor. Yung, Moti. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-00306-6

Format:

Availability

Online Library~1

Available:
Copies:

123.

Cover image for Information Security and Cryptology – ICISC 2008 11th International Conference, Seoul, Korea, December 3-5, 2008, Revised Selected Papers

Information Security and Cryptology – ICISC 2008 11th International Conference, Seoul, Korea, December 3-5, 2008, Revised Selected Papers

Author

Lee, Pil Joong. editor. Cheon, Jung Hee. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-00730-9

Format:

Availability

Online Library~1

Available:
Copies:

124.

Business Process Management Workshops BPM 2008 International Workshops, Milano, Italy, September 1-4, 2008. Revised Papers

Author

Ardagna, Danilo. editor. Mecella, Massimo. editor. Yang, Jian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-00328-8

Format:

Availability

Online Library~1

Available:
Copies:

125.

Cover image for Network Control and Optimization Second Euro-NF Workshop, NET-COOP 2008 Paris, France, September 8-10, 2008. Revised Selected Papers

Network Control and Optimization Second Euro-NF Workshop, NET-COOP 2008 Paris, France, September 8-10, 2008. Revised Selected Papers

Author

Altman, Eitan. editor. Chaintreau, Augustin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-00393-6

Format:

Availability

Online Library~1

Available:
Copies:

126.

Cover image for Topics in Cryptology – CT-RSA 2009 The Cryptographers’ Track at the RSA Conference 2009, San Francisco, CA, USA, April 20-24, 2009. Proceedings

Topics in Cryptology – CT-RSA 2009 The Cryptographers’ Track at the RSA Conference 2009, San Francisco, CA, USA, April 20-24, 2009. Proceedings

Author

Fischlin, Marc. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-00862-7

Format:

Availability

Online Library~1

Available:
Copies:

127.

Methods, Models and Tools for Fault Tolerance

Author

Butler, Michael. editor. Jones, Cliff. editor. Romanovsky, Alexander. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-00867-2

Format:

Availability

Online Library~1

Available:
Copies:

128.

Cover image for Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systems

Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systems

Author

Jensen, Kurt. editor. Aalst, Wil M. P. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-00899-3

Format:

Availability

Online Library~1

Available:
Copies:

129.

Trustworthy Global Computing 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers

Author

Kaklamanis, Christos. editor. Nielson, Flemming. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-00945-7

Format:

Availability

Online Library~1

Available:
Copies:

130.

Cover image for Euro-Par 2008 Workshops - Parallel Processing VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008, Revised Selected Papers

Euro-Par 2008 Workshops - Parallel Processing VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008, Revised Selected Papers

Author

César, Eduardo. editor. Alexander, Michael. editor. Streit, Achim. editor. Träff, Jesper Larsson. editor. Cérin, Christophe. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-00955-6

Format:

Availability

Online Library~1

Available:
Copies:

131.

Cover image for Active and Programmable Networks IFIP TC6 7th International Working Conference, IWAN 2005, Sophia Antipolis, France, November 21-23, 2005. Revised Papers

Active and Programmable Networks IFIP TC6 7th International Working Conference, IWAN 2005, Sophia Antipolis, France, November 21-23, 2005. Revised Papers

Author

Hutchison, David. editor. Denazis, Spyros. editor. Lefevre, Laurent. editor. Minden, Gary J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-00972-3

Format:

Availability

Online Library~1

Available:
Copies:

132.

Trusted Computing Second International Conference, Trust 2009, Oxford, UK, April 6-8, 2009, Proceedings.

Author

Chen, Liqun. editor. Mitchell, Chris J. editor. Martin, Andrew. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-00587-9

Format:

Availability

Online Library~1

Available:
Copies:

133.

Cover image for Independent Component Analysis and Signal Separation 8th International Conference, ICA 2009, Paraty, Brazil, March 15-18, 2009. Proceedings

Independent Component Analysis and Signal Separation 8th International Conference, ICA 2009, Paraty, Brazil, March 15-18, 2009. Proceedings

Author

Adali, Tülay. editor. Jutten, Christian. editor. Romano, João Marcos Travassos. editor. Barros, Allan Kardec. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-00599-2

Format:

Availability

Online Library~1

Available:
Copies:

134.

Cover image for Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings

Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings

Author

Majumdar, Rupak. editor. Tabuada, Paulo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-00602-9

Format:

Availability

Online Library~1

Available:
Copies:

135.

Cover image for Advances in Cryptology - EUROCRYPT 2009 28th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cologne, Germany, April 26-30, 2009. Proceedings

Advances in Cryptology - EUROCRYPT 2009 28th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cologne, Germany, April 26-30, 2009. Proceedings

Author

Joux, Antoine. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-01001-9

Format:

Availability

Online Library~1

Available:
Copies:

136.

Transactions on Computational Science IV Special Issue on Security in Computing

Author

Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Moreno, Edward David. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-01004-0

Format:

Availability

Online Library~1

Available:
Copies:

137.

Cover image for Evolutionary Computation in Combinatorial Optimization 9th European Conference, EvoCOP 2009, Tübingen, Germany, April 15-17, 2009. Proceedings

Evolutionary Computation in Combinatorial Optimization 9th European Conference, EvoCOP 2009, Tübingen, Germany, April 15-17, 2009. Proceedings

Author

Cotta, Carlos. editor. Cowling, Peter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-01009-5

Format:

Availability

Online Library~1

Available:
Copies:

138.

Evolutionary Multi-Criterion Optimization 5th International Conference, EMO 2009, Nantes, France, April 7-10, 2009. Proceedings

Author

Ehrgott, Matthias. editor. Fonseca, Carlos M. editor. Gandibleux, Xavier. editor. Hao, Jin-Kao. editor. Sevaux, Marc. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-01020-0

Format:

Availability

Online Library~1

Available:
Copies:

139.

Cover image for Information Systems: Modeling, Development, and Integration Third International United Information Systems Conference, UNISCON 2009, Sydney, Australia, April 21-24, 2009. Proceedings

Information Systems: Modeling, Development, and Integration Third International United Information Systems Conference, UNISCON 2009, Sydney, Australia, April 21-24, 2009. Proceedings

Author

Yang, Jianhua. editor. Ginige, Athula. editor. Mayr, Heinrich C. editor. Kutsche, Ralf-D. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-01112-2

Format:

Availability

Online Library~1

Available:
Copies:

140.

Genetic Programming 12th European Conference, EuroGP 2009 Tübingen, Germany, April 15-17, 2009 Proceedings

Author

Vanneschi, Leonardo. editor. Gustafson, Steven. editor. Moraglio, Alberto. editor. Falco, Ivanoe. editor. Ebner, Marc. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-01181-8

Format:

Availability

Online Library~1

Available:
Copies:

141.

Cover image for Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics 7th European Conference, EvoBIO 2009 Tübingen, Germany, April 15-17, 2009 Proceedings

Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics 7th European Conference, EvoBIO 2009 Tübingen, Germany, April 15-17, 2009 Proceedings

Author

Pizzuti, Clara. editor. Ritchie, Marylyn D. editor. Giacobini, Mario. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-01184-9

Format:

Availability

Online Library~1

Available:
Copies:

142.

Cover image for Service-Oriented Computing – ICSOC 2008 Workshops ICSOC 2008 International Workshops, Sydney, Australia, December 1st, 2008, Revised Selected Papers

Service-Oriented Computing – ICSOC 2008 Workshops ICSOC 2008 International Workshops, Sydney, Australia, December 1st, 2008, Revised Selected Papers

Author

Feuerlicht, George. editor. Lamersdorf, Winfried. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-01247-1

Format:

Availability

Online Library~1

Available:
Copies:

143.

Enterprise Architecture at Work Modelling, Communication and Analysis

Author

Lankhorst, Marc. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-01310-2

Format:

Availability

Online Library~1

Available:
Copies:

144.

Web Services and Formal Methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers

Author

Bruni, Roberto. editor. Wolf, Karsten. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-01364-5

Format:

Availability

Online Library~1

Available:
Copies:

145.

Computational Science – ICCS 2009 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part I

Author

Allen, Gabrielle. editor. Nabrzyski, Jarosław. editor. Seidel, Edward. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-01970-8

Format:

Availability

Online Library~1

Available:
Copies:

146.

Computational Science – ICCS 2009 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part II

Author

Allen, Gabrielle. editor. Nabrzyski, Jarosław. editor. Seidel, Edward. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-01973-9

Format:

Availability

Online Library~1

Available:
Copies:

147.

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

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

Author

Bonnin, Jean-Marie. editor. Giannelli, Carlo. editor. Magedanz, Thomas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-01802-2

Format:

Availability

Online Library~1

Available:
Copies:

148.

Object-Oriented Technology. ECOOP 2008 Workshop Reader ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports

Author

Eugster, Patrick. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02047-6

Format:

Availability

Online Library~1

Available:
Copies:

149.

Cover image for Coordination Models and Languages 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings

Coordination Models and Languages 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings

Author

Liszt, Franz, 1811-1886 editor. Vasconcelos, Vasco T. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02053-7

Format:

Availability

Online Library~1

Available:
Copies:

150.

Cover image for Advances in Enterprise Engineering II First NAF Academy Working Conference on Practice-Driven Research on Enterprise Transformation, PRET 2009, held at CAiSE 2009, Amsterdam, The Netherlands, June 11, 2009. Proceedings

Advances in Enterprise Engineering II First NAF Academy Working Conference on Practice-Driven Research on Enterprise Transformation, PRET 2009, held at CAiSE 2009, Amsterdam, The Netherlands, June 11, 2009. Proceedings

Author

Proper, Erik. editor. Harmsen, Frank. editor. Dietz, Jan L. G. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-01859-6

Format:

Availability

Online Library~1

Available:
Copies:

151.

Cover image for Enterprise, Business-Process and Information Systems Modeling 10th International Workshop, BPMDS 2009, and 14th International Conference, EMMSAD 2009, held at CAiSE 2009, Amsterdam, The Netherlands, June 8-9, 2009. Proceedings

Enterprise, Business-Process and Information Systems Modeling 10th International Workshop, BPMDS 2009, and 14th International Conference, EMMSAD 2009, held at CAiSE 2009, Amsterdam, The Netherlands, June 8-9, 2009. Proceedings

Author

Halpin, Terry. editor. Krogstie, John. editor. Nurcan, Selmin. editor. Proper, Erik. editor. Schmidt, Rainer. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-01862-6

Format:

Availability

Online Library~1

Available:
Copies:

152.

Modular Ontologies Concepts, Theories and Techniques for Knowledge Modularization

Author

Stuckenschmidt, Heiner. editor. Parent, Christine. editor. Spaccapietra, Stefano. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-01907-4

Format:

Availability

Online Library~1

Available:
Copies:

153.

Cover image for Advances in Enterprise Engineering III 5th International Workshop, CIAO! 2009, and 5th International Workshop, EOMAS 2009, held at CAiSE 2009, Amsterdam, The Netherlands, June 8-9, 2009. Proceedings

Advances in Enterprise Engineering III 5th International Workshop, CIAO! 2009, and 5th International Workshop, EOMAS 2009, held at CAiSE 2009, Amsterdam, The Netherlands, June 8-9, 2009. Proceedings

Author

Albani, Antonia. editor. Barjis, Joseph. editor. Dietz, Jan L. G. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-01915-9

Format:

Availability

Online Library~1

Available:
Copies:

154.

Cover image for Agent Computing and Multi-Agent Systems 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers

Agent Computing and Multi-Agent Systems 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers

Author

Ghose, Aditya. editor. Governatori, Guido. editor. Sadananda, Ramakoti. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-01639-4

Format:

Availability

Online Library~1

Available:
Copies:

155.

Cover image for Cutting-Edge Research Topics on Multiple Criteria Decision Making 20th International Conference, MCDM 2009, Chengdu/Jiuzhaigou, China, June 21-26, 2009. Proceedings

Cutting-Edge Research Topics on Multiple Criteria Decision Making 20th International Conference, MCDM 2009, Chengdu/Jiuzhaigou, China, June 21-26, 2009. Proceedings

Author

Shi, Yong. editor. Wang, Shouyang. editor. Peng, Yi. editor. Li, Jianping. editor. Zeng, Yong. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02298-2

Format:

Availability

Online Library~1

Available:
Copies:

156.

Hybrid Artificial Intelligence Systems 4th International Conference, HAIS 2009, Salamanca, Spain, June 10-12, 2009. Proceedings

Author

Corchado, Emilio. editor. Wu, Xindong. editor. Oja, Erkki. editor. Herrero, Álvaro. editor. Baruque, Bruno. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02319-4

Format:

Availability

Online Library~1

Available:
Copies:

157.

Computer Vision and Graphics International Conference, ICCVG 2008 Warsaw, Poland, November 10-12, 2008 Revised Papers

Author

Bolc, Leonard. editor. Kulikowski, Juliusz L. editor. Wojciechowski, Konrad. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02345-3

Format:

Availability

Online Library~1

Available:
Copies:

158.

Cover image for Organized Adaption in Multi-Agent Systems First International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008. Revised and Invited Papers

Organized Adaption in Multi-Agent Systems First International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008. Revised and Invited Papers

Author

Vouros, George. editor. Artikis, Alexander. editor. Stathis, Kostas. editor. Pitt, Jeremy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02377-4

Format:

Availability

Online Library~1

Available:
Copies:

159.

Cover image for Progress in Cryptology – AFRICACRYPT 2009 Second International Conference on Cryptology in Africa, Gammarth, Tunisia, June 21-25, 2009. Proceedings

Progress in Cryptology – AFRICACRYPT 2009 Second International Conference on Cryptology in Africa, Gammarth, Tunisia, June 21-25, 2009. Proceedings

Author

Preneel, Bart. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02384-2

Format:

Availability

Online Library~1

Available:
Copies:

160.

Cover image for Information Systems – Creativity and Innovation in Small and Medium-Sized Enterprises IFIP WG 8.2 International Conference, CreativeSME 2009, Guimarães, Portugal, June 21-24, 2009. Proceedings

Information Systems – Creativity and Innovation in Small and Medium-Sized Enterprises IFIP WG 8.2 International Conference, CreativeSME 2009, Guimarães, Portugal, June 21-24, 2009. Proceedings

Author

Dhillon, Gurpreet. editor. Stahl, Bernd Carsten. editor. Baskerville, Richard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02388-0

Format:

Availability

Online Library~1

Available:
Copies:

161.

Advances in Self-Organizing Maps 7th International Workshop, WSOM 2009, St. Augustine, FL, USA, June 8-10, 2009. Proceedings

Author

Príncipe, José C. editor. Miikkulainen, Risto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02397-2

Format:

Availability

Online Library~1

Available:
Copies:

162.

Cover image for Theory and Practice of Model Transformations Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings

Theory and Practice of Model Transformations Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings

Author

Paige, Richard F. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02408-5

Format:

Availability

Online Library~1

Available:
Copies:

163.

Applications and Theory of Petri Nets 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings

Author

Franceschinis, Giuliana. editor. Wolf, Karsten. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02424-5

Format:

Availability

Online Library~1

Available:
Copies:

164.

Combinatorial Pattern Matching 20th Annual Symposium, CPM 2009 Lille, France, June 22-24, 2009 Proceedings

Author

Kucherov, Gregory. editor. Ukkonen, Esko. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02441-2

Format:

Availability

Online Library~1

Available:
Copies:

165.

Cover image for Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part I

Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part I

Author

Gervasi, Osvaldo. editor. Taniar, David. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Mun, Youngsong. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02454-2

Format:

Availability

Online Library~1

Available:
Copies:

166.

Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part II

Author

Gervasi, Osvaldo. editor. Taniar, David. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Mun, Youngsong. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02457-3

Format:

Availability

Online Library~1

Available:
Copies:

167.

Conceptual Modeling: Foundations and Applications Essays in Honor of John Mylopoulos

Author

Borgida, Alexander T. editor. Chaudhri, Vinay K. editor. Giorgini, Paolo. editor. Yu, Eric S. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02463-4

Format:

Availability

Online Library~1

Available:
Copies:

168.

Future Multimedia Networking Second International Workshop, FMN 2009, Coimbra, Portugal, June 22-23, 2009. Proceedings

Author

Mauthe, Andreas. editor. Zeadally, Sherali. editor. Cerqueira, Eduardo. editor. Curado, Marília. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02472-6

Format:

Availability

Online Library~1

Available:
Copies:

169.

A Primer on Scientific Programming with Python

Author

Langtangen, Hans Petter. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02475-7

Format:

Availability

Online Library~1

Available:
Copies:

170.

Cover image for Advances in Neuro-Information Processing 15th International Conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008, Revised Selected Papers, Part I

Advances in Neuro-Information Processing 15th International Conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008, Revised Selected Papers, Part I

Author

Köppen, Mario. editor. Kasabov, Nikola. editor. Coghill, George. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02490-0

Format:

Availability

Online Library~1

Available:
Copies:

171.

Cover image for Computational Intelligence Methods for Bioinformatics and Biostatistics 5th International Meeting, CIBB 2008 Vietri sul Mare, Italy, October 3-4, 2008 Revised Selected Papers

Computational Intelligence Methods for Bioinformatics and Biostatistics 5th International Meeting, CIBB 2008 Vietri sul Mare, Italy, October 3-4, 2008 Revised Selected Papers

Author

Masulli, Francesco. editor. Tagliaferri, Roberto. editor. Verkhivker, Gennady M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02504-4

Format:

Availability

Online Library~1

Available:
Copies:

172.

Cover image for Computer Music Modeling and Retrieval. Genesis of Meaning in Sound and Music 5th International Symposium, CMMR 2008 Copenhagen, Denmark, May 19-23, 2008 Revised Papers

Computer Music Modeling and Retrieval. Genesis of Meaning in Sound and Music 5th International Symposium, CMMR 2008 Copenhagen, Denmark, May 19-23, 2008 Revised Papers

Author

Ystad, Sølvi. editor. Kronland-Martinet, Richard. editor. Jensen, Kristoffer. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02518-1

Format:

Availability

Online Library~1

Available:
Copies:

173.

Cover image for Human Interface and the Management of Information. Designing Information Environments Symposium on Human Interface 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Procceedings, Part I

Human Interface and the Management of Information. Designing Information Environments Symposium on Human Interface 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Procceedings, Part I

Author

Smith, Michael J. editor. Salvendy, Gavriel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02556-3

Format:

Availability

Online Library~1

Available:
Copies:

174.

Cover image for Human Interface and the Management of Information. Information and Interaction Symposium on Human Interface 2009, Held as part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part II

Human Interface and the Management of Information. Information and Interaction Symposium on Human Interface 2009, Held as part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part II

Author

Salvendy, Gavriel. editor. Smith, Michael J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02559-4

Format:

Availability

Online Library~1

Available:
Copies:

175.

Cover image for Engineering Societies in the Agents World IX 9th International Workshop, ESAW 2008, Saint-Etienne, France, September 24-26, 2008, Revised Selected Papers

Engineering Societies in the Agents World IX 9th International Workshop, ESAW 2008, Saint-Etienne, France, September 24-26, 2008, Revised Selected Papers

Author

Artikis, Alexander. editor. Picard, Gauthier. editor. Vercouter, Laurent. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02562-4

Format:

Availability

Online Library~1

Available:
Copies:

176.

Anticipatory Behavior in Adaptive Learning Systems From Psychological Theories to Artificial Cognitive Systems

Author

Pezzulo, Giovanni. editor. Butz, Martin V. editor. Sigaud, Olivier. editor. Baldassarre, Gianluca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02565-5

Format:

Availability

Online Library~1

Available:
Copies:

177.

Cover image for Objects, Components, Models and Patterns 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009. Proceedings

Objects, Components, Models and Patterns 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009. Proceedings

Author

Oriol, Manuel. editor. Meyer, Bertrand. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02571-6

Format:

Availability

Online Library~1

Available:
Copies:

178.

Fundamentals of Computation Theory 17th International Symposium, FCT 2009, Wrocław, Poland, September 2-4, 2009. Proceedings

Author

Kutyłowski, Mirosław. editor. Charatonik, Witold. editor. Gębala, Maciej. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-03409-1

Format:

Availability

Online Library~1

Available:
Copies:

179.

Cover image for Wireless Algorithms, Systems, and Applications 4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009. Proceedings

Wireless Algorithms, Systems, and Applications 4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009. Proceedings

Author

Liu, Benyuan. editor. Bestavros, Azer. editor. Du, Ding-Zhu. editor. Wang, Jie. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-03417-6

Format:

Availability

Online Library~1

Available:
Copies:

180.

Efficient Algorithms Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday

Author

Albers, Susanne. editor. Alt, Helmut. editor. Näher, Stefan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-03456-5

Format:

Availability

Online Library~1

Available:
Copies:

181.

Cover image for Foundations and Applications of Security Analysis Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers

Foundations and Applications of Security Analysis Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers

Author

Degano, Pierpaolo. editor. Viganò, Luca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-03459-6

Format:

Availability

Online Library~1

Available:
Copies:

182.

Cover image for Theoretical Aspects of Computing - ICTAC 2009 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings

Theoretical Aspects of Computing - ICTAC 2009 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings

Author

Leucker, Martin. editor. Morgan, Carroll. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-03466-4

Format:

Availability

Online Library~1

Available:
Copies:

183.

Contemporary Computing Second International Conference, IC3 2009, Noida, India, August 17-19, 2009. Proceedings

Author

Ranka, Sanjay. editor. Aluru, Srinivas. editor. Buyya, Rajkumar. editor. Chung, Yeh-Ching. editor. Dua, Sumeet. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-03547-0

Format:

Availability

Online Library~1

Available:
Copies:

184.

Cover image for Financial Cryptography and Data Security 13th International Conference, FC 2009, Accra Beach, Barbados, February 23-26, 2009. Revised Selected Papers

Financial Cryptography and Data Security 13th International Conference, FC 2009, Accra Beach, Barbados, February 23-26, 2009. Revised Selected Papers

Author

Dingledine, Roger. editor. Golle, Philippe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-03549-4

Format:

Availability

Online Library~1

Available:
Copies:

185.

Cover image for Critical Information Infrastructure Security Third International Workshop, CRITIS 2008, Rome, Italy, October13-15, 2008. Revised Papers

Critical Information Infrastructure Security Third International Workshop, CRITIS 2008, Rome, Italy, October13-15, 2008. Revised Papers

Author

Setola, Roberto. editor. Geretshuber, Stefan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-03552-4

Format:

Availability

Online Library~1

Available:
Copies:

186.

Database and XML Technologies 6th International XML Database Symposium, XSym 2009, Lyon, France, August 24, 2009. Proceedings

Author

Bellahsène, Zohra. editor. Hunt, Ela. editor. Rys, Michael. editor. Unland, Rainer. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-03555-5

Format:

Availability

Online Library~1

Available:
Copies:

187.

Algebraic Informatics Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings

Author

Bozapalidis, Symeon. editor. Rahonis, George. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-03564-7

Format:

Availability

Online Library~1

Available:
Copies:

188.

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

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

Author

Hesselman, Cristian. editor. Giannelli, Carlo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-03569-2

Format:

Availability

Online Library~1

Available:
Copies:

189.

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

Author

Reed, Rick. editor. Bilgic, Attila. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-04554-7

Format:

Availability

Online Library~1

Available:
Copies:

190.

Cover image for Formal Methods for Industrial Critical Systems 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings

Formal Methods for Industrial Critical Systems 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings

Author

Alpuente, María. editor. Cook, Byron. editor. Joubert, Christophe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-04570-7

Format:

Availability

Online Library~1

Available:
Copies:

191.

Cover image for Job Scheduling Strategies for Parallel Processing 14th International Workshop, JSSPP 2009, Rome, Italy, May 29, 2009. Revised Papers

Job Scheduling Strategies for Parallel Processing 14th International Workshop, JSSPP 2009, Rome, Italy, May 29, 2009. Revised Papers

Author

Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-04633-9

Format:

Availability

Online Library~1

Available:
Copies:

192.

Advanced Functional Programming 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures

Author

Koopman, Pieter. editor. Plasmeijer, Rinus. editor. Swierstra, Doaitse. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-04652-0

Format:

Availability

Online Library~1

Available:
Copies:

193.

Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

Author

Bensalem, Saddek. editor. Peled, Doron A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-04694-0

Format:

Availability

Online Library~1

Available:
Copies:

194.

CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings

Author

Bravetti, Mario. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-04081-8

Format:

Availability

Online Library~1

Available:
Copies:

195.

Information Security 12th International Conference, ISC 2009, Pisa, Italy, September 7-9, 2009. Proceedings

Author

Samarati, Pierangela. editor. Yung, Moti. editor. Martinelli, Fabio. editor. Ardagna, Claudio A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-04474-8

Format:

Availability

Online Library~1

Available:
Copies:

196.

E-Voting and Identity Second International Conference, VOTE-ID 2009, Luxembourg, September 7-8, 2009. Proceedings

Author

Ryan, Peter Y. A. editor. Schoenmakers, Berry. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-04135-8

Format:

Availability

Online Library~1

Available:
Copies:

197.

Cover image for Cryptographic Hardware and Embedded Systems - CHES 2009 11th International Workshop Lausanne, Switzerland, September 6-9, 2009 Proceedings

Cryptographic Hardware and Embedded Systems - CHES 2009 11th International Workshop Lausanne, Switzerland, September 6-9, 2009 Proceedings

Author

Clavier, Christophe. editor. Gaj, Kris. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-04138-9

Format:

Availability

Online Library~1

Available:
Copies:

198.

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

Author

Braubach, Lars. editor. Hoek, Wiebe. editor. Petta, Paolo. editor. Pokahr, Alexander. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-04143-3

Format:

Availability

Online Library~1

Available:
Copies:

199.

Image Analysis and Processing – ICIAP 2009 15th International Conference Vietri sul Mare, Italy, September 8-11, 2009 Proceedings

Author

Foggia, Pasquale. editor. Sansone, Carlo. editor. Vento, Mario. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-04146-4

Format:

Availability

Online Library~1

Available:
Copies:

200.

Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

Author

Palsberg, Jens. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-04164-8

Format:

Availability

Online Library~1

Available:
Copies:

201.

Cover image for Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures

Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures

Author

Boer, Frank S. editor. Bonsangue, Marcello M. editor. Madelaine, Eric. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-04167-9

Format:

Availability

Online Library~1

Available:
Copies:

202.

Transactions on Computational Systems Biology XI

Author

Priami, Corrado. editor. Back, Ralph-Johan. editor. Petre, Ion. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-04186-0

Format:

Availability

Online Library~1

Available:
Copies:

203.

Cover image for Smart Spaces and Next Generation Wired/Wireless Networking 9th International Conference, NEW2AN 2009 and Second Conference on Smart Spaces, ruSMART 2009, St. Petersburg, Russia, September 15-18, 2009. Proceedings

Smart Spaces and Next Generation Wired/Wireless Networking 9th International Conference, NEW2AN 2009 and Second Conference on Smart Spaces, ruSMART 2009, St. Petersburg, Russia, September 15-18, 2009. Proceedings

Author

Balandin, Sergey. editor. Moltchanov, Dmitri. editor. Koucheryavy, Yevgeni. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-04190-7

Format:

Availability

Online Library~1

Available:
Copies:

204.

Cover image for Conceptual Modeling - ER 2009 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009. Proceedings

Conceptual Modeling - ER 2009 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009. Proceedings

Author

Laender, Alberto H. F. editor. Castano, Silvana. editor. Dayal, Umeshwar. editor. Casati, Fabio. editor. Oliveira, José Palazzo M. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-04840-1

Format:

Availability

Online Library~1

Available:
Copies:

205.

Cover image for Advances in Information and Computer Security 4th International Workshop on Security, IWSEC 2009 Toyama, Japan, October 28-30, 2009 Proceedings

Advances in Information and Computer Security 4th International Workshop on Security, IWSEC 2009 Toyama, Japan, October 28-30, 2009 Proceedings

Author

Takagi, Tsuyoshi. editor. Mambo, Masahiro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-04846-3

Format:

Availability

Online Library~1

Available:
Copies:

206.

Nano-Net 4th International ICST Conference, Nano-Net 2009, Lucerne, Switzerland, October 18-20, 2009. Proceedings

Author

Schmid, Alexandre. editor. Goel, Sanjay. editor. Wang, Wei. editor. Beiu, Valeriu. editor. Carrara, Sandro. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-04850-0

Format:

Availability

Online Library~1

Available:
Copies:

207.

Transactions on Petri Nets and Other Models of Concurrency III

Author

Jensen, Kurt. editor. Billington, Jonathan. editor. Koutny, Maciej. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-04856-2

Format:

Availability

Online Library~1

Available:
Copies:

208.

Robust and Online Large-Scale Optimization Models and Techniques for Transportation Systems

Author

Ahuja, Ravindra K. editor. Möhring, Rolf H. editor. Zaroliagis, Christos D. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-05465-5

Format:

Availability

Online Library~1

Available:
Copies:

209.

Cover image for Engineering Societies in the Agents World X 10th International Workshop, ESAW 2009, Utrecht, The Netherlands, November 18-20, 2009. Proceedings

Engineering Societies in the Agents World X 10th International Workshop, ESAW 2009, Utrecht, The Netherlands, November 18-20, 2009. Proceedings

Author

Aldewereld, Huib. editor. Dignum, Virginia. editor. Picard, Gauthier. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-10203-5

Format:

Availability

Online Library~1

Available:
Copies:

210.

Combinatorial Image Analysis 13th International Workshop, IWCIA 2009, Playa del Carmen, Mexico, November 24-27, 2009. Proceedings

Author

Wiederhold, Petra. editor. Barneva, Reneta P. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-10210-3

Format:

Availability

Online Library~1

Available:
Copies:

211.

Cover image for Combinatorial Algorithms 20th International Workshop, IWOCA 2009, Hradec nad Moravicí, Czech Republic, June 28–July 2, 2009, Revised Selected Papers

Combinatorial Algorithms 20th International Workshop, IWOCA 2009, Hradec nad Moravicí, Czech Republic, June 28–July 2, 2009, Revised Selected Papers

Author

Fiala, Jiří. editor. Kratochvíl, Jan. editor. Miller, Mirka. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-10217-2

Format:

Availability

Online Library~1

Available:
Copies:

212.

Cover image for Information Theoretic Security Second International Conference, ICITS 2007, Madrid, Spain, May 25-29, 2007, Revised Selected Papers

Information Theoretic Security Second International Conference, ICITS 2007, Madrid, Spain, May 25-29, 2007, Revised Selected Papers

Author

Desmedt, Yvo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-10230-1

Format:

Availability

Online Library~1

Available:
Copies:

213.

Cover image for Advances in Communication and Networking Second International Conference on Future Generation Communication and Networking, FGCN 2008, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers

Advances in Communication and Networking Second International Conference on Future Generation Communication and Networking, FGCN 2008, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers

Author

Kim, Tai-hoon. editor. Yang, Laurence T. editor. Park, Jong Hyuk. editor. Chang, Alan Chin-Chen. editor. Vasilakos, Thanos. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-10236-3

Format:

Availability

Online Library~1

Available:
Copies:

214.

Cover image for Advances in Computational Science and Engineering Second International Conference, FGCN 2008, Workshops and Symposia, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers

Advances in Computational Science and Engineering Second International Conference, FGCN 2008, Workshops and Symposia, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers

Author

Kim, Tai-hoon. editor. Yang, Laurence T. editor. Park, Jong Hyuk. editor. Chang, Alan Chin-Chen. editor. Vasilakos, Thanos. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-10238-7

Format:

Availability

Online Library~1

Available:
Copies:

215.

Cover image for Advances in Security Technology International Conference, SecTech 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers

Advances in Security Technology International Conference, SecTech 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers

Author

Kim, Haeng-kon. editor. Kim, Tai-hoon. editor. Kiumi, Akingbehin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-10240-0

Format:

Availability

Online Library~1

Available:
Copies:

216.

Architecting Dependable Systems VI

Author

Lemos, Rogério. editor. Fabre, Jean-Charles. editor. Gacek, Cristina. editor. Gadducci, Fabio. editor. Beek, Maurice. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-10248-6

Format:

Availability

Online Library~1

Available:
Copies:

217.

Cover image for Visual Informatics: Bridging Research and Practice First International Visual Informatics Conference, IVIC 2009 Kuala Lumpur, Malaysia, November 11-13, 2009 Proceedings

Visual Informatics: Bridging Research and Practice First International Visual Informatics Conference, IVIC 2009 Kuala Lumpur, Malaysia, November 11-13, 2009 Proceedings

Author

Badioze Zaman, Halimah. editor. Robinson, Peter. editor. Petrou, Maria. editor. Olivier, Patrick. editor. Schröder, Heiko. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-05036-7

Format:

Availability

Online Library~1

Available:
Copies:

218.

FM 2009: Formal Methods Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

Author

Cavalcanti, Ana. editor. Dams, Dennis R. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-05089-3

Format:

Availability

Online Library~1

Available:
Copies:

219.

Cover image for Advances in Cryptology – ASIACRYPT 2009 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009. Proceedings

Advances in Cryptology – ASIACRYPT 2009 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009. Proceedings

Author

Matsui, Mitsuru. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-10366-7

Format:

Availability

Online Library~1

Available:
Copies:

220.

Cover image for Service-Oriented Computing 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009. Proceedings

Service-Oriented Computing 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009. Proceedings

Author

Baresi, Luciano. editor. Chi, Chi-Hung. editor. Suzuki, Jun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-10383-4

Format:

Availability

Online Library~1

Available:
Copies:

221.

Advances in Information Technology Third International Conference, IAIT 2009, Bangkok, Thailand, December 1-5, 2009. Proceedings

Author

Papasratorn, Borworn. editor. Chutimaskul, Wichian. editor. Porkaew, Kriengkrai. editor. Vanijja, Vajirasak. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-10392-6

Format:

Availability

Online Library~1

Available:
Copies:

222.

Cover image for Network Control and Optimization Third Euro-NF Conference, NET-COOP 2009 Eindhoven, The Netherlands, November 23-25, 2009 Proceedings

Network Control and Optimization Third Euro-NF Conference, NET-COOP 2009 Eindhoven, The Netherlands, November 23-25, 2009 Proceedings

Author

Núñez-Queija, Rudesindo. editor. Resing, Jacques. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-10406-0

Format:

Availability

Online Library~1

Available:
Copies:

223.

Cover image for Performance Evaluation and Benchmarking First TPC Technology Conference, TPCTC 2009, Lyon, France, August 24-28, 2009, Revised Selected Papers

Performance Evaluation and Benchmarking First TPC Technology Conference, TPCTC 2009, Lyon, France, August 24-28, 2009, Revised Selected Papers

Author

Nambiar, Raghunath. editor. Poess, Meikel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-10424-4

Format:

Availability

Online Library~1

Available:
Copies:

224.

Cover image for Formal Methods: Foundations and Applications 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Formal Methods: Foundations and Applications 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Author

Oliveira, Marcel Vinícius Medeiros. editor. Woodcock, Jim. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-10452-7

Format:

Availability

Online Library~1

Available:
Copies:

225.

Cover image for Information and Communications Security 11th International Conference, ICICS 2009, Beijing, China, December 14-17, 2009. Proceedings

Information and Communications Security 11th International Conference, ICICS 2009, Beijing, China, December 14-17, 2009. Proceedings

Author

Qing, Sihan. editor. Mitchell, Chris J. editor. Wang, Guilin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-11145-7

Format:

Availability

Online Library~1

Available:
Copies:

226.

Cover image for Web and Wireless Geographical Information Systems 9th International Symposium, W2GIS 2009, Maynooth, Ireland, December 7-8, 2009. Proceedings

Web and Wireless Geographical Information Systems 9th International Symposium, W2GIS 2009, Maynooth, Ireland, December 7-8, 2009. Proceedings

Author

Carswell, James D. editor. Fotheringham, A. Stewart. editor. McArdle, Gavin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-10601-9

Format:

Availability

Online Library~1

Available:
Copies:

227.

Cover image for DNA Computing and Molecular Programming 15th International Conference, DNA 15, Fayetteville, AR, USA, June 8-11, 2009, Revised Selected Papers

DNA Computing and Molecular Programming 15th International Conference, DNA 15, Fayetteville, AR, USA, June 8-11, 2009, Revised Selected Papers

Author

Deaton, Russell. editor. Suyama, Akira. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-10604-0

Format:

Availability

Online Library~1

Available:
Copies:

228.

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

Author

Gerhäuser, Heinz. editor. Hupp, Jürgen. editor. Efstratiou, Christos. editor. Heppner, Janina. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-10607-1

Format:

Availability

Online Library~1

Available:
Copies:

229.

Cover image for Advances in Computer Science - ASIAN 2009. Information Security and Privacy 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings

Advances in Computer Science - ASIAN 2009. Information Security and Privacy 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings

Author

Datta, Anupam. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-10622-4

Format:

Availability

Online Library~1

Available:
Copies:

230.

Cover image for Quality of Service in Heterogeneous Networks 6th International ICST Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2009 and 3rd International Workshop on Advanced Architectures and Algorithms for Internet Delivery and Applications, AAA-IDEA 2009, Las Palmas, Gran Canaria, November 23-25, 2009 Proceedings

Quality of Service in Heterogeneous Networks 6th International ICST Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2009 and 3rd International Workshop on Advanced Architectures and Algorithms for Internet Delivery and Applications, AAA-IDEA 2009, Las Palmas, Gran Canaria, November 23-25, 2009 Proceedings

Author

Bartolini, Novella. editor. Nikoletseas, Sotiris. editor. Sinha, Prasun. editor. Cardellini, Valeria. editor. Mahanti, Anirban. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-10625-5

Format:

Availability

Online Library~1

Available:
Copies:

231.

Algorithms and Computation 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings

Author

Dong, Yingfei. editor. Du, Ding-Zhu. editor. Ibarra, Oscar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-10631-6

Format:

Availability

Online Library~1

Available:
Copies:

232.

Programming Languages and Systems 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings

Author

Hu, Zhenjiang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-10672-9

Format:

Availability

Online Library~1

Available:
Copies:

233.

Cover image for Theory of Quantum Computation, Communication, and Cryptography 4th Workshop,TQC 2009, Waterloo, Canada, May 11-13, 2009, Revised Selected Papers

Theory of Quantum Computation, Communication, and Cryptography 4th Workshop,TQC 2009, Waterloo, Canada, May 11-13, 2009, Revised Selected Papers

Author

Childs, Andrew. editor. Mosca, Michele. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-10698-9

Format:

Availability

Online Library~1

Available:
Copies:

234.

Einführung in die Finanzmathematik

Author

Albrecher, Hansjörg. author. Binder, Andreas. author. Mayer, Philipp. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-7643-8784-6

Format:

Availability

Online Library~1

Available:
Copies:

235.

TinyOS Programming

Author

Levis, Philip. Gay, David.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

236.

Effective prototyping with Excel a practical handbook for developers and designers

Author

Berger, Nevin.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780120885824

Format:

Availability

Online Library~1

Available:
Copies:

237.

GFI network security and PCI compliance power tools

Author

Posey, Brien. Thompson, Troy.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9781597492850

Format:

Availability

Online Library~1

Available:
Copies:

238.

Advances in Applied Mathematics and Global Optimization In Honor of Gilbert Strang

Author

Gao, David Y. editor. Sherali, Hanif D. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-75714-8

Format:

Availability

Online Library~1

Available:
Copies:

239.

Information Systems Development Challenges in Practice, Theory, and Education Volume 2

Author

Barry, Chris. editor. Lang, Michael. editor. Wojtkowski, Wita. editor. Conboy, Kieran. editor. Wojtkowski, Gregory. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-78578-3

Format:

Availability

Online Library~1

Available:
Copies:

240.

Optimal Design and Related Areas in Optimization and Statistics

Author

Pronzato, Luc. editor. Zhigljavsky, Anatoly. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-79936-0

Format:

Availability

Online Library~1

Available:
Copies:

241.

Advances in Computational Algorithms and Data Analysis

Author

Ao, Sio-Iong. editor. Rieger, Burghard. editor. Chen, Su-Shing. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-8919-0

Format:

Availability

Online Library~1

Available:
Copies:

242.

Electronics System Design Techniques for Safety Critical Applications

Author

Sterpone, Luca. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-8979-4

Format:

Availability

Online Library~1

Available:
Copies:

243.

Language-driven Exploration and Implementation of Partially Re-configurable ASIPs

Author

Chattopadhyay, Anupam. author. Leupers, Rainer. author. Meyr, Heinrich. author. Ascheid, Gerd. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-9297-8

Format:

Availability

Online Library~1

Available:
Copies:

244.

Unleash the System On Chip using FPGAs and Handel C

Author

Kamat, Rajanish K. author. Shinde, Santhosh A. author. Shelake, Vinod G. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-9362-3

Format:

Availability

Online Library~1

Available:
Copies:

245.

Design and Use of Serious Games

Author

Kankaanranta, Marja. editor. Neittaanmäki, Pekka. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-9496-5

Format:

Availability

Online Library~1

Available:
Copies:

246.

Beginning Joomla!

Author

Rahmel, Dan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4302-1643-8

Format:

Availability

Online Library~1

Available:
Copies:

247.

Developing with Google App Engine

Author

Ciurana, Eugene. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4302-1832-6

Format:

Availability

Online Library~1

Available:
Copies:

248.

Beginning GIMP From Novice to Professional

Author

Peck, Akkana. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4302-1069-6

Format:

Availability

Online Library~1

Available:
Copies:

249.

Practical Django Projects

Author

Bennett, James. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4302-1939-2

Format:

Availability

Online Library~1

Available:
Copies:

250.

Developing with Ext GWT Enterprise RIA Development

Author

Slender, Grant. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4302-1941-5

Format:

Availability

Online Library~1

Available:
Copies:

251.

Pro Android

Author

Hashimi, Sayed Y. author. Komatineni, Satya. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4302-1597-4

Format:

Availability

Online Library~1

Available:
Copies:

252.

Foundation Blender Compositing

Author

Wickes, Roger D. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4302-1977-4

Format:

Availability

Online Library~1

Available:
Copies:

253.

Pro BizTalk 2009

Author

Dunphy, George. author. Moukhnitski, Sergei. author. Kaufman, Stephen. author. Kelcey, Peter. author. Campos, Harold. author.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4302-1982-8

Format:

Availability

Online Library~1

Available:
Copies:

254.

The Web Startup Success Guide

Author

Walsh, Bob. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4302-1986-6

Format:

Availability

Online Library~1

Available:
Copies:

255.

The Definitive Guide to Catalyst Writing Extensible, Scalable, and Maintainable Perl-Based Web Applications

Author

Diment, Kieren. author. Trout, Matt S. author. Cardim, Eden. author. Kuri, Jay. author. Robinson, Jess. author.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4302-2366-5

Format:

Availability

Online Library~1

Available:
Copies:

256.

Expert F# 2.0

Author

Syme, Don. author. Granicz, Adam. author. Cisternino, Antonio. author. Andres, Clay. editor. Anglin, Steve. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4302-2432-7

Format:

Availability

Online Library~1

Available:
Copies:

257.

Extreme NXT: Extending the LEGO MINDSTORMS NXT to the Next Level

Author

Gasperi, Michael. author. Hurbain, Philippe “Philo”. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4302-2454-9

Format:

Availability

Online Library~1

Available:
Copies:

258.

Embedded System Design Modeling, Synthesis and Verification

Author

Gajski, Daniel D. author. Abdi, Samar. author. Gerstlauer, Andreas. author. Schirner, Gunar. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-0504-8

Format:

Availability

Online Library~1

Available:
Copies:

259.

Sequence Comparison Theory and Methods

Author

Chao, Kun-Mao. author. Zhang, Louxin. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84800-320-0

Format:

Availability

Online Library~1

Available:
Copies:

260.

Models of Computation An Introduction to Computability Theory

Author

Fernández, Maribel. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84882-434-8

Format:

Availability

Online Library~1

Available:
Copies:

261.

Artificial Life Models in Hardware

Author

Adamatzky, Andrew. editor. Komosinski, Maciej. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84882-530-7

Format:

Availability

Online Library~1

Available:
Copies:

262.

Maple and Mathematica A Problem Solving Approach for Mathematics

Author

Shingareva, Inna K. author. Lizárraga-Celaya, Carlos. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-211-99432-0

Format:

Availability

Online Library~1

Available:
Copies:

263.

Semantic Web Services Challenge Results from the First Year

Author

Petrie, Charles. editor. Margaria, Tiziana. editor. Lausen, Holger. editor. Zaremba, Michal. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-72496-6

Format:

Availability

Online Library~1

Available:
Copies:

264.

Genetic Programming Theory and Practice VI

Author

Worzel, Bill. editor. Soule, Terence. editor. Riolo, Rick. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-87623-8

Format:

Availability

Online Library~1

Available:
Copies:

265.

High Assurance Services Computing

Author

Zhang, Liang-Jie. editor. Paul, Raymond. editor. Dong, Jing. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-87658-0

Format:

Availability

Online Library~1

Available:
Copies:

266.

Cover image for VLSI-SoC: Advanced Topics on Systems on a Chip A Selection of Extended Versions of the Best Papers of the Fourteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2007), October 15-17, 2007, Atlanta, USA

VLSI-SoC: Advanced Topics on Systems on a Chip A Selection of Extended Versions of the Best Papers of the Fourteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2007), October 15-17, 2007, Atlanta, USA

Author

Hasler, Paul. editor. Mooney, Vincent. editor. Reis, Ricardo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-89558-1

Format:

Availability

Online Library~1

Available:
Copies:

267.

Cover image for Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08

Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08

Author

Radetzki, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-9714-0

Format:

Availability

Online Library~1

Available:
Copies:

268.

The Definitive Guide to Pylons

Author

Gardner, James. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4302-0534-0

Format:

Availability

Online Library~1

Available:
Copies:

269.

Pro Git

Author

Chacon, Scott. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4302-1834-0

Format:

Availability

Online Library~1

Available:
Copies:

270.

The Definitive Guide to Django Web Development Done Right

Author

Holovaty, Adrian. author. Kaplan-Moss, Jacob. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4302-1937-8

Format:

Availability

Online Library~1

Available:
Copies:

271.

Cover image for Computer and Computing Technologies in Agriculture II, Volume 1 The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China

Computer and Computing Technologies in Agriculture II, Volume 1 The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China

Author

Li, Daoliang. editor. Zhao, Chunjiang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-0209-2

Format:

Availability

Online Library~1

Available:
Copies:

272.

Cover image for Computer and Computing Technologies in Agriculture II, Volume 2 The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China

Computer and Computing Technologies in Agriculture II, Volume 2 The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China

Author

Li, Daoliang. editor. Zhao, Chunjiang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-0211-5

Format:

Availability

Online Library~1

Available:
Copies:

273.

Cover image for Computer and Computing Technologies in Agriculture II, Volume 3 The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China

Computer and Computing Technologies in Agriculture II, Volume 3 The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China

Author

Zhao, Chunjiang. editor. Li, Daoliang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-0213-9

Format:

Availability

Online Library~1

Available:
Copies:

274.

Pervasive Healthcare Computing EMR/EHR, Wireless and Health Monitoring

Author

Varshney, Upkar. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-0215-3

Format:

Availability

Online Library~1

Available:
Copies:

275.

Practical Computing on the Cell Broadband Engine

Author

Koranne, Sandeep. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-0308-2

Format:

Availability

Online Library~1

Available:
Copies:

276.

Fundamentals of Three-Dimensional Digital Image Processing

Author

Toriwaki, Junichiro. author. Yoshida, Hiro. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84800-172-5

Format:

Availability

Online Library~1

Available:
Copies:

277.

Digraphs Theory, Algorithms and Applications

Author

Bang-Jensen, Jørgen. author. Gutin, Gregory Z. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84800-998-1

Format:

Availability

Online Library~1

Available:
Copies:

278.

Principles of Programming Languages

Author

Dowek, Gilles. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84882-032-6

Format:

Availability

Online Library~1

Available:
Copies:

279.

Deadlock Resolution in Automated Manufacturing Systems A Novel Petri Net Approach

Author

Li, ZhiWu. author. Zhou, MengChu. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84882-244-3

Format:

Availability

Online Library~1

Available:
Copies:

280.

Practical Introduction to Computer Architecture

Author

Page, Daniel. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84882-256-6

Format:

Availability

Online Library~1

Available:
Copies:

281.

Les virus informatiques: théorie, pratique et applications

Author

Filiol, Éric. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-2-287-98240-8

Format:

Availability

Online Library~1

Available:
Copies:

282.

Große Netze der Logistik Die Ergebnisse des Sonderforschungsbereichs 559

Author

Buchholz, Peter. editor. Clausen, Uwe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-71048-6

Format:

Availability

Online Library~1

Available:
Copies:

283.

SOA und WebServices

Author

Zeppenfeld, Klaus. author. Finger, Patrick. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-76991-0

Format:

Availability

Online Library~1

Available:
Copies:

284.

Embedded Linux Das Praxisbuch

Author

Dillmann, Rüdiger. author. Gockel, Tilo. author. Schröder, Joachim. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-78620-7

Format:

Availability

Online Library~1

Available:
Copies:

285.

Security Engineering for Service-Oriented Architectures

Author

Hafner, Michael. author. Breu, Ruth. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-79539-1

Format:

Availability

Online Library~1

Available:
Copies:

286.

Virtuelle Realität

Author

Brill, Manfred. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-85118-9

Format:

Availability

Online Library~1

Available:
Copies:

287.

Pattern Recognition using Neural and Functional Networks

Author

David, Vasantha Kalyani. author. Rajasekaran, Sundaramoorthy. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-85130-1

Format:

Availability

Online Library~1

Available:
Copies:

288.

Bio-inspired Algorithms for the Vehicle Routing Problem

Author

Pereira, Francisco Babtista. editor. Tavares, Jorge. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-85152-3

Format:

Availability

Online Library~1

Available:
Copies:

289.

Geschäftsprozessmanagement

Author

Becker, Jörg. author. Mathas, Christoph. author. Winkelmann, Axel. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-85155-4

Format:

Availability

Online Library~1

Available:
Copies:

290.

Enterprise Architecture Creating Value by Informed Governance

Author

Op ’t Land, Martin. author. Proper, Erik. author. Waage, Maarten. author. Cloo, Jeroen. author. Steghuis, Claudia. author.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-85232-2

Format:

Availability

Online Library~1

Available:
Copies:

291.

Genetic Algorithms for Applied CAD Problems

Author

Kureichik, Viktor M. author. Malioukov, Sergey P. author. Kureichik, Vladimir V. author. Malioukov, Alexander S. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-85281-0

Format:

Availability

Online Library~1

Available:
Copies:

292.

Cover image for Aktuelle Anwendungen in Technik und Wirtschaft Fachtagung des GI/GMA-Fachausschusses Echtzeitsysteme (real-time) Boppard, 27. und 28. November 2008

Aktuelle Anwendungen in Technik und Wirtschaft Fachtagung des GI/GMA-Fachausschusses Echtzeitsysteme (real-time) Boppard, 27. und 28. November 2008

Author

Halang, Wolfgang A. editor. Holleczek, Peter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-85324-4

Format:

Availability

Online Library~1

Available:
Copies:

293.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings

Author

Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-88479-8

Format:

Availability

Online Library~1

Available:
Copies:

294.

Cover image for String Processing and Information Retrieval 15th International Symposium, SPIRE 2008, Melbourne, Australia, November 10-12, 2008. Proceedings

String Processing and Information Retrieval 15th International Symposium, SPIRE 2008, Melbourne, Australia, November 10-12, 2008. Proceedings

Author

Amir, Amihood. editor. Turpin, Andrew. editor. Moffat, Alistair. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-89097-3

Format:

Availability

Online Library~1

Available:
Copies:

295.

Funktionale und Applikative Programmierung Grundlagen, Sprachen, Implementierungstechniken

Author

Lippe, Wolfram-Manfred. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-89108-6

Format:

Availability

Online Library~1

Available:
Copies:

296.

Metrics for Process Models Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness

Author

Mendling, Jan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-89224-3

Format:

Availability

Online Library~1

Available:
Copies:

297.

A Generative Theory of Relevance

Author

Lavrenko, Victor. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-89364-6

Format:

Availability

Online Library~1

Available:
Copies:

298.

Konzepte objektorientierter Programmierung Mit einer Einführung in Java

Author

Poetzsch-Heffter, Arnd. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-89471-1

Format:

Availability

Online Library~1

Available:
Copies:

299.

Theory and Practice of Uncertain Programming

Author

Liu, Baoding. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-89484-1

Format:

Availability

Online Library~1

Available:
Copies:

300.

Middleware for Network Eccentric and Mobile Applications

Author

Garbinato, Benoît. editor. Miranda, Hugo. editor. Rodrigues, Luís. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-89707-1

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}