LEADER 01046nam0-2200361---450- 001 990009526510403321 005 20120323104731.0 010 $a978-1-4129-8804-9 035 $a000952651 035 $aFED01000952651 035 $a(Aleph)000952651FED01 035 $a000952651 100 $a20120209d2011----km-y0itaa50------ba 101 0 $aeng 102 $aUS 105 $a--------001yy 200 1 $aOrdinal item response theory$emokken scale analysis$fWijbrandt H. van Schuur 210 $aThousand Oaks$cSAGE Publications, Inc.$d2011 215 $axi, 114 p.$d22 cm 225 1 $aQuantitative applications in the social sciences$v169 610 0 $aScienze sociali 610 0 $aMetodologia 676 $a001.4 700 1$avan Schuur,$bWijbrandt H.$0515233 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990009526510403321 952 $aXXIX-D-164$b11232$fMAS 952 $a10810 SAG/169$b413/DEC$fSES 959 $aMAS 959 $aSES 996 $aOrdinal item response theory$9855855 997 $aUNINA LEADER 01278nam--2200421---450- 001 990003020340203316 005 20071123122822.0 010 $a978-88-6036-141-7 035 $a000302034 035 $aUSA01000302034 035 $a(ALEPH)000302034USA01 035 $a000302034 100 $a20071123d2007----km-y0itay50------ba 101 $aita 102 $aIT 105 $aa|||||||001yy 200 1 $aRoma in Africa$fDonata Pizzi$gprefazione di Andreina Ricci$gpostfazione di Luigi Filetici 210 $aRoma$cDonzelli$dcopyr. 2007 215 $a95 p.$cIn gran parte ill.$d21 cm 225 2 $aSaggi Donzelli$iArti e lettere 410 0$12001$aSaggi Donzelli$iArti e lettere 454 1$12001 606 0 $aColonie romane$yAfrica 676 $a939.7 700 1$aPIZZI,$bDonata$0599398 702 1$aRICCI,$bAndreina 702 1$aFILETICI,$bLuigi 801 0$aIT$bsalbc$gISBD 912 $a990003020340203316 951 $aXI.5.B. 369$b201600 L.M.$cXI.5.B.$d00064027 959 $aBK 969 $aUMA 979 $aPATRY$b90$c20071123$lUSA01$h1110 979 $aPATRY$b90$c20071123$lUSA01$h1113 979 $aPATRY$b90$c20071123$lUSA01$h1138 979 $aALESSANDRA$b90$c20071123$lUSA01$h1228 996 $aRoma in Africa$91025121 997 $aUNISA LEADER 01047nam a2200289 i 4500 001 991000253309707536 005 20020527111056.0 008 010810s1976 it ||| | ita 035 $ab10051764-39ule_inst 035 $aPARLA218260$9ExL 040 $aDip.to Filosofia$bita 082 0 $a121.0924 100 1 $aScaravelli, Luigi$0154716 245 10$aGiudizio e sillogismo in Kant e in Hegel /$cLuigi Scaravelli ; a cura di Mario Corsi 260 $aRoma :$bCadmo,$cc1976 300 $aVIII, 78 p. ;$c21 cm. 490 0 $aOpuscoli filosofici 500 $aSeguono appendici 650 4$aHegel, Georg Wilhelm Friedrich - Logica 650 4$aKant, Immanuel - Teoria della conoscenza 700 1 $aCorsi, Mario 907 $a.b10051764$b17-02-17$c27-06-02 912 $a991000253309707536 945 $aLE005 7 B 11$g1$iLE005A-15320$lle005$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i10059921$z27-06-02 996 $aGiudizio e sillogismo in Kant e in Hegel$9193387 997 $aUNISALENTO 998 $ale005$b01-01-01$cm$da $e-$fita$git $h0$i1 LEADER 04603nam 2200697 a 450 001 9910781752303321 005 20200520144314.0 010 $a661328985X 010 $a1-283-28985-7 010 $a9786613289858 010 $a1-60750-774-9 035 $a(CKB)2550000000050076 035 $a(EBL)784585 035 $a(OCoLC)756484720 035 $a(SSID)ssj0000633533 035 $a(PQKBManifestationID)12206435 035 $a(PQKBTitleCode)TC0000633533 035 $a(PQKBWorkID)10620369 035 $a(PQKB)10084023 035 $a(MiAaPQ)EBC784585 035 $a(Au-PeEL)EBL784585 035 $a(CaPaEBR)ebr10506379 035 $a(CaONFJC)MIL328985 035 $a(EXLCZ)992550000000050076 100 $a20110517d2011 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aCommunicating process architectures 2011$b[electronic resource] $eWoTUG-33 : proceedings of the 33rd WoTUG Technical Meeting, 19-22 June 2011, University of Limerick, Ireland /$fedited by Peter H. Welch ... [et al.] 210 $aAmsterdam, The Netherlands $cIOS Press$d2011 215 $a1 online resource (396 p.) 225 1 $aConcurrent systems engineering series,$x1383-7575 ;$vv. 68 300 $aDescription based upon print version of record. 311 $a1-60750-773-0 320 $aIncludes bibliographical references and indexes. 327 $aTitle Page; Preface; Editorial Board; Reviewing Committee; Contents; Implementing Generalised Alt - A Case Study in Validated Design Using CSP; Verification of a Dynamic Channel Model Using the SPIN Model Checker; Programming the CELL-BE Using CSP; Static Scoping and Name Resolution for Mobile Processes with Polymorphic Interfaces; Prioritised Choice over Multiway Synchronisation; An Analysis of Programmer Productivity Versus Performance for High Level Data Parallel Programming; Experiments in Multicore and Distributed Parallel Processing Using JCSP 327 $aEvaluating an Emergent Behaviour Algorithm in JCSP for Energy Conservation in Lighting SystemsLUNA: Hard Real-Time, Multi-Threaded, CSP-Capable Execution Framework; Concurrent Event-Driven Programming in occam-pi for the Arduino; Fast Distributed Process Creation with the XMOS XS1 Architecture; Serving Web Content with Dynamic Process Networks in Go; Performance of the Distributed CPA Protocol and Architecture on Traditional Networks; Object Store Based Simulation Interworking; A Model for Concurrency Using Single-Writer Single-Assignment Variables; The Computation Time Process Model 327 $aSystemVerilogCSP: Modeling Digital Asynchronous Circuits Using SystemVerilog InterfacesProcess-Oriented Subsumption Architectures in Swarm Robotic Systems; A Systems Re-Engineering Case Study: Programming Robots with occam and Handel-C; The Flying Gator: Towards Aerial Robotics in occam-pi; CONPASU-Tool: A Concurrent Process Analysis Support Tool Based on Symbolic Computation; Development of an ML-Based Verification Tool for Timed CSP Processes; Mobile Processes and Call Channels with Variant Interfaces (a Duality); Adding Formal Verification to occam-pi; Subject Index; Author Index 330 $aThis book is a collection of the papers presented at the 33rd Communicating Process Architecture (CPA) conference, held at the University of Limerick, Ireland, 19-22 June, 2011. It was hosted by Lero, the Irish Software Engineering Research Centre, and co-located with FM 2011 (the 17th International Symposium on Formal Methods), SEW-34 (the 34th Annual IEEE Software Engineering Workshop) and several specialist workshops and tutorials. These CPA proceedings contain the results from rich seams of research covering many of the key issues in modern computer science, which all seem to concern concu 410 0$aConcurrent systems engineering series ;$vv. 68. 606 $aParallel processing (Electronic computers)$vCongresses 606 $aoccam (Computer program language)$vCongresses 606 $aTransputers$vCongresses 606 $aComputer architecture$vCongresses 615 0$aParallel processing (Electronic computers) 615 0$aoccam (Computer program language) 615 0$aTransputers 615 0$aComputer architecture 676 $a004 676 $a004.35 701 $aWelch$b P. H$01482503 712 12$aWoTUG Technical Meeting 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910781752303321 996 $aCommunicating process architectures 2011$93700176 997 $aUNINA