Your search returned 1469 results.

Results
	1461.	Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I by Silva, Alexandra [edt] Leino, K. Rustan M [edt] Silva, Alexandra [oth] Leino, K. Rustan M [oth] Series: Material type: Article; Format: available online Language: English Publication details: Springer Nature 2021 Online resources: OAPEN Library: download the publication OAPEN Library: description of the publication Availability: Items available for loan: OPEN ACCESS TEXTBOOK LIBRARY (1). Add to cart (remove)
	1462.	Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II by Silva, Alexandra [edt] Leino, K. Rustan M [edt] Silva, Alexandra [oth] Leino, K. Rustan M [oth] Series: Material type: Article; Format: available online Language: English Publication details: Springer Nature 2021 Online resources: OAPEN Library: download the publication OAPEN Library: description of the publication Availability: Items available for loan: OPEN ACCESS TEXTBOOK LIBRARY (1). Add to cart (remove)
	1463.	Scaling of Differential Equations by Langtangen, Hans Petter [auth] Pedersen, Geir K [auth] Series: Material type: Article; Format: available online Language: English Publication details: Springer Nature 2016 Online resources: OAPEN Library: download the publication OAPEN Library: description of the publication Availability: Items available for loan: OPEN ACCESS TEXTBOOK LIBRARY (1). Add to cart (remove)
	1464.	Natural Computing and Beyond Winter School Hakodate 2011, Hakodate, Japan, March 2011 and 6th International Workshop on Natural Computing, Tokyo, Japan, March 2012, Proceedings by Suzuki, Yasuhiro [edt] Nakagaki, Toshiyuki [edt] Suzuki, Yasuhiro [oth] Nakagaki, Toshiyuki [oth] Series: Material type: Article; Format: available online Language: English Publication details: Springer Nature 2013 Online resources: OAPEN Library: download the publication OAPEN Library: description of the publication Availability: Items available for loan: OPEN ACCESS TEXTBOOK LIBRARY (1). Add to cart (remove)
	1465.	Attachment Ventilation Theory by Li, Angui [auth] Material type: Article; Format: available online Language: English Publication details: Singapore Springer Nature 2023 Online resources: OAPEN Library: download the publication OAPEN Library: description of the publication Availability: Items available for loan: OPEN ACCESS TEXTBOOK LIBRARY (1). Add to cart (remove)
	1466.	3D scientific visualization with Blenderª / Brian R. Kent. by Kent, Brian R [author.] Institute of Physics (Great Britain) [publisher.] Series: IOP concise physics \| IOP (Series). Release 1. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: San Rafael [California] (40 Oak Drive, San Rafael, CA, 94903, USA) : Morgan & Claypool Publishers, [2015]Distributor: Bristol [England] (Temple Circus, Temple Way, Bristol BS1 6HG, UK) : IOP Publishing Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	1467.	Computation in science : from concepts to practice / Konrad Hinsen. by Hinsen, Konrad [author.] Institute of Physics (Great Britain) [publisher.] Series: IOP ebooks. 2020 collection. Edition: Second edition. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Bristol [England] (Temple Circus, Temple Way, Bristol BS1 6HG, UK) : IOP Publishing, [2020] Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	1468.	3D scientific visualization with Blenderª / Brian R. Kent. by Kent, Brian R [author.] Institute of Physics (Great Britain) [publisher.] Series: IOP concise physics \| IOP (Series). Release 1. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: San Rafael [California] (40 Oak Drive, San Rafael, CA, 94903, USA) : Morgan & Claypool Publishers, [2015]Distributor: Bristol [England] (Temple Circus, Temple Way, Bristol BS1 6HG, UK) : IOP Publishing Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	1469.	Computation in science : from concepts to practice / Konrad Hinsen. by Hinsen, Konrad [author.] Institute of Physics (Great Britain) [publisher.] Series: IOP ebooks. 2020 collection. Edition: Second edition. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Bristol [England] (Temple Circus, Temple Way, Bristol BS1 6HG, UK) : IOP Publishing, [2020] Online resources: Click here to access online Availability: No items available. Add to cart (remove)