×

zbMATH — the first resource for mathematics

Found 425 Documents (Results 1–100)

100
MathJax
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, 490-503 (2019).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
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
Alves, Sandra (ed.) et al., Selected papers of the 12th workshop on logical and semantic frameworks, with applications (LSFA 2017), Brasilia, Brazil, September 23–24, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 338, 97-114 (2018).
MSC:  68Q85 03F52
PDF BibTeX XML Cite
Full Text: DOI
Leporati, Alberto (ed.) et al., Membrane computing. 17th international conference, CMC 2016, Milan, Italy, July 25–29, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-54071-9/pbk; 978-3-319-54072-6/ebook). Lecture Notes in Computer Science 10105, 286-306 (2017).
MSC:  68Q05 68Q10
PDF BibTeX XML Cite
Full Text: DOI
Texts in Theoretical Computer Science. An EATCS Series. Cham: Springer (ISBN 978-3-319-21490-0/hbk; 978-3-319-21491-7/ebook). xi, 334 p. (2015).
MSC:  68-01 68Q55 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Jürgensen, Helmut (ed.) et al., Descriptional complexity of formal systems. 15th international workshop, DCFS 2013, London, ON, Canada, July 22–25, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39309-9/pbk). Lecture Notes in Computer Science 8031, 42-53 (2013).
MSC:  68Q42 68Q05 68Q15
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). 55-76 (2010).
PDF BibTeX XML Cite
Hackensack, NJ: World Scientific (ISBN 978-981-02-2566-7/hbk; 978-981-28-1402-9/ebook). xv, 245 p. (2010).
PDF BibTeX XML Cite
Full Text: Link
Bozapalidis, Symeon (ed.) et al., Algebraic informatics. Third international conference, CAI 2009, Thessaloniki, Greece, May 19–22, 2009, Proceedings. Berlin: Springer (ISBN 978-3-642-03563-0/pbk). Lecture Notes in Computer Science 5725, 342-360 (2009).
MSC:  68Q42 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Lodaya, Kamal (ed.) et al., Perspectives in concurrency. A Festschrift for P. S. Thiagarajan. Hyderabad: Universities Press; Boca Raton, FL: CRC Press (ISBN 978-1-4398-0943-3/hbk). 385-407 (2009).
MSC:  68Q85 68Q05
PDF BibTeX XML Cite
Lodaya, Kamal (ed.) et al., Perspectives in concurrency. A Festschrift for P. S. Thiagarajan. Hyderabad: Universities Press; Boca Raton, FL: CRC Press (ISBN 978-1-4398-0943-3/hbk). 184-207 (2009).
MSC:  68N99
PDF BibTeX XML Cite
Lodaya, Kamal (ed.) et al., Perspectives in concurrency. A Festschrift for P. S. Thiagarajan. Hyderabad: Universities Press; Boca Raton, FL: CRC Press (ISBN 978-1-4398-0943-3/hbk). 157-183 (2009).
MSC:  68M14 68Q85 68R10
PDF BibTeX XML Cite
Lodaya, Kamal (ed.) et al., Perspectives in concurrency. A Festschrift for P. S. Thiagarajan. Hyderabad: Universities Press; Boca Raton, FL: CRC Press (ISBN 978-1-4398-0943-3/hbk). 128-156 (2009).
MSC:  68Q60 68Q85
PDF BibTeX XML Cite
Amadio, Roberto (ed.) et al., Proceedings of the 13th international workshop on expressiveness in concurrency (EXPRESS 2006), Bonn, Germany, August 26, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 175, No. 3, 75-86 (2007).
MSC:  68Q85 18A32 68Q05
PDF BibTeX XML Cite
Full Text: DOI
van Glabbeek, R. (ed.) et al., Proceedings of the 3rd workshop on structural operational semantics (SOS 2006), Bonn, Germany, August 26, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 175, No. 1, 57-70 (2007).
MSC:  68Q55 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Ramesh, S. (ed.) et al., Next generation design and verification methodologies for distributed embedded control systems. Proceedings of the GM R&D workshop, Bangalore, India, January 2007. Dordrecht: Springer (ISBN 978-1-4020-6253-7/hbk). 83-97 (2007).
MSC:  93A30 93C70
PDF BibTeX XML Cite
Full Text: DOI
Bonivento, Claudio (ed.) et al., Advances in control theory and applications. Selected papers based on the presentations at the meeting, Bertinoro, Italy, May 22–26, 2006. Berlin: Springer (ISBN 978-3-540-70700-4/pbk). Lecture Notes in Control and Information Sciences 353, 171-184 (2007).
PDF BibTeX XML Cite
Uyar, M. Ümit (ed.) et al., Testing of communicating systems. 18th IFIP TC6/ WG6.1 international conference, TestCom 2006, New York, NY, USA, May 16–18, 2006. Proceedings. Berlin: Springer (ISBN 3-540-34184-6/pbk). Lecture Notes in Computer Science 3964, 197-212 (2006).
MSC:  68M15 68M12
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, 481-496 (2005).
MSC:  68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science. 2644. Berlin: Springer. xii, 310 p. (2003).
MSC:  68U99 68-06 68M10
PDF BibTeX XML Cite
Full Text: Link
Mathematics and Visualization. Berlin: Springer (ISBN 3-540-42450-4/hbk). viii, 314 p. (2002).
PDF BibTeX XML Cite
Concurrent Systems Engineering Series 59. Amsterdam: IOS Press; Tokyo: Ohmsha (ISBN 1-58603-202-X/pbk; 4-274-90467-9/pbk). viii, 351 p. (2001).
MSC:  68M14
PDF BibTeX XML Cite
Martín-Vide, Carlos (ed.) et al., Where mathematics, computer science, linguistics and biology meet. Essays in honour of Gheorghe Păun. Dordrecht: Kluwer Academic Publishers. 37-49 (2001).
MSC:  68Q42
PDF BibTeX XML Cite
Monographs in Computer Science. New York, NY: Springer. xv, 348 p. (2001).
PDF BibTeX XML Cite
Full Text: DOI
Wu, Jianping (ed.) et al., Formal methods for protocol engineering and distributed systems. FORTE XII/ PSTV XIX ’99. IFIP TC6 WG6.1 joint international conference on Formal description techniques for distributed systems and communication protocols (FORTE XII) and protocol specification, testing and verification (PSTV XIX). Beijing, China, October 5-8, 1999. Boston: Kluwer Academic Publishers. Int. Fed. Inf. Process., IFIP. 28, 337-356 (1999).
MSC:  68M10
PDF BibTeX XML Cite
Ciobanu, Gabriel (ed.) et al., Fundamentals of computation theory. 12th international symposium, FCT ’99. Iaşi, Romania, August 30 - September 3, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1684, 136-147 (1999).
MSC:  68Q42 68Q45
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