01953nam0 22004213i 450 VAN0026359120250224122959.68N978354039142520230922d1985 |0itac50 baengDE|||| |||||Products of Conjugacy Classes in Groupsedited by Zvi Arad and Marcel HerzogBerlinSpringer1985v, 244 p.24 cm001VAN001022502001 Lecture notes in mathematics210 Berlin [etc.]Springer111220-XXGroup theory and generalizations [MSC 2020]VANC019715MF20B30Symmetric groups [MSC 2020]VANC029251MF20D05Finite simple groups and their classification [MSC 2020]VANC023948MF20D30Series and lattices of subgroups [MSC 2020]VANC023983MF20D60Arithmetic and combinatorial problems involving abstract finite groups [MSC 2020]VANC024093MF20F12Commutator calculus [MSC 2020]VANC024067MF20FxxSpecial aspects of infinite or finite groups [MSC 2020]VANC023970MFGroupsKW:KMutationKW:KPermutationKW:KBerlinVANL000066AradZviVANV040609HerzogMarcelVANV217918Springer <editore>VANV108073650ITSOL20250228RICAhttps://doi.org/10.1007/BFb0072284E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00263591BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-book 6729 08eMF6729 20230929 Products of conjugacy classes in groups78500UNICAMPANIA02071nam0 2200349 i 450 VAN0009078720260130021520.88190-7479-525-020120830d1995 |0itac50 baengDUTNL|||| |||||i e nncVerification techniques for elementary data types and retransmission protocolsacademisch proefschrift ter verkrijging van de graad van doctor aan de Universieit van Amsterdam op gezag van de rector magnificus prof. dr. P. W. M. de Meijer ten overstaan van een door het college voor promoties ingestelde commissie, in het openbaar te verdedigen in de aula der universiteit op vrijdag 15 september 1995, te 10:00 uurJacobus Johannes van WamelAmsterdamInstitute for logic, language and computation1995VI, 152 p.24 cmUniversiteit van Amsterdam, Faculteit Wiskunde en InformaticaTesi di dottorato001VAN000907862001 ILLC dissertation series210 AmsterdamInstitute for Logic, Language and Computation1995-668-XXComputer science [MSC 2020]VANC019670MFAmsterdamVANL001716WamelJacobus Johannes : vanVANV073642723076Institute for logic, language and computationVANV113868650ITSOL20260206RICA/sebina/repository/catalogazione/documenti/van Wamel - Verification techniques for elementary data types and retransmission protocols.PDFvan Wamel - Verification techniques for elementary data types and retransmission protocols.PDFBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN00090787BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 68-XX 4724 08 7495 I 20120830 Verification techniques for elementary data types and retransmission protocols1409739UNICAMPANIA