Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
- Philosophy 332
- Historia 291
- History 272
- Management 186
- Law, Politics & Government 155
- Filosofía 154
- Research 151
- Law - Europe, except U.K 149
- Law - Non-U.S 149
- Development 144
- Social aspects 136
- Social sciences 130
- Crítica e interpretación 115
- Application software 108
- Ethics 108
- Law and legislation 97
- Political science 93
- Sociology 92
- Engineering & Applied Sciences 90
- Història 90
- Historia y crítica 87
- Economics 86
- Education 85
- Information technology 83
- Politics and government 81
- Social Philosophy 81
- Modern Philosophy 79
- Modern philosophy 79
- Study and teaching 75
- Aspectos económicos 74
-
881
-
882
-
883
-
884
-
885
-
886Publicado 2018“…This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. …”
Libro electrónico -
887Publicado 2018“…This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. …”
Libro electrónico -
888
-
889
-
890
-
891
-
892Publicado 2006Materias:Libro electrónico
-
893Publicado 2014Materias:Libro electrónico
-
894
-
895por Organisation for Economic Co-operation and Development.Materias:
Publicado 1998Libro electrónico -
896
-
897
-
898
-
899
-
900