×

zbMATH — the first resource for mathematics

Found 117 Documents (Results 1–100)

100
MathJax
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, 3-21 (2018).
MSC:  68N30 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 19th ACM international conference on hybrid systems: computation and control, HSCC 2016, Vienna, Austria, April 12–14, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3955-1). 287-296 (2016).
MSC:  68Q45 68Q60 68U20 93A30
PDF BibTeX XML Cite
Full Text: DOI
Albert, Elvira (ed.) et al., Formal techniques for distributed objects, components, and systems. 36th IFIP WG 6.1 international conference, FORTE 2016, held as part of the 11th international federated conference on distributed computing techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6–9, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-39569-2/pbk; 978-3-319-39570-8/ebook). Lecture Notes in Computer Science 9688, 222-238 (2016).
MSC:  68Q60 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 17th ACM international conference on hybrid systems: computation and control, HSCC 2014, Berlin, Germany, April 15–17, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2732-9). 253-262 (2014).
MSC:  93C30 93A30 93C95 03B80
PDF BibTeX XML Cite
Full Text: DOI
Feret, Jérôme (ed.) et al., Proceedings of the 3rd international workshop on static analysis and systems biology (SASB 2012), Deauville, France, September 10, 2012. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 313, 65-77, electronic only (2014).
MSC:  92C40 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Jones, Cliff (ed.) et al., FM 2014: formal methods. 19th international symposium, Singapore, May 12–16, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-06409-3/pbk). Lecture Notes in Computer Science 8442, 42-61 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 16th ACM international conference on hybrid systems: computation and control, HSCC 2013, Philadelphia, PA, USA, April 8–11, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1567-8). 253-262 (2013).
MSC:  68Q60 68Q55 93A30
PDF BibTeX XML Cite
Full Text: DOI
Merelli, Emanuela (ed.) et al., Proceedings of the 4th international workshop on interactions between computer science and biology (CS2Bio’13), Florence, Italy, June 6, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 299, 33-51 (2013).
MSC:  68Q85 68Q60 92C42
PDF BibTeX XML Cite
Full Text: DOI
Liu, Zhiming (ed.) et al., Theories of programming and formal methods. Essays dedicated to Jifeng He on the occasion of his 70th birthday. Berlin: Springer (ISBN 978-3-642-39697-7/pbk). Lecture Notes in Computer Science 8051, 82-99 (2013).
MSC:  68Q60 68U20
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 7938. Berlin: Springer (ISBN 978-3-642-38873-6/pbk). vii, 181 p. (2013).
MSC:  68-06 68P30 68Q60 81P68 92C42 93A30 00B15
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 15th ACM international conference on hybrid systems: computation and control, HSCC 2012, Beijing, China, April 17–19, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1220-2). 291-294 (2012).
MSC:  93A30 93C30
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 15th ACM international conference on hybrid systems: computation and control, HSCC 2012, Beijing, China, April 17–19, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1220-2). 125-134 (2012).
MSC:  68Q60 65C05 68W20 93A30 94A17
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 15th ACM international conference on hybrid systems: computation and control, HSCC 2012, Beijing, China, April 17–19, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1220-2). 85-94 (2012).
MSC:  68Q60 03B44 68T40 91A80 93A30 93B50
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 15th ACM international conference on hybrid systems: computation and control, HSCC 2012, Beijing, China, April 17–19, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1220-2). 35-44 (2012).
MSC:  68Q60 93A30
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). 63-72 (2011).
MSC:  93C30 93C10 93C20 35Q93 93A30
PDF BibTeX XML Cite
Full Text: DOI
Zenil, Hector (ed.), Randomness through computation. Some answers, more questions. Hackensack, NJ: World Scientific (ISBN 978-981-4327-74-9/hbk; 978-981-4327-75-6/ebook). 275-281 (2011).
MSC:  68Q87 68Q60 68Q30
PDF BibTeX XML Cite
Full Text: Link
Synthesis Lectures on Computer Science 1. San Rafael, CA: Morgan & Claypool Publishers (ISBN 1-59829-010-X/pbk; 1-59829-011-8/ebook). xi, 101 p. (2010).
PDF BibTeX XML Cite
Full Text: DOI
Miller, Alice (ed.) et al., Proceedings of the 8th international workshop on automated verification of critical systems (AVoCS 2008), Glasgow, UK, September 30 – October 1, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 250, No. 2, 19-31 (2009).
MSC:  68Q60 03B70 68T15 93A30 93C83
PDF BibTeX XML Cite
Full Text: DOI
IFIP Advances in Information and Communication Technology 310. Berlin: Springer (ISBN 978-3-642-04283-6/hbk; 978-3-642-04284-3/ebook). xi, 315 p. (2009).
MSC:  68-06 68M20 68M99 68U20 68U99 00B25
PDF BibTeX XML Cite
Full Text: DOI
Fisher, Michael (ed.) et al., Computational logic in multi-agent systems. 9th international workshop, CLIMA IX, Dresden, Germany, September 29–30, 2008. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-642-02733-8/pbk). Lecture Notes in Computer Science 5405. Lecture Notes in Artificial Intelligence, 97-116 (2009).
MSC:  68T42 68Q60 68Q87 93A30
PDF BibTeX XML Cite
Full Text: DOI
König, Barbara (ed.) et al., Proceedings of the 3rd workshop on graph transformation for concurrency and verification (GT-VC 2007), Lisbon, Portugal, September 3, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 213, No. 1, 39-53 (2008).
MSC:  68N30 68Q42
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
Poetzsch-Heffter, Arnd (ed.) et al., Proceedings of the first workshop on verification of adaptive systems (VerAS 2007), Kaiserslautern, Germany, September 14, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 200, No. 2, 39-54 (2008).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
Romijn, Judi (ed.) et al., Proceedings of the doctoral symposium affiliated with the fifth integrated formal methods conference (IFM 2005), Eindhoven, The Netherlands, November 29, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 191, 85-113 (2007).
MSC:  68Q60 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Abut, Hüseyin (ed.) et al., Advances for in-vehicle and mobile systems. Challenges for international standards. New York, NY: Springer (ISBN 978-0-387-33503-2/hbk). 11-23 (2007).
MSC:  93C95 92C55 93A30 92B20 93B30
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
Jones, Cliff B. (ed.) et al., Formal methods and hybrid real-time systems. Essays in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays. Berlin: Springer (ISBN 978-3-540-75220-2/pbk). Lecture Notes in Computer Science 4700, 188-216 (2007).
MSC:  68T30 68Q60 90B99
PDF BibTeX XML Cite
Full Text: DOI
Wang, Farn (ed.), Formal techniques for networked and distributed systems – FORTE 2005. 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2–5, 2005. Proceedings. Berlin: Springer (ISBN 3-540-29189-X/pbk). Lecture Notes in Computer Science 3731, 24-37 (2005).
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
Kreowski, Hans-Jörg (ed.) et al., Formal methods in software and systems modeling. Essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday. Berlin: Springer (ISBN 3-540-24936-2/pbk). Lecture Notes in Computer Science 3393, 167-189 (2005).
MSC:  68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI
van der Aalst, Wil (ed.) et al., Applications and theory of Petri nets 2003. 24th international conference, ICATPN 2003, Einhoven, The Netherlands, June 23–27, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40334-5/pbk). Lecture Notes in Computer Science 2679, 337-356 (2003).
MSC:  68Q85 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Broy, Manfred (ed.) et al., Perspectives of system informatics. 5th international Andrei Ershov memorial conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9–12, 2003. Revised papers. Berlin: Springer (ISBN 3-540-20813-5/pbk). Lecture Notes in Computer Science 2890, 178-192 (2003).
MSC:  68Q60 68M12 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Brinksma, Ed (ed.) et al., Computer aided verification. 14th international conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2404, 401-413 (2002).
MSC:  68Q60 93A30
PDF BibTeX XML Cite
Full Text: Link
Bjørner, Dines (ed.) et al., Perspectives of system informatics. 4th international Andrei Ershov memorial conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2–6, 2001. Revised papers. Berlin: Springer (ISBN 3-540-43075-X). Lect. Notes Comput. Sci. 2244, 279-286 (2001).
MSC:  68Q85 68N30
PDF BibTeX XML Cite
Full Text: Link
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
Hussmann, Heinrich (ed.), Fundamental approaches to software engineering. 4th international conference, FASE 2001. Held as part of the joint European conferences on theory and practice of software, ETAPS 2001, Genova, Italy, April 2-6, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2029, 32-44 (2001).
MSC:  68U99 68T01 68T27
PDF BibTeX XML Cite
Full Text: Link
Lin, Xuemin (ed.), Computing theory ‘98. Proceedings of the 4th Australasian theory symposium - CATS ‘98, Perth, Australia, February 2-3, 1998. Singapore: Springer. 261-275 (1998).
MSC:  68Q85 68Q60
PDF BibTeX XML Cite

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Year of Publication
all top 3
Classification
all top 3
Software