Title: X-Machines for Agent-Based Modeling: FLAME Perspectives, Author: Mariam Kiran
Title: Window Functions and Their Applications in Signal Processing, Author: K. M. M. Prabhu
Title: Why AutoHotkey? How Free AutoHotkey Adds Power to Your Windows PC and Provides You Important Brain Food, Author: Jack Dunning
Title: What is EPUB 3?, Author: Matt Garrish
Title: Visions of DNA Nanotechnology at 40 for the Next 40: A Tribute to Nadrian C. Seeman, Author: Natasa Jonoska
Title: VirtualBox 5.0 Quickstart: Desktop-Virtualisierung par excellence - das einfache Erstellen und Betreiben von virtuellen Maschinen, Author: Holger Reibold
Title: Understanding Computers, Smartphones and the Internet, Author: Ernie Dainow
Title: Twining: Critical and Creative Approaches to Hypertext Narratives, Author: Anastasia Salter
Title: Tweet Like an Eagle!, Author: D. Arthur Watson
Title: Tune into the Cloud: The story so far, Author: Gregor Petri
Title: Troanary Photonic Storage Blueprint - How Light Based Logic can Redefine Computation and Data Storage (Volume 10 Troanary Photonic Storage Blueprint, #1), Author: Ylia Callan
Explore Series
Title: Top Free Kindle Fire Apps: An Introduction, Plus Tips & Tricks, Author: Andrew Middleton
Title: Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedi, Author: Arie Gurfinkel
Title: Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedi, Author: Arie Gurfinkel
Title: Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedi, Author: Arie Gurfinkel
Title: Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Pro, Author: Bernd Finkbeiner
Title: Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Pro, Author: Bernd Finkbeiner
Title: Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Pro, Author: Bernd Finkbeiner
Title: 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, Par, Author: Sriram Sankaranarayanan
Title: 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, Par, Author: Sriram Sankaranarayanan

Pagination Links