Search

Your search returned 18 results.

Not what you expected? Check for suggestions

Results
		The Proceedings of the 12th International Congress on Mathematical Education : Intellectual and Attitudinal Challenges. by Cho, Sung-Je. Edition: 1st ed.Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2015Copyright date: �2015Online access: Click to View Availability: No items available. Add to cart (remove)
		Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. by Bouyer, Patricia \| Schr�oder, Lutz. 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, 2022Copyright date: �2022Online access: Click to View Availability: No items available. Add to cart (remove)
		Foundations of Quantum Theory : From Classical Concepts to Operator Algebras. by Landsman, Klaas. Series: Fundamental Theories of Physics SeriesEdition: 1st ed.Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2017Copyright date: �2017Online access: Click to View Availability: No items available. Add to cart (remove)
		Compendium for Early Career Researchers in Mathematics Education. by Kaiser, Gabriele \| Presmeg, Norma. Series: ICME-13 MonographsEdition: 1st ed.Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2019Copyright date: �2019Online access: Click to View Availability: No items available. Add to cart (remove)
		Bisociative Knowledge Discovery : An Introduction to Concept, Algorithms, Tools, and Applications. by Berthold, Michael R. Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin / Heidelberg, 2012Copyright date: �2012Online access: Click to View Availability: No items available. Add to cart (remove)
		Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings. by Goubault-Larrecq, Jean \| K�onig, Barbara. 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, 2020Copyright date: �2020Online access: Click to View Availability: No items available. Add to cart (remove)
		Breaking the Unbreakable : Exploiting Loopholes in Bell's Theorem to Hack Quantum Cryptography. by Jogenfors, Jonathan. Series: Link�oping Studies in Science and Technology. Dissertations SeriesEdition: 1st ed.Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Link�oping : Linkopings Universitet, 2017Copyright date: {copy}2017Online access: Click to View Availability: No items available. Add to cart (remove)
		Pattern-Based Programming Abstractions for Heterogeneous Parallel Computing. by Ernstsson, August. Series: Link�oping Studies in Science and Technology. Dissertations SeriesEdition: 1st ed.Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Link�oping : Linkopings Universitet, 2021Copyright date: {copy}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)
		The Cellular Automaton Interpretation of Quantum Mechanics. by 't Hooft, Gerard. Series: Fundamental Theories of Physics 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)
		Foundations of Software Science and Computation Structures : 24th International Conference, FOSSACS 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. by Kiefer, Stefan \| Tasson, Christine. 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)
		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 I. 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 : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I. by Shoham, Sharon \| Vizel, Yakir. 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, 2022Copyright date: �2022Online access: Click to View Availability: No items available. Add to cart (remove)
		The Legacy of Felix Klein. by Weigand, Hans-Georg \| McCallum, William \| Menghini, Marta \| Neubrand, Michael \| Schubring, Gert. Series: ICME-13 MonographsEdition: 1st ed.Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2018Copyright date: �2019Online access: Click to View Availability: No items available. Add to cart (remove)
		Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings. by Platzer, Andr�e \| Sutcliffe, Geoff. 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: {copy}2021Online access: Click to View Availability: No items available. Add to cart (remove)
		Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I. by Fisman, Dana \| Rosu, Grigore. 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, 2022Copyright date: �2022Online 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)
		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)