×

zbMATH — the first resource for mathematics

Found 454 Documents (Results 1–100)

100
MathJax
Springer Optimization and Its Applications 67. Cham: Springer (ISBN 978-3-030-68927-8/hbk; 978-3-030-68928-5/ebook). xvii, 225 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI
Leipzig: Fachbuchverlag Leipzig im Carl Hanser Verlag (ISBN 978-3-446-44868-1/pbk; 978-3-446-46095-9/ebook). 320 p. (2019).
PDF BibTeX XML Cite
Cambridge Tracts in Theoretical Computer Science 60. Cambridge: Cambridge University Press (ISBN 978-1-108-48541-8/hbk; 978-1-108-75694-5/ebook). x, 304 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI
De Gruyter Studium. Berlin: De Gruyter/Oldenbourg (ISBN 978-3-11-042521-5/pbk; 978-3-11-042522-2/ebook). xx, 391 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Springer Optimization and Its Applications 67. Cham: Springer (ISBN 978-3-319-58819-3/hbk; 978-3-319-58821-6/ebook). xviii, 277 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Chatzigiannakis, Ioannis (ed.) et al., 43rd international colloquium on automata, languages, and programming, ICALP 2016, Rome, Italy, July 12–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-013-2). LIPIcs – Leibniz International Proceedings in Informatics 55, Article 128, 13 p. (2016).
MSC:  68Q70 68Q42 90C10
PDF BibTeX XML Cite
Full Text: DOI
Boca Raton, FL: CRC Press (ISBN 978-1-4987-4174-3/hbk; 978-1-4987-4182-8/ebook). xix, 685 p. (2016).
PDF BibTeX XML Cite
Boca Raton, FL: CRC Press (ISBN 978-1-4987-5777-5/hbk; 978-0-367-78313-6/pbk; 978-1-315-36785-9/ebook). xvii, 586 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP ’15, Vancouver, Canada, September 1–3, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3669-7). 35-47 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 395-406 (2015).
MSC:  68Q05 68N15 81P68
PDF BibTeX XML Cite
Full Text: DOI
Proietti, Maurizio (ed.) et al., Logic-based program synthesis and transformation. 24th international symposium, LOPSTR 2014, Canterbury, UK, September 9–11, 2014. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 8981, 241-258 (2015).
MSC:  68N18 68Q70
PDF BibTeX XML Cite
Full Text: DOI
De Nicola, Rocco (ed.) et al., Software, services, and systems. Essays dedicated to Martin Wirsing on the occasion of his retirement from the chair of programming and software engineering, Munich, Germany, 2015. Essays. Cham: Springer. Lect. Notes Comput. Sci. 8950, 215-230 (2015).
MSC:  68Q65 68N15
PDF BibTeX XML Cite
Full Text: DOI
De Nicola, Rocco (ed.) et al., Software, services, and systems. Essays dedicated to Martin Wirsing on the occasion of his retirement from the chair of programming and software engineering, Munich, Germany, 2015. Essays. Cham: Springer. Lect. Notes Comput. Sci. 8950, 193-214 (2015).
MSC:  68Q65 68N15
PDF BibTeX XML Cite
Full Text: DOI
Amsterdam: Elsevier; London: ISTE Press (ISBN 978-1-78548-005-8/hbk). xiii, 442 p. (2015).
PDF BibTeX XML Cite
Full Text: Link
Series in Computational Physics. Boca Raton, FL: CRC Press (ISBN 978-1-4665-6967-6/pbk). xix, 653 p. (2015).
PDF BibTeX XML Cite
Ciardo, Gianfranco (ed.) et al., Application and theory of Petri nets and concurrency. 35th international conference, PETRI NETS 2014, Tunis, Tunisia, June 23–27, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8489, 150-169 (2014).
MSC:  68Q85 68N15
PDF BibTeX XML Cite
Full Text: DOI
Leipzig: Fachbuchverlag Leipzig im Carl Hanser Verlag (ISBN 978-3-446-44203-0/hbk; 978-3-446-43730-2/ebook). 317 p. (2014).
PDF BibTeX XML Cite
Höfner, Peter (ed.) et al., Relational and algebraic methods in computer science. 14th international conference, RAMiCS 2014, Marienstatt, Germany, April 28 – May 1, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-06250-1/pbk). Lecture Notes in Computer Science 8428, 37-48 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 517-528 (2014).
MSC:  68Q55 68N15 68Q65
PDF BibTeX XML Cite
Full Text: DOI
The R Series. Boca Raton, FL: CRC Press (ISBN 978-1-4398-8448-5/hbk; 978-1-4398-8449-2/ebook). xxiii, 335 p. (2014).
PDF BibTeX XML Cite
Full Text: DOI
Kozen, Dexter (ed.) et al., Proceedings of the 29th conference on the mathematical foundations of programming semantics (MFPS XXIX), New Orleans, LA, USA, June 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 298, 325-348 (2013).
MSC:  68N15 68Q45 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Heidelberg: Springer Spektrum (ISBN 978-3-642-25824-4/pbk; 978-3-642-25825-1/ebook). xi, 439 p. (2013).
PDF BibTeX XML Cite
Full Text: DOI
Heckel, Reiko (ed.) et al., Algebra and coalgebra in computer science. 5th international conference, CALCO 2013, Warsaw, Poland, September 3–6, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40205-0/pbk). Lecture Notes in Computer Science 8089, 175-190 (2013).
MSC:  68Q85 68Q55 68Q65
PDF BibTeX XML Cite
Full Text: DOI
Mosc. Univ. Comput. Math. Cybern. 37, No. 1, 35-41 (2013); translation from Vest. Mosk. Univ., Ser. XV 2012, No. 4, 37-45 (2012).
MSC:  68N19 68Q60 68Q70
PDF BibTeX XML Cite
Full Text: DOI
Felleisen, Matthias (ed.) et al., Programming languages and systems. 22nd European symposium on programming, ESOP 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16–24, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-37035-9/pbk). Lecture Notes in Computer Science 7792, 61-80 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Hasegawa, Masahito (ed.), Typed lambda calculi and applications. 11th international conference, TLCA 2013, Eindhoven, The Netherlands, June 26–28, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38945-0/pbk). Lecture Notes in Computer Science 7941, 15-30 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Pfenning, Frank (ed.), Foundations of software science and computation structures. 16th international conference, FOSSACS 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16–24, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-37074-8/pbk). Lecture Notes in Computer Science 7794, 401-417 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 17th ACM SIGPLAN international conference on functional programming, ICFP ’12, Copenhagen, Denmark, September 9–15, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1054-3). ACM SIGPLAN Notices 47, No. 9, 287-298 (2012).
MSC:  68N18 68N15 68Q65
PDF BibTeX XML Cite
Full Text: DOI
Ong, Luke (ed.) et al., Logic, language, information and computation. 19th international workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3–6, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32620-2/pbk). Lecture Notes in Computer Science 7456, 127-141 (2012).
PDF BibTeX XML Cite
Full Text: DOI
Nešetřil, Jarik (ed.) et al., Extended abstracts of the sixth European conference on combinatorics, graph theory and applications, EuroComb 2011, Budapest, Hungary, August 29 – September 2, 2011. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 38, 419-424 (2011).
MSC:  06A11 68N15 68W05
PDF BibTeX XML Cite
Full Text: Link
J. Math. Sci., New York 172, No. 5, 740-750 (2011); translation from Fundam. Prikl. Mat. 15, No. 5, 181-198 (2009).
MSC:  68Q70 68N19 68N99
PDF BibTeX XML Cite
Full Text: DOI
de Swart, Harrie (ed.), Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21069-3/pbk). Lecture Notes in Computer Science 6663, 230-247 (2011).
MSC:  68N18 68N15 68Q65 68T15
PDF BibTeX XML Cite
Full Text: DOI
Beklemishev, Lev D. (ed.) et al., Logic, language, information and computation. 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18–20, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20919-2/pbk). Lecture Notes in Computer Science 6642. Lecture Notes in Artificial Intelligence, 67-83 (2011).
PDF BibTeX XML Cite
Full Text: DOI
Synthesis Lectures on Algorithms and Software in Engineering 3. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-60845-384-9/pbk; 978-1-608-45385-6/ebook). viii, 99 p. (2010).
MSC:  68N15 68W30 68-01
PDF BibTeX XML Cite
Full Text: DOI
New York, NY: Springer (ISBN 978-0-387-75366-9/pbk; 978-0-387-75477-2/ebook). xi, 578 p. (2010).
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