1
Structural Decision Diagrams in Digital Test [E-Book] : Theory and Applications /

Full text 
Favorites
Saved in:
2
Taming the Infinities of Concurrency [E-Book] : Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday /

Full text 
Favorites
Saved in:
3
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems [E-Book] : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday /

Full text 
Favorites
Saved in:
4
Coping with Selfishness in Congestion Games [E-Book] : Analysis and Design via LP Duality /

Full text 
Favorites
Saved in:
5
Database Systems for Advanced Applications [E-Book] : 27th International Conference, DASFAA 2022, Virtual Event, April 11-14, 2022, Proceedings, Part I /

Full text 
Favorites
Saved in:
6
Principles of Systems Design [E-Book] : Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday /

Full text 
Favorites
Saved in:
7
Integrated Formal Methods [E-Book] : 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings /

Full text 
Favorites
Saved in:
8
Agent-Based Business Process Simulation [E-Book] : A Primer with Applications and Examples /

Full text 
Favorites
Saved in:
9
Regional Failure Events in Communication Networks [E-Book] : Models, Algorithms and Applications /
“...Springer Theses, Recognizing Outstanding Ph.D. Research...”

Full text 
Favorites
Saved in:
10
A Journey from Process Algebra via Timed Automata to Model Learning [E-Book] : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday /

Full text 
Favorites
Saved in:
11
Observer Design for Control and Fault Diagnosis of Boolean Networks [E-Book] /

Full text 
Favorites
Saved in:
12
Realizing an Andreev Spin Qubit [E-Book] : Exploring Sub-gap Structure in Josephson Nanowires Using Circuit QED /
Hays, Max
2021
“...Springer Theses Recognizing Outstanding Ph.D. Research...”

Full text 
Favorites
Saved in:
13
Compressive Sensing for the Photonic Mixer Device [E-Book] : Fundamentals, Methods and Results /

Full text 
Favorites
Saved in:
14
Descriptive Set Theoretic Methods in Automata Theory [E-Book] : Decidability and Topological Complexity /

Full text 
Favorites
Saved in:
15
Web Engineering [E-Book] : 16th International Conference, ICWE 2016, Lugano, Switzerland, June 6-9, 2016. Proceedings /

Full text 
Favorites
Saved in:
16
The Semantic Web. Latest Advances and New Domains [E-Book] : 13th International Conference, ESWC 2016, Heraklion, Crete, Greece, May 29 -- June 2, 2016, Proceedings /

Full text 
Favorites
Saved in:
17
Management and Security in the Age of Hyperconnectivity : 10th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2016, Munich, Germany, June 20-23, 2016, Proceedings [E-Book] /

Full text 
Favorites
Saved in:
18
Software Engineering [E-Book] : International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures /

Full text 
Favorites
Saved in:
19
Central European Functional Programming School [E-Book] : 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers /

Full text 
Favorites
Saved in:
20
Algorithms, Probability, Networks, and Games [E-Book] : Scientific Papers and Essays Dedicated to Paul G. Spirakis on the Occasion of His 60th Birthday /

Full text 
Favorites
Saved in:

Narrow Search Results