×

zbMATH — the first resource for mathematics

Found 783 Documents (Results 1–100)

100
MathJax
Fischer, Bernd (ed.) et al., Theoretical aspects of computing – ICTAC 2018. 15th international colloquium, Stellenbosch, South Africa, October 16–19, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11187, 62-79 (2018).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Fatourou, Panagiota (ed.) et al., 20th international conference on principles of distributed systems (OPODIS 2016), Madrid, Spain, December 13–16, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 70, Article 18, 18 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 634-648 (2016).
MSC:  68N15 68N30 68T15
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). 663-676 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 19th ACM SIGPLAN international conference on functional programming, ICFP ’14, Gothenburg, Sweden, September 1–3, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2873-9). 11-24 (2014).
PDF BibTeX XML Cite
Full Text: DOI
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
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
München: Oldenbourg Verlag (ISBN 978-3-486-70641-3/pbk; 978-3-486-71995-6/ebook). xxiv, 888 p. (2013).
PDF BibTeX XML Cite
Dediu, Adrian-Horia (ed.) et al., Theory and practice of natural computing. First international conference, TPNC 2012, Tarragona, Spain, October 2–4, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33859-5/pbk). Lecture Notes in Computer Science 7505, 121-132 (2012).
MSC:  68Q05 68Q45 92D20
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 14th ACM international conference on hybrid systems: computation and control, HSCC 2011, Chicago, IL, USA, April 12–14, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0629-4). 211-220 (2011).
PDF BibTeX XML Cite
Full Text: DOI
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, 163-179 (2010).
MSC:  68N15 68N99
PDF BibTeX XML Cite
Full Text: DOI
Hüllermeier, Eyke (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. Theory and methods. 13th international conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings. Part I. Berlin: Springer (ISBN 978-3-642-14054-9/pbk; 978-3-642-14055-6/ebook). Communications in Computer and Information Science 80, 31-39 (2010).
MSC:  68T35 68M10
PDF BibTeX XML Cite
Full Text: DOI
Essaaidi, Mohammad (ed.) et al., Intelligent distributed computing IV. Proceedings of the 4th international symposium on intelligent distributed computing – IDC 2010, Tangier, Morocco, September 2010. Berlin: Springer (ISBN 978-3-642-15210-8/hbk; 978-3-642-15211-5/ebook). Studies in Computational Intelligence 315, 145-154 (2010).
MSC:  68M10 68N15
PDF BibTeX XML Cite
Full Text: DOI
IFIP Advances in Information and Communication Technology 322. Berlin: Springer (ISBN 978-3-642-14340-3/hbk; 978-3-642-14341-0/ebook). xiv, 310 p. (2010).
MSC:  68M10 68-06 68U99 68T35 68U20 68M11 00B25
PDF BibTeX XML Cite
Full Text: DOI
Sobh, Tarek (ed.) et al., Innovations in computing sciences and software engineering. Proceedings of the 2009 second international conference on systems, computing sciences and software engineering (SCSS), December 4–12, 2009. Dordrecht: Springer (ISBN 978-90-481-9111-6/hbk; 978-90-481-9112-3/ebook). 39-43 (2010).
MSC:  68T35
PDF BibTeX XML Cite
Full Text: DOI
Gastin, Paul (ed.) et al., CONCUR 2010 – concurrency theory. 21st international conference, CONCUR 2010, Paris, France, August 31 – September 3, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15374-7/pbk). Lecture Notes in Computer Science 6269, 313-327 (2010).
PDF BibTeX XML Cite
Full Text: DOI
Dordrecht: Springer (ISBN 978-90-481-3484-7/hbk; 978-90-481-3485-4/ebook). xxv, 441 p. (2010).
PDF BibTeX XML Cite
Full Text: DOI
Schmidt, Andreas U. (ed.) et al., Security and privacy in mobile information and communication systems. First international ICST conference, MoboSec 2009, Turin, Italy, June 3–5, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-04433-5/pbk; 978-3-642-04434-2/ebook). Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering 17, 265-277 (2009).
MSC:  68N99 68M10
PDF BibTeX XML Cite
Full Text: DOI
Advances in Intelligent and Soft Computing 63. Berlin: Springer (ISBN 978-3-642-04090-0/pbk; 978-3-642-04091-7/ebook). xv, 212 p. (2009).
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Control and Computer Science 13. Zielona Góra: University of Zielona Góra Press (ISBN 978-83-7481-257-3/pbk). x, 102 p. (2009).
MSC:  68M07 68-02 68Q45 94C10
PDF BibTeX XML Cite
Xhafa, Fatos (ed.), Parallel programming, models and applications in grid and P2P systems. Amsterdam: IOS Press (ISBN 978-1-60750-004-9/hbk; 978-3-540-68844-0/ebook). Advances in Parallel Computing 17, 232-260 (2009).
MSC:  68M10 68N15
PDF BibTeX XML Cite
Full Text: DOI
Majumdar, Rupak (ed.) et al., Hybrid systems: Computation and control. 12th international conference, HSCC 2009, San Francisco, CA, USA, April 13–15, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00601-2/pbk). Lecture Notes in Computer Science 5469, 351-365 (2009).
PDF BibTeX XML Cite
Full Text: DOI
München: Oldenbourg Verlag (ISBN 978-3-486-58724-1/pbk). xxiv, 901 p. (2009).
PDF BibTeX XML Cite
Full Text: DOI
Mackie, I. (ed.) et al., Proceedings of the fourth international workshop on computing with terms and graphs (TERMGRAPH 2007), Braga, Portugal, March 31, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 203, No. 1, 79-92 (2008).
MSC:  68N30 68N15 68N20
PDF BibTeX XML Cite
Full Text: DOI
Sarbazi-Azad, Hamid (ed.) et al., Advances in computer science and engineering. 13th international CSI computer conference, CSICC 2008, Kish Island, Iran, March 9–11, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-540-89984-6/pbk; 978-3-540-89985-3/ebook). Communications in Computer and Information Science 6, 380-387 (2008).
MSC:  68P10 68M10 68T35
PDF BibTeX XML Cite
Full Text: DOI
Pahl, C. (ed.), Software engineering. Proceedings of the IASTED international conference (SE 2008), as part of the 26th IASTED international multi-conference on applied informatics, Innsbruck, Austria, February 12–14, 2008. Calgary: International Association of Science and Technology for Development (IASTED); Anaheim, CA: Acta Press (ISBN 978-0-88986-716-1/CD-ROM). 80-85 (2008).
MSC:  68N15 68M10
PDF BibTeX XML Cite
Filipe, Joaquim (ed.) et al., Software and data technologies. Second international conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22–25, 2007. Revised selected papers. Berlin: Springer (ISBN 978-3-540-88654-9/pbk). Communications in Computer and Information Science 22, 73-85 (2008).
MSC:  68N15 68N99
PDF BibTeX XML Cite
Full Text: DOI
Bouchon-Meunier, Bernadette (ed.) et al., Uncertainty and intelligent information systems. Selected papers based on the presentations at the 2006 conference on information processing and management of uncertainty (IMPU), Paris, France, 2006. Hackensack, NJ: World Scientific (ISBN 978-981-279-234-1/hbk). 155-167 (2008).
PDF BibTeX XML Cite
AIP Conference Proceedings 1060. Melville, NY: American Institute of Physics (AIP) (ISBN 978-0-7354-0590-5/pbk). xvi, 423 p. (2008).
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