搜索包含 pro*c 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 pro*c 的图书(共20808本)

	Fundamental Approaches to Software Engineering [electronic resource] : 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr眉cken, Germany, March 26鈥揂pril 3, 2011. Proceedings 0 索取号：作者：Giannakopoulou、 Dimitra.、Orejas、 Fernando.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Foundations of Software Science and Computational Structures [electronic resource] : 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr眉cken, Germany, March 26鈥揂pril 3, 2011. Proceedings 0 索取号：作者：Hofmann、 Martin.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Communication Technologies for Vehicles [electronic resource] : Third International Workshop, Nets4Cars/Nets4Trains 2011, Oberpfaffenhofen, Germany, March 23-24, 2011. Proceedings 0 索取号：作者：Strang、 Thomas.、Festag、 Andreas.、Vinel、 Alexey.、Mehmood、 Rashid.、Rico Garcia、 Cristina.、R枚ckl、 Matthias.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Theory and Practice of Algorithms in (Computer) Systems [electronic resource] : First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings 0 索取号：作者：Marchetti-Spaccamela、 Alberto.、Segal、 Michael.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Programming Languages and Systems [electronic resource] : 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr眉cken, Germany, March 26鈥揂pril 3, 2011. Proceedings 0 索取号：作者：Barthe、 Gilles.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Glocalized Solutions for Sustainability in Manufacturing [electronic resource] : Proceedings of the 18th CIRP International Conference on Life Cycle Engineering, Technische Universit盲t Braunschweig, Braunschweig, Germany, May 2nd - 4th, 2011 0 索取号：作者：Hesselbach、 J眉rgen.、Herrmann、 Christoph.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Functional Thinking for Value Creation [electronic resource] : Proceedings of the 3rd CIRP International Conference on Industrial Product Service Systems, Technische Universit盲t Braunschweig, Braunschweig, Germany, May 5th - 6th, 2011 0 索取号：作者：Hesselbach、 J眉rgen.、Herrmann、 Christoph.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Enterprise Interoperability [electronic resource] : Third International IFIP Working Conference, IWEI 2011, Stockholm, Sweden, March 23-24, 2011. Proceedings 0 索取号：作者：Sinderen、 Marten.、Johnson、 Pontus.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Hyperfinite Dirichlet Forms and Stochastic Processes [electronic resource] 0 索取号：作者：Albeverio、 Sergio.、Fan、 Ruzong.、Herzberg、 Frederik.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Social Computing, Behavioral-Cultural Modeling and Prediction [electronic resource] : 4th International Conference, SBP 2011, College Park, MD, USA, March 29-31, 2011. Proceedings 0 索取号：作者：Salerno、 John.、Yang、 Shanchieh Jay.、Nau、 Dana.、Chai、 Sun-Ki.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Wicked Problems-Social Messes [electronic resource] : Decision Support Modelling with Morphological Analysis 0 索取号：作者：Ritchey、 Tom.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Multiscale and Multiphysics Processes in Geomechanics [electronic resource] : Resultsof the Workshop on Multiscale and Multiphysics Processes in Geomechanics, Stanford, June 23鈥⵬ 2010 0 索取号：作者：Borja、 Ronaldo I.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Information Processing and Biological Systems [electronic resource] 0 索取号：作者：Niiranen、 Samuli.、Ribeiro、 Andre.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Combinations of Intelligent Methods and Applications [electronic resource] : Proceedings of the 2nd International Workshop, CIMA 2010, France, October 2010 0 索取号：作者：Hatzilygeroudis、 Ioannis.、Prentzas、 Jim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Mathematical Image Processing [electronic resource] : University of Orl茅ans, France, March 29th - April 1st, 2010 0 索取号：作者：Bergounioux、 Ma茂tine.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Statistical Pronunciation Modeling for Non-Native Speech Processing [electronic resource] 0 索取号：作者：Gruhn、 Rainer E.、Minker、 Wolfgang.、Nakamura、 Satoshi.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

	Fundamental Approaches to Software Engineering [electronic resource] : 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr眉cken, Germany, March 26鈥揂pril 3, 2011. Proceedings 0 索取号：作者：Giannakopoulou、 Dimitra.、Orejas、 Fernando.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Foundations of Software Science and Computational Structures [electronic resource] : 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr眉cken, Germany, March 26鈥揂pril 3, 2011. Proceedings 0 索取号：作者：Hofmann、 Martin.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Communication Technologies for Vehicles [electronic resource] : Third International Workshop, Nets4Cars/Nets4Trains 2011, Oberpfaffenhofen, Germany, March 23-24, 2011. Proceedings 0 索取号：作者：Strang、 Thomas.、Festag、 Andreas.、Vinel、 Alexey.、Mehmood、 Rashid.、Rico Garcia、 Cristina.、R枚ckl、 Matthias.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Theory and Practice of Algorithms in (Computer) Systems [electronic resource] : First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings 0 索取号：作者：Marchetti-Spaccamela、 Alberto.、Segal、 Michael.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Programming Languages and Systems [electronic resource] : 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr眉cken, Germany, March 26鈥揂pril 3, 2011. Proceedings 0 索取号：作者：Barthe、 Gilles.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Glocalized Solutions for Sustainability in Manufacturing [electronic resource] : Proceedings of the 18th CIRP International Conference on Life Cycle Engineering, Technische Universit盲t Braunschweig, Braunschweig, Germany, May 2nd - 4th, 2011 0 索取号：作者：Hesselbach、 J眉rgen.、Herrmann、 Christoph.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Functional Thinking for Value Creation [electronic resource] : Proceedings of the 3rd CIRP International Conference on Industrial Product Service Systems, Technische Universit盲t Braunschweig, Braunschweig, Germany, May 5th - 6th, 2011 0 索取号：作者：Hesselbach、 J眉rgen.、Herrmann、 Christoph.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Enterprise Interoperability [electronic resource] : Third International IFIP Working Conference, IWEI 2011, Stockholm, Sweden, March 23-24, 2011. Proceedings 0 索取号：作者：Sinderen、 Marten.、Johnson、 Pontus.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Hyperfinite Dirichlet Forms and Stochastic Processes [electronic resource] 0 索取号：作者：Albeverio、 Sergio.、Fan、 Ruzong.、Herzberg、 Frederik.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Social Computing, Behavioral-Cultural Modeling and Prediction [electronic resource] : 4th International Conference, SBP 2011, College Park, MD, USA, March 29-31, 2011. Proceedings 0 索取号：作者：Salerno、 John.、Yang、 Shanchieh Jay.、Nau、 Dana.、Chai、 Sun-Ki.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Wicked Problems-Social Messes [electronic resource] : Decision Support Modelling with Morphological Analysis 0 索取号：作者：Ritchey、 Tom.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Multiscale and Multiphysics Processes in Geomechanics [electronic resource] : Resultsof the Workshop on Multiscale and Multiphysics Processes in Geomechanics, Stanford, June 23鈥⵬ 2010 0 索取号：作者：Borja、 Ronaldo I.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Information Processing and Biological Systems [electronic resource] 0 索取号：作者：Niiranen、 Samuli.、Ribeiro、 Andre.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Combinations of Intelligent Methods and Applications [electronic resource] : Proceedings of the 2nd International Workshop, CIMA 2010, France, October 2010 0 索取号：作者：Hatzilygeroudis、 Ioannis.、Prentzas、 Jim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Mathematical Image Processing [electronic resource] : University of Orl茅ans, France, March 29th - April 1st, 2010 0 索取号：作者：Bergounioux、 Ma茂tine.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Statistical Pronunciation Modeling for Non-Native Speech Processing [electronic resource] 0 索取号：作者：Gruhn、 Rainer E.、Minker、 Wolfgang.、Nakamura、 Satoshi.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.