Search Results for - Narrowed by: SpringerLink (Online service) - Electronic Book - Computer logic -- Congresses. - e-booksSirsiDynix Enterprisehttp://portal.utm.my/client/en_AU/main/main/qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dITYPE$002509Material$002bType$0025091$00253AE-BOOK$002509Electronic$002bBook$0026qf$003dSUBJECT$002509Subject$002509Computer$002blogic$002b--$002bCongresses.$002509Computer$002blogic$002b--$002bCongresses.$0026qf$003dSUBJECT$002509Subject$002509e-books$002509e-books$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?dt=list2024-06-24T13:51:32ZDomain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lecturesent://SD_ILS/0/SD_ILS:6281762024-06-24T13:51:32Z2024-06-24T13:51:32Zby ICTAC Training School on Domain Modelling and Duration Calculus (2007 : Shanghai, China)<br/>Author ICTAC Training School on Domain Modelling and Duration Calculus (2007 : Shanghai, China), George, Chris W., Liu, Zhiming., Woodcock, Jim., SpringerLink (Online service)<br/>Format: Computer file<br/>Call Number EB 001366<br/>Publisher Springer-Verlag Berlin Heidelberg,<br/>Publication Date 2007<br/>ISBN 9783540749646<br/><a href="http://dx.doi.org/10.1007/978-3-540-74964-6">http://dx.doi.org/10.1007/978-3-540-74964-6</a><br/>Remote access restricted to users with a valid UTM ID via VPN<br/>Computational Logic in Multi-Agent Systems 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:6282092024-06-24T13:51:32Z2024-06-24T13:51:32Zby CLIMA (Conference) (7th : 2006 : Hakodate-shi, Japan)<br/>Author CLIMA (Conference) (7th : 2006 : Hakodate-shi, Japan), Inoue, Katsumi, Satoh, Ken, Toni, Francesca, SpringerLink (Online service)<br/>Format: Computer file<br/>Call Number EB 001375<br/>Publisher Springer-Verlag Berlin Heidelberg,<br/>Publication Date 2007<br/>ISBN 9783540696193<br/><a href="http://dx.doi.org/10.1007/978-3-540-69619-3">http://dx.doi.org/10.1007/978-3-540-69619-3</a><br/>Remote access restricted to users with a valid UTM ID via VPN<br/>Machines, Computations, and Universality 5th International Conference, MCU 2007, Orleans, France, September 10-13, 2007: Proceedingsent://SD_ILS/0/SD_ILS:6263732024-06-24T13:51:32Z2024-06-24T13:51:32Zby MCU 2007 (2007 : Orleans, France)<br/>Author MCU 2007 (2007 : Orleans, France), Durand-Lose, Jerome, Margenstern, Maurice, SpringerLink (Online service)<br/>Format: Computer file<br/>Call Number EB 001331<br/>Publisher Springer-Verlag Berlin Heidelberg,<br/>Publication Date 2007<br/>ISBN 9783540745938<br/><a href="http://dx.doi.org/10.1007/978-3-540-74593-8">http://dx.doi.org/10.1007/978-3-540-74593-8</a><br/>Remote access restricted to users with a valid UTM ID via VPN<br/>Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007: Proceedingsent://SD_ILS/0/SD_ILS:6281352024-06-24T13:51:32Z2024-06-24T13:51:32Zby Workshop on Computer Science Logic (21st : 2007 : Lausanne, Switzerland)<br/>Author Workshop on Computer Science Logic (21st : 2007 : Lausanne, Switzerland), Duparc, Jacques, Henzinger, Thomas A., SpringerLink (Online service)<br/>Format: Computer file<br/>Call Number EB 001359<br/>Publisher Springer-Verlag Berlin Heidelberg,<br/>Publication Date 2007<br/>ISBN 9783540749158<br/><a href="http://dx.doi.org/10.1007/978-3-540-74915-8">http://dx.doi.org/10.1007/978-3-540-74915-8</a><br/>Remote access restricted to users with a valid UTM ID via VPN<br/>