×

zbMATH — the first resource for mathematics

Found 208 Documents (Results 1–100)

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, 3-21 (2019).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Bonchi, Filippo (ed.) et al., 7th conference on algebra and coalgebra in computer science, CALCO 2017, June 14–16, 2017, Ljubljana, Slovenia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 72, Article 15, 15 p. (2017).
MSC:  68N30 68Q10 68Q65
PDF BibTeX XML Cite
Full Text: DOI
De Nicola, Rocco (ed.) et al., Software, services, and systems. Essays dedicated to Martin Wirsing on the occasion of his retirement from the chair of programming and software engineering, Munich, Germany, 2015. Essays. Cham: Springer. Lect. Notes Comput. Sci. 8950, 215-230 (2015).
MSC:  68Q65 68N15
PDF BibTeX XML Cite
Full Text: DOI
Danielsson, Nils Anders (ed.) et al., 18th international workshop on types for proofs and programs. Papers from the workshop (TYPES 2011), Bergen, Norway, September 8–11, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-49-1). LIPIcs – Leibniz International Proceedings in Informatics 19, 28-40 (2013).
MSC:  68N99 68Q55
PDF BibTeX XML Cite
Full Text: DOI
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., 39-51 (2010).
MSC:  68N30 68Q60
PDF BibTeX XML Cite
Cambridge: Cambridge University Press (ISBN 978-0-521-16875-5/pbk). x, 480 p. (2010).
PDF BibTeX XML Cite
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 II. Berlin: Springer (ISBN 978-3-642-14824-8/pbk; 978-3-642-14825-5/ebook). Communications in Computer and Information Science 95, 142-154 (2010).
MSC:  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 II. Berlin: Springer (ISBN 978-3-642-14824-8/pbk; 978-3-642-14825-5/ebook). Communications in Computer and Information Science 95, 108-119 (2010).
MSC:  68T10 68R10 68W05
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
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, 17-30 (2010).
MSC:  68M15
PDF BibTeX XML Cite
Full Text: DOI
Hinchey, Mike (ed.) et al., Distributed, parallel and biologically inspired systems. 7th IFIP TC 10 working conference, DIPES 2010, and 3rd IFIP TC 10 international conference biologically-inspired collaborative computing, BICC 2010, held as part of WCC 2010, Brisbane, Australia, September 20–23, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15233-7/hbk; 978-3-642-15234-4/ebook). IFIP Advances in Information and Communication Technology 329, 125-136 (2010).
MSC:  68M99 93C83
PDF BibTeX XML Cite
Full Text: DOI
Hinchey, Mike (ed.) et al., Distributed, parallel and biologically inspired systems. 7th IFIP TC 10 working conference, DIPES 2010, and 3rd IFIP TC 10 international conference biologically-inspired collaborative computing, BICC 2010, held as part of WCC 2010, Brisbane, Australia, September 20–23, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15233-7/hbk; 978-3-642-15234-4/ebook). IFIP Advances in Information and Communication Technology 329, 78-89 (2010).
MSC:  68T50
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). 449-454 (2010).
MSC:  68N99
PDF BibTeX XML Cite
Full Text: DOI
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, 21-41 (2009).
PDF BibTeX XML Cite
Full Text: DOI
Ślęzak, Dominik (ed.) et al., Database theory and application. International conference, DTA 2009, held as part of the future generation information technology conference, FGIT 2009, Jeju Island, Korea, December 10–12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-10582-1/pbk; 978-3-642-10583-8/ebook). Communications in Computer and Information Science 64, 122-136 (2009).
MSC:  68T05 68M11
PDF BibTeX XML Cite
Full Text: DOI
Ślęzak, Dominik (ed.) et al., Advances in software engineering. International conference on advanced software engineering and its applications, ASEA 2009. Held as part of the future generation information technology conference, FGIT 2009, Jeju Island, Korea, December 10–12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-10618-7/pbk; 978-3-642-10619-4/ebook). Communications in Computer and Information Science 59, 188-195 (2009).
MSC:  68N99 68T42
PDF BibTeX XML Cite
Full Text: DOI
Ślęzak, Dominik (ed.) et al., Advances in software engineering. International conference on advanced software engineering and its applications, ASEA 2009. Held as part of the future generation information technology conference, FGIT 2009, Jeju Island, Korea, December 10–12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-10618-7/pbk; 978-3-642-10619-4/ebook). Communications in Computer and Information Science 59, 160-167 (2009).
MSC:  68N99
PDF BibTeX XML Cite
Full Text: DOI
Kovács, Emőd (ed.) et al., Proceedings of the 7th international conference on applied informatics (ICAI 2007), January 28–31, 2007, Eger, Hungary. Vol. II. Eger: Eszterházy Károly College. 173-179 (2009).
MSC:  68N99 68N15
PDF BibTeX XML Cite
Kovács, Emőd (ed.) et al., Proceedings of the 7th international conference on applied informatics (ICAI 2007), January 28–31, 2007, Eger, Hungary. Vol. II. Eger: Eszterházy Károly College. 163-172 (2009).
MSC:  68M11 68N99
PDF BibTeX XML Cite
Advances in Database Systems 39. New York, NY: Springer (ISBN 978-0-387-09553-0/hbk; 978-0-387-09554-7/ebook). xxi, 246 p. (2009).
MSC:  68P15 68-01
PDF BibTeX XML Cite
Full Text: DOI
Visser, Joost (ed.) et al., Proceedings of the 8th international workshop on rule based programming (RULE 2007), Paris, France, June 29, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 219, 51-66 (2008).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
Bruni, Roberto (ed.) et al., Proceedings of the 5th international workshop on graph transformation and visual modeling techniques (GT-VMT 2006), Vienna, Austria, April 1–2, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 211, 261-269 (2008).
MSC:  68Q60 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Bruni, Roberto (ed.) et al., Proceedings of the 5th international workshop on graph transformation and visual modeling techniques (GT-VMT 2006), Vienna, Austria, April 1–2, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 211, 159-170 (2008).
MSC:  68Q60 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Pu, Geguang (ed.) et al., Proceedings of the 1st international workshop on harnessing theories for tool support in software (TTSS 2007), Macau, China, September 22–23, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 207, 3-16 (2008).
MSC:  68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Moreira, Anamaria Martins (ed.) et al., Proceedings of the Brazilian symposium on formal methods (SBMF 2006), Natal, Rio Grande de Norte, Brazil, September 17–23, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 195, 57-74 (2008).
MSC:  68Q85 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Bonsangue, Marcello M. (ed.) et al., Formal methods for open object-based distributed systems. 9th IFIP WG 6.1 international conference FMOODS 2007, Paphos, Cyprus, June 6–8, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-72919-8/pbk). Lecture Notes in Computer Science 4468, 76-90 (2007).
MSC:  68N19 68Q55 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Rashid, Awais (ed.) et al., Transactions on Aspect-Oriented Software Development I. Berlin: Springer (ISBN 978-3-540-32972-5/pbk). Lecture Notes in Computer Science 3880. Journal Subline, 75-105 (2006).
MSC:  68N99
PDF BibTeX XML Cite
Full Text: DOI
The Morgan Kaufmann Series in Data Management Systems. Amsterdam: Elsevier; San Francisco, CA: Morgan Kaufmann (ISBN 0-12-685352-5/pbk). xviii, 275 p. (2006).
PDF BibTeX XML Cite
Full Text: Link
Dang Van Hung (ed.) et al., Theoretical aspects of computing – ICTAC 2005. Second international colloquium, Hanoi, Vietnam, October 17–21, 2005. Proceedings. Berlin: Springer (ISBN 3-540-29107-5/pbk). Lecture Notes in Computer Science 3722, 485-500 (2005).
MSC:  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, 286-301 (2005).
MSC:  68N99
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