Your search returned 194 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Knowledge-Based Software Engineering : Proceedings of the Seventh Joint Conference on Knowledge-Based Software Engineering / edited by Enn Tyugu and Takahira Yamaguchi.

by Joint Conference on Knowledge-Based Software Engineering (7th : 2006 : Tallinn, Estonia) | Tõugu, Enn, 1935- | Yamaguchi, Takahira.

Series: Frontiers in artificial intelligence and applications ; v. 140.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Amsterdam ; Washington, DC : IOS Press, ©2006Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Proof technology and computation / edited by Helmut Schwichtenberg and Katharina Spies.

by NATO Advanced Study Institute on Proof Technology and Computation (2003 : Marktoberdorf, Germany) | Schwichtenberg, Helmut, 1942- | Spies, Katharina.

Series: NATO science series. Series III, Computer and systems sciences ; ; v. 200.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Amsterdam ; Washington, DC : IOS Press, ©2006Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
New trends in software methodologies, tools and techniques : proceedings of the fourth SoMeT W05 / edited by Hamido Fujita and Mohamed Mejri.

by International Conference on New Trends in Software Methodologies, Tools and Techniques (4th : 2005 : Tokyo, Japan) | Fujita, Hamido | Mejri, Mohamed, 1968-.

Series: Frontiers in artificial intelligence and applications ; v. 129.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Amsterdam ; Washington, D.C. : IOS Press, ©2005Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
New trends in software methodologies, tools and techniques : proceedings of the fifth SoMeT 06 / edited by Hamido Fujita and Mohamed Mejri.

by International Conference on New Trends in Software Methodologies, Tools and Techniques (5th : 2006 : Quebec, Canada) | Fujita, Hamido | Mejri, Mohamed, 1968-.

Series: Frontiers in artificial intelligence and applications ; v. 147.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Amsterdam ; Washington, D.C. : IOS Press, ©2006Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Knowledge-Based Software Engineering : Proceedings of the Fifth Joint Conference on Knowledge-Based Software Engineering / edited by Tatjana Welzer, Shuichiro Yamamoto, and Ivan Rozman.

by Joint Conference on Knowledge-Based Software Engineering (5th : 2002 : Malibor, Slovenia) | Welzer, Tatjana, 1961- | Yamamoto, Shuichiro | Rozman, Ivan, 1953-.

Series: Frontiers in artificial intelligence and applications ; v. 80.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Amsterdam ; Washington, DC : IOS Press/Ohmsha, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
New trends in software methodologies, tools and techniques : proceedings of the Eighth SoMeT_09 / edited by Hamido Fujita and Vladimír Mařík.

by International Conference on New Trends in Software Methodologies, Tools and Techniques (8th : 2009 : Prague, Czech Republic) | Fujita, Hamido | Mařík, V. (Vladimír).

Series: Frontiers in artificial intelligence and applications ; v. 199.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Amsterdam ; Washington, DC : IOS Press, ©2009Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
New Trends in Software Methodologies, Tools and Techniques : Proceedings of the Seventh SoMeT_08 / edited by Hamido Fujita and Imran Zualkernan.

by International Conference on New Trends in Software Methodologies, Tools and Techniques (7th : 2008 : Shāriqah, United Arab Emirates) | Fujita, Hamido | Zualkernan, Imran A. (Imran Ahmed).

Series: Frontiers in artificial intelligence and applications ; v. 182.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Amsterdam : IOS Press, 2008Other title: SoMeT_08 | SoMeT 2008 : the 7th International Conference on Software Methodologies, Tools and Techniques.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
New trends in software methodologies, tools and techniques / edited by Hamido Fujita.

by Fujita, Hamido.

Series: Frontiers in artificial intelligence and applications ; v. 217.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Amsterdam ; Washington, D.C. : IOS Press, 2010Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
New Trends in Software Methodologies, Tools and Techniques : Proceedings of the Tenth SoMeT_11 / edited by Hamido Fujita and Tatiana Gavrilova.

by International Conference on New Trends in Software Methodologies, Tools and Techniques (10th : 2011 : Saint Petersburg, Russia) | Fujita, Hamido | Gavrilova, T. A. (Tatʹiana Alʹbertovna).

Series: Frontiers in artificial intelligence and applications ; v. 231.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Amsterdam ; Washington, D.C. : IOS Press, ©2011Other title: SoMeT_11.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
New Trends in Software Methodologies, Tools and Techniques : Proceedings of the Eleventh SoMeT_12 / edited by Hamido Fujita and Roberto Revetria.

by International Conference on New Trends in Software Methodologies, Tools and Techniques (11th : 2012 : Genoa, Italy) | Fujita, Hamido | Revetria, Roberto | IOS Press.

