LEADER 01525nam 2200373 450 001 9910477309203321 005 20230512060420.0 035 $a(CKB)5400000000000733 035 $a(NjHacI)995400000000000733 035 $a(EXLCZ)995400000000000733 100 $a20230512d1997 uy 0 101 0 $adut 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 13$aDe sociale segmentatie van Nederland in 2015 /$fHermanus Bernardus Gerardus Ganzeboom, Wout C. Ultee 210 1$aDen Haag :$cWRR,$d[1997] 210 4$dİ1997 215 $a1 online resource (360 pages) 225 1 $aVoorstudies en achtergronden ;$vVolume 96 330 $aDe serie 'Voorstudies en achtergronden' omvat werkstukken die in het kader van de werkzaamheden van de WRR tot stand zijn gekomen en naar zijn oordeel van zodanige kwaliteit en betekenis zijn, dat publicatie gewenst is. De verantwoordelijkheid voor de inhoud en de ingenomen standpunten berust bij de auteurs. 410 0$aVoorstudies en achtergronden (Wetenschappelijke Raad voor het Regeringsbeleid (Netherlands)) ;$vVolume 96. 606 $aSocial classes$zNetherlands 615 0$aSocial classes 676 $a305.509492 700 $aGanzeboom$b Hermanus Bernardus Gerardus$01357335 702 $aUltee$b Wout C. 801 0$bNjHacI 801 1$bNjHacl 906 $aBOOK 912 $a9910477309203321 996 $aDe sociale segmentatie van Nederland in 2015$93363148 997 $aUNINA LEADER 03542nam 2200673Ia 450 001 9910792434103321 005 20230721015826.0 010 $a6612600926 010 $a1-282-60092-3 010 $a9786612600920 010 $a1-60750-513-4 035 $a(CKB)2670000000014156 035 $a(EBL)501438 035 $a(OCoLC)591152273 035 $a(SSID)ssj0000358081 035 $a(PQKBManifestationID)12150938 035 $a(PQKBTitleCode)TC0000358081 035 $a(PQKBWorkID)10377194 035 $a(PQKB)10360681 035 $a(MiAaPQ)EBC501438 035 $a(Au-PeEL)EBL501438 035 $a(CaPaEBR)ebr10375702 035 $a(CaONFJC)MIL260092 035 $a(EXLCZ)992670000000014156 100 $a20091211d2009 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aCommunicating process architectures 2009$b[electronic resource] $eWoTUG-32 /$fedited by Peter H. Welch ... [et al.] 210 $aAmsterdam ;$aWashington, D.C. $cIOS Press$dc2009 215 $a1 online resource (420 p.) 225 1 $aConcurrent systems engineering series,$x1383-7575 ;$vv. 67 300 $a"Proceedings of the 32nd WoTUG Technical Meeting, 1-4 November 2009, TU Eindhoven, Eindhoven, the Netherlands". 311 $a1-60750-065-5 320 $aIncludes bibliographical references and indexes. 327 $aTitle page; Preface; Editorial Board; Reviewing Committee; Contents; Beyond Mobility: What Next After CSP/pi?; The SCOOP Concurrency Model in Java-Like Languages; Combining Partial Order Reduction with Bounded Model Checking; On Congruence Property of Scope Equivalence for Concurrent Programs with Higher-Order Communication; Analysing gCSP Models Using Runtime and Model Analysis Algorithms; Relating and Visualising CSP, VCR and Structural Traces; Designing a Mathematically Verified I2C Device Driver Using ASD; Mobile Escape Analysis for occam-pi 327 $aNew ALT for Application Timers and Synchronisation Point Scheduling (Two Excerpts from a Small Channel Based Scheduler)Translating ETC to LLVM Assembly; Resumable Java Bytecode. Process Mobility for the JVM; OpenComRTOS: A Runtime Environment for Interacting Entities; Economics of Cloud Computing: A Statistical Genetics Case Study; An Application of CoSMoS Design Methods to Pedestrian Simulation; An Investigation into Distributed Channel Mobility Support for Communicating Process Architectures; Auto-Mobiles: Optimised Message-Passing; A Denotational Study of Mobility; PyCSP Revisited 330 $aA collection of the papers presented at the 32nd Communicating Process Architecture conference (CPA), held at the Technical University Eindhoven, the Netherlands, from the 1st to the 4th of November 2009. 410 0$aConcurrent systems engineering series ;$vv. 67. 606 $aComputer architecture$vCongresses 606 $aoccam (Computer program language)$vCongresses 606 $aParallel processing (Electronic computers)$vCongresses 606 $aTransputers$vCongresses 615 0$aComputer architecture 615 0$aoccam (Computer program language) 615 0$aParallel processing (Electronic computers) 615 0$aTransputers 676 $a004 701 $aWelch$b P. H$01482503 712 12$aWoTUG Technical Meeting 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910792434103321 996 $aCommunicating process architectures 2009$93818717 997 $aUNINA