Search

Your search returned 6 results.

Not what you expected? Check for suggestions

Results
		No cover image available Fields medallists' lectures [electronic resource] / editors, Michael Atiyah, Daniel Iagolnitzer. by Atiyah, Michael Francis, 1929- \| Iagolnitzer, Daniel \| ProQuest (Firm). Series: World Scientific series in 20th century mathematics ; vol. 9.Edition: 2nd ed.Material type: Text; Format: electronic available online ; Nature of contents: ; Literary form: Not fiction Publication details: River Edge, NJ : World Scientific, c2003Online access: Click to View Availability: No items available. Add to cart (remove)
		Programming for Computations - MATLAB/Octave : A Gentle Introduction to Numerical Simulations with MATLAB/Octave. by Linge, Svein \| Langtangen, Hans Petter. Series: Texts in Computational Science and Engineering SeriesEdition: 1st ed.Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2016Copyright date: �2016Online access: Click to View Availability: No items available. Add to cart (remove)
		Evolutionary Equations : Picard's Theorem for Partial Differential Equations, and Applications. by Seifert, Christian \| Trostorff, Sascha \| Waurick, Marcus. Series: Operator Theory: Advances and Applications SeriesEdition: 1st ed.Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2022Copyright date: �2022Online access: Click to View Availability: No items available. Add to cart (remove)
		Programming for Computations - Python : A Gentle Introduction to Numerical Simulations with Python 3. 6. by Linge, Svein \| Langtangen, Hans Petter. Series: Texts in Computational Science and Engineering SeriesEdition: 2nd ed.Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2019Copyright date: �2020Online access: Click to View Availability: No items available. Add to cart (remove)
		Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II. by Groote, Jan Friso \| Larsen, Kim Guldstrand. Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2021Copyright date: �2021Online access: Click to View Availability: No items available. Add to cart (remove)
		Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II. by Enea, Constantin \| Lal, Akash. Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2023Copyright date: �2023Online access: Click to View Availability: No items available. Add to cart (remove)