Search Results for Software Engineering/Programming and Operating Systems.

33 Results Found

1 2 3

000000000000DEFAULT

Scala Design Patterns Patterns for Practical Reuse and Design

Author

Hunt, John. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332904.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-02192-8

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings

Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings

Author

Hung, Dang. editor. Ogawa, Mizuhito. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332921.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-02444-8

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers

Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers

Author

Cordeiro, José. editor. Virvou, Maria. editor. Shishkov, Boris. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333246.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Author

Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334077.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers

Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers

Author

Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334096.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings

Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings

Author

Jürjens, Jan. editor. Livshits, Benjamin. editor. Scandariato, Riccardo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334236.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Web Dynpro ABAP for Practitioners

Author

Gellert, Ulrich. author. Cristea, Ana Daniela. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334566.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Knowledge Science, Engineering and Management 6th International Conference, KSEM 2013, Dalian, China, August 10-12, 2013. Proceedings

Knowledge Science, Engineering and Management 6th International Conference, KSEM 2013, Dalian, China, August 10-12, 2013. Proceedings

Author

Wang, Mingzheng. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334849.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings

Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings

Author

Malyshkin, Victor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334871.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Concise Guide to Databases A Practical Introduction

Author

Lake, Peter. author. Crowther, Paul. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331224.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-5601-7

Format:

Availability

Online Library~1

Available:
Copies:

11.

Handbook of Neuroevolution Through Erlang

Author

Sher, Gene I. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331512.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-4463-3

Format:

Availability

Online Library~1

Available:
Copies:

12.

Sustainable Web Ecosystem Design

Author

O'Toole, Greg. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332331.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-7714-3

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3

	{displayName}	{count}
{error}