<![CDATA[Library of American University of Madaba Search for 'su:Computer science and su:Congresses and se:Lecture notes in computer science and su-to:Software engineering']]>

<![CDATA[Library of American University of Madaba Search for 'su:Computer science and su:Congresses and se:Lecture notes in computer science and su-to:Software engineering']]> http://library.aum.edu.jo/cgi-bin/koha/opac-search.pl?q=ccl=su:Computer science and su:Congresses and se:Lecture notes in computer science and su-to:Software engineering&format=rss2 5 0 50 Formal methods for industrial critical systems : , 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings / ISBN 9783642158971 http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=4970 Berlin : Springer, 2010 . xii, 230 p. : 9783642158971

Place Hold on Formal methods for industrial critical systems :

]]> http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=4970 Computer performance engineering : , 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, proceeding / ISBN 9783642157837 http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=4913 Berlin : Springer, 2010 . x, 283 p. : 9783642157837

Place Hold on Computer performance engineering :

]]> http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=4913 Foundations of computer software : , future trends and techniques for development : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, revised selected papers / ISBN 9783642125652 http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=4911 Berline : Springer, 2010 . viii, 274 p. : 9783642125652

Place Hold on Foundations of computer software :

]]> http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=4911 Engineering secure software and systems : , Second International Symposium, Essos 2010, Pisa, Italy, February 3-4, 2010, proceedings / ISBN 9783642117466 http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=4909 Berlin : Springer, 2010 . x, 240 p. : 9783642117466

Place Hold on Engineering secure software and systems :

]]> http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=4909 Generative programming and component engineering : , second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003 : proceedings / ISBN 3540201025 (alk. paper) | 9783540201021 http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=30719 Berlin : Springer, 2003 . ix, 396 p. : 24 cm.. 3540201025 (alk. paper) | 9783540201021

Place Hold on Generative programming and component engineering :

]]> http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=30719