×

zbMATH — the first resource for mathematics

Found 66 Documents (Results 1–66)

100
MathJax
Wang, Yue (ed.) et al., Trends in control and decision-making for human-robot collaboration systems. Cham: Springer. 387-413 (2017).
MSC:  93C85 93A14 93C15
PDF BibTeX XML Cite
Full Text: DOI
Batina, Lejla (ed.) et al., Cryptographic hardware and embedded systems – CHES 2014. 16th international workshop, Busan, South Korea, September 23–26, 2014. Proceedings. Berlin: Springer (ISBN 978-3-662-44708-6/pbk). Lecture Notes in Computer Science 8731, 298-315 (2014).
MSC:  94A60 14G50
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
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, 241-251 (2010).
MSC:  68T40
PDF BibTeX XML Cite
Full Text: DOI
Denker, Grit (ed.) et al., Proceedings of the 6th international workshop on rewriting logic and its applications (WRLA 2006), Vienna, Austria, April 1–2, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 176, No. 4, 47-60 (2007).
PDF BibTeX XML Cite
Full Text: DOI
Zheng, S. Q. (ed.), Parallel and distributed computing systems. Proceedings of the 19th IASTED international conference (PDCS 2007), Cambridge, MA, USA, November 19–21, 2007. Calgary: International Association of Science and Technology for Development (IASTED); Anaheim, CA: Acta Press (ISBN 978-0-88986-704-8/CD-ROM). 363-368 (2007).
MSC:  68M20 68W05
PDF BibTeX XML Cite
George, Chris (ed.) et al., Formal methods and software engineering. 4th international conference on formal engineering methods, ICFEM 2002, Shanghai, China, October 21-25, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2495, 168-179 (2002).
MSC:  68U99 68N99 68Q60
PDF BibTeX XML Cite
Full Text: Link
Kalpić, Damir (ed.) et al., ITI 2001. Proceedings of the 23rd international conference on information technology interfaces, Pula, Croatia, June 19-22, 2001. Zagreb: SRCE Univ. Computing Centre. 455-460 (2001).
MSC:  68U99 68U07
PDF BibTeX XML Cite
NATO ASI Series. Series E. Applied Sciences. 310. Dordrecht: Kluwer Academic Publishers. vii, 467 p. (1996).
MSC:  68M99 68-06 94C05 68U20
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