×

zbMATH — the first resource for mathematics

Found 172 Documents (Results 1–100)

100
MathJax
Benedikt, Michael (ed.) et al., 20th international conference on database theory, ICDT 2017, Venice, Italy, March 21–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-024-8). LIPIcs – Leibniz International Proceedings in Informatics 68, Article 16, 18 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Bouabana-Tebibel, Thouraya (ed.) et al., Formalisms for reuse and systems integration. Cham: Springer (ISBN 978-3-319-16576-9/pbk; 978-3-319-16577-6/ebook). Advances in Intelligent Systems and Computing 346, 149-172 (2015).
MSC:  68M11 68Q55 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Dömösi, Pál (ed.) et al., Automata and formal languages. 13th international conference, AFL 2011, Debrecen, Hungary, August 17–22, 2011. Nyíregyháza: College of Nyíregyháza, Institute of Mathematics and Informatics (ISBN 978-615-5097-19-5/pbk). 65-78 (2011).
MSC:  68Q42 68M11
PDF BibTeX XML Cite
Proceedings of the 16th ACM SIGPLAN international conference on functional programming, ICFP ’11, Tokyo, Japan, September 19–21, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0865-6). ACM SIGPLAN Notices 46, No. 9, 259-265 (2011).
PDF BibTeX XML Cite
Full Text: DOI
Frontiers in Artificial Intelligence and Applications 225. Amsterdam: IOS Press (ISBN 978-1-60750-689-8/hbk; 978-1-60750-690-4/ebook). x, 449 p. (2011).
PDF BibTeX XML Cite
Full Text: Link
Grigoriu, Mircea (ed.) et al., European computing conference. Proceedings of the 4th European computing conference (ECC’10), Bucarest, Romania, April 20–22, 2010. Athens: World Scientific and Engineering Academy and Society (WSEAS) (ISBN 978-960-474-183-0/CD-ROM; 978-960-474-178-6/hbk). Electrical and Computer Engineering Series. A Series of Reference Books and Textbooks., 207-211 (2010).
MSC:  68T30 68T05
PDF BibTeX XML Cite
IFIP Advances in Information and Communication Technology 340. Berlin: Springer (ISBN 978-3-642-16326-5/hbk; 978-3-642-16327-2/ebook). x, 354 p. (2010).
PDF BibTeX XML Cite
Full Text: DOI
Gelenbe, Erol (ed.) et al., Computer and information science. Proceedings of the 25th international symposium on computer and information sciences, London, UK, September 22–24, 2010. Dordrecht: Springer (ISBN 978-90-481-9793-4/hbk; 978-90-481-9794-1/ebook). Lecture Notes in Electrical Engineering 62, 329-332 (2010).
MSC:  68M11
PDF BibTeX XML Cite
Full Text: DOI
Hackensack, NJ: World Scientific (ISBN 978-981-283-943-5/hbk; 978-981-283-944-2/ebook). vii, 799 p. (2010).
PDF BibTeX XML Cite
Full Text: Link
Salaün, Gwen (ed.) et al., Proceedings of the 8th international workshop on the foundations of coordination languages and software architectures (FOCLASA 2009), Rhodes, Greece, July 11, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 255, 3-21 (2009).
PDF BibTeX XML Cite
Full Text: Link
Canal, Carlos (ed.) et al., Proceedings of the 7th international workshop on the foundations of coordination languages and software architectures (FOCLASA 2008), Reykjavik, Iceland, July 13, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 2, 155-174 (2009).
PDF BibTeX XML Cite
Full Text: DOI
Bertino, Elisa (ed.) et al., Collaborative computing: networking, applications and worksharing. 4th international ICST conference, CollaborateCom 2008, Orlando, FL, USA, November 13–16, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-03353-7/pbk; 978-3-642-03354-4/ebook). Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering 10, 545-562 (2009).
MSC:  68M11 68N15
PDF BibTeX XML Cite
Full Text: DOI
Spaccapietra, Stefano (ed.), Journal on Data Semantics XII. Berlin: Springer (ISBN 978-3-642-00684-5/pbk). Lecture Notes in Computer Science 5480. Journal Subline, 95-130 (2009).
MSC:  68T30 68M11 68T27
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 35th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’08, San Francisco, CA, USA, January 07–12, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-689-9). 261-272 (2008).
PDF BibTeX XML Cite
Full Text: DOI
Palamidessi, Catuscia (ed.) et al., Proceedings of the LIX colloquium on emerging trends in concurrency theory (LIX 2006), Paris, France, November 13–15, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 209, 125-133 (2008).
MSC:  68N30 68M10 68M11
PDF BibTeX XML Cite
Full Text: DOI
Spaccapietra, Stefano (ed.), Journal on Data Semantics X. Berlin: Springer (ISBN 978-3-540-77687-1/pbk). Lecture Notes in Computer Science 4900. Journal Subline, 96-132 (2008).
MSC:  68U35
PDF BibTeX XML Cite
Full Text: DOI
Jouannaud, Jean-Pierre (ed.) et al., Proceedings of the second international workshop on developments in computational models (DCM 2006), Venice, Italy, July 16, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 171, No. 3, 127-151 (2007).
MSC:  68Q85 68M10 68M11
PDF BibTeX XML Cite
Full Text: DOI
Kleijn, Jetty (ed.) et al., Petri nets and other models of concurrency – ICATPN 2007. 28th international conference on applications and theory of Petri nets and other models of concurrency, ICATPN 2007, Siedlce, Poland, June 25–29, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73093-4/pbk). Lecture Notes in Computer Science 4546, 362-380 (2007).
MSC:  68M11 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Konev, Boris (ed.) et al., Frontiers of combining systems. 6th international symposium, FroCoS 2007, Liverpool, UK, September 10–12, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74620-1/pbk). Lecture Notes in Computer Science 4720. Lecture Notes in Artificial Intelligence, 133-147 (2007).
MSC:  68M10 68M12 68P25
PDF BibTeX XML Cite
Full Text: DOI
Arbab, Farhad (ed.) et al., International symposium on fundamentals of software engineering. International symposium, FSEN 2007, Tehran, Iran, April 17–19, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75697-2/pbk). Lecture Notes in Computer Science 4767, 175-190 (2007).
MSC:  68N30
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