1
Published 2024
Springer Nature Switzerland
Table of Contents: ... Measures and their Relations for Symmetric Functions -- Computational Geometry -- Growth Rate of the Number...

2
by Kartik, Vikram
Published 2009
Wiley
Table of Contents: ... Designer; Chapter 2: Understanding Related Server Technologies; Chapter 3: Exploring the Internals...

3
Published 2023
Springer Nature Switzerland
Table of Contents: ... Prevention -- Safety of Autonomous Driving -- Probabilistic Spatial Relations for Monitoring Behavior of Road...

4
Published 2016
Springer Berlin Heidelberg
Table of Contents: ... Distributed Implementation -- PRISM-games 2.0: A Tool for Multi-Objective Strategy Synthesis for Stochastic...

5
Published 2000
Springer Berlin Heidelberg
Table of Contents: ... for Learning the Relations between Process and Product Quality in Practice -- Introducing the Data Role...

6
Published 2005
Springer Berlin Heidelberg
Table of Contents: ... High Level Language for Structural Relations in Well-Formed Nets -- Derivation of Non-structural...

7
by Sannella, Donald, Fourman, Michael, Peng, Haoran, Wadler, Philip
Published 2021
Springer International Publishing
Table of Contents: .... Expression Trees -- 17. Karnaugh Maps -- 18. Relations and Quantifiers -- 19. Checking Satisfiability -- 20...

8
by Meyers, Mike
Published 2023
McGraw-Hill Education
Table of Contents: ... QUESTIONS -- 33 ANSWERS -- 00-FMindd 20 22/04/22 11:12 AM -- Contents -- Passport_2019 / Mike Meyers...

9
Published 1999
Springer US
Table of Contents: ... Management Information Needs -- 65. Databases for New Age -- 66. User Oriented Prototyping: Relational...

10
Published 2004
Springer US
Table of Contents: ... for Problem Analysis in Information Requirements Determination -- 20. A Quality Model for the Evaluation...

11
Published 1998
Springer Berlin Heidelberg
Table of Contents: ...Significance and uses of fine-grained synchronization relations -- A simple protocol to communicate...

12
by Brooks, Charles J.
Published 2008
Que Pub.
Table of Contents: ... -- Disk drive interfaces -- Internal disk-drive interfaces -- IDE/ATA interface -- Serial ATA (SATA...

13
Published 2023
Springer Nature Switzerland
... and Application of Automata, CIAA 2023, held in Famagusta, North Cyprus, during September 19–22, 2023. The 20...

14
Published 2010
Springer Berlin Heidelberg
Table of Contents: ...1: Human Choice and Computers International Conference (HCC9) -- What Kind of Information Society...

15
Published 2005
Springer Berlin Heidelberg
...This volume constitutes the proceedings of the 18th International Conference on Theorem Proving...

16
Published 2005
Springer Berlin Heidelberg
Table of Contents: ... in Relational Databases -- Information Retrieval -- On Families of New Adaptive Compression Algorithms Suitable...

17
Published 2022
Springer International Publishing
...This book constitutes the refereed proceedings of the 22nd European Conference on Evolutionary...

18
Published 2019
Springer International Publishing
...This book constitutes the refereed proceedings of the 8th International Conference on Algebraic...

19
Published 2020
Springer International Publishing
Table of Contents: ... Decision -- k-Immediate Snapshot and x-Set Agreement: How Are They Related? -- Brief Announcement: Local...

20
Published 2021
Springer International Publishing
...This book constitutes the proceedings of the 25th International Conference on Implementation...