×

zbMATH — the first resource for mathematics

Found 269 Documents (Results 1–100)

100
MathJax
Tannen, Val (ed.) et al., In search of elegance in the theory and practice of computation. Essays dedicated to Peter Buneman. Berlin: Springer (ISBN 978-3-642-41659-0/pbk; 978-3-642-41660-6/ebook). Lecture Notes in Computer Science 8000, 112-166 (2013).
MSC:  68N15 68N18 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Mislove, Michael (ed.) et al., Proceedings of the 27th conference on the mathematical foundations of programming semantics (MFPS XXVII), Pittsburgh, PA, USA, May 25–28, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 276, 191-213 (2011).
PDF BibTeX XML Cite
Full Text: DOI
Li, Shoumei (ed.) et al., Nonlinear mathematics for uncertainty and its applications. Proceedings of the international conference, NL-MUA2011, Beijing, China, September 7–9, 2011. Berlin: Springer (ISBN 978-3-642-22832-2/hbk; 978-3-642-22833-9/ebook). Advances in Intelligent and Soft Computing 100, 357-364 (2011).
MSC:  68N19 68N17 03B52
PDF BibTeX XML Cite
Full Text: DOI
Hoboken, NJ: John Wiley & Sons (ISBN 978-0-470-62694-8/hbk; 978-0-470-89103-2/ebook). xxv, 243 p. (2011).
MSC:  68-02 68N19 68N30
PDF BibTeX XML Cite
Full Text: DOI
Bowman, Howard (ed.) et al., Formal methods for distributed processing. A survey of object-oriented approaches. Cambridge: Cambridge University Press (ISBN 978-0-521-16875-5/pbk). 326-353 (2010).
MSC:  68N19 68N15
PDF BibTeX XML Cite
Bowman, Howard (ed.) et al., Formal methods for distributed processing. A survey of object-oriented approaches. Cambridge: Cambridge University Press (ISBN 978-0-521-16875-5/pbk). 105-125 (2010).
MSC:  68N30 68N19 68Q60
PDF BibTeX XML Cite
Maciaszek, Leszek A. (ed.) et al., Evaluation of novel approaches to software engineering. 3rd and 4th international conference, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4–7, 2008, Milan, Italy, May 9–10, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-14818-7/pbk). Communications in Computer and Information Science 69, 75-90 (2010).
MSC:  68N19
PDF BibTeX XML Cite
Full Text: DOI
Cambridge: Cambridge University Press (ISBN 978-0-521-74758-5/pbk; 978-0-521-76217-5/hbk; 978-0-511-79598-5/ebook). xvii, 485 p. (2010).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 14th ACM SIGPLAN international conference on functional programming, ICFP ’09, Edinburgh, UK, August 31 – September 2, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-332-7). ACM SIGPLAN Notices 44, No. 9, 35-46 (2009).
MSC:  68N18 68N19
PDF BibTeX XML Cite
Full Text: DOI
Boca Raton, FL: CRC Press (ISBN 978-1-4398-1147-4/hbk; 978-1-138-11376-3/pbk; 978-1-4398-1148-1/ebook). xxviii, 606 p. (2009).
MSC:  68N15 68N19 68-01
PDF BibTeX XML Cite
Full Text: DOI
Alexander, Michael (ed.) et al., Process algebra for parallel and distributed processing. Boca Raton, FL: CRC pRESS (ISBN 978-1-4200-6486-5/hbk). Chapman & Hall / CRC Computational Science Series, 235-283 (2009).
PDF BibTeX XML Cite
Xpert.press. Berlin: Springer (ISBN 978-3-540-23869-0/hbk; 978-3-540-68844-0/ebook). xxiv, 1335 p. (2009).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 34th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’07, Nice, France, January 17–19, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-575-4). 251-262 (2007).
PDF BibTeX XML Cite
Full Text: DOI
Lucio, Paqui (ed.) et al., Proceedings of the sixth Spanish conference on programming and languages (PROLE 2006), Sitges, Barcelona, Spain, October 4–6, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 188, 143-155 (2007).
MSC:  68N19 68N15
PDF BibTeX XML Cite
Full Text: DOI
Jones, Cliff B. (ed.) et al., Formal methods and hybrid real-time systems. Essays in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays. Berlin: Springer (ISBN 978-3-540-75220-2/pbk). Lecture Notes in Computer Science 4700, 255-279 (2007).
MSC:  68N15 68N19 68Q60 68T15
PDF BibTeX XML Cite
Full Text: DOI
Jones, Cliff B. (ed.) et al., Theoretical aspects of computing – ICTAC 2007. 4th international colloquium, Macau, China, September 26–28, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75290-5/pbk). Lecture Notes in Computer Science 4711, 139-153 (2007).
PDF BibTeX XML Cite
Full Text: DOI
Seda, Anthony K. (ed.) et al., Proceedings of the third Irish conference on the mathematical foundations of computer science and information technology (MFCSIT 2004), Dublin, Ireland, July 22–23, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 161, 131-150 (2006).
PDF BibTeX XML Cite
Full Text: Link
Cristea, Horatiu (ed.) et al., Proceedings of the 6th international workshop on rule-based programming (RULE 2005), Nara, Japan, April 23, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 147, No. 1, 5-30 (2006).
MSC:  68N19 68Q42
PDF BibTeX XML Cite
Full Text: Link
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’05, Long Beach, CA, USA, January 12–14, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-830-X). 38-49 (2005).
MSC:  68N20 68N15 68N19
PDF BibTeX XML Cite
Full Text: DOI
Fitzgerald, John (ed.) et al., FM 2005: Formal methods. International symposium of formal methods Europe, Newcastle, UK, July 18–22, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27882-6/pbk). Lecture Notes in Computer Science 3582, 75-90 (2005).
MSC:  68N19 68N30
PDF BibTeX XML Cite
Full Text: DOI
Treharne, Helen (ed.) et al., ZB 2005: Formal specification and development in Z and B. 4th international conference of B and Z users, Guildford, UK, April 13–15, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25559-1/pbk). Lecture Notes in Computer Science 3455, 434-453 (2005).
MSC:  68Q60 68N19
PDF BibTeX XML Cite
Full Text: DOI
Halbwachs, Nicolas (ed.) et al., Tools and algorithms for the construction and analysis of systems. 11th international conference, TACAS 2005, held as part of the joint European conference on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25333-5/pbk). Lecture Notes in Computer Science 3440, 551-556 (2005).
MSC:  68N99 68N19
PDF BibTeX XML Cite
Full Text: DOI
The Kluwer International Series in Engineering and Computer Science 774. Boston, MA: Kluwer Academic Publishers (ISBN 1-4020-8085-9/hbk). xxvi, 364 p. (2004).
MSC:  68N15 68N19 68-01
PDF BibTeX XML Cite
Gibbons, Jeremy (ed.) et al., Generic programming. IFIP TC2/WG2.1. Working conference on generic programming, July 11–12, 2002, Dagstuhl, Germany. Boston, MA: Kluwer Academic Publishers (ISBN 1-4020-7374-7/hbk). IFIP, International Federation for Information Processing 115, 1-20 (2003).
MSC:  68N19
PDF BibTeX XML Cite
Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP ’02, Pittsburgh, PA, USA, October 4–6, 2002. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-487-8). ACM SIGPLAN Notices 37, No. 9, 60-71 (2002).
MSC:  68N18 68N15 68N19
PDF BibTeX XML Cite
Full Text: DOI
Mosc. Univ. Comput. Math. Cybern. 2002, No. 1, 46-51 (2002); translation from Vestn. Mosk. Univ., Ser. XV 2002, No. 1, 46-50 (2002).
MSC:  68N15 68N19 68-01
PDF BibTeX XML Cite
Dorst, Leo (ed.) et al., Applications of geometric algebra in computer science and engineering. Papers from the conference, AGACSE 2001, Cambridge, UK, July 9–13, 2001. Boston, MA: Birkhäuser (ISBN 0-8176-4267-6/hbk). 157-167 (2002).
MSC:  65F30 15A66 68N19 68W30
PDF BibTeX XML Cite
Jézéquel, Jean-Marc (ed.) et al., “UML” 2002 - the unified modeling language. Model engineering, concepts, and tools. 5th international conference, Dresden, Germany, September 30-October 4, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2460, 336-350 (2002).
MSC:  68U99 68N15
PDF BibTeX XML Cite
Full Text: Link
Abraham, Ajith (ed.) et al., Hybrid information systems. Proceedings of HIS-2001, 1st international workshop, Adelaide, Australia, December 11–12, 2001. Heidelberg: Physica-Verlag (ISBN 3-7908-1480-6/pbk). Advances in Soft Computing, 361-377 (2002).
MSC:  68T50 68T05 68N19
PDF BibTeX XML Cite
Köln: O’Reilly. xix, 681 S. (2002).
Reviewer: W.Brecht (Berlin)
MSC:  68N15 68N19 68-01
PDF BibTeX XML Cite
Berichte aus der Informatik. Aachen: Shaker Verlag. Dortmund: Univ. Dortmund, Fachbereich Informatik, xiv, 246 S. (2002).
MSC:  68Q55 68-02 68N15
PDF BibTeX XML Cite
Full Text: Link

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