461. Introduction to scientific programming and simulation using R. (2009) Other Names: Jones, Owen (Owen Dafydd); Maillardet, Robert; Robinson, Andrew (Andrew P.); CRC Press. Record Type: Book Extent: 1 online resource (xix, 453 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
462. Intruder deducibility constraints with negation. Decidability and application to secured service compositions. (May 2017) Authors: Avanesov, Tigran; Chevalier, Yannick; Rusinowitch, Michael; Turuani, Mathieu Journal: Journal of symbolic computation Issue: Volume 80:Part 1(2017) Page Start: 4 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
463. Invariant algebraic sets and symmetrization of polynomial systems. (November 2019) Authors: Hubert, Evelyne Journal: Journal of symbolic computation Issue: Volume 95(2019) Page Start: 53 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
464. Isoclinism of crossed modules. (May 2016) Authors: Odabaş, A.; Uslu, E.Ö.; Ilgaz, E. Journal: Journal of symbolic computation Issue: Volume 74(2016) Page Start: 408 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
465. Isoclinism of crossed modules. (May 2016) Authors: Odabaş, A.; Uslu, E.Ö.; Ilgaz, E. Journal: Journal of symbolic computation Issue: Volume 74(2016) Page Start: 408 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
466. Joint models for longitudinal and time-to-event data : with applications in R /: with applications in R. (2012) Other Names: Rizopoulos, Dimitris Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
467. Knapsack problems in products of groups. (May 2016) Authors: Frenkel, Elizaveta; Nikolaev, Andrey; Ushakov, Alexander Journal: Journal of symbolic computation Issue: Volume 74(2016) Page Start: 96 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
468. Knapsack problems in products of groups. (May 2016) Authors: Frenkel, Elizaveta; Nikolaev, Andrey; Ushakov, Alexander Journal: Journal of symbolic computation Issue: Volume 74(2016) Page Start: 96 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
469. KP solitons from tropical limits. (January 2023) Authors: Agostini, Daniele; Fevola, Claudia; Mandelshtam, Yelena; Sturmfels, Bernd Journal: Journal of symbolic computation Issue: Volume 114(2023) Page Start: 282 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
470. Krandick's proof of Lagrange's real root bound claim. (September 2015) Authors: Collins, George E. Journal: Journal of symbolic computation Issue: Volume 70(2015) Page Start: 106 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