×

zbMATH — the first resource for mathematics

Found 92 Documents (Results 1–92)

100
MathJax
Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-31037-0/pbk; 978-3-030-31038-7/ebook). Lecture Notes in Computer Science 11885, 22-38 (2019).
Reviewer: Reviewer (Berlin)
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Khomenko, Victor (ed.) et al., Application and theory of Petri nets and concurrency. 39th international conference, PETRI NETS 2018, Bratislava, Slovakia, June 24–29, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10877, 272-293 (2018).
Reviewer: Reviewer (Berlin)
MSC:  68Q55 68M15 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Aceto, Luca (ed.) et al., 26th international conference on concurrency theory, CONCUR’15, Madrid, Spain, September 1–4, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-91-0). LIPIcs – Leibniz International Proceedings in Informatics 42, 18-40 (2015).
Reviewer: Reviewer (Berlin)
MSC:  68M14 68M15 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Bodei, Chiara (ed.) et al., Programming languages with applications to biology and security. Essays dedicated to Pierpaolo Degano on the occasion of his 65th birthday. Cham: Springer. Lect. Notes Comput. Sci. 9465, 86-102 (2015).
Reviewer: Reviewer (Berlin)
MSC:  68Q85 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Meyer, Roland (ed.) et al., Correct system design. Symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday, Oldenburg, Germany, September 8–9, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9360, 133-151 (2015).
Reviewer: Reviewer (Berlin)
PDF BibTeX XML Cite
Full Text: DOI
Shanghai: Shanghai Jiao Tong University Press; Heidelberg: Springer (ISBN 978-3-662-45197-7/hbk; 978-3-662-45198-4/ebook). xiv, 249 p. (2014).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP ’13, Boston, MA, USA, September 25–27, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2326-0). ACM SIGPLAN Notices 48, No. 9, 455-468 (2013).
Reviewer: Reviewer (Berlin)
MSC:  68Q60 68Q05 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Chatterjee, Krishnendu (ed.) et al., Formal modeling and analysis of timed systems. 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8–10, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15296-2/pbk). Lecture Notes in Computer Science 6246, 243-255 (2010).
Reviewer: Reviewer (Berlin)
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Cavalcanti, Ana (ed.) et al., Theoretical aspects of computing – ICTAC 2010. 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1–3, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14807-1/pbk). Lecture Notes in Computer Science 6255, 184-198 (2010).
Reviewer: Reviewer (Berlin)
MSC:  68N30 18C20
PDF BibTeX XML Cite
Full Text: DOI
Abramsky, Samson (ed.) et al., Proceedings of the 25th conference on the mathematical foundations of programming semantics (MFPS 2009), Oxford, UK, April 3–7, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 249, 219-242 (2009).
Reviewer: Reviewer (Berlin)
MSC:  68N30 68Q05 68Q10 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Ślȩzak, Dominik (ed.) et al., Grid and distributed computing. International conference, GDC 2009, held as part of the future generation information technology conference, FGIT 2009, Jeju Island, Korea, December 10–12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-10548-7/pbk; 978-3-642-10549-4/ebook). Communications in Computer and Information Science 63, 49-56 (2009).
Reviewer: Reviewer (Berlin)
MSC:  68M15 68M10 68T27
PDF BibTeX XML Cite
Full Text: DOI
Amadio, Roberto (ed.) et al., Proceedings of the 14th international workshop on expressiveness in concurrency (EXPRESS 2007), Lisbon, Portugal, September 3, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 194, No. 2, 59-84 (2008).
Reviewer: Reviewer (Berlin)
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Amadio, Roberto (ed.) et al., Proceedings of the 13th international workshop on expressiveness in concurrency (EXPRESS 2006), Bonn, Germany, August 26, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 175, No. 3, 3-26 (2007).
Reviewer: Reviewer (Berlin)
MSC:  68Q85 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Cardelli, Luca (ed.) et al., Computation, meaning, and logic. Articles dedicated to Gordon Plotkin. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 172, 359-397 (2007).
Reviewer: Reviewer (Berlin)
MSC:  68Q55 68Q85 68Q87
PDF BibTeX XML Cite
Full Text: DOI
Ionescu, Dan (ed.) et al., Real-time-systems. Modeling, design and applications. Selected papers based on the presentations at the AMAST workshops. Hackensack, NJ: World Scientific (ISBN 981-02-4424-X/hbk). AMAST Series in Computing 8, 221-235 (2007).
Reviewer: Reviewer (Berlin)
MSC:  68Q85 68Q55
PDF BibTeX XML Cite
Ionescu, Dan (ed.) et al., Real-time-systems. Modeling, design and applications. Selected papers based on the presentations at the AMAST workshops. Hackensack, NJ: World Scientific (ISBN 981-02-4424-X/hbk). AMAST Series in Computing 8, 57-76 (2007).
Reviewer: Reviewer (Berlin)
MSC:  68Q85 68Q55
PDF BibTeX XML Cite
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, 350-365 (2005).
Reviewer: Reviewer (Berlin)
MSC:  68M10 68M15
PDF BibTeX XML Cite
Full Text: DOI
Saraswat, Vijay A. (ed.), Advances in computing science – ASIAN 2003. Programming languages and distributed computation. 8th Asian computing science conference, Mumbai, India, December 10–12, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20632-9/pbk). Lect. Notes Comput. Sci. 2896, 54-71 (2003).
Reviewer: Reviewer (Berlin)
PDF BibTeX XML Cite
Full Text: DOI
Rovan, Branislav (ed.) et al., Mathematical foundations of computer science 2003. 28th international symposium, MFCS 2003, Bratislava, Slovakia, August 25–29, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40671-9/pbk). Lect. Notes Comput. Sci. 2747, 279-289 (2003).
Reviewer: Reviewer (Berlin)
MSC:  68Q55 68Q70 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Program. Comput. Softw. 26, No. 5, 249-257 (2000); translation from Programmirovanie 2000, No. 5, 18-30 (2000).
Reviewer: Reviewer (Berlin)
MSC:  68Q85 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Thiagarajan, P. S. (ed.) et al., Advances in computing science - ASIAN ’99. 5th Asian computing science conference, Phuket, Thailand, December 8-10, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1742, 74-86 (1999).
Reviewer: Reviewer (Berlin)
MSC:  68Q85 68Q55
PDF BibTeX XML Cite
Wing, Jeannette M. (ed.) et al., FM ’99. Formal methods. World congress on Formal methods in the development of computing systems. Toulouse, France, September 20–24, 1999. Proceedings. In 2 vols. Berlin: Springer (ISBN 3-540-66587-0/vol1; 3-540-66588-9/vol2). Lect. Notes Comput. Sci. 1708; 1709, 738-757 (1999).
Reviewer: Reviewer (Berlin)
MSC:  68M15
PDF BibTeX XML Cite
Wu, Jianping (ed.) et al., Formal methods for protocol engineering and distributed systems. FORTE XII/ PSTV XIX ’99. IFIP TC6 WG6.1 joint international conference on Formal description techniques for distributed systems and communication protocols (FORTE XII) and protocol specification, testing and verification (PSTV XIX). Beijing, China, October 5-8, 1999. Boston: Kluwer Academic Publishers. Int. Fed. Inf. Process., IFIP. 28, 135-150 (1999).
Reviewer: Reviewer (Berlin)
MSC:  68Q55 68Q10
PDF BibTeX XML Cite
Baier, Christel (ed.) et al., Proceedings of the 1st international workshop on Probabilistic methods in verification (PROBMIV ’98), Indianapolis, IN, USA, June 19–20, 1998 (satellite event to the 13th international IEEE symposium on Logic in computer science, LICS ’98). Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 22, Electronic paper No. 9, (1998).
Reviewer: Reviewer (Berlin)
MSC:  68Q55
PDF BibTeX XML Cite
Full Text: Link
Lengauer, Christian (ed.) et al., Euro-par ’97 parallel processing. 3rd international Euro-Par conference, Passau, Germany, August 26-29, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1300, 538-545 (1997).
Reviewer: Reviewer (Berlin)
MSC:  68U99 68Q55 68Q85
PDF BibTeX XML Cite
Peled, Doron A. (ed.) et al., Partial order methods in verification. DIMACS workshop, July 24-26, 1996, Princeton Univ., Princeton, NJ, USA. Providence, RI: AMS, American Mathematical Society. DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 29, 117-128 (1997).
Reviewer: Reviewer (Berlin)
MSC:  68Q55
PDF BibTeX XML Cite
Fülöp, Zoltán (ed.) et al., Automata, languages and programming. 22nd international colloquium, ICALP ’95, Szeged, Hungary, July 10–14, 1995. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 944, 648-659 (1995).
Reviewer: Reviewer (Berlin)
MSC:  68Q85 68Q10 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science. 915. Berlin: Springer-Verlag. xv, 810 p. (1995).
Reviewer: M.Gheorghe
PDF BibTeX XML Cite
Full Text: DOI
London: MIT Press,. xviii, 740 p. (1991).
Reviewer: Reviewer (Berlin)
PDF BibTeX XML Cite
Computer-aided verification ’90, Proc. 2nd DIMACS Workshop, New Brunswick/ NJ (USA) 1990, DIMACS, Ser. Discret. Math. Theor. Comput. Sci. 3, 219-230 (1991).
Reviewer: L.Brim (Brno)
PDF BibTeX XML Cite
Computer-aided verification ’90, Proc. 2nd DIMACS Workshop, New Brunswick/NJ (USA) 1990, DIMACS, Ser. Discret. Math. Theor. Comput. Sci. 3, 15-24 (1991).
MSC:  94C12 68Q55 68Q60
PDF BibTeX XML Cite
Amsterdam etc.: North-Holland. XIII, 365 p. (1991).
Reviewer: Reviewer (Berlin)
MSC:  68-06 00B25
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