Interactive Theorem Proving
1422123
|
Christian Urban
Xingyuan Zhang
|
9783319221021 |
2015 |
Contains images
|
|
Interactive Theorem Proving
1715351
|
Mauricio Ayala-Rincón
César A. Muñoz
|
9783319661070 |
2017 |
Contains images
|
|
Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings (Lecture Notes in Computer Science #10895)
2206704
|
Jeremy Avigad
Assia Mahboubi
|
9783319948218 |
2018 |
Contains images
|
|
Interactive Visual Data Analysis (AK Peters Visualization Series)
5759166
|
Christian Tominski
Heidrun Schumann
|
9781351648745 |
2020 |
Contains images
|
|
Interactive Visualization and Plotting with Julia: Create impressive data visualizations through Julia packages such as Plots, Makie, Gadfly, and more
4834068
|
Diego Javier Zea
|
9781801819213 |
2022 |
Contains images
|
|
Interactive Web-Based Data Visualization with R, plotly, and shiny (Chapman & Hall/CRC The R Series)
3061550
|
Carson Sievert
|
9780429824203 |
2020 |
Contains images
|
|
Interactive and Dynamic Dashboard: Design Principles (Future Generation Information Systems)
6355846
|
Henry Selvaraj
A. Vadivel
K. Meena
P. Sumathy
P. Shanmugavadivu
Shaila S. G.
|
9781040259283 |
2025 |
Contains images
|
|
Interactivity and Game Creation: 9th EAI International Conference, ArtsIT 2020, Aalborg, Denmark, December 10–11, 2020, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering #367)
3993724
|
Anthony Brooks
Eva Irene Brooks
Duckworth Jonathan
|
9783030734268 |
2021 |
Contains images
|
|
Interactivity, Collaboration, and Authoring in Social Media
1391949
|
Krystina Madej
|
9783319259529 |
2015 |
Contains images
|
|
Interactivity, Game Creation, Design, Learning, and Innovation: 5th International Conference, Artsit 2016, And First International Conference, Dli 2016, Esbjerg, Denmark, May 2-3, 2016. Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering #196)
2274549
|
Anthony L. Brooks
Eva Brooks
Nikolas Vidakis
|
9783319769080 |
2017 |
Contains images
|
|
Interactivity, Game Creation, Design, Learning, and Innovation: 7th EAI International Conference, ArtsIT 2018, and 3rd EAI International Conference, DLI 2018, ICTCC 2018, Braga, Portugal, October 24–26, 2018, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering #265)
2478702
|
Anthony L. Brooks
Eva Brooks
Cristina Sylla
|
9783030061340 |
2019 |
Contains images
|
|
Interactivity, Game Creation, Design, Learning, and Innovation: 8th EAI International Conference, ArtsIT 2019, and 4th EAI International Conference, DLI 2019, Aalborg, Denmark, November 6–8, 2019, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering #328)
3549529
|
Anthony Brooks
Eva Irene Brooks
|
9783030532949 |
2020 |
Contains images
|
|
Interaktive Datenvisualisierung in Wissenschaft und Unternehmenspraxis
4037550
|
Timo Kahl
Frank Zimmer
|
9783658295622 |
2020 |
Contains images
|
|
Interaktive Infografiken
1451823
|
Michael Burmester
Ralph Tille
Wibke Weber
|
9783642154539 |
2012 |
Contains images
|
|
Interaktywna wizualizacja danych
2481075
|
Scott Murray
|
9781492013488 |
2014 |
Contains images
|
|
Interconnect Reliability in Advanced Memory Device Packaging (Springer Series in Reliability Engineering)
5309115
|
Chong Leong, Gan
Chen-Yu, Huang
|
9783031267086 |
2023 |
Contains images
|
|
Interconnected Realities: How the Metaverse Will Transform Our Relationship to Technology Forever
5313317
|
Leslie Shannon
|
9781394160853 |
2023 |
Contains images
|
|
Interconnecting the Network of Networks
192524
|
Eli M. Noam
|
9780262140720 |
2001 |
|
|
Interconnection Network Reliability Evaluation: Multistage Layouts (Performability Engineering Series)
3656267
|
Neeraj Kumar Goyal
S. Rajkumar
|
9781119620594 |
2020 |
Contains images
|
|
Interconnections for Computer Communications and Packet Networks
5508870
|
Roberto Rojas-Cessa
|
9781315356037 |
2017 |
Contains images
|
|
Intercultural Communication, Identity, and Social Movements in the Digital Age (Routledge Research in Communication Studies)
3000654
|
Ahmet Atay
Margaret U. D’Silva
|
9781351399500 |
2020 |
Contains images
|
|
Intercultural Communication, Identity, and Social Movements in the Digital Age (Routledge Research in Communication Studies)
5979496
|
Margaret U. D’Silva; Ahmet Atay
|
9781351399500 |
2020 |
Contains images
|
|
Intercultural User Interface Design (Human–Computer Interaction Series)
2640540
|
Rüdiger Heimgärtner
|
9783030174279 |
2019 |
Contains images
|
|
Interculturality Online: Ideological Constructions and Considerations for Higher Education (New Perspectives on Teaching Interculturality)
6229629
|
Fred Dervin
Jun Peng
Virginie Trémion
|
9781040171837 |
2025 |
Contains images
|
|
Interdisciplinary Approaches to Distance Teaching: Connecting Classrooms in Theory and Practice (Routledge Research in Education)
4480286
|
Nathan Straight
Alan Blackstock
|
9781317439509 |
2016 |
Contains images
|
|