×

zbMATH — the first resource for mathematics

Found 74 Documents (Results 1–74)

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).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Deng, Robert H. (ed.) et al., Applied cryptography and network security. 17th international conference, ACNS 2019, Bogota, Colombia, June 5–7, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-21567-5/pbk; 978-3-030-21568-2/ebook). Lecture Notes in Computer Science 11464, 196-216 (2019).
MSC:  68P25 94A60
PDF BibTeX XML Cite
Full Text: DOI
Hierons, Robert Mark (ed.) et al., Theoretical aspects of computing – ICTAC 2019. 16th international colloquium, Hammamet, Tunisia, October 31 – November 4, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-32504-6/pbk; 978-3-030-32505-3/ebook). Lecture Notes in Computer Science 11884, 124-133 (2019).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Albert, Elvira (ed.) et al., Formal techniques for distributed objects, components, and systems. 36th IFIP WG 6.1 international conference, FORTE 2016, held as part of the 11th international federated conference on distributed computing techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6–9, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-39569-2/pbk; 978-3-319-39570-8/ebook). Lecture Notes in Computer Science 9688, 222-238 (2016).
MSC:  68Q60 68Q45
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).
MSC:  68M14 68M15 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Frontiers in Probability and the Statistical Sciences. Cham: Springer (ISBN 978-3-319-21346-0/hbk; 978-3-319-21347-7/ebook). xvii, 246 p. (2015).
PDF BibTeX XML Cite
Full Text: DOI
Leucker, Martin (ed.) et al., Theoretical aspects of computing – ICTAC 2015. 12th international colloquium Cali, Colombia, October 29–31, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-25149-3/pbk; 978-3-319-25150-9/ebook). Lecture Notes in Computer Science 9399, 563-572 (2015).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Cambridge: Cambridge University Press (ISBN 978-0-521-88588-1/hbk; 978-1-139-02575-1/ebook). xix, 625 p. (2015).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 17th ACM international conference on hybrid systems: computation and control, HSCC 2014, Berlin, Germany, April 15–17, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2732-9). 253-262 (2014).
MSC:  93C30 93A30 93C95 03B80
PDF BibTeX XML Cite
Full Text: DOI
Konstantinidis, Stavros (ed.), Implementation and application of automata. 18th international conference, CIAA 2013, Halifax, NS, Canada, July 16–19, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39273-3/pbk). Lecture Notes in Computer Science 7982, 48-59 (2013).
MSC:  68N30 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Hömberg, Dietmar (ed.) et al., System modeling and optimization. 25th IFIP TC 7 conference on system modeling and optimization, CSMO 2011, Berlin, Germany, September 12–16, 2011. Revised Selected Papers. Heidelberg: Springer (ISBN 978-3-642-36061-9/hbk; 978-3-642-36062-6/ebook). IFIP Advances in Information and Communication Technology 391, 538-546 (2013).
MSC:  68N30 68N99
PDF BibTeX XML Cite
Full Text: DOI
Brucker, Achim D. (ed.) et al., Tests and proofs. 6th international conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30472-9/pbk). Lecture Notes in Computer Science 7305, 67-82 (2012).
MSC:  68N30 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Gogolla, Martin (ed.) et al., Tests and proofs. 5th international conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21767-8/pbk). Lecture Notes in Computer Science 6706, 51-68 (2011).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Kristensen, Lars M. (ed.) et al., Applications and theory of Petri nets. 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20–24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21833-0/pbk). Lecture Notes in Computer Science 6709, 308-317 (2011).
MSC:  68N99 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Ranka, Sanjay (ed.) et al., Contemporary computing. Third international conference, IC3 2010, Noida, India, August 9–11, 2010. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-14824-8/pbk; 978-3-642-14825-5/ebook). Communications in Computer and Information Science 95, 155-167 (2010).
MSC:  68M15 68N99
PDF BibTeX XML Cite
Full Text: DOI
Ranka, Sanjay (ed.) et al., Contemporary computing. Third international conference, IC3 2010, Noida, India, August 9–11, 2010. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-14833-0/pbk; 978-3-642-14834-7/ebook). Communications in Computer and Information Science 94, 53-63 (2010).
MSC:  68W05 68T05
PDF BibTeX XML Cite
Full Text: DOI
Butterfield, Andrew (ed.), Unifying theories of programming. Second international symposium, UTP 2008, Dublin, Ireland, September 8–10, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-14520-9/pbk). Lecture Notes in Computer Science 5713, 181-201 (2010).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Lodaya, Kamal (ed.) et al., Perspectives in concurrency. A Festschrift for P. S. Thiagarajan. Hyderabad: Universities Press; Boca Raton, FL: CRC Press (ISBN 978-1-4398-0943-3/hbk). 184-207 (2009).
MSC:  68N99
PDF BibTeX XML Cite
München: Oldenbourg Verlag (ISBN 978-3-486-58521-6/hbk). xxvi, 552 p. (2009).
MSC:  68N01 68N30 68-01
PDF BibTeX XML Cite
Börger, Egon (ed.) et al., Abstract state machines, B and Z. First international conference, ABZ 2008, London, UK, September 16–18, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87602-1/pbk). Lecture Notes in Computer Science 5238, 153-166 (2008).
MSC:  68N30 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Börger, Egon (ed.) et al., Abstract state machines, B and Z. First international conference, ABZ 2008, London, UK, September 16–18, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87602-1/pbk). Lecture Notes in Computer Science 5238, 139-152 (2008).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
Clark, Alexander (ed.) et al., Grammatical inference: Algorithms and applications. 9th international colloquium, ICGI 2008, Saint-Malo, France, September 22–24, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-88008-0/pbk). Lecture Notes in Computer Science 5278. Lecture Notes in Artificial Intelligence, 252-265 (2008).
MSC:  68Q32 68Q42 68T50
PDF BibTeX XML Cite
Full Text: DOI
Gurevich, Yuri (ed.) et al., Tests and proofs. First international conference, TAP 2007, Zurich, Switzerland, February 12–13, 2007. Revised papers. Berlin: Springer (ISBN 978-3-540-73769-8/pbk). Lecture Notes in Computer Science 4454, 169-188 (2007).
MSC:  68N30 68N19 68T15
PDF BibTeX XML Cite
Full Text: DOI
Gurevich, Yuri (ed.) et al., Tests and proofs. First international conference, TAP 2007, Zurich, Switzerland, February 12–13, 2007. Revised papers. Berlin: Springer (ISBN 978-3-540-73769-8/pbk). Lecture Notes in Computer Science 4454, 95-113 (2007).
MSC:  68Q60 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, 173-188 (2005).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
Chung, Paul W. H. (ed.) et al., Developments in applied artificial intelligence. 16th international conference on industrial and engineering applications of artificial intelligence and expert systems, IEA/AIE 2003, Loughborough, UK, June 23–26, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40455-4/pbk). Lect. Notes Comput. Sci. 2718, 402-415 (2003).
MSC:  68U99 68M15 68N99
PDF BibTeX XML Cite
Full Text: Link

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