Transactions on computational systems biology X

由 BIONETICS (Conferência), Priami, Corrado.
出版 c2008

Computer science logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings /

由 International Workshop, Ong, Luke
出版 2005.

Category theory applied to computation and control /

由 Proceedings of the First International Symposium, Manes, Ernest Gene
出版 1975.

An introduction to computational micromechanics

由 Zohdi, Tarek I., Wriggers, Peter.
出版 2005.

Nonlinear speech modeling and applications advanced lectures and revised selected papers /

由 International Summer School "Neural Nets E.R. Caianiello" on Nonlinear Speech Processing: Algorithms and Analysis, Chollet, Gerard.
出版 2005.

Online Course of the Lecturer PersonalizedTraining for Network Educational Activity

由 E. G. Doroshenko, L. M. Ivkina, L. B. Khegay, T. A. Yakovleva
出版 2020-12-01

Formal methods for eternal networked software systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011...

由 SFM 2011, Bernardo, Marco., Issarny, Valerie.
出版 2011.

Human language technology challenges for computer science and linguistics : 4th Language...

由 LTC 2009 (Conferência), Vetulani, Zygmunt.
出版 c2011

Computer Aided Verification

發表在 Lecture Notes in Computer Science (2023)

Computer Aided Verification

發表在 Lecture Notes in Computer Science (2023)

Computer Aided Verification

發表在 Lecture Notes in Computer Science (2023)

Domain decomposition methods in science and engineering

由 Barth, Timothy J., Griebel, Michael, Keyes, David E., Nieminen, Risto M., Roose, Dirk, Schlick, Tamar, Kornhuber, Ralf, Hoppe, Ronald, PERIAUX, JACQUES, PIRONNEAU, OLIVIER, Widlund, Olof, Xu, Jinchao
出版 2005.

Some network models in management science.

由 Elmaghraby, Salah Eldin
出版 1970.

Parallel computational fluid dynamics 2007 implementations and experiences on large scale and grid computing /

由 Conference on Parallel Computational Fluid Dynamics, Tuncer, Ismail H., Gülcat, Ülgen., Emerson, David R., Matsuno, Kenichi.
出版 2009.

Research trends in geographic information science

由 Navratil, Gerhard.
出版 c2009

Computing in systems described by equations.

由 O'Donnell, Michael J.
出版 1977.

Computational geometry and its applications /

由 International Workshop on Computational Geometry., Noltemeier, Hartmut.
出版 1988.

Transactions on computational collective intelligence

由 Nguyen, Ngoc Thanh.
出版 2011.

Search computing trends and developments /

由 Ceri, Stefano, Brambilla, Marco.
出版 2011.

Technologies for E-Services 6th international workshop, TES 2005, Trondheim, Norway, September 2-3, 2005: revised selected papers /

由 TES 2005, Bussler, Christoph., Shan, Ming-Chien.
出版 2006.