Search

Your search returned 11 results.

Not what you expected? Check for suggestions

Results
		Brain-Inspired Computing : 4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15-19, 2019, Revised Selected Papers. by Amunts, Katrin \| Grandinetti, Lucio \| Lippert, Thomas \| Petkov, Nicolai. 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)
		Writing effective business rules a practical method Graham Witt. by Witt, Graham C. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Waltham, Mass. Morgan Kaufmann/Elsevier, c Availability: Items available for loan: UNIMY (1) Call number: QA76.5913 .W58 2012. Add to cart (remove)
		From Models to Simulations. by Varenne, Franck. Series: History and Philosophy of Technoscience SeriesEdition: 1st ed.Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Milton : Taylor & Francis Group, 2018Copyright date: �2019Online access: Click to View Availability: No items available. Add to cart (remove)
		Real-Time Linked Dataspaces : Enabling Data Ecosystems for Intelligent Systems. by Curry, Edward. Edition: 1st 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)
		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)
		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)
		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)
		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)
		Biodiversity Conservation and Phylogenetic Systematics : Preserving Our Evolutionary Heritage in an Extinction Crisis. by Pellens, Roseli \| Grandcolas, Philippe. Series: Topics in Biodiversity and Conservation 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)
		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)