Search Results for Software engineering

360 Results Found

1 2 3 4 5 .. 30

000000000000DEFAULT

Cover image for Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings

Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings

Author

Dong, Jin Song. editor. Zhu, Huibiao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Advances in Software Engineering International Conference, ASEA 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings

Advances in Software Engineering International Conference, ASEA 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings

Author

Kim, Tai-hoon. editor. Kim, Haeng-Kon. editor. Khan, Muhammad Khurram. editor. Kiumi, Akingbehin. editor. Fang, Wai-chi. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Evaluation of Novel Approaches to Software Engineering 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009. Revised Selected Papers

Evaluation of Novel Approaches to Software Engineering 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009. Revised Selected Papers

Author

Maciaszek, Leszek A. editor. González-Pérez, César. editor. Jablonski, Stefan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Best Practice Software-Engineering Eine praxiserprobte Zusammenstellung von komponentenorientierten Konzepten, Methoden und Werkzeugen

Best Practice Software-Engineering Eine praxiserprobte Zusammenstellung von komponentenorientierten Konzepten, Methoden und Werkzeugen

Author

Schatten, Alexander. author. Demolsky, Markus. author. Winkler, Dietmar. author. Biffl, Stefan. author. Gostischa-Franta, Erik. author.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Automotive Software Engineering Grundlagen, Prozesse, Methoden und Werkzeuge effizient einsetzen

Author

Schäuffele, Jörg. author. Zurawka, Thomas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-8348-9368-0

Format:

Availability

Online Library~1

Available:
Copies:

Advanced Techniques in 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-90-481-3660-5

Format:

Availability

Online Library~1

Available:
Copies:

Modeling in Event-B system and software engineering

Author

Abrial, Jean-Raymond.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Trustworthy compilers

Author

Safonov, V. O. (Vladimir Olegovich)

Preferred Shelf Number

ONLINE

Electronic Access

Books24x7 http://www.books24x7.com/marc.asp?bookid=35179
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=485634
John Wiley http://dx.doi.org/10.1002/9780470593387
http://site.ebrary.com/lib/alltitles/Doc?id=10366446

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems

Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems

Author

Truszkowski, Walt. author. Hallock, Harold. author. Rouff, Christopher. author. Karlin, Jay. author. Rash, James. author.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

MATLAB software for the code excited linear prediction algorithm the Federal Standard, 1016

Author

Ramamurthy, Karthikeyan N. Spanias, Andreas.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Information security management handbook

Author

Tipton, Harold F. Krause, Micki.

Preferred Shelf Number

QA76.9 .A25 I54165 2003

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

12.

Testing Complex and Embedded Systems

Author

Pries, Kim H., author. Quigley, Jon M., author. Taylor and Francis.

Preferred Shelf Number

TK7895 .E42

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 30

	{displayName}	{count}
{error}