Pichler, Franz.
概要
| 作品: | 2 作品在 8 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Computer aided systems theory - EUROCAST'99a selectionof papers from the 7th International Workshop on Computer Aided Systems Theory, Vienna, Austria, September 29 - October 2, 1999 : proceedings /
by:
(1998 :); Moreno-Diaz, Roberto.; Pichler, Franz.; SpringerLink (Online service)
(書目-電子資源)
Computer aided systems theory -- EUROCAST 202218th International Conference, Las Palmas de Gran Canaria, Spain, February 20-25, 2022 : revised selected papers /
by:
(1998 :); Moreno-Diaz, Roberto.; Pichler, Franz.; Quesada-Arencibia, Alexis.; SpringerLink (Online service)
(書目-電子資源)
Computer aided systems theory - EUROCAST 201917th International Conference, Las Palmas de Gran Canaria, Spain, February 17-22, 2019 : revised selected papers.Part II /
by:
(1998 :); Moreno-Diaz, Roberto.; Pichler, Franz.; Quesada-Arencibia, Alexis.; SpringerLink (Online service)
(書目-電子資源)
Computer aided systems theory - EUROCAST 201917th International Conference, Las Palmas de Gran Canaria, Spain, February 17-22, 2019 : revised selected papers.Part I /
by:
(1998 :); Moreno-Diaz, Roberto.; Pichler, Franz.; Quesada-Arencibia, Alexis.; SpringerLink (Online service)
(書目-電子資源)
Computer aided systems theory - EUROCAST 201113th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011 : revised selected papers.Part II /
by:
(1998 :); Moreno-Diaz, Roberto.; Pichler, Franz.; Quesada-Arencibia, Alexis.; SpringerLink (Online service)
(書目-電子資源)
Computer aided systems theory - EUROCAST 201515th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015 : revised selected papers /
by:
(1998 :); Moreno-Diaz, Roberto.; Pichler, Franz.; Quesada-Arencibia, Alexis.; SpringerLink (Online service)
(書目-電子資源)
Computer aided systems theory - EUROCAST 200912th international conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009 : revised selected papers /
by:
(1998 :); Moreno-Diaz, Roberto.; Pichler, Franz.; Quesada-Arencibia, Alexis.; SpringerLink (Online service)
(書目-電子資源)
Computer aided systems theory EUROCAST '97a selection of papers from the 6th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28 1997 : proceedings /
by:
(1998 :); Moreno-Diaz, Roberto.; Pichler, Franz.; SpringerLink (Online service)
(書目-電子資源)
Computer Aided Systems Theory - EUROCAST 2005 :10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers
by:
(1998 :); Moreno-Diaz, Roberto.; Pichler, Franz.; Quesada Arencibia, Alexis.; SpringerLink (Online service)
(書目-電子資源)
Computer aided systems theory - EUROCAST 201113th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011 : revised selected papers.Part I /
by:
(1998 :); Moreno-Diaz, Roberto.; Pichler, Franz.; Quesada-Arencibia, Alexis.; SpringerLink (Online service)
(書目-電子資源)
Computer aided systems theory - EUROCAST 201716th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017 : revised selected papers.Part II /
by:
(1998 :); Moreno-Diaz, Roberto.; Pichler, Franz.; Quesada-Arencibia, Alexis.; SpringerLink (Online service)
(書目-電子資源)
Computer aided systems theory - EUROCAST 201716th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017 : revised selected papers.Part I /
by:
(1998 :); Moreno-Diaz, Roberto.; Pichler, Franz.; Quesada-Arencibia, Alexis.; SpringerLink (Online service)
(書目-電子資源)
更多
較少的
主題
Mathematical Logic and Formal Languages.
Image Processing and Computer Vision.
Artificial intelligence
Computer Science, general.
Software Engineering.
Logics and Meanings of Programs.
Pattern Recognition.
Mathematics of Computing.
Information Systems and Communication Service.
Computer-aided design
Artificial Intelligence (incl. Robotics)
Information Systems Applications (incl. Internet)
Algorithm Analysis and Problem Complexity.
Processor Architectures.
Computer-aided engineering
Computer-Aided Engineering (CAD, CAE) and Design.
Health Informatics.
Numeric Computing.
Computer Modelling.
Computer Imaging, Vision, Pattern Recognition and Graphics.
Artificial Intelligence.
Simulation and Modeling.
Computer Science.
Computer Communication Networks.
Discrete Mathematics in Computer Science.
Computer System Implementation.
System analysis