Series: Frontiers in artificial intelligence and applications ; v. 246.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Amsterdam ; Washington, D.C. : IOS Press, ©2012Other title: SoMeT_12.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
New trends in software methodologies, tools and techniques : proceedings of the Thirteenth SoMeT_14 / edited by Hamido Fujita, Ali Selmat and Habibollah Haron.

by International Conference on New Trends in Software Methodologies, Tools and Techniques (13th : 2014 : Langkawi, Malaysia) | Fujita, Hamido [editor.] | Selmat, Ali [editor.] | Haron, Habibollah [editor.] | IOS Press.

Series: Frontiers in artificial intelligence and applications ; volume 265.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Amsterdam : IOS Press, 2014Other title: SoMeT_14.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
New trends in software methodologies, tools and techniques : proceedings of the fifteenth SoMeT_16 / edited by Hamido Fujita and George Angelos Papadopoulos.

by IEEE International Conference on Intelligent Software Methodologies, Tools and Techniques (15th : 2016 : Cyprus) | Fujita, Hamido [editor.] | Papadopoulos, George A, 1960- [editor.] | IOS Press.

Series: Frontiers in artificial intelligence and applications ; v. 286.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Amsterdam, Netherlands : IOS Press, 2016Other title: SoMeT_16.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
New trends in intelligent software methodologies, tools and techniques : proceedings of the 16th International Conference SoMeT_17 / edited by Hamido Fujita, Ali Selamat and Sigeru Omatu.

by IEEE International Conference on Intelligent Software Methodologies, Tools and Techniques (16th : 2017 : Kitakyūshū-shi, Japan) | Fujita, Hamido [editor.] | Selamat, Ali [editor.] | Ōmatu, S, 1946- [editor.].

Series: Frontiers in artificial intelligence and applications ; v. 297.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Amsterdam, Netherlands : IOS Press, 2017Other title: SoMeT_17.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
New trends in intelligent software methodologies, tools and techniques : proceedings of the 17th International Conference SoMeT_18 / edited by Hamido Fujita and Enrique Herrera-Viedma.

by IEEE International Conference on Intelligent Software Methodologies, Tools and Techniques (17th : 2018 : Granada) | Fujita, NHamido [editor.] | Herrera-Viedma, Enrique [editor.].

Series: Frontiers in artificial intelligence and applications ; v. 303.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Amsterdam, Netherlands : IOS Press, [2018]Other title: Proceedings of the 17th International Conference SoMeT_18 | SoMeT_18.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers / E. Brinksma [and others], (eds.).

by TACAS (Conference) (1st : 1995 : Århus, Denmark) | Brinksma, Ed.

Series: Serienbezeichnung | Lecture notes in computer science ; 1019.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1995Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Tools and algorithms for the construction and analysis of systems : 5th international conference, TACAS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999 : proceedings / W. Rance Cleaveland, ed.

by TACAS '99 (1999 : Amsterdam, Netherlands) | Cleaveland, W. R. (Walter Rance), 1961- | ETAPS (Conference) (2nd : 1999 : Amsterdam, Netherlands).

Series: Serienbezeichnung | Lecture notes in computer science ; 1579.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1999Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
UML 2001 : the unified modeling language : modeling languages, concepts, and tools : 4th international conference, Toronto, Canada, October 1-5, 2001 : proceedings / Martin Gogolla, Cris Kobryn (ed.).

by UML 2001 (2001 : Toronto, Ont.) | Gogolla, Martin, 1954- | Kobryn, Cris, 1952-.

Series: Serienbezeichnung | Lecture notes in computer science ; 2185.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
FME 2001 : formal methods for increasing software productivity : [10th] International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings / José Nuno Oliveira, Pamela Zave (eds.).

by International Symposium of Formal Methods Europe (10th : 2001 : Berlin, Germany) | Oliveira, José N | Zave, Pamela, 1948-.

Series: Serienbezeichnung | Lecture notes in computer science ; 2021.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2001Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Embedded software : first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : proceedings / Thomas A. Henzinger, Christoph M. Kirsch (eds.).

by EMSOFT (Conference) | Henzinger, T. A. (Thomas A.) | Kirsch, Christoph M, 1968-.

Series: Serienbezeichnung | Lecture notes in computer science ; 2211.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
FME 2002 : formal methods--getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings / Lars-Henrik Eriksson, Peter Alexander Lindsay (eds.).

by International Symposium of Formal Methods Europe (11th : 2002 : Copenhagen, Denmark) | Eriksson, L.-H. (Lars-Henrik), 1960- | Lindsay, Peter Alexander, 1957-.

Series: Serienbezeichnung | Lecture notes in computer science ; 2391.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Pages

Powered by Koha