Search Results for Design

1.

Service Design and Delivery

Author

Macintyre, Mairi. editor. Parry, Glenn. editor. Angelis, Jannis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Constructive Side-Channel Analysis and Secure Design 4th International Workshop, COSADE 2013, Paris, France, March 6-8, 2013, Revised Selected Papers

Constructive Side-Channel Analysis and Secure Design 4th International Workshop, COSADE 2013, Paris, France, March 6-8, 2013, Revised Selected Papers

Author

Prouff, Emmanuel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334880.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Design Science: Perspectives from Europe European Design Science Symposium, EDSS 2012, Leixlip, Ireland, December 6, 2012, Revised Selected Papers

Design Science: Perspectives from Europe European Design Science Symposium, EDSS 2012, Leixlip, Ireland, December 6, 2012, Revised Selected Papers

Author

Helfert, Markus. editor. Donnellan, Brian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333013.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-04090-5

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Constructive Side-Channel Analysis and Secure Design Third International Workshop, COSADE 2012, Darmstadt, Germany, May 3-4, 2012. Proceedings

Constructive Side-Channel Analysis and Secure Design Third International Workshop, COSADE 2012, Darmstadt, Germany, May 3-4, 2012. Proceedings

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

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

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

Author

Bernardo, Marco. editor. Cortellessa, Vittorio. editor. Pierantonio, Alfonso. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Design Thinking Business Analysis Business Concept Mapping Applied

Author

Frisendal, Thomas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Practical Aspects of Design Science European Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011, Revised Selected Papers

Practical Aspects of Design Science European Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011, Revised Selected Papers

Author

Helfert, Markus. editor. Donnellan, Brian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

User Experience Design Mit erlebniszentrierter Softwareentwicklung zu Produkten, die begeistern

Author

Moser, Christian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Foundations of Security Analysis and Design VI FOSAD Tutorial Lectures

Author

Aldini, Alessandro. editor. Gorrieri, Roberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Verification and Validation in Systems Engineering Assessing UML/SysML Design Models

Author

Debbabi, Mourad. author. Hassaïne, Fawzi. author. Jarraya, Yosr. author. Soeanu, Andrei. author. Alawneh, Luay. author.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Foundations of Security Analysis and Design V FOSAD 2007/2008/2009 Tutorial Lectures

Author

Aldini, Alessandro. editor. Barthe, Gilles. editor. Gorrieri, Roberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

13.

Entwicklung IT-basierter Dienstleistungen Co-Design von Software und Services mit ServCASE

Author

Fähnrich, Klaus-Peter. editor. Husen, Christian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Foundations of Security Analysis and Design IV FOSAD 2006/2007 Tutorial Lectures

Author

Aldini, Alessandro. editor. Gorrieri, Roberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

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:

16.

Cover image for Object-Oriented Metrics in Practice Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems

Object-Oriented Metrics in Practice Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems

Author

Lanza, Michele. author. Marinescu, Radu. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

Foundations of Security Analysis and Design III FOSAD 2004/2005 Tutorial Lectures

Author

Aldini, Alessandro. editor. Gorrieri, Roberto. editor. Martinelli, Fabio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Embedded Systems Design The ARTIST Roadmap for Research and Development

Author

Bouyssounouse, Bruno. author. Sifakis, Joseph. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Topics in Cryptology – CT-RSA 2018 The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings

Topics in Cryptology – CT-RSA 2018 The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings

Author

Smart, Nigel P. editor. (orcid)0000-0003-3567-3304 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-76953-0

Format:

Availability

Online Library~1

Available:
Copies:

20.

Bidirectional Transformations International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures

Author

Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 Stevens, Perdita. editor. (orcid)0000-0002-3975-7612 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-79108-1

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers

Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers

Author

Beek, Maurice H. editor. Lohmann, Niels. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334562.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings

Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings

Author

Duddy, Keith. editor. Kappel, Gerti. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334691.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

23.

SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings

Author

Khendek, Ferhat. editor. Toeroe, Maria. editor. Gherbi, Abdelouahed. editor. Reed, Rick. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334697.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings

Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings

Author

Moreira, Ana. editor. Schätz, Bernhard. editor. Gray, Jeff. editor. Vallecillo, Antonio. editor. Clarke, Peter. editor.

Preferred Shelf Number

