×

zbMATH — the first resource for mathematics

Found 73 Documents (Results 1–73)

100
MathJax
Lee, Jooyoung (ed.) et al., Information security and cryptology – ICISC 2014. 17th international conference, Seoul, South Korea, December 3–5, 2014. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 8949, 222-237 (2015).
MSC:  68M25 68M12 94A60
PDF BibTeX XML Cite
Full Text: DOI
Tarraf, Danielle C. (ed.), Control of cyber-physical systems. Invited papers based on the presentations at the workshop at Johns Hopkins University, Baltimore, MD, USA, March 20–21, 2013. Cham: Springer (ISBN 978-3-319-01158-5/pbk; 978-3-319-01159-2/ebook). Lecture Notes in Control and Information Sciences 449, 339-356 (2013).
MSC:  93A15 93D05 93C57
PDF BibTeX XML Cite
Full Text: DOI
Berichte aus der Informatik. Aachen: Shaker Verlag; Hamburg: TU Hamburg-Harburg (Diss.) (ISBN 978-3-8440-1233-0/pbk). xv, 105 p. (2012).
PDF BibTeX XML Cite
Full Text: Link
Albers, Susanne (ed.) et al., STACS 2009. 26th international symposium on theoretical aspects of computer science, Freiburg, Germany, February 26–28, 2009. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-09-5). LIPIcs – Leibniz International Proceedings in Informatics 3, 171-182, electronic only (2009).
MSC:  68M10 68R10
PDF BibTeX XML Cite
Full Text: DOI Link
Ślȩzak, Dominik (ed.) et al., Grid and distributed computing. International conference, GDC 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-10548-7/pbk; 978-3-642-10549-4/ebook). Communications in Computer and Information Science 63, 73-87 (2009).
MSC:  68M10
PDF BibTeX XML Cite
Full Text: DOI
Industrial Information Technology Series. Boca Raton, FL: CRC Press (ISBN 978-1-4398-0755-2/hbk; 978-1-4200-7410-9/set; 978-1-4398-0763-7/ebook). not consecutively paged. (2009).
MSC:  68Mxx 68-00 00B15
PDF BibTeX XML Cite
Full Text: DOI
Berichte aus der Mathematik. Aachen: Shaker Verlag; Erlangen-Nürnberg: Univ. Erlangen-Nürnberg, Naturwissenschaftliche Fakultäten (Diss.) (ISBN 3-8322-4950-8/pbk). vi, 117 p. (2006).
MSC:  90B80 90-02 90C11
PDF BibTeX XML Cite
Full Text: Link
Lipitakis, Elias A. (ed.), HERCMA 2003. Proceedings of the 6th Hellenic-European conference on computer mathematics and its applications, Athens, Greece, September 25–27, 2003. 2 volumes. Athens: LEA (ISBN 960-87275-1-0/set; 960-87275-2-9/v.1; 960-87275-3-7/v.2). 203-207 (2004).
MSC:  68M10 68U35
PDF BibTeX XML Cite
Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’03, New Orleans, LA, USA, January 15–17, 2003. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-628-5). 85-96 (2003).
MSC:  68M10 68N20
PDF BibTeX XML Cite
Full Text: DOI
Liu, Derong (ed.) et al., Stability and control of dynamical systems with applications. A tribute to Anthony N. Michel. Boston, MA: Birkhäuser (ISBN 0-8176-3233-6/hbk). Control Engineering, 117-130 (2003).
MSC:  39A11 93C55 93D05
PDF BibTeX XML Cite
Meersman, Robert (ed.) et al., On the move to meaningful internet systems 2002: CoopIS, DOA, and ODBASE. Confederated international conferences CoopIS, DOA, and ODBASE 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2519, 549-567 (2002).
PDF BibTeX XML Cite
Full Text: Link
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, 377-386 (1999).
MSC:  68M10
PDF BibTeX XML Cite
Queueing, performance and control in ATM, Proc. 13th Int. Telegr. Congr., Copenhagen/Denm. 1991, North-Holland Stud. Telecommun. 15, 259-260 (1991).
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