Search Results for Software.

1.

Software engineering

Author

Sommerville, Ian, 1951-

Preferred Shelf Number

QA76.6 S66 2007

Format:

Availability

Beytepe Library~1

Available:
Copies:

2.

System Software Reliability

Author

Pham, Hoang. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-84628-295-0

Format:

Availability

Online Library~1

Available:
Copies:

3.

Global software development handbook

Author

Sangwan, Raghvinder.

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:

4.

Essentials of software engineering

Author

Tsui, Frank F. Karam, Orlando.

Preferred Shelf Number

QA76.758 .T785 2007

Format:

Availability

Beytepe Library~1

Available:
Copies:

5.

Six Sigma software development

Author

Tayntor, Christine B.

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:

6.

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:

7.

Software deployment, updating, and patching

Author

Stackpole, Bill. Hanrion, Patrick.

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:

8.

Software and Patents in Europe

Author

Leith, Philip.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

9.

Effective prototyping for software makers

Author

Arnowitz, Jonathan. Arent, Michael. Berger, Nevin.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Software Engineering Techniques: Design for Quality

Author

Sacha, Krzysztof. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Effective prototyping for software makers

Author

Arnowitz, Jonathan. Arent, Michael. Berger, Nevin.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Software Engineering for Experimental Robotics

Author

Brugali, Davide. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

13.

SOA? Serviceorientierung in Business und Software

Author

Masak, Dieter. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Software Measurement Establish — Extract — Evaluate — Execute

Author

Ebert, Christof. author. Dumke, Reiner. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

Software defined radio the software communications architecture

Author

