1. Vagueness in communication : international workshop, ViC 2009, held as part of ESSLLI 2009, Bordeaux, France, July 20-24, 2009, Revised selected papers Author/Creator: ViC 2009 Bordeaux, Nouvelle-Aquitaine, France) (2009 Publication/Creation: Berlin ; Heidelberg ; New York : Springer, [2011] Resource Type: Book Access & Availability: Loading
2. Validation of stochastic systems : a guide to current research Publication/Creation: Berlin ; New York : Springer, [2004] Resource Type: Book Access & Availability: Loading
3. Variable neighborhood search : 6th International Conference, ICVNS 2018, Sithonia, Greece, October 4-7, 2018 : revised selected papers Author/Creator: International Conference on Variable Neighborhood Search Sithonia, Greece) 2018 : (6th Publication/Creation: Cham : Springer, 2019 Resource Type: Book Access & Availability: Loading
4. Variable neighborhood search : 8th international conference, ICVNS 2021, Abu Dhabi, United Arab Emirates, March 21-25, 2021 : proceedings Author/Creator: ICVNS (Conference) Abū Ẓaby, United Arab Emirates) 2021 : (8th Publication/Creation: Cham : Springer, [2021] Resource Type: Book Access & Availability: Loading
5. Variable neighborhood search : 9th International Conference, ICVNS 2022, Abu Dhabi, United Arab Emirates, October 25-28, 2022 : revised selected papers Author/Creator: ICVNS (Conference) Abū Ẓaby, United Arab Emirates) 2022 : (9th Publication/Creation: Cham, Switzerland : Springer, 2023 Resource Type: Book Access & Availability: Loading
6. Variations on constants : flow analysis of sequential and parallel programs Author/Creator: Müller-Olm, Markus Publication/Creation: Berlin ; New York : Springer, 2006 Resource Type: Book Access & Availability: Loading
7. Variations on constants : flow analysis of sequential and parallel programs Author/Creator: Müller-Olm, Markus Publication/Creation: Berlin ; New York : Springer, 2006 Resource Type: Book Access & Availability: Loading
8. VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 proceedings Author/Creator: VDM (Symposium) Kiel, Germany) 1990 : (3rd Publication/Creation: Berlin ; New York : Springer-Verlag, [1990] Resource Type: Book Access & Availability: Loading
9. VDM '91 : formal software development methods : 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991 : proceedings Author/Creator: VDM (Symposium) Noordwijkerhout, Netherlands) 1991 : (4th Publication/Creation: Berlin ; New York : Springer-Verlag, [1991] Resource Type: Book Access & Availability: Loading
10. Vector and parallel processing--VECPAR 2000 : 4th International Conference, Porto, Portugal, June 21-23, 2000 : selected papers and invited talks Author/Creator: VECPAR (Conference) Porto, Portugal) 2000 : (4th Publication/Creation: Berlin ; New York : Springer, [2001] Resource Type: Book Access & Availability: Loading