Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday (Lecture Notes in Computer Science #13066)
4542890
|
Paul Rowe
José Meseguer
Daniel Dougherty
Sebastian Alexander Mödersheim
|
9783030916312 |
2021 |
Contains images
|
|
ProTools 110: Protools Fundamentals II
4032251
|
Frank D. Cook
|
9781943446490 |
2017 |
|
|
Prototype and Scriptaculous in Action
4060621
|
Tom Locke
Bear Bibeault
Dave Crane
|
9781638354895 |
2007 |
Contains images
|
|
Prototype Nation: China and the Contested Promise of Innovation (Princeton Studies in Culture and Technology #29)
3604292
|
Silvia M. Lindtner
|
9780691204956 |
2020 |
Contains images
|
|
Prototype Quick Reference
6418427
|
Scott Raymond
Sergio Pereira
|
9781491906064 |
2006 |
|
|
Prototyping
314941
|
Todd Zaki Warfel
|
9781457102202 |
2009 |
Contains images
|
|
Prototyping Augmented Reality
845433
|
Tony Mullen
|
9781118180075 |
2011 |
Contains images
|
|
Prototyping Essentials with Axure Second Edition
1592709
|
Elizabeth Srail
Ezra Schwartz
|
9781849698337 |
2014 |
Contains images
|
|
Prototyping for Designers: Developing the Best Digital and Physical Products
6422025
|
Kathryn McElroy
|
9781491954034 |
2017 |
Contains images
|
|
Prototyping of User Interfaces for Mobile Applications (T-Labs Series in Telecommunication Services)
2270394
|
Benjamin Bähr
|
9783319532103 |
2017 |
Contains images
|
|
Prototyping Python Dashboards for Scientists and Engineers: Build and Deploy a Complete Dashboard with Python
5911037
|
Padraig Houlahan
|
9798868802218 |
2024 |
Contains images
|
|
Prototyping User eXperience in eXtended Reality (SpringerBriefs in Applied Sciences and Technology)
5461389
|
Monica Bordegoni
Marina Carulli
Elena Spadoni
|
9783031396830 |
2023 |
Contains images
|
|
The Protractor Handbook: Understanding and Implementing the Tool Effectively
4242271
|
Shashank Shukla
|
9781484272893 |
2021 |
Contains images
|
|
Provable and Practical Security: 16th International Conference, ProvSec 2022, Nanjing, China, November 11–12, 2022, Proceedings (Lecture Notes in Computer Science #13600)
5065139
|
Chunpeng Ge
Fuchun Guo
|
9783031209178 |
2022 |
Contains images
|
|
Provable and Practical Security: 15th International Conference, ProvSec 2021, Guangzhou, China, November 5–8, 2021, Proceedings (Lecture Notes in Computer Science #13059)
4337986
|
Qiong Huang
Yu Yu
|
9783030904029 |
2021 |
Contains images
|
|
Provable and Practical Security: 18th International Conference, ProvSec 2024, Gold Coast, QLD, Australia, September 25–27, 2024, Proceedings, Part II (Lecture Notes in Computer Science #14904)
6462982
|
Joseph K. Liu
Liqun Chen
Shi-Feng Sun
Xiaoning Liu
|
9789819609574 |
2025 |
Contains images
|
|
Provable and Practical Security: 18th International Conference, ProvSec 2024, Gold Coast, QLD, Australia, September 25–27, 2024, Proceedings, Part I (Lecture Notes in Computer Science #14903)
6464699
|
Joseph K. Liu
Liqun Chen
Shi-Feng Sun
Xiaoning Liu
|
9789819609543 |
2025 |
Contains images
|
|
Provable and Practical Security: 14th International Conference, ProvSec 2020, Singapore, November 29 – December 1, 2020, Proceedings (Lecture Notes in Computer Science #12505)
3702099
|
Khoa Nguyen
Wenling Wu
Kwok Yan Lam
Huaxiong Wang
|
9783030625764 |
2020 |
Contains images
|
|
Provable and Practical Security: 17th International Conference, ProvSec 2023, Wuhan, China, October 20–22, 2023, Proceedings (Lecture Notes in Computer Science #14217)
5718133
|
Mingwu Zhang
Man Ho Au
Yudi Zhang
|
9783031455131 |
2023 |
Contains images
|
|
Provable Security
1428248
|
Man-Ho Au
Atsuko Miyaji
|
9783319260594 |
2015 |
Contains images
|
|
Provable Security: 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings (Lecture Notes in Computer Science #11192)
2333081
|
Joonsang Baek
Willy Susilo
Jongkil Kim
|
9783030014469 |
2018 |
Contains images
|
|
Provable Security
1531376
|
Liqun Chen
Jinguang Han
|
9783319474229 |
2016 |
Contains images
|
|
Provable Security
1766085
|
Tatsuaki Okamoto
Yong Yu
Man Ho Au
Yannan Li
|
9783319686370 |
2017 |
Contains images
|
|
Provable Security: 13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1–4, 2019, Proceedings (Lecture Notes in Computer Science #11821)
2958061
|
Ron Steinfeld
Tsz Hon Yuen
|
9783030319199 |
2019 |
Contains images
|
|
Provably Correct Systems
1664171
|
Mike G. Hinchey
Jonathan P. Bowen
Ernst-Rüdiger Olderog
|
9783319486284 |
2017 |
Contains images
|
|