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