×

zbMATH — the first resource for mathematics

Found 103 Documents (Results 1–100)

100
MathJax
Kreutzer, Stephan (ed.), 24th EACSL annual conference and 29th workshop on computer science logic, CSL’15, Berlin, Germany, September 7–10, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-90-3). LIPIcs – Leibniz International Proceedings in Informatics 41, 2-13 (2015).
MSC:  03B44
PDF BibTeX XML Cite
Full Text: DOI
Xu, Dachuan (ed.) et al., Computing and combinatorics. 21st international conference, COCOON 2015, Beijing, China, August 4–6, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-21397-2/pbk; 978-3-319-21398-9/ebook). Lecture Notes in Computer Science 9198, 521-533 (2015).
MSC:  68Rxx
PDF BibTeX XML Cite
Full Text: DOI
Synthesis Lectures on Artificial Intelligence and Machine Learning 26. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-60845-967-4/pbk; 978-1-60845-968-1/ebook). xiii, 107 p. (2014).
PDF BibTeX XML Cite
Full Text: DOI
Paschos, Vangelis Th., Combinatorial optimization. Volume 2: Paradigms of combinatorial optimization. Problems and new approaches. London: ISTE; Hoboken, NJ: John Wiley & Sons (ISBN 978-1-84821-148-3/hbk; 978-1-84821-146-9/set). 33-59 (2010).
MSC:  90B35 90C05 90C27
PDF BibTeX XML Cite
Cotta, Carlos (ed.) et al., Recent advances in evolutionary computation for combinatorial optimization. Most papers are extended versions of selected papers from the 7th conference on evolutionary computation and metaheuristics in combinatorial optimization (EvoCOP’2007), Valencia, Spain, April 11–13, 2007. Berlin: Springer (ISBN 978-3-540-70806-3/hbk). Studies in Computational Intelligence 153, 187-202 (2008).
MSC:  90B35 90C59
PDF BibTeX XML Cite
Full Text: DOI
Józefowska, Joanna (ed.) et al., Perspectives in modern project scheduling. New York, NY: Springer (ISBN 0-387-33643-5/hbk). International Series in Operations Research & Management Science 92, 375-407 (2006).
MSC:  90B35
PDF BibTeX XML Cite
Meyer, John-Jules Ch. (ed.) et al., Intelligent agents VIII. Agent theories, architectures, and languages. 8th international workshop, ATAL 2001, Seattle, WA, USA, August 1–3, 2001. Revised papers. Berlin: Springer (ISBN 3-540-43858-0). Lect. Notes Comput. Sci. 2333, 248-263 (2002).
MSC:  68T99
PDF BibTeX XML Cite
Full Text: Link
Nielsen, Mogens (ed.) et al., Foundations of software science and computation structures. 5th international conference, FOSSACS 2002, held as part of the joint European conferences on theory and practice of software, ETAPS 2002, Grenoble, France, April 8–12, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43366-X). Lect. Notes Comput. Sci. 2303, 37-51 (2002).
MSC:  68Q60 68N30 68Q85
PDF BibTeX XML Cite
Full Text: Link
Singh, Sameer (ed.) et al., Advances in pattern recognition - ICAPR 2001. 2nd international conference, rio de Janeiro, Brazil, March 11-14, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2013, 280-289 (2001).
MSC:  68U99 68T10
PDF BibTeX XML Cite
Full Text: Link
Jennings, Nicholas R. (ed.) et al., Intelligent agents VI. Agent theories, architectures, and languages. 6th international workshop, ATAL ’99. Orlando, FL, USA, July 15-17, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1757, 188-204 (2000).
MSC:  68U99 68T40
PDF BibTeX XML Cite
Faller, Martina (ed.) et al., Formalizing the dynamics of information. Stanford, CA: CSLI, Center for the Study of Language and Information. CSLI Lect. Notes. 91, 189-205 (2000).
MSC:  03B65 03B44
PDF BibTeX XML Cite
Graf, Susanne (ed.) et al., Tools and algorithms for the construction and analysis of systems. 6th international conference, TACAS 2000. Held as part of the joint European conferences on theory and practice of software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1785, 1-19 (2000).
PDF BibTeX XML Cite
Ehrig, Hartmut (ed.) et al., Theory and application of graph transformations. 6th international workshop, TAGT ’98. Paderborn, Germany, November 16-20, 1998. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1764, 310-322 (2000).
MSC:  03B70 68Q85 03B44
PDF BibTeX XML Cite
Jaffar, Joxan (ed.), Principles and practice of constraint programming - CP ’99. 5th international conference, Alexandria, VA, USA, October 11-14, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1713, 129-143 (1999).
MSC:  68T01 68T30
PDF BibTeX XML Cite
Ganzinger, Harald (ed.) et al., Logic for programming and automated reasoning. 6th international conference, LPAR ’99, Tbilisi, Georgia, September 6-10, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1705, 62-76 (1999).
MSC:  03B44
PDF BibTeX XML Cite
Privara, L. (ed.) et al., Mathematical foundations of computer science 1997. 22nd international symposium, MFCS ’97, Bratislava, Slovakia, August 25-29, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1295, 219-228 (1997).
PDF BibTeX XML Cite
Informatik-Dissertationen ETH Zürich. 26. Zürich: Verl. d. Fachvereine an d. Schweiz. Hochschulen u. Techniken. Zürich: ETH, Informatik, IX, 117 p. (1991).
MSC:  68P15 68-02
PDF BibTeX XML Cite

Filter Results by …

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