Search Results for Calculus - Narrowed by: e-books - SpringerLink (Online service)SirsiDynix Enterprisehttp://portal.utm.my/client/en_AU/main/main/qu$003dCalculus$0026qf$003dSUBJECT$002509Subject$002509e-books$002509e-books$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026ic$003dtrue$0026ps$003d300?dt=list2024-06-14T06:49:45ZDirect methods in the calculus of variationsent://SD_ILS/0/SD_ILS:5155752024-06-14T06:49:45Z2024-06-14T06:49:45Zby Dacorogna, Bernard, 1953-<br/>Author Dacorogna, Bernard, 1953-, SpringerLink (Online service)<br/>Format: Computer file<br/>Call Number EB 000547<br/>Publisher Springer Science+Business Media, LLC,<br/>Publication Date 2007<br/>ISBN 9780387552491<br/><a href="http://dx.doi.org/10.1007/978-0-387-55249-1">Full Text</a><br/>Accessible within UTM campus<br/>Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lecturesent://SD_ILS/0/SD_ILS:6281762024-06-14T06:49:45Z2024-06-14T06:49:45Zby 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/>The Calculus of Computation Decision Procedures with Applications to Verificationent://SD_ILS/0/SD_ILS:5167292024-06-14T06:49:45Z2024-06-14T06:49:45Zby Bradley, Aaron R.<br/>Author Bradley, Aaron R., Manna, Zohar, SpringerLink (Online service)<br/>Format: Computer file<br/>Call Number EB 000128<br/>Publisher Springer-Verlag Berlin Heidelberg,<br/>Publication Date 2007<br/>ISBN 9783540741138<br/><a href="http://dx.doi.org/10.1007/978-3-540-74113-8">Full Text</a><br/>Remote access restricted to users with a valid UTM ID via VPN<br/>Theory and Applications of Satisfiability Testing - SAT 2007 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007: Proceedingsent://SD_ILS/0/SD_ILS:6253192024-06-14T06:49:45Z2024-06-14T06:49:45Zby SAT 2007 (2007 : Lisbon, Portugal)<br/>Author SAT 2007 (2007 : Lisbon, Portugal), Marques-Silva, Joao, Sakallah, Karem A., SpringerLink (Online service)<br/>Format: Computer file<br/>Call Number EB 001240<br/>Publisher Springer-Verlag GmbH.,<br/>Publication Date 2007<br/>ISBN 9783540727880<br/><a href="http://dx.doi.org/10.1007/978-3-540-72788-0">http://dx.doi.org/10.1007/978-3-540-72788-0</a><br/>Remote access restricted to users with a valid UTM ID via VPN<br/>Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007: Proceedingsent://SD_ILS/0/SD_ILS:6254342024-06-14T06:49:45Z2024-06-14T06:49:45Zby Calculemus 2007, (2007 : Hagenberg im Muhlkreis, Austria)<br/>Author Calculemus 2007, (2007 : Hagenberg im Muhlkreis, Austria), Kauers, Manuel, SpringerLink (Online service)<br/>Format: Computer file<br/>Call Number EB 001256<br/>Publisher Springer-Verlag Berlin Heidelberg,<br/>Publication Date 2007<br/>ISBN 9783540730866<br/><a href="http://dx.doi.org/10.1007/978-3-540-73086-6">http://dx.doi.org/10.1007/978-3-540-73086-6</a><br/>Remote access restricted to users with a valid UTM ID via VPN<br/>