×

zbMATH — the first resource for mathematics

Found 29,563 Documents (Results 1–100)

100
MathJax
Boca Raton, FL: CRC Press (ISBN 978-0-367-48668-6/hbk). 266 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI
Intelligent Biomedical Data Analysis 4. Berlin: De Gruyter (ISBN 978-3-11-067606-8/hbk; 978-3-11-067611-2/ebook). xiii, 153 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI
Springer Optimization and Its Applications 170. Cham: Springer (ISBN 978-3-030-66514-2/hbk; 978-3-030-66515-9/ebook). viii, 492 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI
Dey, Nilanjan (ed.) et al., Applications of bat algorithm and its variants. Singapore: Springer (ISBN 978-981-15-5096-6/hbk; 978-981-15-5097-3/ebook). Springer Tracts in Nature-Inspired Computing, 155-172 (2021).
MSC:  92C55 90C59
PDF BibTeX XML Cite
Full Text: DOI
Dey, Nilanjan (ed.) et al., Applications of bat algorithm and its variants. Singapore: Springer (ISBN 978-981-15-5096-6/hbk; 978-981-15-5097-3/ebook). Springer Tracts in Nature-Inspired Computing, 133-153 (2021).
PDF BibTeX XML Cite
Full Text: DOI
Dey, Nilanjan (ed.) et al., Applications of bat algorithm and its variants. Singapore: Springer (ISBN 978-981-15-5096-6/hbk; 978-981-15-5097-3/ebook). Springer Tracts in Nature-Inspired Computing, 119-132 (2021).
MSC:  92C55 90C59
PDF BibTeX XML Cite
Full Text: DOI
Dey, Nilanjan (ed.) et al., Applications of bat algorithm and its variants. Singapore: Springer (ISBN 978-981-15-5096-6/hbk; 978-981-15-5097-3/ebook). Springer Tracts in Nature-Inspired Computing, 103-118 (2021).
MSC:  93B11 93C05 90C59
PDF BibTeX XML Cite
Full Text: DOI
Dey, Nilanjan (ed.) et al., Applications of bat algorithm and its variants. Singapore: Springer (ISBN 978-981-15-5096-6/hbk; 978-981-15-5097-3/ebook). Springer Tracts in Nature-Inspired Computing, 79-101 (2021).
PDF BibTeX XML Cite
Full Text: DOI
Dey, Nilanjan (ed.) et al., Applications of bat algorithm and its variants. Singapore: Springer (ISBN 978-981-15-5096-6/hbk; 978-981-15-5097-3/ebook). Springer Tracts in Nature-Inspired Computing, 61-78 (2021).
MSC:  94A08 90C59
PDF BibTeX XML Cite
Full Text: DOI
Frontiers in Artificial Intelligence and Applications 336. Amsterdam: IOS Press (ISBN 978-1-64368-160-3/pbk; 978-1-64368-161-0/ebook). xvii, 1465 p. (2021).
PDF BibTeX XML Cite
Full Text: Link
Algorithms for Intelligent Systems. Singapore: Springer (ISBN 978-981-334-190-6/hbk; 978-981-334-191-3/ebook). xii, 248 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI
Mathematical Engineering, Manufacturing, and Management Sciences. Boca Raton, FL: CRC Press (ISBN 978-0-367-51743-4/hbk; 978-1-003-05503-7/ebook). xiv, 234 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 519-535 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 501-518 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 492-500 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 481-491 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 464-480 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 447-463 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 429-446 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 412-428 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 394-411 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 378-393 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 361-377 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 343-360 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 332-342 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 322-331 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 312-321 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 295-311 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 277-294 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 267-276 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 250-266 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 233-249 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 218-232 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 201-217 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 182-200 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 166-181 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 149-165 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 139-148 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 123-138 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 114-122 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 107-113 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 89-106 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 72-88 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 62-71 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 46-61 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 28-45 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 11-27 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 1-10 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI
Ghommam, Jawhar (ed.) et al., New trends in robot control. Singapore: Springer (ISBN 978-981-15-1818-8/hbk; 978-981-15-1821-8/pbk; 978-981-15-1819-5/ebook). Studies in Systems, Decision and Control 270, 19-46 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Dey, Nilanjan (ed.) et al., Applied nature-inspired computing: algorithms and case studies. Singapore: Springer (ISBN 978-981-13-9262-7/hbk; 978-981-13-9265-8/pbk; 978-981-13-9263-4/ebook). Springer Tracts in Nature-Inspired Computing, 253-275 (2020).
MSC:  92E20 68T05 90C59
PDF BibTeX XML Cite
Full Text: DOI
Dey, Nilanjan (ed.) et al., Applied nature-inspired computing: algorithms and case studies. Singapore: Springer (ISBN 978-981-13-9262-7/hbk; 978-981-13-9265-8/pbk; 978-981-13-9263-4/ebook). Springer Tracts in Nature-Inspired Computing, 199-230 (2020).
MSC:  91B32 90C59
PDF BibTeX XML Cite
Full Text: DOI
Dey, Nilanjan (ed.) et al., Applied nature-inspired computing: algorithms and case studies. Singapore: Springer (ISBN 978-981-13-9262-7/hbk; 978-981-13-9265-8/pbk; 978-981-13-9263-4/ebook). Springer Tracts in Nature-Inspired Computing, 177-197 (2020).
MSC:  92C55 90C59
PDF BibTeX XML Cite
Full Text: DOI
Dey, Nilanjan (ed.) et al., Applied nature-inspired computing: algorithms and case studies. Singapore: Springer (ISBN 978-981-13-9262-7/hbk; 978-981-13-9265-8/pbk; 978-981-13-9263-4/ebook). Springer Tracts in Nature-Inspired Computing, 151-175 (2020).
MSC:  92D20 90C59
PDF BibTeX XML Cite
Full Text: DOI
Dey, Nilanjan (ed.) et al., Applied nature-inspired computing: algorithms and case studies. Singapore: Springer (ISBN 978-981-13-9262-7/hbk; 978-981-13-9265-8/pbk; 978-981-13-9263-4/ebook). Springer Tracts in Nature-Inspired Computing, 129-150 (2020).
MSC:  92C55 90C59
PDF BibTeX XML Cite
Full Text: DOI
Dey, Nilanjan (ed.) et al., Applied nature-inspired computing: algorithms and case studies. Singapore: Springer (ISBN 978-981-13-9262-7/hbk; 978-981-13-9265-8/pbk; 978-981-13-9263-4/ebook). Springer Tracts in Nature-Inspired Computing, 97-127 (2020).
MSC:  91B74 90C59
PDF BibTeX XML Cite
Full Text: DOI
Dey, Nilanjan (ed.) et al., Applied nature-inspired computing: algorithms and case studies. Singapore: Springer (ISBN 978-981-13-9262-7/hbk; 978-981-13-9265-8/pbk; 978-981-13-9263-4/ebook). Springer Tracts in Nature-Inspired Computing, 71-95 (2020).
MSC:  91B74 90C59
PDF BibTeX XML Cite
Full Text: DOI
Dey, Nilanjan (ed.) et al., Applied nature-inspired computing: algorithms and case studies. Singapore: Springer (ISBN 978-981-13-9262-7/hbk; 978-981-13-9265-8/pbk; 978-981-13-9263-4/ebook). Springer Tracts in Nature-Inspired Computing, 41-70 (2020).
MSC:  92C30 90C59
PDF BibTeX XML Cite
Full Text: DOI
Dey, Nilanjan (ed.) et al., Applied nature-inspired computing: algorithms and case studies. Singapore: Springer (ISBN 978-981-13-9262-7/hbk; 978-981-13-9265-8/pbk; 978-981-13-9263-4/ebook). Springer Tracts in Nature-Inspired Computing, 23-40 (2020).
MSC:  92C55 90C59
PDF BibTeX XML Cite
Full Text: DOI
Dey, Nilanjan (ed.) et al., Applied nature-inspired computing: algorithms and case studies. Singapore: Springer (ISBN 978-981-13-9262-7/hbk; 978-981-13-9265-8/pbk; 978-981-13-9263-4/ebook). Springer Tracts in Nature-Inspired Computing, 1-21 (2020).
MSC:  92C55 90C59
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Serial
all top 5
Year of Publication
all top 3
Classification
all top 3
Software