Bard, John. Kovarik, Vincent J. Wiley InterScience (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=291020
John Wiley http://dx.doi.org/10.1002/9780470865200
Books24x7 http://www.books24x7.com/marc.asp?bookid=22762
HathiTrust Digital Library, Limited view (search only) http://catalog.hathitrust.org/api/volumes/oclc/72871314.html

Format:

Availability

Online Library~1

Available:
Copies:

16.

Java software solutions : foundations of program design

Author

Lewis, John. Loftus, William, ort. yaz.

Preferred Shelf Number

QA76.73.J38 .L49 2007

Format:

Availability

Beytepe Library~2

Available:
Copies:

17.

Digitale Hardware/Software-Systeme Synthese und Optimierung

Author

Teich, Jürgen. author. Haubelt, Christian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Transactions on Aspect-Oriented Software Development III

Author

Rashid, Awais. editor. Aksit, Mehmet. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Transactions on Aspect-Oriented Software Development IV

Author

Rashid, Awais. editor. Aksit, Mehmet. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Jeoistatistikel variogram ve modelleme yazılımı : sayaca (Ulubey, Ordu) altın cevherleşmesi'nde uygulanması = Geostatistical variogram and modelling Software : An application for gold mineralization in sayaca (Ulubey, Ordu)

Jeoistatistikel variogram ve modelleme yazılımı : sayaca (Ulubey, Ordu) altın cevherleşmesi'nde uygulanması = Geostatistical variogram and modelling Software : An application for gold mineralization in sayaca (Ulubey, Ordu)

Author

Topal, Baran

Preferred Shelf Number

TEZ/8246 T673 2007

Format:

Availability

Beytepe Library~1

Available:
Copies:

21.

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:

22.

Analog synthesizers understanding, performing, buying: from the legacy of Moog to software synthesis

Author

Jenkins, Mark.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

23.

Software Verification and Validation An Engineering and Scientific Approach

Author

Fisher, Marcus S. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

24.

A Software-Defined GPS and Galileo Receiver A Single-Frequency Approach

Author

Borre, Kai. author. Akos, Dennis M. author. Bertelsen, Nicolaj. author. Rinder, Peter. author. Jensen, Søren Holdt. author.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-8176-4540-3

Format:

Availability

Online Library~1

Available:
Copies:

25.

Cognitive Radio, Software Defined Radio, and Adaptive Wireless Systems

Author

Arslan, Hüseyin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

26.

Managing Humans Biting and Humorous Tales of a Software Engineering Manager

Author

Lopp, Michael. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

27.

The Geospatial Web How Geobrowsers, Social Software and the Web 2.0 are Shaping the Network Society

Author

Scharl, Arno. editor. Tochtermann, Klaus. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84628-827-2

Format:

Availability

Online Library~1

Available:
Copies:

28.

Modelling in Mechanical Engineering and Mechatronics Towards Autonomous Intelligent Software Models

Author

Avgoustinov, Nikolay. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84628-909-5

Format:

Availability

Online Library~1

Available:
Copies:

29.

Software testing testing across the entire software development life cycle

Author

Everett, Gerald D., 1943- McLeod, Raymond. Wiley InterScience (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5201507

Format:

Availability

Online Library~1

Available:
Copies:

30.

Automated defect prevention best practices in software management

Author

Huizinga, Dorota. Kolawa, Adam. Wiley InterScience (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5201515

Format:

Availability

Online Library~1

Available:
Copies:

31.

Software engineering Barry W. Boehm's lifetime contributions to software development, management, and research

Author

Selby, Richard W.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

32.

Making Beautiful Deep-Sky Images Astrophotography with Affordable Equipment and Software

Author

Parker, Greg. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

33.

Data Envelopment Analysis A Comprehensive Text with Models, Applications, References and DEA-Solver Software

Author

Cooper, William W. author. Seiford, Lawrence M. author. Tone, Kaoru. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

Cover image for Grid-Based Problem Solving Environments IFIP TC2/ WG 2.5 Working Conference on Grid-Based Problem Solving Environments: Implications for Development and Deployment of Numerical Software July 17–21, 2006, Prescott, Arizona, USA

Grid-Based Problem Solving Environments IFIP TC2/ WG 2.5 Working Conference on Grid-Based Problem Solving Environments: Implications for Development and Deployment of Numerical Software July 17–21, 2006, Prescott, Arizona, USA

Author

Gaffney, Patrick W. editor. Pool, James C. T. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

35.

Advances and Innovations in Systems, Computing Sciences and Software Engineering

Author

Elleithy, Khaled. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.

Screen- und Interfacedesign Gestaltung und Usability für Hard- und Software

Author

Stapelkamp, Torsten. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

37.

Software Visualization Visualizing the Structure, Behaviour, and Evolution of Software

Author

Diehl, Stephan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

38.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

Author

Grumberg, Orna. editor. Huth, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

39.

Cover image for Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings

Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings

Author

Krishnamurthi, Shriram. editor. Odersky, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

40.

Cover image for Testing of Software and Communicating Systems 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings

Testing of Software and Communicating Systems 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings

Author

Petrenko, Alexandre. editor. Veanes, Margus. editor. Tretmans, Jan. editor. Grieskamp, Wolfgang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

41.

Software Architecture First European Conference, ECSA 2007 Aranjuez, Spain, September 24-26, 2007 Proceedings

Author

Oquendo, Flavio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

42.

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

Author

Abrahamsson, Pekka. editor. Baddoo, Nathan. editor. Margaria, Tiziana. editor. Messnarz, Richard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

43.

Cover image for Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings

Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings

Author

Butler, Michael. editor. Hinchey, Michael G. editor. Larrondo-Petrie, María M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

44.

What every engineer should know about software engineering

Author

Laplante, Phillip A.

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:

45.

Applied software risk management a guide for software project managers

Author

Pandian, C. Ravindranath.

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:

46.

Effective software maintenance and evolution a reuse-based approach

Author

Jarzabek, Stan.

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:

47.

Designing with blends conceptual foundations of human-computer interaction and software engineering

Author

Imaz, Manuel. Benyon, David.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

48.

Multi-objective group decision making methods, software and applications with fuzzy set techniques

Author

Lu, Jie, 1957-

Preferred Shelf Number

ONLINE

Electronic Access

EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=203937

Format:

Availability

Online Library~1

Available:
Copies:

49.

A software-defined GPS and Galileo receiver : a single-frequency approach

Author

Borre, Kai

Preferred Shelf Number

TK5102.9 S64 2007

Format:

Availability

Beytepe Library~1

Available:
Copies:

50.

Social software in libraries : building collaboration, communication, and community Online

Author

Farkas, Meredith G., 1977-

Electronic Access

Table of contents only http://www.loc.gov/catdir/toc/ecip0711/2007004515.html

Format:

Availability

~0

Available:
Copies:

51.

Linear mixed models a practical guide using statistical software

Author

West, Brady. Welch, Kathleen B. Galecki, Andrzej T.

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:

52.

Software VNA and microwave network design and characterisation

Author

Wu, Zhipeng.

Preferred Shelf Number

ONLINE

Electronic Access

Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0741/2007298044-b.html
John Wiley http://dx.doi.org/10.1002/9780470513217

Format:

Availability

Online Library~1

Available:
Copies:

53.

Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino

Author

Beckert, Bernhard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

54.

Cover image for Models in Software Engineering Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers

Models in Software Engineering Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers

Author

Kühne, Thomas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

55.

Model-Driven Architecture in Practice A Software Production Environment Based on Conceptual Modeling

Author

Pastor, Oscar. author. Molina, Juan Carlos. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

56.

Cover image for Rapid Integration of Software Engineering Techniques Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers

Rapid Integration of Software Engineering Techniques Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers

Author

Guelfi, Nicolas. editor. Buchs, Didier. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

57.

Cover image for Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

Author

Dwyer, Matthew B. editor. Lopes, Antónia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

58.

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

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

Author

Basili, Victor R. editor. Rombach, Dieter. editor. Schneider, Kurt. editor. Kitchenham, Barbara. editor. Pfahl, Dietmar. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

59.

Cover image for Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

Author

Nicola, Rocco. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

60.

Cover image for Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings

Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings

Author

Seidl, Helmut. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

61.

Cover image for Reliable Software Technologies – Ada Europe 2007 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007. Proceedings

Reliable Software Technologies – Ada Europe 2007 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007. Proceedings

Author

Abdennadher, Nabil. editor. Kordon, Fabrice. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

62.

Cover image for Requirements Engineering: Foundation for Software Quality 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007. Proceedings

Requirements Engineering: Foundation for Software Quality 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007. Proceedings

Author

Sawyer, Pete. editor. Paech, Barbara. editor. Heymans, Patrick. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

63.

Product-Focused Software Process Improvement 8th International Conference, PROFES 2007, Riga, Latvia, July 2-4, 2007. Proceedings

Author

Münch, Jürgen. editor. Abrahamsson, Pekka. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

64.

Cover image for Agile Processes in Software Engineering and Extreme Programming 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007. Proceedings

Agile Processes in Software Engineering and Extreme Programming 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007. Proceedings

Author

Concas, Giulio. editor. Damiani, Ernesto. editor. Scotto, Marco. editor. Succi, Giancarlo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

65.

Software Engineering for Multi-Agent Systems V Research Issues and Practical Applications

Author

Choren, Ricardo. editor. Garcia, Alessandro. editor. Giese, Holger. editor. Leung, Ho-fung. editor. Lucena, Carlos. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

66.

Cover image for Fast Software Encryption 14th International Workshop, FSE 2007, Luxembourg, Luxembourg, March 26-28, 2007, Revised Selected Papers

Fast Software Encryption 14th International Workshop, FSE 2007, Luxembourg, Luxembourg, March 26-28, 2007, Revised Selected Papers

Author

Biryukov, Alex. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

67.

Cover image for Software Engineering Approaches for Offshore and Outsourced Development First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007. Revised Papers

Software Engineering Approaches for Offshore and Outsourced Development First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007. Revised Papers

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

68.

Cover image for Software Technologies for Embedded and Ubiquitous Systems 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 2007. Revised Papers

Software Technologies for Embedded and Ubiquitous Systems 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 2007. Revised Papers

Author

Obermaisser, Roman. editor. Nah, Yunmook. editor. Puschner, Peter. editor. Rammig, Franz J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

69.

Software Composition 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers

Author

Lumpe, Markus. editor. Vanderperren, Wim. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

70.

Cover image for Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers

Author

Okada, Mitsu. editor. Satoh, Ichiro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

71.

Cover image for Software Architectures, Components, and Applications Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papers

Software Architectures, Components, and Applications Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papers

Author

Overhage, Sven. editor. Szyperski, Clemens A. editor. Reussner, Ralf. editor. Stafford, Judith A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

72.

Cover image for Computergrafik und Bildverarbeitung Alles für Studium und Praxis — Bildverarbeitungswerkzeuge, Beispiel-Software und interaktive Vorlesungen online verfügbar

Computergrafik und Bildverarbeitung Alles für Studium und Praxis — Bildverarbeitungswerkzeuge, Beispiel-Software und interaktive Vorlesungen online verfügbar

Author

Nischwitz, Alfred. author. Fischer, Max. author. Haberäcker, Peter. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-8348-9190-7

Format:

Availability

Online Library~1

Available:
Copies:

73.

Cover image for Open Source Development, Adoption and Innovation IFIP Working Group 2.13 on Open Source Software, June 11–14, 2007, Limerick, Ireland

Open Source Development, Adoption and Innovation IFIP Working Group 2.13 on Open Source Software, June 11–14, 2007, Limerick, Ireland

Author

Feller, Joseph. editor. Fitzgerald, Brian. editor. Scacchi, Walt. editor. Sillitti, Alberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

74.

Cover image for Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers

Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers

Author

Bin, Eyal. editor. Ziv, Avi. editor. Ur, Shmuel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

75.

Cover image for Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers

Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers

Author

Padgham, Lin. editor. Zambonelli, Franco. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

76.

Software Product Lines in Action The Best Industrial Practice in Product Line Engineering

Author

Linden, Frank. author. Schmid, Klaus. author. Rommes, Eelco. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

77.

Embedded Software and Systems Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007. Proceedings

Author

Lee, Yann-Hang. editor. Kim, Heung-Nam. editor. Kim, Jong. editor. Park, Yongwan. editor. Yang, Laurence T. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

78.

Cover image for Software Process Dynamics and Agility International Conference on Software Process, ICSP 2007, Minneapolis, MN, USA, May 19-20, 2007. Proceedings

Software Process Dynamics and Agility International Conference on Software Process, ICSP 2007, Minneapolis, MN, USA, May 19-20, 2007. Proceedings

Author

Wang, Qing. editor. Pfahl, Dietmar. editor. Raffo, David M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

79.

Cover image for Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures

Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures

Author

Bernardo, Marco. editor. Hillston, Jane. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

80.

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

Author

Bošnački, Dragan. editor. Edelkamp, Stefan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

81.

Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings

Author

Schmidt, Heinz W. editor. Crnkovic, Ivica. editor. Heineman, George T. editor. Stafford, Judith A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

82.

Cover image for International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedings

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedings

Author

Arbab, Farhad. editor. Sirjani, Marjan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

83.

Cover image for FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings

FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings

Author

Arvind, V. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

84.

Geospatial analysis : a comprehensive guide to principles, techniques and software tools

Author

De Smith, Michael John, 1951- Goodchild, Michael F. Longley, Paul.

Preferred Shelf Number

G70.23 D47 2007

Format:

Availability

Beytepe Library~1

Available:
Copies:

85.

Modelling in mechanical engineering and mechatronics : towards autonomous intelligent software models

Author

Avgoustinov, Nikolay.

Preferred Shelf Number

TJ153 A88 2007

Format:

Availability

Beytepe Library~1

Available:
Copies:

86.

How to cheat in Adobe Flash CS3 the art of design and animation

Author

Georgenes, Chris.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

87.

Semantic Web: Concepts, Technologies and Applications

Author

Breitman, Karin Koogan. author. Casanova, Marco Antonio. author. Truszkowski, Walter. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84628-710-7

Format:

Availability

Online Library~1

Available:
Copies:

88.

Adaptive Bidding in Single-Sided Auctions Under Uncertainty An Agent-based Approach in Market Engineering

Author

Dinther, Clemens. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-7643-8113-4

Format:

Availability

Online Library~1

Available:
Copies:

89.

Emerging Web Services Technology

Author

Pautasso, Cesare. editor. Bussler, Christoph. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-7643-8448-7

Format:

Availability

Online Library~1

Available:
Copies:

90.

The Agent Modeling Language - AML A Comprehensive Approach to Modeling Multi-Agent Systems

Author

Cervenka, Radovan. author. Trencansky, Ivan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-7643-8396-1

Format:

Availability

Online Library~1

Available:
Copies:

91.

PowerBuilder : PowerScript reference, version 6.

Preferred Shelf Number

QA 76.76.A65 P871 1991-97 V.2

Format:

Availability

Beytepe Library~1

Available:
Copies:

92.

Validation and qualification in analytical laboratories

Author

Huber, Ludwig, 1948-

Preferred Shelf Number

QV 744 H877 2007

Format:

Availability

Health Sciences Library~1

Available:
Copies:

93.

Operating systems and middleware : supporting controlled interaction

Author

Hailperin, Max.

Preferred Shelf Number

QA76.76.M54 H35 2007

Format:

Availability

Beytepe Library~1

Available:
Copies:

94.

Computer concepts : illustrated

Author

Parsons, June Jamrich. Oja, Dan.

Preferred Shelf Number

QA76 .P3557 2007

Format:

Availability

Beytepe Library~2

Available:
Copies:

95.

How to cheat at configuring Open Source security tools

Author

Alder, Raven.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

96.

Real-life MDA solving business problems with model driven architecture

Author

Guttman, Michael. Parodi, John. ScienceDirect (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

97.

NMR spectroscopy explained : simplified theory, applications and examples for organic chemistry and structural biology

Author

Jacobsen, Neil E.

Preferred Shelf Number

QD96.N8 J33 2007

Format:

Availability

Beytepe Library~1

Available:
Copies:

98.

Game developer's open source handbook

Author

Goodwin, Steven, 1973-

Preferred Shelf Number

QA76.76.C672 G665 2007

Format:

Availability

Beytepe Library~1

Available:
Copies:

99.

Acoustic and MIDI orchestration for the contemporary composer

Author

Pejrolo, Andrea. DeRosa, Rich.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

100.

Programming Outlook E12

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

101.

Metasploit Toolkit for Penetration Testing, Exploit Development, And Vulnerabiity Research

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

102.

Practical model-based testing a tools approach

Author

Utting, Mark. Legeard, Bruno.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

103.

Developing quality metadata building innovative tools and workflow solutions

Author

Wootton, Cliff.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

104.

Cryptography for developers

Author

St. Denis, Tom. Johnson, Simon.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

105.

Sarbanes-Oxley IT compliance using open source tools, 2E

Author

Lahti, Christian. Peterson, Roderick.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

106.

Automatic Quantum Computer Programming A Genetic Programming Approach

Author

Spector, Lee. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

107.

Evolutionary Algorithms for Solving Multi-Objective Problems Second Edition

Author

Coello, Carlos A. Coello. author. Lamont, Gary B. author. Veldhuizen, David A. Van. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

108.

Computer Algebra Recipes An Advanced Guide to Scientific Modeling

Author

Enns, Richard H. author. McGuire, George C. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

109.

A Graph-Theoretic Approach to Enterprise Network Dynamics

Author

Bunke, Horst. author. Dickinson, Peter J. author. Kraetzl, Miro. author. Wallis, Walter D. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-8176-4519-9

Format:

Availability

Online Library~1

Available:
Copies:

110.

Processor Design System-on-Chip Computing for ASICs and FPGAs

Author

Nurmi, Jari. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

111.

Optimized ASIP Synthesis from Architecture Description Language Models

Author

Schliebusch, Oliver. author. Meyr, Heinrich. author. Leupers, Rainer. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

112.

Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06

Author

Huss, Sorin A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

113.

Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components

Author

Nicolescu, G. editor. Jerraya, A. A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

114.

Beginning Ubuntu Linux

Author

Thomas, Keir. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

115.

SharePoint 2007 User’s Guide Learning Microsoft’s Collaboration and Productivity Platform

Author

Bates, Seth. author. Smith, Tony. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4302-0207-3

Format:

Availability

Online Library~1

Available:
Copies:

116.

Pro Access 2007

Author

Reid, Martin W P. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

117.

Extreme NXT Extending the LEGO MINDSTORMS NXT to the Next Level

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

118.

Smart and Gets Things Done Joel Spolsky’s Concise Guide to Finding the Best Technical Talent

Author

Spolsky, Joel. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

119.

Pro BizTalk 2006

Author

Dunphy, George. author. Metwally, Ahmed. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

120.

The Definitive Guide to SOA: BEA AquaLogic® Service Bus

Author

Davies, Jeff. author. Krishna, Ashish. author. Schorow, David. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

121.

Word 2007 Beyond the Manual

Author

Morrison, Connie. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

122.

Pro Active Record Databases with Ruby and Rails

Author

Marshall, Kevin. author. Pytel, Chad. author. Yurek, Jon. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

123.

Beginning Joomla! From Novice to Professional

Author

Rahmel, Dan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4302-0278-3

Format:

Availability

Online Library~1

Available:
Copies:

124.

LEGO® MINDSTORMS® NXT-G Programming Guide

Author

Kelly, James Floyd. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

125.

The Definitive Guide to the Microsoft Enterprise Library

Author

Newton, Keenan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

126.

Clear Blogging How People Blogging Are Changing the World and How You Can Join Them

Author

Walsh, Bob. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

127.

Embedded Java Security Security for Mobile Devices

Author

Debbabi, Mourad. author. Saleh, Mohamed. author. Talhi, Chamseddine. author. Zhioua, Sami. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84628-711-4

Format:

Availability

Online Library~1

Available:
Copies:

128.

Enterprise Interoperability New Challenges and Approaches

Author

Doumeingts, Guy. editor. Müller, Jörg. editor. Morel, Gérard. editor. Vallespir, Bruno. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84628-714-5

Format:

Availability

Online Library~1

Available:
Copies:

129.

Formal Models of Operating System Kernels

Author

Craig, Iain D. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84628-718-3

Format:

Availability

Online Library~1

Available:
Copies:

130.

Forensic Computing

Author

Sammes, Tony. author. Jenkinson, Brian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84628-732-9

Format:

Availability

Online Library~1

Available:
Copies:

131.

Java Methods for Financial Engineering Applications in Finance and Investment

Author

Barker, Philip. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84628-741-1

Format:

Availability

Online Library~1

Available:
Copies:

132.

Workflows for e-Science Scientific Workflows for Grids

Author

Taylor, Ian J. editor. Deelman, Ewa. editor. Gannon, Dennis B. editor. Shields, Matthew. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84628-757-2

Format:

Availability

Online Library~1

Available:
Copies:

133.

The Safety of Systems Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, 13–15 February 2007

Author

Redmill, Felix. editor. Anderson, Tom. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84628-806-7

Format:

Availability

Online Library~1

Available:
Copies:

134.

Practical Distributed Processing

Author

Brooke, Phillip J. author. Paige, Richard F. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84628-841-8

Format:

Availability

Online Library~1

Available:
Copies:

135.

Enterprise Interoperability II New Challenges and Approaches

Author

Gonçalves, Ricardo J. editor. Müller, Jörg P. editor. Mertins, Kai. editor. Zelm, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84628-858-6

Format:

Availability

Online Library~1

Available:
Copies:

136.

Object-Oriented Programming and Java

Author

Poo, Danny. author. Kiong, Derek. author. Ashok, Swarnalatha. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84628-963-7

Format:

Availability

Online Library~1

Available:
Copies:

137.

Formal Refinement for Operating System Kernels

Author

Craig, Iain D. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84628-967-5

Format:

Availability

Online Library~1

Available:
Copies:

138.

Security with Noisy Data On Private Biometrics, Secure Key Storage and Anti-Counterfeiting

Author

Tuyls, Pim. editor. Skoric, Boris. editor. Kevenaar, Tom. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84628-984-2

Format:

Availability

Online Library~1

Available:
Copies:

139.

Techniques virales avancées

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-2-287-33888-5

Format:

Availability

Online Library~1

Available:
Copies:

140.

Handbook of bioequivalence testing

Author

Niazi, Sarfaraz, 1949-

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:

141.

Ideals, Varieties, and Algorithms An Introduction to Computational Algebraic Geometry and Commutative Algebra

Author

Cox, David. author. Little, John. author. O’Shea, Donal. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

142.

Essentials of Mathematica With Applications to Mathematics and Physics

Author

Boccara, Nino. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

143.

Genetic Programming Theory and Practice IV

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

144.

Visual Languages and Applications

Author

Zhang, Kang. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

145.

Distributed and Parallel Systems From Cluster to Grid Computing

Author

Kacsuk, Péter. editor. Fahringer, Thomas. editor. Németh, Zsolt. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

146.

Compiling Esterel

Author

Potop-Butucaru, Dumitru. author. Edwards, Stephen A. author. Berry, Gérard. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

147.

Design for Manufacturability and Yield for Nano-Scale CMOS

Author

Chiang, Charles C. author. Kawa, Jamil. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

148.

Computer-Aided Design of User Interfaces V

Author

Calvary, Gaëlle. editor. Pribeanu, Costin. editor. Santucci, Giuseppe. editor. Vanderdonckt, Jean. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

149.

Designing Embedded Processors A Low Power Perspective

Author

Henkel, Jörg. editor. Parameswaran, Sri. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

150.

Advanced Memory Optimization Techniques for Low-Power Embedded Processors

Author

Verma, Manish. author. Marwedel, Peter. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

151.

Real-Time Object Uniform Design Methodology with UML

Author

Duc, Bui Minh. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

152.

Cover image for Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007

Author

Ramesh, S. editor. Sampath, Prahladavaradan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

153.

Lego Mindstorms NXT-G Programming Guide

Author

Kelly, James Floyd. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4302-2977-3

Format:

Availability

Online Library~1

Available:
Copies:

154.

An Introduction to Network Programming with Java

Author

Graba, Jan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84628-630-8

Format:

Availability

Online Library~1

Available:
Copies:

155.

Simulation-based Algorithms for Markov Decision Processes

Author

Chang, Hyeong Soo. author. Hu, Jiaqiao. author. Fu, Michael C. author. Marcus, Steven I. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84628-690-2

Format:

Availability

Online Library~1

Available:
Copies:

156.

Maple and Mathematica A Problem Solving Approach for Mathematics

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

157.

Enabling Semantic Web Services The Web Service Modeling Ontology

Author

Fensel, Dieter. author. Lausen, Holger. author. Bruijn, Jos. author. Stollberg, Michael. author. Roman, Dumitru. author.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

158.

Theoretical Aspects of Local Search

Author

Michiels, Wil. author. Korst, Jan. author. Aarts, Emile. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

159.

ITIL Das IT-Servicemanagement Framework

Author

Köhler, Peter T. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

160.

Relationale und postrelationale Datenbanken

Author

Meier, Andreas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

161.

Einführung in die Constraint-Programmierung Grundlagen, Methoden, Sprachen, Anwendungen

Author

Hofstedt, Petra. author. Wolf, Armin. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

162.

Cover image for Multimodal Technologies for Perception of Humans First International Evaluation Workshop on Classification of Events, Activities and Relationships, CLEAR 2006, Southampton, UK, April 6-7, 2006, Revised Selected Papers

Multimodal Technologies for Perception of Humans First International Evaluation Workshop on Classification of Events, Activities and Relationships, CLEAR 2006, Southampton, UK, April 6-7, 2006, Revised Selected Papers

Author

Stiefelhagen, Rainer. editor. Garofolo, John. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

163.

Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings

Author

Hanus, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

164.

Cover image for Reliable Systems on Unreliable Networked Platforms 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers

Reliable Systems on Unreliable Networked Platforms 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers

Author

Kordon, Fabrice. editor. Sztipanovits, Janos. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

165.

Architecture of Computing Systems - ARCS 2007 20th International Conference, Zurich, Switzerland, March 12-15, 2007. Proceedings

Author

Lukowicz, Paul. editor. Thiele, Lothar. editor. Tröster, Gerhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

166.

Cover image for Bio-inspired Modeling of Cognitive Tasks Second International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2007, La Manga del Mar Menor, Spain, June 18-21, 2007, Proceedings, Part I

Bio-inspired Modeling of Cognitive Tasks Second International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2007, La Manga del Mar Menor, Spain, June 18-21, 2007, Proceedings, Part I

Author

Mira, José. editor. Álvarez, José R. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

167.

Cover image for Nature Inspired Problem-Solving Methods in Knowledge Engineering Second International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2007, La Manga del Mar Menor, Spain, June 18-21, 2007, Proceedings, Part II

Nature Inspired Problem-Solving Methods in Knowledge Engineering Second International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2007, La Manga del Mar Menor, Spain, June 18-21, 2007, Proceedings, Part II

Author

Mira, José. editor. Álvarez, José R. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

168.

Cover image for Systems Biology and Computational Proteomics Joint RECOMB 2006 Satellite Workshops on Systems Biology and on Computational Proteomics, San Diego, CA, USA, December 1-3, 2006, Revised Selected Papers

Systems Biology and Computational Proteomics Joint RECOMB 2006 Satellite Workshops on Systems Biology and on Computational Proteomics, San Diego, CA, USA, December 1-3, 2006, Revised Selected Papers

Author

Ideker, Trey. editor. Bafna, Vineet. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

169.

Arithmetic of Finite Fields First International Workshop, WAIFI 2007, Madrid, Spain, June 21-22, 2007. Proceedings

Author

Carlet, Claude. editor. Sunar, Berk. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

170.

Cover image for Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings

Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings

Author

Leivant, Daniel. editor. Queiroz, Ruy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

171.

Transactions on Data Hiding and Multimedia Security II

Author

Shi, Yun Q. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

172.

Cover image for Petri Nets and Other Models of Concurrency – ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings

Petri Nets and Other Models of Concurrency – ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings

Author

Kleijn, Jetty. editor. Yakovlev, Alex. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

173.

Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings

Author

Olivetti, Nicola. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

174.

MuPAD Eine Einführung

Author

Rapin, Gerd. author. Wassong, Thomas. author. Wiedmann, Stefan. author. Koospal, Stefan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

175.

Cover image for Foundations of Genetic Algorithms 9th International Workshop, FOGA 2007, Mexico City, Mexico, January 8-11, 2007, Revised Selected Papers

Foundations of Genetic Algorithms 9th International Workshop, FOGA 2007, Mexico City, Mexico, January 8-11, 2007, Revised Selected Papers

Author

Stephens, Christopher R. editor. Toussaint, Marc. editor. Whitley, Darrell. editor. Stadler, Peter F. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

176.

Pairing-Based Cryptography – Pairing 2007 First International Conference, Tokyo, Japan, July 2-4, 2007. Proceedings

Author

Takagi, Tsuyoshi. editor. Okamoto, Tatsuaki. editor. Okamoto, Eiji. editor. Okamoto, Takeshi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

177.

Frontiers in Algorithmics First Annual International Workshop, FAW 2007, Lanzhou, China, August 1-3, 2007. Proceedings

Author

Preparata, Franco P. editor. Fang, Qizhi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

178.

Cover image for Human-Computer Interaction. Interaction Design and Usability 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I

Human-Computer Interaction. Interaction Design and Usability 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I

Author

Jacko, Julie A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

179.

Cover image for Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III

Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III

Author

Jacko, Julie A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

180.

Cover image for Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers

Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers

Author

Muggleton, Stephen. editor. Otero, Ramon. editor. Tamaddoni-Nezhad, Alireza. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

181.

Cover image for Statistical Network Analysis: Models, Issues, and New Directions ICML 2006 Workshop on Statistical Network Analysis, Pittsburgh, PA, USA, June 29, 2006, Revised Selected Papers

Statistical Network Analysis: Models, Issues, and New Directions ICML 2006 Workshop on Statistical Network Analysis, Pittsburgh, PA, USA, June 29, 2006, Revised Selected Papers

Author

Airoldi, Edoardo. editor. Blei, David M. editor. Fienberg, Stephen E. editor. Goldenberg, Anna. editor. Xing, Eric P. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

182.

Cover image for Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings

Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings

Author

Mossakowski, Till. editor. Montanari, Ugo. editor. Haveraaen, Magne. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

183.

Advanced Data Mining and Applications Third International Conference, ADMA 2007 Harbin, China, August 6-8, 2007 Proceedings

Author

Alhajj, Reda. editor. Gao, Hong. editor. Li, Xue. editor. Li, Jianzhong. editor. Zaïane, Osmar R. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

184.

Artificial Immune Systems 6th International Conference, ICARIS 2007, Santos, Brazil, August 26-29, 2007. Proceedings

Author

Castro, Leandro Nunes. editor. Zuben, Fernando José. editor. Knidel, Helder. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

185.

Modelling Distributed Systems

Author

Fokkink, Wan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

186.

Cover image for Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007. Proceedings

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007. Proceedings

Author

Malyshkin, Victor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

187.

Algorithms and Data Structures 10th International Workshop, WADS 2007, Halifax, Canada, August 15-17, 2007. Proceedings

Author

Dehne, Frank. editor. Sack, Jörg-Rüdiger. editor. Zeh, Norbert. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

188.

RoboCup 2006: Robot Soccer World Cup X

Author

Lakemeyer, Gerhard. editor. Sklar, Elizabeth. editor. Sorrenti, Domenico G. editor. Takahashi, Tomoichi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

189.

Architecting Dependable Systems IV

Author

Lemos, Rogério. editor. Gacek, Cristina. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

190.

Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings

Author

Nielson, Hanne Riis. editor. Filé, Gilberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

191.

The Calculus of Computation Decision Procedures with Applications to Verification

Author

Bradley, Aaron R. author. Manna, Zohar. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

192.

Algorithms in Bioinformatics 7th International Workshop, WABI 2007, Philadelphia, PA, USA, September 8-9, 2007. Proceedings

Author

Giancarlo, Raffaele. editor. Hannenhalli, Sridhar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

193.

Cover image for Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers

Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers

Author

Edelkamp, Stefan. editor. Lomuscio, Alessio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

194.

Cover image for Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues Third International Conference on Intelligent Computing, ICIC 2007 Qingdao, China, August 21-24, 2007 Proceedings

Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues Third International Conference on Intelligent Computing, ICIC 2007 Qingdao, China, August 21-24, 2007 Proceedings

Author

Huang, De-Shuang. editor. Heutte, Laurent. editor. Loog, Marco. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

195.

Cover image for Energy Minimization Methods in Computer Vision and Pattern Recognition 6th International Conference, EMMCVPR 2007, Ezhou, China, August 27-29, 2007. Proceedings

Energy Minimization Methods in Computer Vision and Pattern Recognition 6th International Conference, EMMCVPR 2007, Ezhou, China, August 27-29, 2007. Proceedings

Author

Yuille, Alan L. editor. Zhu, Song-Chun. editor. Cremers, Daniel. editor. Wang, Yongtian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

196.

Cover image for Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 10th International Workshop, APPROX 2007, and 11th International Workshop, RANDOM 2007, Princeton, NJ, USA, August 20-22, 2007. Proceedings

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 10th International Workshop, APPROX 2007, and 11th International Workshop, RANDOM 2007, Princeton, NJ, USA, August 20-22, 2007. Proceedings

Author

Charikar, Moses. editor. Jansen, Klaus. editor. Reingold, Omer. editor. Rolim, José D. P. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

197.

Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings

Author

Csuhaj-Varjú, Erzsébet. editor. Ésik, Zoltán. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

198.

Cover image for Algorithmic Methods for Railway Optimization International Dagstuhl Workshop, Dagstuhl Castle, Germany, June 20-25, 2004, 4th International Workshop, ATMOS 2004, Bergen, Norway, September 16-17, 2004, Revised Selected Papers

Algorithmic Methods for Railway Optimization International Dagstuhl Workshop, Dagstuhl Castle, Germany, June 20-25, 2004, 4th International Workshop, ATMOS 2004, Bergen, Norway, September 16-17, 2004, Revised Selected Papers

Author

Geraets, Frank. editor. Kroon, Leo. editor. Schoebel, Anita. editor. Wagner, Dorothea. editor. Zaroliagis, Christos D. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

199.

Image Analysis and Recognition 4th International Conference, ICIAR 2007, Montreal, Canada, August 22-24, 2007. Proceedings

Author

Kamel, Mohamed. editor. Campilho, Aurélio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

200.

Anticipatory Behavior in Adaptive Learning Systems From Brains to Individual and Social Behavior

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

201.

Cover image for Computer Analysis of Images and Patterns 12th International Conference, CAIP 2007, Vienna, Austria, August 27-29, 2007. Proceedings

Computer Analysis of Images and Patterns 12th International Conference, CAIP 2007, Vienna, Austria, August 27-29, 2007. Proceedings

Author

Kropatsch, Walter G. editor. Kampel, Martin. editor. Hanbury, Allan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

202.

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

Author

Petta, Paolo. editor. Müller, Jörg P. editor. Klusch, Matthias. editor. Georgeff, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

203.

Cover image for Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures

Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures

Author

George, Chris W. editor. Liu, Zhiming. editor. Woodcock, Jim. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

204.

Service-Oriented Computing – ICSOC 2007 Fifth International Conference, Vienna, Austria, September 17-20, 2007. Proceedings

Author

Krämer, Bernd J. editor. Lin, Kwei-Jay. editor. Narasimhan, Priya. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

205.

SDL 2007: Design for Dependable Systems 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings

Author

Gaudin, Emmanuel. editor. Najm, Elie. editor. Reed, Rick. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

206.

Algorithms for Sensor and Ad Hoc Networks Advanced Lectures

Author

Wagner, Dorothea. editor. Wattenhofer, Roger. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

207.

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

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

Author

Saglietti, Francesca. editor. Oster, Norbert. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

208.

Cover image for Computational Methods in Systems Biology International Conference CMSB 2007, Edinburgh, Scotland, September 20-21, 2007. Proceedings

Computational Methods in Systems Biology International Conference CMSB 2007, Edinburgh, Scotland, September 20-21, 2007. Proceedings

Author

Calder, Muffy. editor. Gilmore, Stephen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

209.

Distributed Computing 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007. Proceedings

Author

Pelc, Andrzej. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

210.

Cover image for Computer Algebra in Scientific Computing 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007. Proceedings

Computer Algebra in Scientific Computing 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007. Proceedings

Author

Ganzha, Victor G. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

211.

Cover image for Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007. Proceedings

Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007. Proceedings

Author

Engels, Gregor. editor. Opdyke, Bill. editor. Schmidt, Douglas C. editor. Weil, Frank. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

212.

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

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

Author

Wolter, Katinka. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

213.

Cover image for Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Author

Jones, Cliff B. editor. Liu, Zhiming. editor. Woodcock, Jim. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

214.

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

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

Author

Burkhard, Hans-Dieter. editor. Lindemann, Gabriela. editor. Verbrugge, Rineke. editor. Varga, László Zsolt. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

215.

Cover image for Database and XMLTechnologies 5th International XML Database Symposium, XSym 2007, Vienna, Austria, September 23-24, 2007. Proceedings

Database and XMLTechnologies 5th International XML Database Symposium, XSym 2007, Vienna, Austria, September 23-24, 2007. Proceedings

Author

Barbosa, Denilson. editor. Bonifati, Angela. editor. Bellahsène, Zohra. editor. Hunt, Ela. editor. Unland, Rainer. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

216.

Theoretical Aspects of Computing – ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Author

Jones, Cliff B. editor. Liu, Zhiming. editor. Woodcock, Jim. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

217.

Dependable Computing Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings

Author

Bondavalli, Andrea. editor. Brasileiro, Francisco. editor. Rajsbaum, Sergio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

218.

Trustworthy Global Computing Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers

Author

Montanari, Ugo. editor. Sannella, Donald. editor. Bruni, Roberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

219.

Cover image for Algebraic Informatics Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers

Algebraic Informatics Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

220.

Cover image for High Performance Computing and Communications Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007. Proceedings

High Performance Computing and Communications Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007. Proceedings

Author

Perrott, Ronald. editor. Chapman, Barbara M. editor. Subhlok, Jaspal. editor. Mello, Rodrigo Fernandes. editor. Yang, Laurence T. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

221.

Cover image for Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings

Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings

Author

Raskin, Jean-François. editor. Thiagarajan, P. S. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

222.

Service-Oriented Computing ICSOC 2006 4th International Conference, Chicago, IL, USA, December 4-7, 2006, Workshops Proceedings

Author

Georgakopoulos, Dimitrios. editor. Ritter, Norbert. editor. Benatallah, Boualem. editor. Zirpins, Christian. editor. Feuerlicht, George. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

223.

Cover image for Computational Intelligence and Security International Conference, CIS 2006. Guangzhou, China, November 3-6, 2006. Revised Selected Papers

Computational Intelligence and Security International Conference, CIS 2006. Guangzhou, China, November 3-6, 2006. Revised Selected Papers

Author

Wang, Yuping. editor. Cheung, Yiu-ming. editor. Liu, Hailin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

224.

Cover image for Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics International Workshop, SLS 2007, Brussels, Belgium, September 6-8, 2007. Proceedings

Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics International Workshop, SLS 2007, Brussels, Belgium, September 6-8, 2007. Proceedings

Author

Stützle, Thomas. editor. Birattari, Mauro. editor. H. Hoos, Holger. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

225.

Cover image for Combinatorics, Algorithms, Probabilistic and Experimental Methodologies First International Symposium, ESCAPE 2007, Hangzhou, China, April 7-9, 2007, Revised Selected Papers

Combinatorics, Algorithms, Probabilistic and Experimental Methodologies First International Symposium, ESCAPE 2007, Hangzhou, China, April 7-9, 2007, Revised Selected Papers

Author

Chen, Bo. editor. Paterson, Mike. editor. Zhang, Guochuan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

226.

Cover image for Mathematical Foundations of Computer Science 2007 32nd International Symposium, MFCS 2007 Český Krumlov, Czech Republic, August 26-31, 2007 Proceedings

Mathematical Foundations of Computer Science 2007 32nd International Symposium, MFCS 2007 Český Krumlov, Czech Republic, August 26-31, 2007 Proceedings

Author

Kučera, Luděk. editor. Kučera, Antonín. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

227.

Cover image for Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers

Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers

Author

Noriega, Pablo. editor. Vázquez-Salceda, Javier. editor. Boella, Guido. editor. Boissier, Olivier. editor. Dignum, Virginia. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

228.

Computer Vision – ACCV 2007 8th Asian Conference on Computer Vision, Tokyo, Japan, November 18-22, 2007, Proceedings, Part I

Author

Yagi, Yasushi. editor. Kang, Sing Bing. editor. Kweon, In So. editor. Zha, Hongbin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

229.

Computer Vision – ACCV 2007 8th Asian Conference on Computer Vision, Tokyo, Japan, November 18-22, 2007, Proceedings, Part II

Author

Yagi, Yasushi. editor. Kang, Sing Bing. editor. Kweon, In So. editor. Zha, Hongbin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

230.

Cover image for Stabilization, Safety, and Security of Distributed Systems 9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedings

Stabilization, Safety, and Security of Distributed Systems 9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedings

Author

Masuzawa, Toshimitsu. editor. Tixeuil, Sébastien. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

231.

Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings

Author

Shao, Zhong. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

232.

Transactions on Computational Systems Biology VIII

Author

Priami, Corrado. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

233.

Digital performance : a history of new media in theater, dance, performance art, and installation

Author

Dixon, Steve. Smith, Barry, 1944-

Preferred Shelf Number

NX180 .T4 D538 2007

Format:

Availability

Conservatory Library~1

Available:
Copies:

234.

Validation and qualification in analytical laboratories

Author

Huber, Ludwig, 1948-

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:

235.

Automated data analysis using Excel

Author

Bissett, Brian.

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:

236.

Context-aware pervasive systems architectures for a new breed of applications

Author

Loke, Seng.

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:

237.

Java als erste Programmiersprache Vom Einsteiger zum Profi

Author

Heinisch, Cornelia. author. Müller-Hofmann, Frank. author. Goll, Joachim. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-8351-9101-3

Format:

Availability

Online Library~1

Available:
Copies:

238.

Autonomous bidding agents strategies and lessons from the trading agent competition

Author

Wellman, Michael P. Greenwald, Amy. Stone, Peter, 1971-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

239.

UML 2 certification guide fundamental and intermediate exams

Author

Weilkiens, Tim. Oestereich, Bernd. ScienceDirect (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

240.

Metasploit Toolkit for Penetration Testing, Exploit Development, And Vulnerabiity Research

Author

ScienceDirect (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

241.

Programming Outlook E12

Author

ScienceDirect (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

242.

Practical model-based testing a tools approach

Author

Utting, Mark. Legeard, Bruno. ScienceDirect (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

243.

Bill Gates anlatıyor

Author

Gates, Bill. Lowe, Janet. Günsel, Enver.

Preferred Shelf Number

HD9696.63.U62 G38 2007

Format:

Availability

Beytepe Library~1

Available:
Copies:

244.

How to cheat at configuring Open Source security tools

Author

Alder, Raven.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

245.

UML 2 certification guide fundamental and intermediate exams

Author

Weilkiens, Tim. Oestereich, Bernd.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

246.

Web application vulnerabilities detect, exploit, prevent

Author

Cross, Michael, 1965-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

247.

Real-life MDA solving business problems with model driven architecture

Author

Guttman, Michael. Parodi, John.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

248.

More Math Into Latex 4th Edition

Author

Grätzer, George. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

249.

Testing code security

Author

Van der Linden, Maura A.

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:

250.

The debugger's handbook

Author

DiMarzio, J. F.

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:

251.

Metasploit toolkit for penetration testing, exploit development, and vulnerability research

Author

Maynor, David. Mookhey, K. K.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

252.

Database design, application development, and administration

Author

Mannino, Michael V.

Preferred Shelf Number

QA76.9.D26 M374 2007

Format:

Availability

Beytepe Library~1

Available:
Copies:

253.

Crystal Reports Visual C .Net 2.0 & Visual Basic .Net 8.0 ile.

Author

Demirli, Nihat.

Preferred Shelf Number

TK5105.8885.M57 D395 2007

Format:

Availability

Beytepe Library~1

Available:
Copies:

254.

Developing multi-agent systems with JADE

Author

Bellifemine, Fabio Luigi. Caire, Giovanni. Greenwood, Dominic. Wiley InterScience (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=291264
John Wiley http://dx.doi.org/10.1002/9780470058411
Ebook Library https://webapps.cit.ecu.edu.au/eblauth/index.php?url=http%3A%2F%2Fwww.ECU.eblib.com.au%2FEBLWeb%2Fpatron%2F%3Ftarget%3Dpatron%26extendedid%3DP_291264_0
Books24x7 http://www.books24x7.com/marc.asp?bookid=17998
HathiTrust Digital Library, Limited view (search only) http://catalog.hathitrust.org/api/volumes/oclc/74941761.html

Format:

Availability

Online Library~1

Available:
Copies:

255.

Programming multi-agent systems in AgentSpeak using Jason

Author

Bordini, Rafael H. Hübner, Jomi Fred. Wooldridge, Michael J., 1966-

Preferred Shelf Number

ONLINE

Electronic Access

Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0739/2007021099-b.html
John Wiley http://dx.doi.org/10.1002/9780470061848

Format:

Availability

Online Library~1

Available:
Copies:

256.

Bioinformatics for geneticists a bioinformatics primer for the analysis of genetic data

Author

Barnes, Michael R.

Preferred Shelf Number

ONLINE

Electronic Access

Inhaltsverzeichnis
Volltext http://www3.interscience.wiley.com/cgi-bin/bookhome/114171153
John Wiley http://dx.doi.org/10.1002/9780470059180
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=291265
HathiTrust Digital Library, Limited view (search only) http://catalog.hathitrust.org/api/volumes/oclc/74941752.html

Format:

Availability

Online Library~1

Available:
Copies:

257.

Trustworthy computing analytical and quantitative engineering evaluation

Author

Sahinoglu, Mehmet, 1951- Wiley InterScience (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0739/2006033567-b.html
John Wiley http://dx.doi.org/10.1002/9780470127872

Format:

Availability

Online Library~1

Available:
Copies:

258.

Cognitive networks towards self-aware networks

Author

Mahmoud, Qusay H., 1971-

Preferred Shelf Number

ONLINE

Electronic Access

John Wiley http://dx.doi.org/10.1002/9780470515143
Safari Books Online http://proquest.safaribooksonline.com/?fpi=9780470061961
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0739/2007011302-b.html
http://proquest.safaribooksonline.com/9780470061961
Books24x7 http://www.books24x7.com/marc.asp?bookid=44318

Format:

Availability

Online Library~1

Available:
Copies:

259.

Dynaxity Management von Dynamik und Komplexität im Softwarebau

Author

Hamilton, Patrick. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

260.

Entropy, Search, Complexity

Author

Csiszár, Imre. editor. Katona, Gyula O. H. editor. Tardos, Gábor. editor. Wiener, Gábor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

261.

Web Component Development with Zope 3

Author

Weitershausen, Philipp. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

262.

Cover image for Performancemanagement für serviceorientierte JAVA-Anwendungen Werkzeug- und Methodenunterstützung im Spannungsfeld von Entwicklung und Betrieb

Performancemanagement für serviceorientierte JAVA-Anwendungen Werkzeug- und Methodenunterstützung im Spannungsfeld von Entwicklung und Betrieb

Author

Schmalenbach, Christof. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

263.

Distributed Services with OpenAFS for Enterprise and Education

Author

Milicchio, Franco. author. Gehrke, Wolfgang A. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

264.

Management von IT-Projekten Von der Planung zur Realisierung

Author

Wieczorrek, Hans W. author. Mertens, Peter. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

265.

LabVIEW based Advanced Instrumentation Systems

Author

Sumathi, S. author. Surekha, P. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

266.

Intrusion Detection effektiv! Modellierung und Analyse von Angriffsmustern

Author

Meier, Michael. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

267.

Cover image for SOFSEM 2007: Theory and Practice of Computer Science 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007. Proceedings

SOFSEM 2007: Theory and Practice of Computer Science 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007. Proceedings

Author

Leeuwen, Jan. editor. Italiano, Giuseppe F. editor. Hoek, Wiebe. editor. Meinel, Christoph. editor. Sack, Harald. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

268.

Cover image for Approximation and Online Algorithms 4th International Workshop, WAOA 2006, Zurich, Switzerland, September 14-15, 2006. Revised Papers

Approximation and Online Algorithms 4th International Workshop, WAOA 2006, Zurich, Switzerland, September 14-15, 2006. Revised Papers

Author

Erlebach, Thomas. editor. Kaklamanis, Christos. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

269.

Cover image for Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers

Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers

Author

Doherty, Gavin. editor. Blandford, Ann. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

270.

Cover image for Job Scheduling Strategies for Parallel Processing 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers

Job Scheduling Strategies for Parallel Processing 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected 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-540-71035-6

Format:

Availability

Online Library~1

Available:
Copies:

271.

Cooperative Bug Isolation Winning Thesis of the 2005 ACM Doctoral Dissertation Competition

Author

Liblit, Ben. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

272.

Cover image for Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

Author

Reps, Thomas. editor. Sagiv, Mooly. editor. Bauer, Jörg. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

273.

Cover image for High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers

High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers

Author

Daydé, Michel. editor. Palma, José M. L. M. editor. Coutinho, Álvaro L. G. A. editor. Pacitti, Esther. editor. Lopes, João Correia. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

274.

Cover image for Databases, Information Systems, and Peer-to-Peer Computing International Workshops, DBISP2P 2005/2006, Trondheim, Norway, August 28-29, 2005, Seoul, Korea, September 11, 2006, Revised Selected Papers

Databases, Information Systems, and Peer-to-Peer Computing International Workshops, DBISP2P 2005/2006, Trondheim, Norway, August 28-29, 2005, Seoul, Korea, September 11, 2006, Revised Selected Papers

Author

Moro, Gianluca. editor. Bergamaschi, Sonia. editor. Joseph, Sam. editor. Morin, Jean-Henry. editor. Ouksel, Aris M. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

275.

Cover image for Public Key Cryptography – PKC 2007 10th International Conference on Practice and Theory in Public-Key Cryptography Beijing, China, April 16-20, 2007. Proceedings

Public Key Cryptography – PKC 2007 10th International Conference on Practice and Theory in Public-Key Cryptography Beijing, China, April 16-20, 2007. Proceedings

Author

Okamoto, Tatsuaki. editor. Wang, Xiaoyun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

276.

Cover image for Research in Computational Molecular Biology 11th Annual International Conference, RECOMB 2007, Oakland, CA, USA, April 21-25, 2007. Proceedings

Research in Computational Molecular Biology 11th Annual International Conference, RECOMB 2007, Oakland, CA, USA, April 21-25, 2007. Proceedings

Author

Speed, Terry. editor. Huang, Haiyan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

277.

Anti-Spam Measures Analysis and Design

Author

Schryen, Guido. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

278.

Object-Oriented Technology. ECOOP 2006 Workshop Reader ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports

Author

Südholt, Mario. editor. Consel, Charles. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

279.

Cover image for Evolutionary Computation,Machine Learning and Data Mining in Bioinformatics 5th European Conference, EvoBIO 2007, Valencia, Spain, April 11-13, 2007. Proceedings

Evolutionary Computation,Machine Learning and Data Mining in Bioinformatics 5th European Conference, EvoBIO 2007, Valencia, Spain, April 11-13, 2007. Proceedings

Author

Marchiori, Elena. editor. Moore, Jason H. editor. Rajapakse, Jagath C. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

280.

Cover image for Ubiquitous Convergence Technology First International Conference, ICUCT 2006, Jeju Island, Korea, December 5-6, 2006, Revised Selected Papers

Ubiquitous Convergence Technology First International Conference, ICUCT 2006, Jeju Island, Korea, December 5-6, 2006, Revised Selected Papers

Author

Stajano, Frank. editor. Kim, Hyoung Joong. editor. Chae, Jong-Suk. editor. Kim, Seong-Dong. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

281.

Cover image for Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers

Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers

Author

Fiadeiro, José Luiz. editor. Schobbens, Pierre-Yves. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

282.

All About Maude - A High-Performance Logical Framework How to Specify, Program and Verify Systems in Rewriting Logic

Author

Clavel, Manuel. author. Durán, Francisco. author. Eker, Steven. author. Lincoln, Patrick. author. Martí-Oliet, Narciso. author.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

283.

Pervasive Computing 5th International Conference, PERVASIVE 2007, Toronto, Canada, May 13-16, 2007. Proceedings

Author

LaMarca, Anthony. editor. Langheinrich, Marc. editor. Truong, Khai N. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

284.

Advances in Grid and Pervasive Computing Second International Conference, GPC 2007, Paris, France, May 2-4, 2007. Proceedings

Author

Cérin, Christophe. editor. Li, Kuan-Ching. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

285.

The Disappearing Computer Interaction Design, System Infrastructures and Applications for Smart Environments

Author

Streitz, Norbert. editor. Kameas, Achilles. editor. Mavrommati, Irene. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

286.

Optical Network Design and Modeling 11th International IFIP TC6 Conference, ONDM 2007, Athens, Greece, May 29-31, 2007. Proceedings

Author

Tomkos, Ioannis. editor. Neri, Fabio. editor. Solé Pareta, Josep. editor. Masip Bruin, Xavier. editor. Sánchez Lopez, Sergi. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

287.

Service Availability 4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007. Proceedings

Author

Malek, Miroslaw. editor. Reitenspieß, Manfred. editor. Moorsel, Aad. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

288.

Cover image for Integer Programming and Combinatorial Optimization 12th International IPCO Conference, Ithaca, NY, USA, June 25-27, 2007. Proceedings

Integer Programming and Combinatorial Optimization 12th International IPCO Conference, Ithaca, NY, USA, June 25-27, 2007. Proceedings

Author

Fischetti, Matteo. editor. Williamson, David P. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

289.

Coordination Models and Languages 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

Author

Murphy, Amy L. editor. Vitek, Jan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

290.

Cover image for Scale Space and Variational Methods in Computer Vision First International Conference, SSVM 2007, Ischia, Italy, May 30 - June 2, 2007. Proceedings

Scale Space and Variational Methods in Computer Vision First International Conference, SSVM 2007, Ischia, Italy, May 30 - June 2, 2007. Proceedings

Author

Sgallari, Fiorella. editor. Murli, Almerico. editor. Paragios, Nikos. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

291.

Experimental Algorithms 6th International Workshop, WEA 2007, Rome, Italy, June 6-8, 2007. Proceedings

Author

Demetrescu, Camil. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

292.

Cover image for Theory and Applications of Models of Computation 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007. Proceedings

Theory and Applications of Models of Computation 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007. Proceedings

Author

Cai, Jin-Yi. editor. Cooper, S. Barry. editor. Zhu, Hong. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

293.

Cover image for Managing Traffic Performance in Converged Networks 20th International Teletraffic Congress, ITC20 2007, Ottawa, Canada, June 17-21, 2007. Proceedings

Managing Traffic Performance in Converged Networks 20th International Teletraffic Congress, ITC20 2007, Ottawa, Canada, June 17-21, 2007. Proceedings

Author

Mason, Lorne. editor. Drwiega, Tadeusz. editor. Yan, James. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

294.

Cover image for Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings

Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings

Author

Cooper, S. Barry. editor. Löwe, Benedikt. editor. Sorbi, Andrea. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

295.

Cover image for New Trends in Applied Artificial Intelligence 20th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2007, Kyoto, Japan, June 26-29, 2007. Proceedings

New Trends in Applied Artificial Intelligence 20th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2007, Kyoto, Japan, June 26-29, 2007. Proceedings

Author

Okuno, Hiroshi G. editor. Ali, Moonis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

296.

Cover image for Pervasive Computing for Quality of Life Enhancement 5th International Conference On Smart Homes and Health Telematics, ICOST 2007, Nara, Japan, June 21-23, 2007. Proceedings

Pervasive Computing for Quality of Life Enhancement 5th International Conference On Smart Homes and Health Telematics, ICOST 2007, Nara, Japan, June 21-23, 2007. Proceedings

Author

Okadome, Takeshi. editor. Yamazaki, Tatsuya. editor. Makhtari, Mounir. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

297.

Cover image for Distributed Computing in Sensor Systems Third IEEE International Conference, DCOSS 2007, Santa Fe, NM, USA, June 18-20, 2007. Proceedings

Distributed Computing in Sensor Systems Third IEEE International Conference, DCOSS 2007, Santa Fe, NM, USA, June 18-20, 2007. Proceedings

Author

Aspnes, James. editor. Scheideler, Christian. editor. Arora, Anish. editor. Madden, Samuel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

298.

Information Security and Privacy 12th Australasian Conference, ACISP 2007, Townsville, Australia, July 2-4, 2007. Proceedings

Author

Pieprzyk, Josef. editor. Ghodosi, Hossein. editor. Dawson, Ed. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

299.

Cover image for Recent Advances in Constraints 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers

Recent Advances in Constraints 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers

Author

Azevedo, Francisco. editor. Barahona, Pedro. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

300.

Cover image for Human-Computer Interaction. Interaction Platforms and Techniques 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II

Human-Computer Interaction. Interaction Platforms and Techniques 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II

Author

Jacko, Julie A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}