×

zbMATH — the first resource for mathematics

Found 136 Documents (Results 1–100)

100
MathJax
Proceedings of the 18th ACM international conference on hybrid systems: computation and control, HSCC 2015, Seattle, WA, USA, April 14–16, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3433-4). 41-50 (2015).
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). 203-212 (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). 1-10 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Dovier, Agostino (ed.) et al., Technical communications of the 28th international conference on logic programming (ICLP 2012), September 4–8, 2012, Budapest, Hungary. Papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-43-9). LIPIcs – Leibniz International Proceedings in Informatics 17, 404-414, electronic only (2012).
MSC:  68T30 68T05 90B35
PDF BibTeX XML Cite
Full Text: DOI
Kallel, Ali (ed.) et al., Mathematical methods, computational techniques, intelligent systems. 12th WSEAS international conference (MAMECTIS ’10), Kantaoui, Sousse, Tunia, May 3–6, 2010. Athens: World Scientific and Engineering Academy and Society (WSEAS) (ISBN 978-960-474-191-5/CD-ROM; 978-960-474-188-5/hbk). Electrical and Computer Engineering Series. A Series of Reference Books and Textbooks, 61-66 (2010).
MSC:  68T35 68T37 68T42
PDF BibTeX XML Cite
IFIP Advances in Information and Communication Technology 331. Berlin: Springer (ISBN 978-3-642-15285-6/hbk; 978-3-642-15286-3/ebook). xv, 251 p. (2010).
PDF BibTeX XML Cite
Full Text: DOI
Simian, Dana (ed.), Modelling and development of intelligent systems. Proceedings of the first international conference, Sibiu, Romania, October 22–25, 2009. Sibiu: “Lucian Blaga” University Press. 254-261 (2009).
MSC:  68T20 68W10 68T35
PDF BibTeX XML Cite
Degano, Pierpaolo (ed.) et al., Concurrency, graphs and models. Essays dedicated to Ugo Montanari on the occasion of his 65th birthday. Berlin: Springer (ISBN 978-3-540-68676-7/pbk). Lecture Notes in Computer Science 5065, 301-311 (2008).
MSC:  68N99 68T35 90B70
PDF BibTeX XML Cite
Full Text: DOI
Van Hentenryck, Pascal (ed.) et al., Integration of AI and OR techniques in constraint programming for combinatorial optimization problems. 4th international conference, CPAIOR 2007, Brussels, Belgium, May 23–26, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-72396-7/pbk). Lecture Notes in Computer Science 4510, 29-43 (2007).
PDF BibTeX XML Cite
Full Text: DOI
Greco, Salvatore (ed.) et al., Rough sets and current trends in computing. 5th international conference, RSCTC 2006, Kobe, Japan, November 6–8, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-47693-1/pbk). Lecture Notes in Computer Science 4259. Lecture Notes in Artificial Intelligence, 418-427 (2006).
MSC:  68T35 92C50
PDF BibTeX XML Cite
Full Text: DOI
Voicu, Mihail (ed.), Advances in automatic control. Boston, MA: Kluwer Academic Publishers (ISBN 1-4020-7607-X/hbk). Kluwer Int. Ser. Eng. Comput. Sci. 754, 239-245 (2004).
PDF BibTeX XML Cite
Mařík, Vladimír (ed.) et al., Multi-agent systems and applications III. 3rd international Central and Eastern European conference on multi-agent systems, CEEMAS 2003, Prague, Czech Republic, June 16–18, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40450-3/pbk). Lecture Notes in Computer Science 2691; Lecture Notes in Artificial Intelligence, 584-593 (2003).
MSC:  68U99 68T35 90B70
PDF BibTeX XML Cite
Full Text: Link
Shafazand, Hassan (ed.) et al., EurAsia-ICT 2002: Information and communication technology. First EurAsian conference, Shiraz, Iran, October 29-31, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2510, 998-1007 (2002).
MSC:  68U99 68T35 90B70
PDF BibTeX XML Cite
Full Text: Link
Eiter, Thomas (ed.) et al., Logic programming and nonmonotonic reasoning. 6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2173, 429-433 (2001).
MSC:  68U99 68T35 68N17
PDF BibTeX XML Cite
Minker, Jack (ed.), Logic-based artificial intelligence. Proceedings of a workshop, Washington, DC, USA, June 1999. Dordrecht: Kluwer Academic Publishers. Kluwer Int. Ser. Eng. Comput. Sci. 597, 147-165 (2000).
MSC:  68T27 68T20
PDF BibTeX XML Cite
Zimmermann, Uwe (ed.) et al., Operations research proceedings 1996. Selected papers of the symposium, SOR’96, Braunschweig, Germany, September 3-6, 1996. Berlin: Springer. 363-368 (1997).
MSC:  90B90 68T35
PDF BibTeX XML Cite
Seligman, Jerry (ed.) et al., Logic, language and computation. Vol. 1. Proceedings of the conference on information-oriented approaches to logic, language and computation, Moraga, CA, USA, June 12–15, 1994. Stanford, CA: Center for the Study of Language and Information (CSLI). CSLI Lect. Notes. 58, 121-136 (1996).
Reviewer: M.Urchs (Berlin)
PDF BibTeX XML Cite
Lecture Notes in Computer Science 1076. Lecture Notes in Artificial Intelligence. Berlin: Springer-Verlag. xii, 369 p. (1996).
MSC:  68T05 68-06 68T35
PDF BibTeX XML Cite
Lecture Notes in Computer Science 1069. Lecture Notes in Artificial Intelligence. Berlin: Springer. viii, 219 p. (1996).
PDF BibTeX XML Cite
Full Text: DOI
British Computer Society Conference Series. 7. Cambridge: Univ. Press. x, 492 p. $ 59.95 /sc; £40.00 /sc (1994).
PDF BibTeX XML Cite
Computational systems analysis, Symp., Berlin/DE 1988, 227-252 (1992).
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