Search

Your search returned 17 results.

Not what you expected? Check for suggestions

Results
		Software engineering Ian Sommerville. by Sommerville, Ian. Edition: 10th ed.Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Harlow ; Singapore : Pearson, ©2016Availability: Items available for loan: UNIMY (3) Call number: 005.1 SOM. Add to cart (remove)
		Automatic and Explicit Parallelization Approaches for Equation Based Mathematical Modeling and Simulation. by Gebremedhin, Mahder. 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, 2018Copyright date: {copy}2018Online 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 I. 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)
		The Future Internet : Future Internet Assembly 2011: Achievements and Technological Promises. by Domingue, John \| Galis, Alex \| Gavras, Anastasius \| Zahariadis, Theodore \| Lambert, Dave \| Cleary, Frances \| Daras, Petros \| Krco, Srdjan \| M�uller, Henning \| Li, Man-Sze. 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, 2011Copyright date: �2011Online access: Click to View Availability: No items available. Add to cart (remove)
		Annals of Scientific Society for Assembly, Handling and Industrial Robotics. by Sch�uppstuhl, Thorsten \| Tracht, Kirsten \| Henrich, Dominik. Edition: 1st ed.Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin / Heidelberg, 2020Copyright date: {copy}2020Online 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)
		Visions of DNA Nanotechnology at 40 for the Next 40 : A Tribute to Nadrian C. Seeman. by Jonoska, Natasa \| Winfree, Erik. Series: Natural Computing SeriesEdition: 1st ed.Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Singapore : Springer, 2023Copyright date: �2023Online access: Click to View Availability: No items available. Add to cart (remove)
		Audiology : Science to Practice. by Kramer, Steven \| Brown, David K. Edition: 4th ed.Material type: Text; Format: available online ; Literary form: Not fiction Publisher: San Diego : Plural Publishing, Incorporated, 2021Copyright date: �2023Online access: Click to View Availability: No items available. Add to cart (remove)
		Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II. by Sankaranarayanan, Sriram \| Sharygina, Natasha. 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, 2023Copyright date: �2023Online access: Click to View Availability: No items available. Add to cart (remove)
		Methodological Investigations in Agent-Based Modelling : With Applications for the Social Sciences. by Silverman, Eric \| Courgeau, Daniel \| Franck, Robert \| Bijak, Jakub \| Hilton, Jason \| Noble, Jason \| Bryden, John. Series: Methodos SeriesEdition: 1st ed.Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2018Copyright date: �2018Online access: Click to View Availability: No items available. Add to cart (remove)
		Uprooting Bias in the Academy : Lessons from the Field. by Bisson, Linda F \| Grindstaff, Laura \| Brazil-Cruz, Lisceth \| Barbu, Sophie J. Edition: 1st ed.Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2021Copyright date: �2022Online 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)
		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)
		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)
		Graph Structures for Knowledge Representation and Reasoning : 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers. by Cochez, Michael \| Croitoru, Madalina \| Marquis, Pierre \| Rudolph, Sebastian. 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)
		Rethinking the Internet of Things : A Scalable Approach to Connecting Everything. by daCosta, Francis \| Henderson, Byron. Edition: 1st ed.Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Berkeley, CA : Apress L. P., 2014Copyright date: �2013Online access: Click to View Availability: No items available. Add to cart (remove)
		Makers at School, Educational Robotics and Innovative Learning Environments : Research and Experiences from FabLearn Italy 2019, in the Italian Schools and Beyond. by Scaradozzi, David \| Guasti, Lorenzo \| Di Stasio, Margherita \| Miotti, Beatrice \| Monteri�u, Andrea \| Blikstein, Paulo. Series: Lecture Notes in Networks and Systems 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)