Computer interfaces -- Design的检索结果

10 个结果

选择所有

0000000000DEFAULT

CAD*I Drafting Model

著者

Schuster, Richard. author. Trippner, Dietmar. author. Endres, Michael. author. SpringerLink (Online service)

首选排架号

TA345 -345.5

ISBN

9783642840586

Full Text Available From Springer Nature Computer Science Archive Packages

格式：

电子资源

可借阅:

Agents for Games and Simulations Trends in Techniques, Concepts and Design

著者

Dignum, Frank. editor. Bradshaw, Jeffrey. editor. Silverman, Barry G. editor. van Doesburg, Willem. editor. SpringerLink (Online service)

首选排架号

Q334 -342

ISBN

9783642111983

Full Text Available From Springer Nature Computer Science 2009 Packages

格式：

电子资源

可借阅:

From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings

著者

Bensalem, Saddek. editor. Lakhnech, Yassine. editor. Legay, Axel. editor. SpringerLink (Online service)

首选排架号

QA75.5 -76.95

ISBN

9783642548482

Full Text Available From Springer Nature Computer Science 2014 Packages

格式：

电子资源

可借阅:

Logic Programming in Action Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings

著者

Comyn, Gerard. editor. Fuchs, Norbert E. editor. Ratcliffe, Michael J. editor. SpringerLink (Online service)

首选排架号

Q334 -342

ISBN

9783540473121

Full Text Available From Springer Nature Computer Science Archive Packages

格式：

电子资源

可借阅:

Formal Methods in Human-Computer Interaction

著者

Palanque, Philippe. editor. Paterno, Fabio. editor. SpringerLink (Online service)

首选排架号

QA267 -268.5

ISBN

9781447134251

Full Text Available From Springer Nature Computer Science Archive Packages

格式：

电子资源

可借阅:

Logic, Algebra, and Computation International Summer School

著者

Bauer, Friedrich L. editor. SpringerLink (Online service)

首选排架号

QA75.5 -76.95

ISBN

9783642767999

Full Text Available From Springer Nature Computer Science Archive Packages

格式：

电子资源

可借阅:

Prolog: The Standard Reference Manual

著者

Deransart, Pierre. author. Ed-Dbali, AbdelAli. author. Cervoni, Laurent. author. SpringerLink (Online service)

首选排架号

QA76.76 .C65

ISBN

9783642614118

Full Text Available From Springer Nature Computer Science Archive Packages

格式：

电子资源

可借阅:

Diagrammatic Representation and Inference 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings

著者

Basu, Amrita. editor. Stapleton, Gem. editor. (orcid)0000-0002-6567-6752 Linker, Sven. editor. (orcid)0000-0003-2913-7943 Legg, Catherine. editor. (orcid)0000-0002-0231-5415 Manalo, Emmanuel. editor. (orcid)0000-0001-6470-4021

首选排架号

QA76.9 .U83

ISBN

9783030860622

Full Text Available From Springer Nature Computer Science 2021 Packages

格式：

电子资源

可借阅:

KI 2007: Advances in Artificial Intelligence 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10-13, 2007, Proceedings

著者

Hertzberg, Joachim. editor. Beetz, Michael. editor. Englert, Roman. editor. SpringerLink (Online service)

首选排架号

Q334 -342

ISBN

9783540745655

Full Text Available From Springer Nature Computer Science 2007 Packages

格式：

电子资源

可借阅:

10.

Conceptual Modeling - ER 2006 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006, Proceedings

著者

Embley, David W. editor. Olivé, Antoni. editor. Ram, Sudha. editor. SpringerLink (Online service)

首选排架号

QA76.9 .D3

ISBN

9783540472278

Full Text Available From Springer Nature Computer Science 2006 Packages

格式：

电子资源

可借阅:

	{displayName}	{count}
{error}