Search Results for Catalysis - Narrowed by: SpringerLink (Online service) - Logic, Symbolic and mathematical -- CongressesSirsiDynix Enterprisehttp://portal.utm.my/client/en_AU/main/main/qu$003dCatalysis$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dSUBJECT$002509Subject$002509Logic$00252C$002bSymbolic$002band$002bmathematical$002b--$002bCongresses$002509Logic$00252C$002bSymbolic$002band$002bmathematical$002b--$002bCongresses$0026ic$003dtrue$0026ps$003d300?dt=list2024-05-18T19:48:14ZFoundations of software science and computational structures 10th international conference, FOSSACS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 : proceedingsent://SD_ILS/0/SD_ILS:5173862024-05-18T19:48:14Z2024-05-18T19:48:14Zby FOSSACS 2007 (2007 : Braga, Portugal)<br/>Author FOSSACS 2007 (2007 : Braga, Portugal), Seidl, Helmut, SpringerLink (Online service)<br/>Format: Computer file<br/>Call Number EB 000709<br/>Publisher Springer-Verlag Berlin Heidelberg,<br/>Publication Date 2007<br/>ISBN 9783540713890<br/><a href="http://dx.doi.org/10.1007/978-3-540-71389-0">Full Text</a><br/>Remote access restricted to users with a valid UTM ID via VPN<br/>Symbolic-Numeric Computationent://SD_ILS/0/SD_ILS:5168972024-05-18T19:48:14Z2024-05-18T19:48:14Zby Wang, Dongming<br/>Author Wang, Dongming, Zhi, Lihong, SpringerLink (Online service)<br/>Format: Computer file<br/>Call Number EB 000464<br/>Publisher Birkhauser Verlag AG,<br/>Publication Date 2007<br/>ISBN 9783764379841<br/><a href="http://dx.doi.org/10.1007/978-3-7643-7984-1">Full Text</a><br/>Remote access restricted to users with a valid UTM ID via VPN<br/>Foundations of software science and computational structures 10th international conference, FOSSACS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 : proceedingsent://SD_ILS/0/SD_ILS:5170182024-05-18T19:48:14Z2024-05-18T19:48:14Zby FOSSACS 2007 (2007 : Braga, Portugal)<br/>Author FOSSACS 2007 (2007 : Braga, Portugal), Seidl, Helmut, SpringerLink (Online service), ETAPS 2007 (2007 : Braga, Portugal)<br/>Format: Computer file<br/>Call Number EB 000708<br/>Publisher Springer-Verlag Berlin Heidelberg,<br/>Publication Date 2007<br/>ISBN 9783540713890<br/><a href="http://dx.doi.org/10.1007/978-3-540-71389-0">Full Text</a><br/>Remote access restricted to users with a valid UTM ID via VPN<br/>