Showing 1 - 20 results of 3,432 for search 'Discrete mathematics' Narrow Search
1
eBook

Authors: Zhou, XinAff7, Zhong, QinAff7, Zhao, ChunyanAff7

Contributors: Tsihrintzis, George A., Series EditorAff1, Virvou, Maria, Series EditorAff2, Jain, Lakhmi C., Series EditorAff3, Paas, Fred, editorAff4, Patnaik, Srikanta, editorAff5, Wang, Taosheng, editorAff6

Superior Title: Recent Trends in Educational Technology and Administration : Proceedings of the 3rd International Conference on Educational Technology and Administration. 38:66-80

2
eBook

Authors: Zhang, Ming ChaoAff40, Zhang, Ming HuiAff41

Contributors: Angrisani, Leopoldo, Series EditorAff1, Arteaga, Marco, Series EditorAff2, Chakraborty, Samarjit, Series EditorAff3, Chen, Jiming, Series EditorAff4, Chen, Shanben, Series EditorAff5, Chen, Tan Kay, Series EditorAff6, Dillmann, Rüdiger, Series EditorAff7, Duan, Haibin, Series EditorAff8, Ferrari, Gianluigi, Series EditorAff9, Ferre, Manuel, Series EditorAff10, Jabbari, Faryar, Series EditorAff11, Jia, Limin, Series EditorAff12, Kacprzyk, Janusz, Series EditorAff13, Khamis, Alaa, Series EditorAff14, Kroeger, Torsten, Series EditorAff15, Li, Yong, Series EditorAff16, Liang, Qilian, Series EditorAff17, Martín, Ferran, Series EditorAff18, Ming, Tan Cher, Series EditorAff19, Minker, Wolfgang, Series EditorAff20, Misra, Pradeep, Series EditorAff21, Mukhopadhyay, Subhas, Series EditorAff22, Ning, Cun-Zheng, Series EditorAff23, Nishida, Toyoaki, Series EditorAff24, Oneto, Luca, Series EditorAff25, Panigrahi, Bijaya Ketan, Series EditorAff26, Pascucci, Federica, Series EditorAff27, Qin, Yong, Series EditorAff28, Seng, Gan Woon, Series EditorAff29, Speidel, Joachim, Series EditorAff30, Veiga, Germano, Series EditorAff31, Wu, Haitao, Series EditorAff32, Zamboni, Walter, Series EditorAff33, Zhang, Junjie James, Series EditorAff34, Tan, Kay Chen, Series EditorAff35, Pan, Jeng-Shyang, editorAff36, Pan, Zhigeng, editorAff37, Hu, Pei, editorAff38, Lin, Jerry Chun-Wei, editorAff39

Superior Title: Genetic and Evolutionary Computing : Proceedings of the Fifteenth International Conference on Genetic and Evolutionary Computing (Volume II), October 6-8, 2023, Kaohsiung, Taiwan. 1114:290-298

3
eBook

Contributors: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Koutra, Danai, editorAff7, Plant, Claudia, editorAff8, Gomez Rodriguez, Manuel, editorAff9, Baralis, Elena, editorAff10, Bonchi, Francesco, editorAff11

Superior Title: Machine Learning and Knowledge Discovery in Databases: Research Track : European Conference, ECML PKDD 2023, Turin, Italy, September 18–22, 2023, Proceedings, Part I. 14169:611-626

6
eBook

Contributors: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Voevodin, Vladimir, editorAff7, Sobolev, Sergey, editorAff8, Yakobovskiy, Mikhail, editorAff9, Shagaliev, Rashit, editorAff10

Superior Title: Supercomputing : 8th Russian Supercomputing Days, RuSCDays 2022, Moscow, Russia, September 26–27, 2022, Revised Selected Papers. 13708:574-590

7
eBook

Contributors: Kacprzyk, Janusz, Series EditorAff1, Gomide, Fernando, Advisory EditorAff2, Kaynak, Okyay, Advisory EditorAff3, Liu, Derong, Advisory EditorAff4, Pedrycz, Witold, Advisory EditorAff5, Polycarpou, Marios M., Advisory EditorAff6, Rudas, Imre J., Advisory EditorAff7, Wang, Jun, Advisory EditorAff8, Maleh, Yassine, editorAff9, Alazab, Mamoun, editorAff10, Gherabi, Noreddine, editorAff11, Tawalbeh, Lo’ai, editorAff12, Abd El-Latif, Ahmed A., editorAff13

Superior Title: Advances in Information, Communication and Cybersecurity : Proceedings of ICI2C’21. 357:354-365

11
eBook

Contributors: Goubault-Larrecq, Jean, König, Barbara

Subject Terms: Mathematical Logic and Foundations, Discrete Mathematics in Computer Science, Programming Languages, Compilers, Interpreters, Programming Techniques, Logic in AI, Computer Systems Organization and Communication Networks, categorical models and logics, language theory, automata, and games, modal, spatial, and temporal logics, type theory and proof theory, concurrency theory and process calculi, rewriting theory, semantics of programming languages, program analysis, correctness, transformation, and verification, logics of programming, software specification and refinement, emerging models of computation, logical aspects of computational complexity, models of software security, logical foundations of data bases, mathematics, artificial intellegence, formal logic, linguistics, Mathematical foundations, Mathematical logic, Discrete mathematics, Maths for computer scientists, Programming & scripting languages: general, Compilers & interpreters, Computer programming / software engineering, Artificial intelligence, Computer networking & communications, thema EDItEUR:P Mathematics and Science:PB Mathematics:PBC Mathematical foundations, thema EDItEUR:P Mathematics and Science:PB Mathematics:PBD Discrete mathematics, thema EDItEUR:U Computing and Information Technology:UM Computer programming / software engineering:UMX Programming and scripting languages: general, thema EDItEUR:U Computing and Information Technology:UM Computer programming / software engineering, thema EDItEUR:U Computing and Information Technology:UY Computer science:UYQ Artificial intelligence, thema EDItEUR:U Computing and Information Technology:UT Computer networking and communications

File Description: image/jpeg

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

12
eBook

Authors: Ouvrier-Buffet, CécileAff429, Even, Ruhama, Section editorAff430

Contributors: Lerman, Stephen, editorAff1

Superior Title: Encyclopedia of Mathematics Education. :227-233