×

zbMATH — the first resource for mathematics

Found 309 Documents (Results 1–100)

100
MathJax
Lambropoulou, Sofia (ed.) et al., Algebraic modeling of topological and computational structures and applications, THALES, Athens, Greece, July 1–3, 2015. Cham: Springer (ISBN 978-3-319-68102-3/hbk; 978-3-319-68103-0/ebook). Springer Proceedings in Mathematics & Statistics 219, 399-422 (2017).
MSC:  68Q65 68T15
PDF BibTeX XML Cite
Full Text: DOI
Lambropoulou, Sofia (ed.) et al., Algebraic modeling of topological and computational structures and applications, THALES, Athens, Greece, July 1–3, 2015. Cham: Springer. Springer Proc. Math. Stat. 219, 363-374 (2017).
MSC:  68Q65 03C95 18C50
PDF BibTeX XML Cite
Full Text: DOI
Xue, Jinyun (ed.) et al., Proceedings of the 6th international workshop on harnessing theories for tool support in software (TTSS 2013), Nanchang, China, October 27, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 309, 95-107, electronic only (2014).
MSC:  68T20 68Q65
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2012 27th annual ACM/IEEE symposium on logic in computer science, LICS 2012, Dubrovnik, Croatia, June 25–28, 2012. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-4769-5). 335-344 (2012).
PDF BibTeX XML Cite
Full Text: DOI
D’Souza, Deepak (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2012). Selected papers based on the presentations at the 32nd conference, Hyderabad, India, December 15–17, 2012. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-47-7). LIPIcs – Leibniz International Proceedings in Informatics 18, 211-223 (2012).
MSC:  68Q45 68Q17 68Q70
PDF BibTeX XML Cite
Full Text: DOI
Johnson, Michael (ed.) et al., Algebraic methodology and software technology. 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23–25, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-17795-8/pbk). Lecture Notes in Computer Science 6486, 60-75 (2011).
MSC:  68Q65 68Q42 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Cha, Sungdeok (Steve) (ed.) et al., Automated technology for verification and analysis. 6th international symposium, ATVA 2008, Seoul, Korea, October 20–23, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-88386-9/pbk). Lecture Notes in Computer Science 5311, 141-155 (2008).
MSC:  68Q60 68Q65 68T15
PDF BibTeX XML Cite
Full Text: DOI
Mossakowski, Till (ed.) et al., Algebra and coalgebra in computer science. Second international conference, CALCO 2007, Bergen, Norway, August 20–24, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73857-2/pbk). Lecture Notes in Computer Science 4624, 356-371 (2007).
MSC:  68Q65 03B45
PDF BibTeX XML Cite
Full Text: DOI
Grieskamp, Wolfgang (ed.) et al., Formal approaches to software testing. 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-34454-3/pbk). Lecture Notes in Computer Science 3997, 203-217 (2006).
MSC:  68N30 68Q65
PDF BibTeX XML Cite
Full Text: DOI
Ciardo, Gianfranco (ed.) et al., Applications and theory of Petri nets 2005. 26th international conference, ICATPN 2005, Miami, Fl., USA, June 20–25, 2005. Proceedings. Berlin: Springer (ISBN 3-540-26301-2/pbk). Lecture Notes in Computer Science 3536, 268-288 (2005).
MSC:  68Q85 68Q42 68Q65
PDF BibTeX XML Cite
Full Text: DOI
de Swart, Harrie (ed.) et al., Theory and applications of relational structures as knowledge instruments. COST Action 274, TARSKI. Revised papers. Berlin: Springer (ISBN 3-540-20780-5/pbk). Lect. Notes Comput. Sci. 2929, 87-106 (2003).
MSC:  68T27 03G15 68N17
PDF BibTeX XML Cite
Full Text: DOI
Pezzè, Mauro (ed.), Fundamental approaches to software engineering. 6th international conference FASE 2003, held as part of the joint European conferences on theory and practice of software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2621, 341-355 (2003).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: Link
Ehrig, Hartmut (ed.) et al., UNIGRA 2001. Uniform approaches to graphical process specification techniques (a satellite event of ETAPS 2001), Genova, Italy, March 31 – April 1, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 44, No. 4, 16-27 (2001).
MSC:  68Q42 68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Cerioli, Maura (ed.) et al., Recent trends in algebraic development techniques. 15th international workshop, WADT 2001, joint with the CoFI WG meeting, Genova, Italy, April 1–3, 2001. Selected papers. Berlin: Springer (ISBN 3-540-43159-4). Lect. Notes Comput. Sci. 2267, 176-200 (2001).
MSC:  68Q60 68Q65 68U07
PDF BibTeX XML Cite
Full Text: Link
Gabbay, Dov M. (ed.) et al., Frontiers of combining systems 2. Selected papers from the 2nd international workshop (FroCoS’98), Amsterdam, Netherlands, October 2-4, 1998. Baldock: Research Studies Press. Stud. Log. Comput. 7, 337-360 (2000).
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, 1778-1797 (1999).
PDF BibTeX XML Cite
Fiadeiro, José Luiz (ed.), Recent trends in algebraic development techniques. 13th international workshop, WADT ’98, Lisbon, Portugal, April 2-4, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1589, 326-340 (1999).
PDF BibTeX XML Cite
Carnielli, Walter A. (ed.) et al., Advances in contemporary logic and computer science. Proceedings of the 11th Brazilian conference on mathematical logic, Salvador, Bahia, Brazil. May 6-10, 1996. Providence, RI: American Mathematical Society. Contemp. Math. 235, 187-260 (1999).
PDF BibTeX XML Cite
Caicedo, Xavier (ed.) et al., Models, algebras, and proofs. Selected papers of the X Latin American symposium on mathematical logic, Bogotá, Colombia, June 24–29, 1995. New York, NY: Marcel Dekker. Lect. Notes Pure Appl. Math. 203, 337-371 (1999).
MSC:  03B35 68Q60 03B70
PDF BibTeX XML Cite
Kirchner, Claude (ed.) et al., International workshop on Rewriting logic and its applications. Abbaye des Prèmontrès at Pont-á-Mousson, France, September 1998. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 15, electronic paper No. 5 (1998).
MSC:  68Q42 68Q65
PDF BibTeX XML Cite
Full Text: Link
Palamidessi, Catuscia (ed.) et al., Principles of declarative programming. 10th international symposium, PLILP ’98. Held jointly with the 6th international conference, ALP ’98, Pisa, Italy, September 16–18, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1490, 445-462 (1998).
MSC:  03B70 68N19 68Q65
PDF BibTeX XML Cite
Parisi Presicce, Francesco (ed.), Recent trends in algebraic development techniques. 12th international workshop, WADT ’97, Tarquinia, Italy, June 3–7, 1997. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1376, 107-121 (1998).
PDF BibTeX XML Cite
Schwichtenberg, Helmut (ed.), Logic of computation. Proceedings of the NATO ASI. Marktoberdorf, Germany. July 25–August 6, 1995. Berlin: Springer. NATO ASI Ser., Ser. F, Comput. Syst. Sci. 157, 229-264 (1997).
MSC:  03B80 68Q42 68Q65
PDF BibTeX XML Cite
Berichte aus der Informatik. Aachen: Shaker Verlag. vii, 217 S. (Univ. München, 1995) (1996).
PDF BibTeX XML Cite
Wirsing, Martin (ed.) et al., Algebraic methodology and software technology. 5th international conference, AMAST ’96, Munich, Germany, July 1-5, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1101, 132-147 (1996).
MSC:  68Q65
PDF BibTeX XML Cite
Hommel, Günter (ed.), Quality of communication-based systems. Proceedings of an international workshop held at the TU Berlin, Germany, September 1994. Dordrecht: Kluwer Academic Publishers. 1-17 (1995).
MSC:  68Q65 68Q85 68Q55
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