ONLINE(335120.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

25.

Cover image for Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

Author

Yenigün, Hüsnü. editor. Yilmaz, Cemal. editor. Ulrich, Andreas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335141.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

26.

Cover image for Evaluation of Novel Approaches to Software Engineering 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers

Evaluation of Novel Approaches to Software Engineering 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers

Author

Maciaszek, Leszek A. editor. Filipe, Joaquim. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335217.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

27.

Cover image for Evaluation of Novel Approaches to Software Engineering 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers

Evaluation of Novel Approaches to Software Engineering 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers

Author

Filipe, Joaquim. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335227.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

28.

Cover image for Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers

Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers

Author

Maciaszek, Leszek A. editor. Zhang, Kang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333558.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

29.

Cover image for Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers

Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers

Author

Păsăreanu, Corina S. editor. Salaün, Gwen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334069.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

30.

Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings

Author

Gorp, Pieter. editor. Ritter, Tom. editor. Rose, Louis M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334711.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

31.

Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings

Author

Drira, Khalil. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334714.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

32.

Generic Systems Engineering Ein methodischer Ansatz zur Komplexitätsbewältigung

Author

Winzer, Petra. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337019.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

33.

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

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

Author

Kotásek, Zdeněk. editor. Bouda, Jan. editor. Černá, Ivana. editor. Sekanina, Lukáš. editor. Vojnar, Tomáš. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

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

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

Author

Kienzle, Jörg. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

35.

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

Author

Vallecillo, Antonio. editor. Tolvanen, Juha-Pekka. editor. Kindler, Ekkart. editor. Störrle, Harald. editor. Kolovos, Dimitris. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.

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

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

Author

Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Gurov, Dilian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

37.

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

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

Author

Gheyi, Rohit. editor. Naumann, David. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

38.

All-Embracing Manufacturing Roadmap System

Author

Halevi, Gideon. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-4180-5

Format:

Availability

Online Library~1

Available:
Copies:

39.

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

Fundamental Approaches to Software Engineering 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings

Author

Lara, Juan. editor. Zisman, Andrea. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

40.

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

Author

Giannakopoulou, Dimitra. editor. Méry, Dominique. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

41.

Cover image for Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings

Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings

Author

France, Robert B. editor. Kazmeier, Jürgen. editor. Breu, Ruth. editor. Atkinson, Colin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

42.

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

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

Author

Nielsen, Brian. editor. Weise, Carsten. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

43.

Transactions on Aspect-Oriented Software Development IX

Author

Leavens, Gary T. editor. Chiba, Shigeru. editor. Haupt, Michael. editor. Ostermann, Klaus. editor. Wohlstadter, Eric. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

44.

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

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

Author

Arbab, Farhad. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

45.

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

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

Author

Meyer, Bertrand. editor. Nordio, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

46.

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

Author

Ober, Iulian. editor. Ober, Ileana. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

47.

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

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

Author

Meyer, Bertrand. editor. Nordio, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

48.

Cover image for Foundations and Practice of Security 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers

Foundations and Practice of Security 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers

Author

Garcia-Alfaro, Joaquin. editor. Lafourcade, Pascal. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

49.

Cover image for Distributed Computing and Internet Technology 8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings

Distributed Computing and Internet Technology 8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings

Author

Ramanujam, R. editor. Ramaswamy, Srini. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

50.

Software Architecture 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011. Proceedings

Author

Crnkovic, Ivica. editor. Gruhn, Volker. editor. Book, Matthias. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

51.

Cover image for Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

Author

Beckert, Bernhard. editor. Marché, Claude. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

52.

Cover image for Fundamental Approaches to Software Engineering 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Fundamental Approaches to Software Engineering 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Author

Giannakopoulou, Dimitra. editor. Orejas, Fernando. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for Formal Methods: Foundations and Applications 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

Formal Methods: Foundations and Applications 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

Author

Davies, Jim. editor. Silva, Leila. editor. Simao, Adenilso. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

54.

FM 2011: Formal Methods 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings

Author

Butler, Michael. editor. Schulte, Wolfram. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

55.

Modelling Foundations and Applications 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings

Author

France, Robert B. editor. Kuester, Jochen M. editor. Bordbar, Behzad. editor. Paige, Richard F. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

56.

Transactions on Aspect-Oriented Software Development VIII

Author

Katz, Shmuel. editor. Mezini, Mira. editor. Schwanninger, Christine. editor. Joosen, Wouter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

57.

Wertschöpfung in der Bottom-up-Ökonomie

Author

Redlich, Tobias. author. Wulfsberg, Jens P. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

58.

Cover image for Models in Software Engineering Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers

Models in Software Engineering Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers

Author

Dingel, Juergen. editor. Solberg, Arnor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

59.

Cover image for Software Engineering Techniques Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers

Software Engineering Techniques Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers

Author

Huzar, Zbigniew. editor. Koci, Radek. editor. Meyer, Bertrand. editor. Walter, Bartosz. editor. Zendulka, Jaroslav. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

60.

ECOOP 2011 – Object-Oriented Programming 25th European Conference, Lancaster, Uk, July 25-29, 2011 Proceedings

Author

Mezini, Mira. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

61.

Cover image for Evaluation of Novel Approaches to Software Engineering 5th International Conference, ENASE 2010, Athens, Greece, July 22-24, 2010, Revised Selected Papers

Evaluation of Novel Approaches to Software Engineering 5th International Conference, ENASE 2010, Athens, Greece, July 22-24, 2010, Revised Selected Papers

Author

Maciaszek, Leszek A. editor. Loucopoulos, Pericles. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

62.

Cover image for Formal Methods, Foundations and Applications 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers

Formal Methods, Foundations and Applications 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers

Author

Simao, Adenilso. editor. Morgan, Carroll. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

63.

Cover image for Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Author

Rosenblum, David S. editor. Taentzer, Gabriele. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

64.

Cover image for Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers

Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers

Author

Ghosh, Sudipto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

65.

Advanced Lectures on Software Engineering LASER Summer School 2007/2008

Author

Müller, Peter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

66.

Modelling Foundations and Applications 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings

Author

Kühne, Thomas. editor. Selic, Bran. editor. Gervais, Marie-Pierre. editor. Terrier, François. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

67.

Transactions on Aspect-Oriented Software Development VII A Common Case Study for Aspect-Oriented Modeling

Author

Katz, Shmuel. editor. Mezini, Mira. editor. Kienzle, Jörg. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

68.

Cover image for Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures

Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures

Author

Borba, Paulo. editor. Cavalcanti, Ana. editor. Sampaio, Augusto. editor. Woodcook, Jim. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

69.

Cover image for Software Language Engineering Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers

Software Language Engineering Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers

Author

Brand, Mark. editor. Gašević, Dragan. editor. Gray, Jeff. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

70.

Cover image for Model Driven Architecture - Foundations and Applications 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings

Model Driven Architecture - Foundations and Applications 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings

Author

Paige, Richard F. editor. Hartman, Alan. editor. Rensink, Arend. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

71.

ECOOP 2009 – Object-Oriented Programming 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings

Author

Drossopoulou, Sophia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

72.

Domain-Specific Languages IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 2009 Proceedings

Author

Taha, Walid Mohamed. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

73.

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

74.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

75.

FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings

Author

Cuellar, Jorge. editor. Maibaum, Tom. editor. Sere, Kaisa. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

76.

Cover image for Requirements Engineering: Foundation for Software Quality 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings

Requirements Engineering: Foundation for Software Quality 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings

Author

Paech, Barbara. editor. Rolland, Colette. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

77.

Cover image for Model Driven Architecture – Foundations and Applications 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings

Model Driven Architecture – Foundations and Applications 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings

Author

Schieferdecker, Ina. editor. Hartman, Alan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

78.

Cover image for Testing of Software and Communicating Systems 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings

Testing of Software and Communicating Systems 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings

Author

Suzuki, Kenji. editor. Higashino, Teruo. editor. Ulrich, Andreas. editor. Hasegawa, Toru. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

79.

Object-Oriented Technology. ECOOP 2007 Workshop Reader ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports

Author

Cebulla, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

80.

Web Services and Formal Methods 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings

Author

Dumas, Marlon. editor. Heckel, Reiko. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

81.

Cover image for Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings

Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings

Author

Harrison, Michael D. editor. Sujan, Mark-Alexander. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

82.

ECOOP 2008 – Object-Oriented Programming 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings

Author

Vitek, Jan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

83.

Formal Methods and Testing An Outcome of the FORTEST Network, Revised Selected Papers

Author

Hierons, Robert M. editor. Bowen, Jonathan P. editor. Harman, Mark. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

84.

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:

85.

Cover image for Model Driven Architecture- Foundations and Applications Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedings

Model Driven Architecture- Foundations and Applications Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedings

Author

Akehurst, David H. editor. Vogel, Régis. editor. Paige, Richard F. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

86.

ECOOP 2007 – Object-Oriented Programming 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings

Author

Ernst, Erik. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

87.

Cover image for Cryptographic Hardware and Embedded Systems - CHES 2007 9th International Workshop, Vienna, Austria, September 10-13, 2007. Proceedings

Cryptographic Hardware and Embedded Systems - CHES 2007 9th International Workshop, Vienna, Austria, September 10-13, 2007. Proceedings

Author

Paillier, Pascal. editor. Verbauwhede, Ingrid. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

88.

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:

89.

Cover image for Advances in Computer Science – ASIAN 2007. Computer and Network Security 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007. Proceedings

Advances in Computer Science – ASIAN 2007. Computer and Network Security 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007. Proceedings

Author

Cervesato, Iliano. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

90.

Runtime Verification 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers

Author

Sokolsky, Oleg. editor. Taşıran, Serdar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

91.

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:

92.

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:

93.

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:

94.

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:

95.

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:

96.

ECOOP 2006 – Object-Oriented Programming 20th European Conference, Nantes, France, July 3-7, 2006. Proceedings

Author

Thomas, Dave. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

97.

Cover image for Model Driven Architecture – Foundations and Applications Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006. Proceedings

Model Driven Architecture – Foundations and Applications Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006. Proceedings

Author

Rensink, Arend. editor. Warmer, Jos. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

98.

FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings

Author

Misra, Jayadev. editor. Nipkow, Tobias. editor. Sekerinski, Emil. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

99.

Cover image for Computer Safety, Reliability, and Security 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006. Proceedings

Computer Safety, Reliability, and Security 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006. Proceedings

Author

Górski, Janusz. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

100.

Cover image for Cryptographic Hardware and Embedded Systems - CHES 2006 8th International Workshop, Yokohama, Japan, October 10-13, 2006. Proceedings

Cryptographic Hardware and Embedded Systems - CHES 2006 8th International Workshop, Yokohama, Japan, October 10-13, 2006. Proceedings

Author

Goubin, Louis. editor. Matsui, Mitsuru. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

101.

Cover image for Rapid Integration of Software Engineering Techniques Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers

Rapid Integration of Software Engineering Techniques Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers

Author

Guelfi, Nicolas. editor. Savidis, Anthony. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

102.

Cover image for Formal Approaches to Software Testing 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers

Formal Approaches to Software Testing 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers

Author

Grieskamp, Wolfgang. editor. Weise, Carsten. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

103.

Cover image for Extreme Programming and Agile Processes in Software Engineering 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006. Proceedings

Extreme Programming and Agile Processes in Software Engineering 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006. Proceedings

Author

Abrahamsson, Pekka. editor. Marchesi, Michele. editor. Succi, Giancarlo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

104.

Cover image for Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

Author

Havelund, Klaus. editor. Núñez, Manuel. editor. Roşu, Grigore. editor. Wolff, Burkhart. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

105.

Cover image for Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005. Proceedings

Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005. Proceedings

Author

Baumeister, Hubert. editor. Marchesi, Michele. editor. Holcombe, Mike. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

106.

SDL 2005: Model Driven 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005. Proceedings

Author

Prinz, Andreas. editor. Reed, Rick. editor. Reed, Jeanne. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

107.

FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings

Author

Fitzgerald, John. editor. Hayes, Ian J. editor. Tarlecki, Andrzej. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

108.

ECOOP 2005 - Object-Oriented Programming 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings

Author

Black, Andrew P. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

109.

Cover image for Model Driven Architecture European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linköping, Sweden, June 10-11, 2004. Revised Selected Papers

Model Driven Architecture European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linköping, Sweden, June 10-11, 2004. Revised Selected Papers

Author

Aßmann, Uwe. editor. Aksit, Mehmet. editor. Rensink, Arend. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

110.

Cover image for Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers

Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers

Author

Grabowski, Jens. editor. Nielsen, Brian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

111.

Cover image for Cryptographic Hardware and Embedded Systems – CHES 2005 7th International Workshop, Edinburgh, UK, August 29 – September 1, 2005. Proceedings

Cryptographic Hardware and Embedded Systems – CHES 2005 7th International Workshop, Edinburgh, UK, August 29 – September 1, 2005. Proceedings

Author

Rao, Josyula R. editor. Sunar, Berk. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

112.

Cover image for Computer Safety, Reliability, and Security 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005. Proceedings

Computer Safety, Reliability, and Security 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005. Proceedings

Author

Winther, Rune. editor. Gran, Bjørn Axel. editor. Dahll, Gustav. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

113.

Cover image for Scenarios: Models, Transformations and Tools International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers

Scenarios: Models, Transformations and Tools International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers

Author

Leue, Stefan. editor. Systä, Tarja Johanna. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

114.

Cover image for Rapid Integration of Software Engineering Techniques First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004. Revised Selected Papers

Rapid Integration of Software Engineering Techniques First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004. Revised Selected Papers

Author

Guelfi, Nicolas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

115.

Cover image for Model Driven Architecture – Foundations and Applications First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005. Proceedings

Model Driven Architecture – Foundations and Applications First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005. Proceedings

Author

Hartman, Alan. editor. Kreische, David. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}