×

zbMATH — the first resource for mathematics

Found 147 Documents (Results 1–100)

100
MathJax
Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer (ISBN 978-3-030-53287-1/pbk; 978-3-030-53288-8/ebook). Lecture Notes in Computer Science 12224, 225-248 (2020).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
Catania, Barbara (ed.) et al., SOFSEM 2019: theory and practice of computer science. 45th international conference on current trends in theory and practice of computer science, Nový Smokovec, Slovakia, January 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11376, 324-340 (2019).
MSC:  68N30 68Q27 68W40
PDF BibTeX XML Cite
Full Text: DOI
Wong, W. Eric (ed.) et al., Adaptive control approach for software quality improvement. Hackensack, NJ: World Scientific (ISBN 978-981-4340-91-5/hbk; 978-981-4340-92-2/ebook). Series on Software Engineering and Knowledge Engineering 20, 23-56 (2011).
MSC:  68T05
PDF BibTeX XML Cite
Full Text: Link
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’10, Madrid, Spain, January 17–23, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-479-9). 83-92 (2010).
MSC:  68N30 68N20
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). 36-51 (2010).
PDF BibTeX XML Cite
Cai, Zhihua (ed.) et al., Computational intelligence and intelligent systems. 4th international symposium on intelligence computation and applications, ISICA 2009, Huangshi, China, October 23–25, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04961-3/pbk; 978-3-642-04962-0/ebook). Communications in Computer and Information Science 51, 285-294 (2009).
MSC:  68U20
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). 17-27 (2008).
MSC:  68N20 68N30 68Q60 68T15
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, 149-164 (2008).
MSC:  68Q85 68Q60 68-02
PDF BibTeX XML Cite
Full Text: DOI
Goldin, Dina (ed.) et al., Proceedings of the workshop on the foundations of interactive computation (FinCo 2007), Braga, Portugal, March 31, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 203, No. 3, 53-67 (2008).
MSC:  68Q60
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). 131-136 (2008).
MSC:  68T05 68N19
PDF BibTeX XML Cite
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). 98-105 (2008).
MSC:  68Q60
PDF BibTeX XML Cite
Autexier, Serge (ed.) et al., Workshop on trustworthy software. Selected papers based on the presentations at the workshop, May 18–19, 2006, Saarbrücken, Germany. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-02-6). OASIcs – OpenAccess Series in Informatics 3, 22 p., electronic only (2006).
MSC:  68N30 68N20
PDF BibTeX XML Cite
Full Text: DOI
Andres, Eric (ed.) et al., Discrete geometry for computer imagery. 12th international conference, DGCI 2005, Poitiers, France, April 13–15, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25513-3/pbk). Lecture Notes in Computer Science 3429, 23-33 (2005).
MSC:  68M07 68Q60 68U05
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’04, Venice, Italy, January 14–16, 2004. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-729-X). 173-185 (2004).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’04, Venice, Italy, January 14–16, 2004. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-729-X). 1-13 (2004).
MSC:  68N30 68N20
PDF BibTeX XML Cite
Full Text: DOI
Wang, Farn (ed.), Automated technology for verification and analysis. Second international conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 – November 3, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23610-4/pbk). Lecture Notes in Computer Science 3299, 402-414 (2004).
MSC:  68Q60 68N99
PDF BibTeX XML Cite
Full Text: DOI
Aachen: Shaker Verlag; Kaiserslautern: Univ. Kaiserslautern, Fachbereich Elektrotechnik and Informationstechnik (Diss.). (ISBN 3-8322-2242-1/pbk). viii, 142 p. (2003).
MSC:  68Q60 68-01
PDF BibTeX XML Cite
Full Text: Link
Peled, Doron A. (ed.) et al., Formal techniques for networked and distributed systems – FORTE 2002. 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11–14, 2002. Proceedings. Berlin: Springer (ISBN 3-540-00141-7/pbk). Lect. Notes Comput. Sci. 2529, 260-275 (2002).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: Link
George, Chris (ed.) et al., Formal methods and software engineering. 4th international conference on formal engineering methods, ICFEM 2002, Shanghai, China, October 21-25, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2495, 471-482 (2002).
PDF BibTeX XML Cite
Full Text: Link
George, Chris (ed.) et al., Formal methods and software engineering. 4th international conference on formal engineering methods, ICFEM 2002, Shanghai, China, October 21-25, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2495, 216-220 (2002).
MSC:  68U99 68N99 68Q60
PDF BibTeX XML Cite
Full Text: Link
Babuška, Ivo (ed.) et al., Mathematical modeling and numerical simulation in continuum mechanics. Proceedings of the international symposium, Yamaguchi, Japan, September 29 - October 3, 2000. Berlin: Springer. Lect. Notes Comput. Sci. Eng. 19, 169-183 (2002).
MSC:  65G20 65N30 74S05
PDF BibTeX XML Cite

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