| 书名/著者或编者 |
出版信息
（出版地、出版者、出版年） |
索取号 |
| T 工业技术 |
| Simplified TRIZ :new problem-solving
applications for engineers and manufacturing professionals /Kalevi
Rantanen and Ellen Domb. |
Boca Raton :St. Lucie Press,c2008. |
2-2008
T-03
R213/2008 |
| Competing for the future : how digital
innovations are changing the world / Henry Kressel with Thomas V. Lento. |
Cambridge ; New York : Cambridge University
Press, 2007. |
2-2008
T-19
K92 |
| TB 一般工业技术 |
| Advances in dynamics, instrumentation and
control, vol. II : proceedings of the 2006 International Conference
(CDIC '06) : Queretaro, Mexico, 13-16 August 2006 : / editors, Alejandro
Lozano, Subhash Rakheja, Chun-Yi Sun. |
Hackensack, NJ : World Scientific, c2007. |
2-2008
TB1-532
I61/2006 |
| Mathematical methods in engineering / edited
by K. Taş, J.A. Tenreiro Machado and D. Baleanu. |
Dordrecht, The Netherlands : Springer, 2007. |
2-2008
TB11
M426 |
| Progress in industrial mathematics at ECMI
2006 / Luis L. Bonilla ... [et al.], editors. |
Berlin ; New York : Springer, 2008. |
2-2008
TB11-532
E89/2006 |
Process modelling, identification, and control
/ Ján Mikleš, Miroslav Fikar. |
Berlin ; New York : Springer, c2007. |
2-2008
TB114
M636 |
| Probabilistic methods in geotechnical
engineering / edited by D.V. Griffiths, Gordon A. Fenton. |
Wien ; New York : Springer Verlag, c2007. |
2-2008
TB114-532
P962 |
| Computational intelligence in reliability
engineering. New metaheuristics, neural and fuzzy techniques in
reliability / Gregory Levitin (ed.). |
Berlin ; New York : Springer, c2007. |
2-2008
TB114.3
C738 |
| Applied reliability and quality :
fundamentals, methods and procedures / B.S. Dhillon. |
London : Springer, c2007. |
2-2008
TB114.3
D534 |
| Shock and damage models in reliability theory
/ Toshio Nakagawa. |
London : Springer, c2007. |
2-2008
TB114.3
N163 |
| Structural analysis with finite elements /
Friedel Hartmann, Casimir Katz. |
Berlin : Springer, c2007. |
2-2008
TB115
H333/2007 |
| Particle image velocimetry : a practical guide
/ Markus Raffel ... [et al.]. |
Heidelberg ; New York : Springer, c2007. |
2-2008
TB126
P273/2007 |
| Surface plasmon nanophotonics /Mark L.
Brongersma, Pieter G. Kik, (editors). |
Dordrecht :Springer,c2007. |
2-2008
TB133
S961 |
| Biomechanics in ergonomics /edited by Shrawan
Kumar. |
Boca Raton :Taylor & Francis,2008. |
2-2008
TB18
B615/2008 |
| Design matters : the organisation and
principles of engineering design / James Armstrong. |
London : Springer, c2008. |
2-2008
TB21
A736 |
| Analytic methods for design practice
/Gyung-Jin Park. |
London :Springer,c2007. |
2-2008
TB21
P235 |
| Models for computer aided tolerancing in
design and manufacturing : selected conference papers from the 9th CIRP
International Seminar on Computer-Aided Tolerancing, held at Arizona
State University, Tempe, Arizona, USA, 10-12 April, 2005 / edited by
Joseph K. Davidson. |
Dordrecht : Springer, c2007. |
2-2008
TB21-532
C697/2005 |
| Powders and bulk solids : behavior,
characterization, storage and flow / Dietmar Schulze. |
Berlin ; New York : Springer, c2008. |
2-2008
TB3
S391 |
| Optical materials in defence systems
technology IV : 17-18 September 2007, Florence, Italy / James G. Grote,
Francois Kajzar, Mikael Lindgren, editors ; sponsored by SPIE Europe ;
cooperating organisations, EMRSDTC--the Electro-Magnetic Remote Sensing
Defence Technology Centre (United Kingdom) ... [et al.] ; published by
SPIE. |
Bellingham, Washington : SPIE, c2007. |
2-2008
TB3-532
O62/2007 |
| Material properties under intensive dynamic
loading / M.V. Zhernokletov, B.L. Glushak (eds.) ; in collaboration with
W.W. Anderson, F.J. Cherne, M.A. Zocher. |
Berlin ; New York : Springer, c2006. |
2-2008
TB30
M425 |
| Residual stress measurement and the slitting
method / Weili Cheng and Iain Finnie. |
New York, NY : Springer, c2007. |
2-2008
TB301
C518 |
| Micromechanics of contact and interphase
layers / Stanisław Stupkiewicz. |
Berlin ; London : Springer, c2007. |
2-2008
TB301
S934 |
| Standardisation of thermal cycling exposure
testing /edited by M. Schütze and M. Malessa. |
Cambridge, England :Woodhead Publishing
Limited ;[England?] :Maney Publishing ;Boca Raton, FL :CRC Press,2007. |
2-2008
TB302
S785 |
| Spectral method in multiaxial random fatigue /
Adam Niesłony, Ewald Macha. |
Berlin : Springer, 2007. |
2-2008
TB302.3
N676 |
| Applied scanning probe methods / Bharat
Bhushan, Harald Fuchs, Satoshi Kawata (eds.). |
Berlin ;New York :Springer,c2007. |
2-2008
TB303
A652/v.5 |
| Computational plasticity / edited by Eugenio Oñate
and Roger Owen. |
Dordrecht : Springer, c2007. |
2-2008
TB303
C738 |
| DNA-based nanoscale integration :
International Symposium on DNA-Based Nanoscale Integration : Jena,
Germany 18-20 May 2006 / editor, Wolfgang Fritzsche ; sponsoring
organizations, main sponsor: Volkswagen Foundation. |
Melville, N.Y. : AIP, 2006. |
2-2008
TB303-532
I61/2006 |
| Fire properties of polymer composite materials
/ by A.P. Mouritz and A.G. Gibson. |
Dordrecht : Springer, c2006. |
2-2008
TB324
M931 |
| Multiscale modeling and simulation of
composite materials and structures / Young W. Kwon, David H. Allen,
Ramesh Talreja, editors. |
New York ; London : Springer, c2008. |
2-2008
TB33
M961 |
| Modeling, control and implementation of smart
structures : a FEM-state space approach / B. Bandyopadhyay, T.C.
Manjunath, M. Umapathy. |
Berlin : Springer, c2007. |
2-2008
TB381
B214 |
| Wavelet and wave analysis as applied to
materials with micro or nanostructure / Carlo Cattani, Jeremiah
Rushchitsky. |
New Jersey : World Scientific, 2007. |
2-2008
TB383
C368 |
| Materials for tomorrow : theory, experiments,
and modelling / S. Gemming, M. Schreiber, J.-B. Suck (eds.). |
|
2-2008
TB383
M425 |
| Nanocomposites :ionic conducting materials and
structural spectroscopies /Phillippe Knauth, Joop Schoonman, editors. |
New York ;London :Springer,c2008. |
2-2008
TB383
N1861 |
| Nanostructures - fabrication and analysis / H.
Nejo (ed.) |
Berlin ; New York: Springer-Verlag, c2007. |
2-2008
TB383
N1865 |
| Magnetic nanostructures / B. Aktaș, L.
Tagirov, F. Mikailov (eds.). |
Berlin ; New York : Springer, c2007. |
2-2008
TB383-532
M196 |
| Nanophotonics and macrophotonics for space
environments :27-28 August 2007, San Diego, California, USA /Edward W.
Taylor, David A. Cardimona ; sponsored and published by SPIE. |
Berlin ; New York : Springer, c2007. |
2-2008
TB383-532
N186 |
| Nanomaterial synthesis, interfacing, and
intergrating devices, circuits, and systems II : 9 and 11 September
2007, Boston, Massachusetts, USA / Nibir K. Dhar, Achyut K. Dutta, M.
Saif Islam, editors ; sponsored and published by SPIE. |
Bellingham, Washington : SPIE, c2007. |
2-2008
TB383-532
N1863/2007 |
| Nanosensing : materials, devices and systems
III : 11-12 September 2007, Boston, Massachusetts, USA / M. Saif Islam,
Achyut K. Dutta, editors ; sponsored and published by SPIE. |
Bellingham, Washington : SPIE, c2007. |
2-2008
TB383-532
N1864/2007 |
| Nanotechnology : societal implications /
edited by Mihail C. Roco and William Sims Bainbridge ; sponsored by U.S.
National Science Foundation and U.S. National Science and Technology
Council, Committee on Technology, Subcommittee on Nanoscale Science,
Engineering, and Technology. |
Dordrecht, The Netherlands : Springer, c2007. |
2-2008
TB383-532
N277/2003 |
| Granulation / edited by A.D. Salman, M.J.
Hounslow, J.P.K. Seville. |
Amsterdam ; Boston : Elsevier, c2007. |
2-2008
TB44
G764 |
| Designpreis der Bundesrepublik Deutschland
2007 = Design award of the Federal Republic of Germany 2007. |
Basel (Switzerland) : Birkhäuser Verlag
AG , 2007. |
2-2008
TB47
D457/2007 |
| The Seventh International Conference on
Vibration Problems : ICOVP 2005, 05-09 September 2005, Istanbul, Turkey
/ edited by Esin Inan and Ahmet Kırış. |
Dordrecht : Springer, c2007. |
2-2008
TB53-532
I61/2005 |
| Cryogenic engineering : fifty years of
progress / Klaus D. Timmerhaus and Richard P. Reed (eds.). |
New York : Springer, c2007. |
2-2008
TB6
C957 |
| Photorefractive materials and their
applications. 2, Materials / Peter Günter, Jean-Pierre Huignard,
editors. |
New York : Springer, c2007. |
2-2008
TB84
P575/v.2 |
| Photorefractive materials and their
applications. 3, Applications / Peter Günter, Jean-Pierre Huignard
(editors). |
New York, NY : Springer, c2007. |
2-2008
TB84
P575/v.3 |
| Next-generation spectroscopic technologies :
10-11 September 2007, Boston, Massachusetts, USA / Christopher D. Brown,
Mark A. Druy, John P. Coates, editors ; sponsored and published by SPIE. |
Bellingham, Washington : SPIE, c2007. |
2-2008
TB87-532
N567 |
| Advanced wavefront control : methods, devices,
and applications V : 29-30 August 2007, San Diego, California, USA /
Richard A. Carreras, John D. Gonglewski, Troy A. Rhoadarmer, editors ;
sponsored and published by SPIE. |
Bellingham, Wash. : SPIE, c2007. |
2-2008
TB877-532
A244/2007 |
| Optical scanning holography with MATLAB /
Ting-Chung Poon. |
New York, NY : Springer, c2007. |
2-2008
TB877.1
P822 |
| TD 矿业工程 |
| Biomining /D.E. Rawlings, B.D. Johnson (eds.). |
Berlin :Springer,c2007. |
2-2008
TD853.37
B615 |
| TG 金属学与金属工艺 |
| Internal friction in metallic materials :a
handbook /M.S. Blanter ... [et al.]. |
Berlin ;New York :Springer,c2007. |
2-2008
TG113.25
I61 |
| Fundamentals of radiation materials science :
metals and alloys / Gary S. Was. |
Berlin ; New York : Springer, 2007. |
2-2008
TG115
W312 |
| TH 机械、仪表工业 |
| Advances in integrated design and
manufacturing in mechanical engineering II / edited by S. Tichkiewitch,
M. Tollenaere, and P. Ray. |
Dordrecht : Springer, c2007. |
2-2008
TH11-532
I61/2006 |
| Planar multibody dynamics : formulation,
programming, and applications / Parviz E. Nikravesh. |
Boca Raton : CRC Press, c2008. |
2-2008
TH113
N694 |
| Micromanufacturing : international research
and development / by Kornel F. Ehmann ... [et al.]. |
Dordrecht : Springer, c2007. |
2-2008
TH16
M626 |
| Digital enterprise technology : perspectives
and future challenges / edited by Pedro F. Cunha ; Paul G. Maropoulos. |
New York : Springer, 2007. |
2-2008
TH166-532
D574 |
| Screw compressors : three dimensional
computational fluid dynamics and solid fluid interaction / A. Kovacevic,
N. Stosic, I. Smith. |
Berlin ; New York : Springer, c2007. |
2-2008
TH455
K88 |
| Optical system design / Robert E. Fischer,
Biljana Tadic-Galeb, Paul R. Yoder ; with contributions by Ranko Galeb
... [et al.]. |
New York : McGraw-Hill, c2008. |
2-2008
TH74
F529/2008 |
| Modern optical engineering : the design of
optical systems / Warren J. Smith. |
New York : McGraw Hill, c2008. |
2-2008
TH74
S663/2008 |
| Advances in metrology for X-ray and EUV optics
II : 30 August 2007, San Diego, California, USA / Lahsen Assoufid, Peter
Z. Takacs, Masaru Ohtsuka, editors ; sponsored and published by SPIE. |
Bellingham, Wash. : Society of Photo-optical
Instrumentation Engineers, c2007. |
2-2008
TH74-532
A244/2007 |
| Design, manufacturing, and testing of micro-
and nano-optical devices and systems : 3rd International Symposium on
Advanced Optical Manufacturing and Testing Technologies : 8-12 July
2007, Chengdu, China / Sen Han ... [et al.], editors ; sponsored by
COS--the Chinese Optical Society (China) [and] IOE--the Institute of
Optics and Electronics, CAS (China) ; technical cosponsor, SPIE ;
cosponsoring organizations, State Key Laboratory of Optical Technology
for Microfabrication (China) [and] SOS--Sichuan Optical Society (China)
; cooperating organization, Committee of Optical Manufacturing
Technology, COS (China) ; supporting organizations, Ministry of Science
and Technology of China (China), Chinese Academy of Sciences (China),
National Natural Science Foundation of China (China) ; published by
SPIE. |
Bellingham, Wash. : SPIE, c2007. |
2-2008
TH74-532
I612/2007 |
| Advanced optical manufacturing technologies :
3rd International Symposium on Advanced Optical Manufacturing and
Testing Technologies : 8-12 July 2007, Chengdu, China / Li Yang ... [et
al.], editors ; sponsored by COS--the Chinese Optical Society (China)
[and] IOE--the Institute of Optics and Electronics, CAS (China) ;
cosponsoring organizations, State Key Laboratory of Optical Technology
for Microfabrication (China) [and] SOS--Sichuan Optical Society (China)
; cooperating organization, Committee of Optical Manufacturing
Technology, COS (China) |
Bellingham, Wash. : SPIE, c2007. |
2-2008
TH74-532
I614/2007 |
| Advanced optics using aspherical elements /
Bernhard Braunecker, Rüdiger Hentschel, Hans J. Tiziani, editors. |
Bellingham, Wash. : SPIE Press, c2008. |
2-2008
TH740.2
A244 |
| Roadmap of scanning probe microscopy / S.
Morita (ed.). |
Berlin ; New York : Springer, c2007. |
2-2008
TH742
R628 |
| Large mirrors and telescopes : 3rd
International Symposium on Advanced Optical Manufacturing and Testing
Technologies : 8-12 July 2007, Chengdu, China / Yudong Zhang, Wenhan
Jiang, Myung K. Cho, editors ; sponsored by COS--the Chinese Optical
Society (China) [and] IOE--the Institute of Optics and Electronics, CAS
(China) ; cosponsoring organizations, State Key Laboratory of Optical
Technology for Microfabrication (China) [and] SOS--Sichuan Optical
Society (China) |
Bellingham, Wash. : SPIE, c2007. |
2-2008
TH751-532
I613/2007 |
| TK 能源与动力工程 |
| Renewable electricity and the grid :the
challenge of variability /edited by Godfrey Boyle. |
London ;Sterling, VA :Earthscan,2007. |
2-2008
TK01
R411 |
| Charging the internal combustion engine /
Hermann Hiereth, Peter Prenninger. |
Wien ; New York : Springer, c2007. |
2-2008
TK413.5
H633 |
| Wind energy :proceedings of the Euromech
colloquium /Joachim Peinke, Peter Schaumann and Stephan Barth (eds.). |
Berlin :Springer,c2007. |
2-2008
TK8-532
E89/2005 |
| TM 电工技术 |
| Improvement in the quality of delivery of
electrical energy using power electronics systems / Grzegorz Benysek. |
London : Springer, 2007. |
2-2008
TM1
B479 |
| Scientific computing in electrical engineering
/ G. Ciuprina, D. Ioan, editors. |
Berlin ; New York : Springer-Verlag, c2007. |
2-2008
TM11-532
S416 |
| Magnetic heterostructures : advances and
perspectives in spinstructures and spintransport / H. Zabel and S.D.
Bader (Eds.). |
Berlin ; New York : Springer Verlag, c2008. |
2-2008
TM271
M196 |
| BioNanoFluidic MEMS / Peter J. Hesketh,
editor. |
New York : Springer, c2008. |
2-2008
TM38
B615 |
| Small signal analysis of isolated hybrid power
systems : reactive power and frequency control analysis / R.C. Bansal,
T.S. Bhatti. |
Oxford, U.K. : Alpha Science International,
2008. |
2-2008
TM6
B219 |
| Service quality regulation in electricity
distribution and retail / E. Fumagalli, L. Lo Schiavo, F. Delestre. |
Berlin : Springer-Verlag, 2007. |
2-2008
TM7
F976 |
| Computational techniques for voltage stability
assessment and control / Venkataramana Ajjarapu. |
New York : Springer, c2006. |
2-2008
TM712
A312 |
| IP network-based multi-agent systems for
industrial automation : information management, condition monitoring and
control of power systems / D.P. Buse and Q.H. Wu. |
London : Springer, c2007. |
2-2008
TM76
B977 |
| Organic photovoltaics VIII :28-30 August 2007,
San Diego, California, USA /Zakya H. Kafafi, Paul A. Lane, editors ;
sponsored and published by SPIE ; cosponsored by Air Products and
Chemicals, Inc. (USA). |
Bellingham, Washington :SPIE,2007. |
2-2008
TM914-532
O68/2007 |
| Thin film optical coatings for effective solar
energy utilization :APCVD spectrally selective surfaces and energy
control coatings /K.A. Gesheva, editor. |
New York :Nova Science,2007. |
2-2008
TM914.4
T443 |
| TN
无线电电子学、通信技术 |
| Electromagnetic theory for microwaves and
optoelectronics /Keqian Zhang, Dejie Li. |
Berlin ;New York :Springer,c2008. |
2-2008
TN01
Z63/2008 |
| Terahertz physics, devices, and systems II :
11-12 September 2007, Boston, Massachusetts, USA / Mehdi Anwar, Anthony
J. DeMaria, Michael S. Shur, editors ; sponsored and published by SPIE. |
Bellingham, Wash. : SPIE, c2007. |
2-2008
TN015-532
T315/2007 |
| Vacuum electronics : components and devices /
Joseph A. Eichmeier, Manfred K. Thumm (eds.). |
Berlin : Springer, 2008. |
2-2008
TN1
V121 |
| Electro-optical remote sensing, detection, and
photonic technologies and their applications : 18-20 September 2007,
Florence, Italy / Gary W. Kamerman ... [et al.], editors ; sponsored by
SPIE Europe ; cooperating organisations, EMRSDTC--The Electro-Magnetic
Remote Sensing Defence Technology Centre (United Kingdom) ... [et al.]. |
Bellingham, Wash. : SPIE, c2007. |
2-2008
TN2-532
E38/2007 |
| Optoelectronic devices : physics, fabrication,
and application IV : 11 September 2007, Boston, Massachusetts, USA /
Joachim Piprek, Jian J. Wang, editors ; sponsored and published by SPIE. |
Bellingham, Washington : SPIE, c2007. |
2-2008
TN2-532
O623/2007 |
| Optoelectronic materials and devices II : 2-5
November 2007, Wuhan, China / Yoshiaki Nakano, editor ; sponsored by
SPIE ... [et al.] ; cooperating organizations, WNLO--Wuhan National
Laboratory for Optoelectronics (China) ... [et al.]. |
Bellingham, Wash. : SPIE, c2007. |
2-2008
TN2-532
O624/2007 |
| Photonics : design, technology, and packaging
III : 5-7 December 2007, Canberra, Australia / Wieslaw Z. Krolikowski
... [et al.], editors ; sponsored by SPIE ; cosponsored by the
Australian National University (Australia) ... [et al.] ; cooperating
organizations, Research School of Physical Sciences and Engineering,
Canberra (Australia) [and] Centre for Biomedical Engineering, Adelaide
(Australia). |
Bellingham, Washington : SPIE, c2008. |
2-2008
TN2-532
P5752/2007 |
| Technologies for optical countermeasures IV :
17-18 September 2007, Florence, Italy / David H. Titterton, Mark A.
Richardson, editors ; sponsored by SPIE Europe ; cooperating
organisations, EMRSDTC--The Electro-Magnetic Remote Sensing Defence
Technology Centre (United Kingdom) ... [et al.] |
Bellingham, Wash. : SPIE, c2007. |
2-2008
TN2-532
T255/2007 |
| Electro-optical and infrared systems :
technology and applications IV : 18-20 September 2007, Florence, Italy /
David A. Huckridge, Reinhard R. Ebert, editors ; sponsored by
SPIE--Europe ; cooperating organisations, EMRSDTC--the Electro-Magnetic
Remote Sensing Defence Technology Centre (United Kingdom) ... [et al.]. |
Bellingham, Wash. : SPIE--the International
Society for Optical Engineering, c2007. |
2-2008
TN21-532
E38/2007 |
| Fundamentals of laser assisted micro- and
nanotechnologies : 25-28 June 2007, St. Petersburg, Russia / Vadim P.
Veiko, editor ; organized by St. Petersburg State University of
Information Technologies, Mechanics and Optics (Russia), General Physics
Institute of Russian Academy of Sciences [and] S.I. Vavilov State
Optical Institute (Russia) ; sponsored by Russian Federation Ministry of
Education and Science ... [et al.] ; published by SPIE. |
Bellingham, Washington : SPIE, c2008. |
2-2008
TN24-532
F981 |
| High-power lasers and applications IV : 12-14
November 2007, Beijing, China / Dianyuan Fan, Robert F. Walter, editors
; sponsored by SPIE [and] COS--Chinese Optical Society ; cooperating
organizations, OSJ--Optical Society of Japan ... [et al.] ; supporting
organizations, CAST--China Association for Science and Technology
(China), NNSF--National Nature Science Foundation (China), [and] the
Ministry of Science and Technology (China) |
Bellingham, Wash. : SPIE, c2008. |
2-2008
TN24-532
H638/2007 |
| Laser-induced damage in optical materials :
2007 : 39th Annual Boulder Damage Symposium : proceedings : 24-26
September 2007, Boulder, Colorado / editors, Gregory J. Exarhos ... [et
al.] ; organized and published by SPIE ; cosponsored by Lawrence
Livermore National Laboratory (USA) ; cooperating organizations, Center
for High Technology Materials at the University of New Mexico (USA) ...
[et al.]. |
Bellingham, Washington : SPIE, c2008. |
2-2008
TN244-532
S989/2007 |
| Atomic and molecular pulsed lasers VII : 10-14
September 2007, Tomsk, Russia / Victor F. Tarasenko, editor ; organized
by Institute of Atmospheric Optics (Russia) ... [et al.] ; sponsored by
Russian Academy of Sciences (Russia) ... [et al.] ; media sponsors,
Advances in Optical Technologies Journal (USA), Obzor.Westrib.RU
(Russia) ; published by SPIE. |
Bellingham, Washington : SPIE, c2008. |
2-2008
TN248.2-532
I61/2007 |
| Semiconductor lasers and applications III :
12-13 November 2007, Beijing, China / Lianghui Chen ... [et al.],
editors ; sponsored by SPIE [and] COS--Chinese Optical Society ;
cooperating organizations, OSJ--Optical Society of Japan ... [et al.] ;
supporting organizations, CAST--China Association for Science and
Technology (China), NNSF--National Nature Science Foundation (China)
[and] the Ministry of Science and Technology (China) |
Bellingham, Wash. : SPIE, c2008. |
2-2008
TN248.4-532
S471/2007 |
| Laser fabrication and machining of materials /
Narendra B. Dahotre, Sandip P. Harimkar. |
New York, N.Y. : Springer Science+Business
Media, c2008. |
2-2008
TN249
D131 |
| Lasers in material processing and
manufacturing III : 12-14 November 2007, Beijing, China / ShuShen Deng,
Akira Matsunawa, Xiao Zhu, editors ; sponsored by SPIE [and]
COS--Chinese Optical Society ; cooperating organizations, OSJ--Optical
Society of Japan ... [et al.] ; supporting organizations, CAST--China
Association for Science and Technology (China), NNSF--National Nature
Science Foundation (China) [and] the Ministry of Science and Technology
(China). |
Bellingham, Washington : SPIE, c2008. |
2-2008
TN249-532
L343/2007 |
| Optical modeling and performance predictions
III : 29-30 August 2007, San Diego, California, USA / Mark A. Kahan,
editor ; sponsored and published by SPIE. |
Bellingham, Wash. : SPIE, c2007. |
2-2008
TN25-532
O62/2007 |
| Photonics applications in astronomy,
communications, industry, and high-energy physics experiments 2007 :
21-27 May 2007, Wilga, Poland / Ryszard S. Romaniuk, editor ; organized
by PERG and ELHEP Laboratories, Institute of Electronic Systems, Warsaw
University of Technology (Poland), Student Branch, SPIE Poland Chapter
(Poland), Student Branch, IEEE Poland Section (Poland) ; sponsored by
IEEE Poland Section ... [et al.] ; in cooperation with CERN, Geneva
(Switzerland) ... [et al.] ; published by SPIE. |
Bellingham, Wash. : SPIE, c2007. |
2-2008
TN29-532
P575/2007 |
| Photonic crystals and photonic crystal fibers
for sensing applications III : 9 and 11 September, 2007, Boston,
Massachusetts, USA / Henry H. Du, Hiroshi Fudouzi, editors ; sponsored
and published by SPIE. |
Bellingham, Wash. : SPIE, c2007. |
2-2008
TN29-532
P5752/2007 |
| Simulation of semiconductor processes and
devices 2007 : SISPAD 2007 / Tibor Grasser, Siegfried Selberherr (eds.). |
Wien ; New York : Springer, c2007. |
2-2008
TN302-532
I61/2007 |
| Wide bandgap semiconductors : fundamental
properties and modern photonic and electronic devices / Kiyoshi
Takahashi, Akihiko Yoshikawa, Adarsh Sandhu (eds). |
Berlin ; New York : Springer, c2007. |
2-2008
TN303
W639 |
| Organic semiconductors in sensor applications
/ D.A. Bernards, R.M. Owens, G.G. Malliaras, editors. |
Berlin : Springer, 2008. |
2-2008
TN304.5
O68 |
| Light-emitting diode materials and devices II
: 12-14 November 2007, Beijing, China / Jian Wang, Changhee Lee, Hezhou
Wang, editors ; sponsored by SPIE [and] COS--Chinese Optical Society ;
cooperating organizations, OSJ--Optical Society of Japan ... [et al.] |
Bellingham, Wash. : SPIE, c2008. |
2-2008
TN312-532
L723/2007 |
| Manufacturing LEDs for lighting and displays :
10-11 September 2007, Berlin, Germany / Thomas P. Pearsall, editor ;
sponsored by SPIE ; cosponsored by EPIC--European Photonics Industry
Consortium, [and] SPIE Europe ; cooperating organisations, Technische
Universität Berlin (Germany) ... [et al.]. |
Bellingham, Wash. : SPIE, c2007. |
2-2008
TN312-532
M294 |
| Organic light emitting materials and devices
XI :26-29 August 2007, San Diego, California, USA /Zakya H. Kafafi,
Franky So, editors ; sponsored and published by SPIE. |
Bellingham, Washington :SPIE,2007. |
2-2008
TN312-532
O68/2007 |
| Device and process technologies for
microelectronics, MEMS, photonics, and nanotechnology IV : 5-7 December
2007, Canberra, Australia / Hark Hoe Tan ... [et al.], editors ;
sponsored by SPIE ; cosponsored by the Australian National University
(Australia) ... [et al.] |
Bellingham, Wash. : SPIE, c2008. |
2-2008
TN36-532
D492/2007 |
| Power distribution networks with on-chip
decoupling capacitors / Mikhail Popovich, Andrey V. Mezhiba, Eby G.
Friedman. |
New York : Springer, 2008. |
2-2008
TN4
P829 |
| ICMIT 2007 : mechatronics, MEMS, and smart
materials : 5-6 December 2007, Gifu, Japan / Minoru Sasaki ... [et al.],
editors ; organized by Gifu University (Japan) ; sponsored by
Korea-Japan Joint Advanced Mechatronics Research Association ... [et
al.] ; cosponsored by Society of Instruments and Control Engineers
(Japan) ... [et al.]. |
Bellingham, Wash. : SPIE, c2008. |
2-2008
TN4-532
I61/2007 |
| Microelectronics : design, technology, and
packaging III : 5-7 December 2007, Canberra, Australia / Alex J. Hariz,
Vijay K. Varadan, editors ; sponsored by SPIE ; cosponsored by the
Australian National University (Australia) ... [et al] ; cooperating
organizations, Research School of Physical Sciences and Engineering,
Canberra (Australia) [and] Centre for Biomedical Engineering, Adelaide
(Australia) |
Bellingham, Wash., USA : SPIE, c2008. |
2-2008
TN4-532
M626/2007 |
| Microsystems mechanical design / edited by
Francesco De Bona, Eniko T. Enikov. |
Wien : Springer, 2006. |
2-2008
TN402
M626 |
| Modern circuit placement : best practices and
results / [edited by] Gi-Joon Nam, Jason Cong. |
New York : Springer, 2007. |
2-2008
TN402
M689 |
| A practical introduction to PSL /Cindy Eisner,
Dana Fisman. |
New York :Springer,c2006. |
2-2008
TN407
E36 |
| Creating assertion-based IP / Harry D. Foster,
Adam C. Krolnik. |
Creating assertion-based IP / Harry D. Foster,
Adam C. Krolnik. |
2-2008
TN407
F755 |
| Optimal production planning for PCB assembly /
William Ho and Ping Ji. |
London : Springer, c2007. |
2-2008
TN41
H678 |
| Photomask technology 2007 : 18-21 September
2007, Monterey, California, USA / Robert J. Naber, Hiroichi Kawahira,
editors ; sponsored by BACUS--the International Technical Group of SPIE
dedicated to the advancement of photomask technology [and] SPIE ;
published by SPIE. |
Bellingham, Wash. : SPIE, c2007. |
2-2008
TN41-532
S989/2007 |
| Analog circuit design : high-speed A-D
converters, automotive electronics, and ultra-low power wireless /
edited by Arthur H.M. van Roermund, Herman Casier, and Michiel Steyaert. |
Dordrecht, Netherlands : Springer, c2006. |
2-2008
TN431.102-532
W926/2006 |
| Synchronization and arbitration in digital
systems / David J. Kinniment. |
Chichester, West Sussex : J. Wiley & Sons,
2007. |
2-2008
TN431.2
K55 |
| Oscillation-based test in mixed-signal
circuits / by Gloria Huertas Sánchez ... [et al.]. |
Dordrecht : Springer, c2006. |
2-2008
TN450.7
O81 |
| Digital VLSI systems design : a design manual
for implementation of projects on FPGAs and ASICs using Verilog / S.
Ramachandran. |
Dordrecht : Springer, 2007. |
2-2008
TN47
R165 |
| Integrated circuit and system design : power
and timing modeling, optimization and simulation : 16th international
workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006 :
proceedings / Johan Vounckx, Nadine Azemard, Philippe Maurine (eds.). |
Berlin : Springer, c2006. |
2-2008
TN47-532
P887/2006 |
| Integrated circuit and system design : power
and timing modeling, optimization and simulation : 17th international
workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007 :
proceedings / Nadine Azemard, Lars Svensson (eds.). |
Berlin ; New York : Springer, c2007. |
2-2008
TN47-532
P887/2007 |
| VLSI-SOC :from systems to silicon : IFIP TC
10, WG 10.5, Thirteenth International Conference on Very Large Scale
Integration of System on Chip (VLSI-SoC 2005), October 17-19, 2005,
Perth, Australia /edited by Ricardo Reis, Adam Osserian, Hans-Joerg
Pfleiderer. |
New York :Springer,c2007. |
2-2008
TN470.2-532
I61/2005 |
| Cognitive radio, software defined radio, and
adaptive wireless systems / edited by Hüseyin Arslan. |
Dordrecht : Springer, c2007. |
2-2008
TN8
C676 |
| Cognitive wireless communication networks /
Ekram Hossain, Vijay Bhargava, editors. |
New York ; London : Springer, c2007. |
2-2008
TN8
C6761 |
| The paraboloidal reflector antenna in radio
astronomy and communication : theory and practice / Jacob W.M. Baars. |
New York : Springer, c2007. |
2-2008
TN827
B111 |
| Power management in mobile devices / Findlay
Shearer. |
Burlington, MA : Newnes, c2008. |
2-2008
TN86
S539 |
| Linear estimation and detection in Krylov
subspaces / Guido K.E. Dietl. |
Berlin ; New York : Springer, c2007. |
2-2008
TN911.7
D565 |
| Robust signal processing for wireless
communications /Frank A. Dietrich. |
Berlin ;London :Springer,c2008. |
2-2008
TN911.7
D566 |
| A first course in statistics for signal
analysis / Wojbor A. Woyczyński. |
Boston : Birkhäuser, c2006. |
2-2008
TN911.7
W938 |
| Realization theory and design of digital
images / Yasumichi Hasegawa, Tatsuo Suzuki. |
Berlin : Springer, c2006. |
2-2008
TN911.72
H346 |
| Advanced signal processing algorithms,
architectures, and implementations XVII : 26-27 August 2007, San Diego,
California, USA / Franklin T. Luk, editor ; sponsored and published by
SPIE. |
Bellingham, Wash. : SPIE, c2007. |
2-2008
TN911.72-532
A244/2007 |
| MIPPR 2007 : multispectral image processing :
15-17 November 2007, Wuhan, China / Henri Maître ... [et al.],
editors ; sponsored by State Key Laboratory for Multi-spectral
Information Processing Technologies (China), Chinese Education Ministry
Key Laboratory for Image Processing and Intelligence Control (China),
Huazhong University of Science and Technology (China) ; technical
sponsor, SPIE ; cooperating organizations, Institute of Automation,
Chinese Academy of Sciences (China) [and] Wuhan University (China) ;
supported by National Natural Science Foundation of China (China) [and]
Education Ministry of China (China) ; published by SPIE. |
Bellingham, Washington : SPIE, c2007. |
2-2008
TN911.73-532
I613/2007 |
| Mathematics of data/image pattern recognition,
compression, coding, and encryption X, with applications 26-27 August,
2007, San Diego, California, USA / Gerhard X. Ritter ... [et al.],
editors ; sponsored and published by SPIE. |
Bellingham, Wash. : SPIE, c2007. |
2-2008
TN911.73-532
M426/2007 |
| Wavelet applications in industrial processing
V : 11-12 September 2007, Boston, Massachusetts, USA / Frédéric
Truchetet, Olivier Laligant, editors ; sponsored and published by SPIE. |
Bellingham, Wash. : Society of Photo-optical
Instrumentation Engineers, c2007. |
2-2008
TN911.73-532
W355/2007 |
| CDMA radio with repeaters / Joseph Shapira,
Shmuel Y. Miller. |
New York : Springer, c2007. |
2-2008
TN914.53
S529 |
| E-business and telecommunication networks :
second international conference, ICETE 2005, Reading, UK, October 3-7,
2005 : selected papers / Joaquim Filipe, Helder Coelhas, Monica Saramago
(eds.). |
Berlin : Springer, 2007. |
2-2008
TN915-532
I61/2005 |
| Enterprise interoperability : new challenges
and approaches / Guy Doumeingts ... [et al.] (eds.). |
London : Springer, c2007. |
2-2008
TN915-532
I611/2006 |
| Enterprise interoperability II : new
challenges and approaches / Ricardo J. Gonçalves ... [et al.]
(eds.). |
London : Springer, 2007. |
2-2008
TN915-532
I611/2007 |
| Service automation and dynamic provisioning
techniques in IP/MPLS environments /Christian Jacquenet, Gilles Bourdon
and Mohamed Boucadair. |
Hoboken, NJ :J. Wiley & Sons,2008. |
2-2008
TN915.04
J19 |
| Testing of software and communicating systems
: 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th
international workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007 :
proceedings / Alexandre Petrenko ... [et al.] (eds.). |
Berlin ; New York : Springer, c2007. |
2-2008
TN915.06-532
I61/2007 |
| Wireless network security / Yang Xiao, Xuemin
Shen, and Ding-Zhu Du (eds.). |
New York : Springer, c2007. |
2-2008
TN915.08
W798 |
| Advances in cryptology - EUROCRYPT 2007 : 26th
Annual International Conference on the Theory and Applications of
Cryptographic Techniques, Barcelona, Spain, May 20-24, 2007 :
proceedings / Moni Naor (ed.). |
Berlin : Springer, 2007. |
2-2008
TN918.2-532
E89/2007 |
| Applied cryptography and network security :
5th international conference, ACNS 2007, Zhuhai, China, June 5-8, 2007 :
proceedings / Jonathan Katz, Moti Yung (eds.). |
Berlin ; New York : Springer, 2007. |
2-2008
TN918.3-532
A652/2007 |
| System analysis and modeling, language
profiles : 5th international workshop, SAM 2006, Kaiserslautern,
Germany, May 31-June 2, 2006, revised selected papers / Reinhard
Gotzhein, Rick Reed (eds.). |
Berlin ; New York : Springer, c2006. |
2-2008
TN919-532
S741/2006 |
| Video traces for network performance
evaluation : a comprehensive overview and guide on video traces and
their utilization in networking research / by Patrick Seeling, Frank H.
Fitzek, and Martin Reisslein. |
Dordrecht : Springer, c2007. |
2-2008
TN919.8
S452 |
| Real-time mobile multimedia services :10th
IFIP/IEEE International Conference on Management of Multimedia and
Mobile Networks and Services, MMNS 2007, San Josée, USA, October
31-November 2, 2007 : proceedings /Dilip Krishnaswamy, Tom Pfeifer,
Danny Raz (eds.). |
Berlin ;New York :Springer,c2007. |
2-2008
TN919.8-532
I61/2007 |
| Security and cooperation in wireless networks
: thwarting malicious and selfish behavior in the age of ubiquitous
computing / Levente Buttyán, Jean-Pierre Hubaux. |
Cambridge, UK ; New York : Cambridge
University Press, 2008. |
2-2008
TN92
B989 |
| Cognitive wireless networks : concepts,
methodologies and visions inspiring the age of enlightenment of wireless
communications / edited by Frank H.P. Fitzek and Marcos D. Katz. |
Dordrecht : Springer, 2007. |
2-2008
TN92
C676 |
| Broadband fixed wireless access : a system
perspective / Marc Engels, Frederik Petré. |
New York : Springer, c2006. |
2-2008
TN92
E57 |
| Towards 4G technologies : services with
initiative / edited by Hendrick Berndt. |
Chichester, West Sussex : John Wiley, 2008. |
2-2008
TN92
T737 |
| Wireless mesh networks : architectures and
protocols / Ekram Hossain, Kin Leung, editors. |
New York : Springer, c2008. |
2-2008
TN92
W7981 |
| Wireless communications / Prathima Agrawal ...
[et al.], editors. |
New York : Springer, 2007. |
2-2008
TN92
W7982 |
| Adaptive low-power circuits for wireless
communications / by Aleksandar Tasić, Wouter A. Serdijn, and John
R. Long. |
Dordrecht, Netherlands : Springer, c2006. |
2-2008
TN925
T197 |
| Dissemination of information in optical
networks : from technology to algorithms / Subir Bandyopadhyay in
cooperation with Ralf Klasing. |
Berlin : Springer, 2008. |
2-2008
TN929.1
B214 |
| Quality of service in optical burst switched
networks / Kee Chaing Chua ... [et al.]. |
New York : Springer, c2007. |
2-2008
TN929.1
Q1 |
| Free-space laser communications VII : 28-30
August 2007, San Diego, California, USA / Arun K. Majumdar, Christopher
C. Davis, editors ; sponsored and published by SPIE. |
Bellingham, Wash. : SPIE, c2008. |
2-2008
TN929.1-532
F853/2007 |
| Network architectures, management, and
applications V : 2-5 November 2007, Wuhan, China / Jianli Wang ... [et
al.], editors ; sponsored by SPIE ... [et al.] ; cooperating
organizations, WNLO--Wuhan National Laboratory for Optoelectronics
(China) ... [et al.] ; published by SPIE. |
Bellingham, Washington : SPIE, c2007. |
2-2008
TN929.1-532
N476/2007 |
| Optical transmission, switching, and
subsystems V : 2-5 November 2007, Wuhan, China / Dominique Chiaroni ...
[et al.], editors ; sponsored by SPIE ... [et al.] ; cooperating
organizations, WNLO--Wuhan National Laboratory for Optoelectronics
(China) ... [et al.]. |
Bellingham, Wash. : SPIE--the International
Society for Optical Engineering, c2007. |
2-2008
TN929.1-532
O622/2007 |
| Quantum optics, optical data storage, and
advanced microlithography : 12-14 November 2007, Beijing, China /
Guangcan Guo ... [et al.], editors ; sponsored by SPIE [and]
COS--Chinese Optical Society ; cooperating organizations, OSJ--Optical
Society of Japan ... [et al.] ; supporting organizations, CAST--China
Association for Science and Technology (China), NNSF--National Nature
Science Foundation (China) [and] the Ministry of Science and Technology
(China) ; published by SPIE. |
Bellingham, Washington : SPIE, c2008. |
2-2008
TN929.1-532
Q1 |
| Enhanced radio access technologies for next
generation mobile communication / edited by Yongwan Park and Fumiyuki
Adachi. |
Dordrecht : Springer, c2007. |
2-2008
TN929.5
E58 |
| Ad-hoc networks : fundamental properties and
network topologies / by Ramin Hekmat. |
Dordrecht : Springer, c2006. |
2-2008
TN929.5
H473 |
| Principles of mobile computing and
communications /Mazliza Othman. |
Boca Raton, FL. :Auerbach Publications,c2008. |
2-2008
TN929.5
O87 |
| Ad-hoc, mobile, and wireless networks : 6th
international conference, ADHOC-NOW 2007, Morelia, Mexico, September
24-26, 2007 : proceeedings / Evangelos Kranakis, Jaroslav Opatrny. |
Berlin ; New York : Springer, c2007. |
2-2008
TN929.5-532
A234/2007 |
| Adaptive coded aperture imaging and
non-imaging sensors :29-30 August 2007, San Diego, California, USA
/David P. Casasent, Timothy Clark, editors ; sponsored and published by
SPIE. |
Bellingham, Washington :SPIE,2007. |
2-2008
TN941.1-532
A221 |
| Three-dimensional television : capture,
transmission, display / Haldun M. Ozaktas, Levent Onural (eds.). |
Berlin ; New York : Springer Verlag, c2008. |
2-2008
TN948.57
T531 |
| Three-dimensional TV, video, and display VI
:11-12 September 2007, Boston, Massachusetts, USA /Bahram Javidi, Fumio
Okano, Jung-Young Son, editors ; sponsored and published by SPIE. |
Bellingham, Washington :SPIE,2007. |
2-2008
TN948.57-532
T531/2007 |
| Digital video and audio broadcasting
technology :a practical engineering guide /W. Fischer. |
Berlin :Springer,c2008. |
2-2008
TN949.197
F529/2008 |
| IPTV security : protecting high-value digital
contents / David Ramirez. |
Chichester, England ; Hoboken, NJ : John
Wiley, c2008. |
2-2008
TN949.292
R173 |
| SAR image analysis, modeling, and techniques
IX : 18 September 2007, Florence, Italy / Claudia Notarnicola, Francesco
Posa, editors ; sponsored by SPIE Europe ; cooperating organizations,
SPIE ... [et al.]. |
Bellingham, Wash. : SPIE--the International
Society for Optical Engineering, c2007. |
2-2008
TN957.52-532
S993/2007 |
| Bistatic radar : emerging technology / edited
by Mikhail Cherniakov. |
Chichester, West Sussex : J. Wiley & Sons,
2008. |
2-2008
TN959
B623 |
| TP
自动化技术、计算机技术 |
| Haptic and audio interaction design : first
international workshop, HAID 2006, Glasgow, UK, August 31-September 1,
2006 : proceedings / David McGookin, Stephen Brewster (eds.). |
Berlin ; New York : Springer, c2006. |
2-2008
TP11-532
H252/2006 |
| Human-computer interaction : INTERACT 2007 :
11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil,
September 10-14, 2007 : proceedings. Part II / Cécilia Baranauskas ...
[et al.] (eds.). |
Berlin ; New York : Springer, 2007. |
2-2008
TP11-532
I611/2007/pt.2 |
| Human-computer interaction : 12th
international conference, HCI international 2007, Beijing, China, July
22-27, 2007 : proceedings. Part IV, HCI applications and services /
Julie A. Jacko (ed.). |
Berlin ; New York : Springer, 2007. |
2-2008
TP11-532
I613/2007/pt.4 |
| Foundations of augmented cognition : third
international conference, FAC 2007, held as part of HCI international
2007, Beijing, China, July 22-27, 2007 : proceedings / Dylan D.
Schmorrow, Leah M. Reeves (eds.). |
Berlin ; New York : Springer, c2007. |
2-2008
TP11-532
I615/2007 |
| Artifical intelligence for human computing :
ICMI 2006 and IJCAI 2007 international workshops, Banff, Canada,
November 3, 2006 and Hyderabad, India, January 6, 2007 : revised seleced
[i.e. selected] and invited papers / Thomas S. Huang ... [et al.]
(eds.). |
Berlin ; New York : Springer, c2007. |
2-2008
TP11-532
I619/2006 |
| Advanced strategies in control systems with
input and output constraints / Sophie Tarbouriech, Germain Garcia, Adolf
H. Glattfelder (eds.). |
Berlin : Springer, 2007. |
2-2008
TP13
A244 |
| Fuzzy control and filter design for uncertain
fuzzy systems / Wudhichai Assawinchaichote, Sing Kiong Nguang, Peng Shi. |
Berlin : Springer, c2006. |
2-2008
TP13
A844 |
| Set-theoretic methods in control / Franco
Blanchini and Stafano Miani. |
Boston, Mass. : Birkhäuser, c2008. |
2-2008
TP13
B641 |
| Optimal control of constrained piecewise
affine systems / Frank J. Christophersen. |
Berlin ; New York : Springer, [2007] |
2-2008
TP13
C556 |
| Formal modeling and analysis of timed systems
: 4th international conference, FORMATS 2006, Paris, France, September
25-27, 2006 : proceedings / Eugene Asarin, Patricia Bouyer (eds.). |
Berlin : Springer, c2006. |
2-2008
TP15-532
F723/2006 |
| Formal modeling and analysis of timed systems
: 5th international conference, FORMATS 2007, Salzburg, Austria, October
3-5, 2007 : proceedings / Jean-François Raskin, P.S. Thiagarajan
(eds.). |
Berlin ; New York : Springer, 2007. |
2-2008
TP15-532
F723/2007 |
| Artificial intelligence in recognition and
classification of astrophysical and medical images / Valentina Zharkova,
Lakhmi C. Jain (eds.). |
Berlin ; New York : Springer, c2007. |
2-2008
TP18
A791 |
| Ontology management :semantic web, semantic
web services, and business applications /edited by Martin Hepp ... [et
al.]. |
New York, NY :Springer,c2008. |
2-2008
TP18
O59 |
| Parameter setting in evolutionary algorithms
/Fernando G. Lobo, Cláudio F. Lima, Zbigniew Michalewicz, (eds.). |
Berlin ;New York :Springer,2007. |
2-2008
TP18
P222 |
| Semantic web : revolutionizing knowledge
discovery in the life sciences / edited by Christopher J.O. Baker and
Kei-Hoi Cheung. |
New York : Springer, c2007. |
2-2008
TP18
S4711 |
| Soft computing for knowledge discovery and
data mining / edited by Oded Maimon and Lior Rokach. |
New York ; Berlin : Springer, c2008. |
2-2008
TP18
S681 |
| Automated technology for verification and
analysis : 5th international symposium, ATVA 2007 Tokyo, Japan, October
22-25, 2007 : proceedings / Kedar S. Namjoshi ... [et al.] (eds.). |
Berlin ; New York : Springer, c2007. |
2-2008
TP18-532
A939/2007 |
| Advances in artificial intelligence : 20th
Conference of the Canadian Society for Computational Studies of
Intelligence, Canadian AI 2007 : Monteal, Canada, May 28-30, 2007 :
proceedings / Ziad Kobti, Dan Wu (eds.). |
Berlin ; New York : Springer, c2007. |
2-2008
TP18-532
C212/2007 |
| Fuzzy systems and knowledge discovery : third
international conference, FSKD 2006, Xi'an, China, September 24-28, 2006
: proceedings / Lipo Wang ... [et al.] (eds.). |
Berlin : Springer, c2006. |
2-2008
TP18-532
F996/2006 |
| Advances in artificial intelligence -
IBERAMIA-SBIA 2006 : 2nd international joint conference : 10th
Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirão
Preto, Brazil, October 23-27, 2006 : proceedings / Jaime Simão
Sichman, Helder Coelho, Solange Oliveira Rezende (eds.). |
Berlin : Springer, c2006. |
2-2008
TP18-532
I12/2006 |
| New trends in applied artificial intelligence
: 20th International Conference on Industrial, Engineering, and Other
Applications of Applied Intelligent Systems, IEA/AIE 2007, Kyoto, Japan,
June 26-29, 2007 : proceedings / Hiroshi G. Okuno, Moonis Ali (eds.). |
Berlin ; New York : Springer-Verlag, c2007. |
2-2008
TP18-532
I6114/2007 |
| Deontic logic and artificial normative systems
: 8th International Workshop on Deontic Logic in Computer Science, DEON
2006, Utrecht, The Netherlands, July 12-14, 2006 : proceedings / Lou
Goble, John-Jules Ch. Meyer (eds.). |
Berlin ; New York : Springer-Verlag, c2006. |
2-2008
TP18-532
I613/2006 |
| Artificial intelligence and soft computing,
ICAISC 2006 : 8th international conference, Zakopane, Poland, June
25-29, 2006 : proceedings / Leszek Rutkowski ... [et al.] (eds.). |
Berlin ; New York : Springer, c2006. |
2-2008
TP18-532
I614/2006 |
| Artificial immune systems : 6th international
conference, ICARIS 2007, Santos, Brazil, August 26-29, 2007 :
proceedings / Leandro Nunes de Castro, Fernando Jose Von Zuben, Helder
Knidel (eds.). |
Berlin ; New York : Springer, 2007. |
2-2008
TP18-532
I615/2007 |
| Intelligent information processing III : IFIP
TC12 International Conference on Intelligent Information Processing (IIP
2006), September 20-23, Adelaide, Australia / edited by Zhongzhi Shi, K.
Shimohara, D. Feng. |
New York : Springer Science+Business Media,
c2006. |
2-2008
TP18-532
I616/2006 |
| Advanced intelligent computing theories and
applications : with aspects of contemporary intelligent computing
techniques : Third International Conference on Intelligent Computing,
ICIC 2007, Qingdao, China, August 21-24, 2007 : proceedings / De-Shuang
Huang, Laurent Heutte, Marco Loog (eds.). |
Berlin : Springer, 2007. |
2-2008
TP18-532
I617/2007 |
| Advanced intelligent computing theories and
applications : with aspects of theoretical and methodological issues :
Third International Conference on Intelligent Computing, ICIC 2007,
Qingdao, China, August 21-24, 2007 : proceedings / De-Shuang Huang,
Laurent Heutte, Marco Loog (eds.). |
Berlin : Springer, c2007. |
2-2008
TP18-532
I617a/2007 |
| Automated deduction -- CADE-21 : 21st
International Conference on Automated Deduction, Bremen, Germany, July
17-20, 2007 : proceedings / Frank Pfenning (ed.). |
Berlin ; New York : Springer, c2007. |
2-2008
TP18-532
I618/2007 |
| Second International Work-Conference on the
Interplay Between Natural and Artificial Computation, IWINAC 2007, La
Manga del Mar Menor, Spain, June 18-21, 2007 : proceedings / José Mira,
José R. Álvarez (eds.). |
Berlin : Springer, c2007. |
2-2008
TP18-532
I619/2007 |
| New frontiers in artificial intelligence :
JSAI 2006 conference and workshops, Tokyo, Japan, June 5-9, 2006 :
revised selected papers / Takashi Washio ... [et al.] |
Berlin ; New York : Springer, c2007. |
2-2008
TP18-532
J35/2006 |
| Logics in artificial intelligence :10th
European conference, JELIA 2006, Liverpool, UK, September 13-15, 2006 ;
proceedings /Michael Fisher ... [et al.] (eds.). |
Berlin ;New York :Springer,2006. |
2-2008
TP18-532
J48/2006 |
| Web reasoning and rule systems : first
international conference, RR 2007, Innsbruck, Austria, June 7-8, 2007 :
proceedings / Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie
(eds.). |
Berlin ; New York : Springer, c2007. |
2-2008
TP18-532
R288/2007 |
| Abstraction, reformulation, and approximation
: 7th international symposium, SARA 2007, Whistler, Canada, July 18-21,
2007 : proceedings / Ian Miguel, Wheeler Ruml (eds.). |
Berlin ; New York : Springer, c2007. |
2-2008
TP18-532
S989/2007 |
| Text, speech and dialogue :9th international
conference, TSD 2006, Brno, Czech Republic, September 11-15, 2006 ;
proceedings /Petr Sojka, Ivan Kopecek, Karel Pala (eds.) |
Berlin;New York :Springer,2006. |
2-2008
TP18-532
T355/2006 |
| Text, speech and dialogue :10th international
conference, TSD 2007, Pilsen, Czech Republic, September 3-7, 2007 :
proceedings /Václav Matoušek, Pavel Mautner (eds.). |
Berlin :Springer,c2007. |
2-2008
TP18-532
T355/2007 |
| Ubiquitous intelligence and computing : third
international conference, UIC 2006, Wuhan, China, September 3-6, 2006 :
proceedings / Jianhua Ma ... [et al.] (eds.). |
Berlin ; New York : Springer, c2006. |
2-2008
TP18-532
U15/2006 |
| Case-based approximate reasoning / by Eyke Hüllermeier. |
Dordrecht, The Netherlands : Springer, c2007. |
2-2008
TP181
H913 |
| Bridging the gap between graph edit distance
and kernel machines / Michel Neuhaus, Horst Bunke. |
Singapore ; Hackensack, NJ : World Scientific,
c2007. |
2-2008
TP181
N485 |
| Machine learning : ECML 2006 : 17th European
Conference on Machine Learning, Berlin, Germany, September 18-22, 2006 :
proceedings / Johannes Fürnkranz, Tobias Scheffer, Myra Spiliopoulou
(eds.). |
Berlin : Springer, c2006. |
2-2008
TP181-532
E89/2006 |
| Machine learning for multimodal interaction :
third international workshop, MLMI 2006 Bethesda, MD, USA, May 1-4, 2006
: revised selected papers / Steve Renals, Samy Bengio, Jonathan G.
Fiscus (eds.). |
Berlin ; New York : Springer, 2006. |
2-2008
TP181-532
W926/2006 |
| Foundations of intelligent systems : 16th
international symposium, ISMIS 2006, Bari, Italy, September 27-29, 2006
: proceedings / Floriana Esposito ... [et al.] (eds.). |
Berlin : Springer, c2006. |
2-2008
TP182-532
I611/2006 |
| Neural preprocessing and control of reactive
walking machines : towards versatile artificial perception-action
systems / Poramate Manoonpong. |
Berlin ; New York : Springer, 2007. |
2-2008
TP183
M285 |
| Perspectives of neural-symbolic integration
/Barbara Hammer, Pascal Hitzler (eds.). |
Berlin ;New York :Springer,c2007. |
2-2008
TP183
P467 |
| Cooperative behavior in neural systems :Ninth
Granada Lectures, Granada, Spain, 11-15 September 2006 /editors, Pedro
L. Garrido, Joaquín Marro, Joaquín J. Torres. |
Melville, N.Y. :American Institute of
Physics,2007. |
2-2008
TP183-532
G748/2006 |
| Advances in intelligent and distributed
computing :proceedings of the 1st International Symposium on Intelligent
and Distributed Computing, IDC'2007, Craiova, Romania, October 2007
/Costin Badica, Marcin Paprzycki (eds.). |
Berlin ;New York :Springer,c2008. |
2-2008
TP183-532
I61/2007 |
| Advances in natural computation :second
international conference, ICNC 2006, Xi'an, China, September 24-28, 2006
: proceedings /Licheng Jiao ... [et al.] (eds.). |
Berlin ;New York :Springer,c2006. |
2-2008
TP183-532
I613/2006/pt.2 |
| Artificial neural networks : ICANN 2007 : 17th
international conference, Porto, Portugal, September 9-13, 2007 :
proceedings. Part II / Joaquim Marques de Sá ... [et al.] (eds.). |
Berlin ; New York : Springer, c2007. |
2-2008
TP183-532
I614/2007/pt.2 |
| Neural information processing : 13th
international conference, ICONIP 2006, Hong Kong, China, October 3-6,
2006 : proceedings / Irwin King ... [et al.] (eds.). |
Berlin ; New York : Springer, c2006. |
2-2008
TP183-532
I615/2006 |
| Rough sets and intelligent systems paradigms :
international conference, RSEISP 2007, Warsaw, Poland, June 28-30, 2007
: proceedings / Marzena Kryszkiewicz ... [et al.] (eds.). |
Berlin ; New York : Springer, c2007. |
2-2008
TP183-532
R856/2007 |
| Sensor networks and configuration :
fundamentals, standards, platforms, and applications / Nitaigour P.
Mahalik (ed.). |
Berlin : Springer, c2007. |
2-2008
TP212
S478 |
| Advanced sensor systems and applications III :
12-14 November 2007, Beijing, China / Yun-Jiang Rao, Yanbiao Liao,
Gang-Ding Peng, editors ; sponsored by SPIE [and] COS--Chinese Optical
Society ; cooperating organizations, OSJ--Optical Society of Japan ...
[et al.] ; supporting organizations, CAST--China Association for Science
and Technology (China), NNSF--National Nature Science Foundation
(China), [and] the Ministry of Science and Technology (China). |
Bellingham, Washington : SPIE, c2008. |
2-2008
TP212-532
A244/2007 |
| Unmanned/unattended sensors and sensor
networks IV : 18-20 September 2007, Florence, Italy / Edward M.
Carapezza, editor ; sponsored by SPIE Europe ; cooperating
organizations, EMRSDTC--the Electro-Magnetic Remote Sensing Defence
Technology Centre (United Kingdom) ... [et al.]. |
Bellingham, Wash. : SPIE, c2007. |
2-2008
TP212-532
U58/2007 |
| Advanced materials and devices for sensing and
imaging III : 12-14 November 2007, Beijing, China / Anbo Wang, Yimo
Zhang, Yukihiro Ishii, editors ; sponsored by SPIE [and] COS--Chinese
Optical Society ; cooperating organizations, OSJ--Optical Society of
Japan ... [et al.] ; supporting organizations, CAST--China Association
for Science and Technology (China), NNSF--National Nature Science
Foundation (China) [and] the Ministry of Science and Technology (China)
; published by SPIE. |
Bellingham, Washington : SPIE, c2008. |
2-2008
TP212.14-532
A244/2007 |
| Fiber optic sensors and applications V : 10-12
September 2007, Boston, Massachusetts, USA / Eric Udd, editor ;
sponsored and published by SPIE. |
Bellingham, Wash. : Society of Photo-optical
Instrumentation Engineers, c2007. |
2-2008
TP212.14-532
F443/2007 |
| Binding and dissociation kinetics for
different biosensor applications using fractals / Ajit Sadana. |
Amsterdam ; London : Elsevier, c2006. |
2-2008
TP212.3
S124 |
| Advances in robot control : from everyday
physics to human-like movements / Sadao Kawamura, Mikhail Svinin (eds.). |
Berlin ; New York : Springer, 2006. |
2-2008
TP242
A244 |
| Structural synthesis of parallel robots. Part
1, Methodology / by Grigore Gogu. |
Dordrecht ; London : Springer, c2008. |
2-2008
TP242
G613/pt.1 |
| Control of interactive robotic interfaces : a
port-Hamiltonian approach / Cristian Secchi, Stefano Stramigioli, Cesare
Fantuzzi. |
Berlin ; New York : Springer, c2007. |
2-2008
TP242
S444 |
| Robot motion and control 2007 / Krzysztof Kozłowski
(ed.). |
London : Springer, c2007. |
2-2008
TP242-532
I611/2007 |
| RoboCup 2006 : Robot Soccer World Cup X /
Gerhard Lakemeyer ... [et al.] (eds.). |
Berlin ; New York : Springer, c2007. |
2-2008
TP242-532
R6661/2006 |
| Innovations in intelligent machines 1 / Javaan
Singh Chahl ... [et al.] (eds.). |
Berlin ; New York : Springer, c2007. |
2-2008
TP242.6
I58 |
| Mobile robots : the evolutionary approach /
Nadia Nedjah, Leandro dos Santos Coelho, Luiza de Macedo Mourelle
(eds.). |
Berlin : Springer, 2007. |
2-2008
TP242.6
M687 |
| Advanced control of industrial processes :
structures and algorithms / Piotr Tatjewski. |
London : Springer, c2007. |
2-2008
TP27
T219 |
| Control of singular systems with random abrupt
changes /El-Kébir Boukas. |
Berlin :Springer,c2008. |
2-2008
TP273
B762 |
| LMI approach to analysis and control of
Takagi-Sugeno fuzzy systems with time delay / Chong Lin ... [et al.]. |
Berlin ; New York : Springer, c2007. |
2-2008
TP273
L754 |
| Distributed consensus in multi-vehicle
cooperative control : theory and applications / Wei Ren and Randal W.
Beard. |
London : Springer, c2008. |
2-2008
TP273
R393 |
| Modelling and analysis of hybrid supervisory
systems : a petri net approach / Emilia Villani, Paulo E. Miyagi and
Robert Valette. |
London : Springer, c2007. |
2-2008
TP273
V716 |
| Mathematical methods for robust and nonlinear
control / Matthew C Turner, Declan G. Bates (eds.). |
Berlin ; New York : Springer, c2007. |
2-2008
TP273-532
M426 |
| Distributed computing and networking : 8th
international conference, ICDCN 2006, Guwahati, India, December 27-30,
2006 : proceedings / Soma Chaudhuri ... [et al.] (eds.). |
Berlin ; New York : Springer, c2006. |
2-2008
TP274-532
I61/2006 |
| Rough sets and current trends in computing :
5th international conference, RSCTC 2006, Kobe, Japan, November 6-8,
2006 : proceedings / Salvatore Greco ... [et al.] (eds.). |
Berlin ; New York : Springer, c2006. |
2-2008
TP274-532
R856/2006 |
| Process control performance assessment : from
theory to implementation / Andrzej W. Ordys, Damien Uduehi and Michael
A. Johnson (eds.) ; with Nina Thornhill ... [et al.]. |
London : Springer, c2007. |
2-2008
TP277
P963 |
| Contributions to ubiquitous computing / Bernd
J. Krämer, Wolfgang A. Halang (eds). |
Berlin : Springer, 2007. |
2-2008
TP3
C764 |
| The disappearing computer : interaction
design, system infrastructures and applications for smart environments /
Norbert Streitz, Achilles Kameas, Irene Mavrommati (eds.). |
Berlin ; New York : Springer, c2007. |
2-2008
TP3
D611 |
| Computing and combinatorics : 12th annual
international conference, COCOON 2006, Taipei, Taiwan, August 15-18,
2006 : proceedings / Danny Z. Chen, D.T. Lee (eds.). |
Berlin ; New York : Springer, c2006. |
2-2008
TP3-532
C738/2006 |
| Computer science -- theory and applications :
second International Symposium on Computer Science in Russia, CSR 2007,
Ekaterinburg, Russia, September 3-7, 2007 : proceedings / Volker
Diekert, Mikhail V. Volkov, Andrei Voronkov (eds.). |
Berlin ; New York : Springer, c2007. |
2-2008
TP3-532
I614/2007 |
| Computational science and its applications :
ICCSA 2007 : international conference, Kuala Lumpur, Malaysia, August
26-29, 2007 : proceedings. Part III / Osvaldo Gervasi, Marina L.
Gavrilova (eds.). |
New York : Springer, c2007. |
2-2008
TP3-532
I615/2007/pt.3 |
| Computational science--ICCS 2007 : 7th
international conference, Beijing, China, May 27-30, 2007 : proceedings.
Part III / Yong Shi ... [et al.] (eds.). |
Berlin ; New York : Springer, c2007. |
2-2008
TP3-532
I616/2007/pt.3 |
| Communities and technologies 2007 :
proceedings of the Third Communities and Technologies Conference,
Michigan State University 2007 / Charles Steinfeld ... [et al.] (eds.). |
London ; Springer, c2007. |
2-2008
TP3-532
I617/2007 |
| Logical foundations of computer science :
international symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007 :
proceedings / Sergei N. Artemov, Anil Nerode (eds.). |
Berlin ; New York : Springer, c2007. |
2-2008
TP3-532
L832/2007 |
| High performance computing on vector systems
2006 : proceedings of the High Performance Computing Center : Stuttgart,
March 2006 / Michael Resch ... [et al.], editors. |
Berlin ; New York : Springer, c2007. |
2-2008
TP3-532
T315/2006 |
| Fine- and coarse-grain reconfigurable
computing / Stamatis Vassiliadis, Dimitrios Soudris, editor. |
New York : Springer, 2007. |
2-2008
TP30
F495 |
| Theory and applications of relational
structures as knowledge instruments II : international workshops of COST
Action 274, TARSKI, 2002-2005 : selected revised papers / Harrie de
Swart ... [et al.] (eds.). |
Berlin ; New York : Springer, c2006. |
2-2008
TP301
T396/v.2 |
| XII CLAIO : operations research - applications
in business informatics and soft computing ; selected papers / Marx
Gomez, Baldoquin de la Pena (eds.). |
Aachen : Shaker, 2006. |
2-2008
TP301-532
C749/2004 |
| Distributed computing : 20th international
symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006 :
proceedings / Shlomi Dolev (ed.). |
Berlin : Springer, c2006. |
2-2008
TP301-532
D614/2006 |
| Distributed computing : 21st international
symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007 :
proceedings / Andrzej Pelc (ed.). |
Berlin ; New York : Springer, c2007. |
2-2008
TP301-532
D614/2007 |
| Stabilization, safety, and security of
distributed systems : 8th international symposium, SSS 2006, Dallas, TX,
USA, November 17-19, 2006 : proceedings / Ajoy K. Datta, Maria
Gradinariu (eds.). |
Berlin ; New York : Springer, c2006. |
2-2008
TP301-532
S465/2006 |
| Theorem proving in higher order logics : 20th
international conference, TPHOLs 2007, Kaiserslautern, Germany,
September 10-13, 2007 : proceedings / Klaus Schneider, Jens Brandt
(eds.). |
Berlin ; New York : Springer, c2007. |
2-2008
TP301-532
T396/2007 |
| Computer science logic : 21st international
workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne,
Switzerland, September 11-15, 2007 : proceedings / Jacques Duparc,
Thomas A. Henzinger (eds.). |
Berlin : Springer, c2007. |
2-2008
TP301-532
W926/2007 |
| Parsing techniques : a practical guide / Dick
Grune, Ceriel J.H. Jacobs. |
New York : Springer, c2008. |
2-2008
TP301.2
G891/2008 |
| Developments in language theory : 11th
international conference, DLT 2007, Turku, Finland, July 3-6, 2007 :
proceedings / Tero Harju, Juhani Karhumäki, Arto Lepistö
(eds.). |
Berlin ; New York : Springer, 2007. |
2-2008
TP301.2-532
C748/2007 |
| Grammatical inference : algorithms and
applications : 8th international colloquium, ICGI 2006, Tokyo, Japan,
September 20-22, 2006 : proceedings / Yasubumi Sakakibara ... [et al.]
(eds.). |
Berlin : Springer, 2006. |
2-2008
TP301.2-532
I61/2006 |
| Data streams : models and algorithms / edited
by Charu C. Aggarwal. |
New York : Springer, c2007. |
2-2008
TP301.6
D232 |
| Theoretical aspects of local search / Wil
Michiels, Emile Aarts, Jan Korst . |
Berlin ; New York : Springer, c2007. |
2-2008
TP301.6
M624 |
| Machine vision algorithms and applications /
Carsten Steger, Markus Ulrich, and Christian Wiedemann. |
Weinheim : Wiley-VCH, c2008. |
2-2008
TP301.6
S817 |
| Algorithmic aspects in information and
management : third international conference, AAIM 2007, Portland, OR,
USA, June 6-8, 2007 : proceedings / Ming-Yang Kao, Xiang-Yang Li (eds.). |
Berlin ; New York : Springer, c2007. |
2-2008
TP301.6-532
A396/2007 |
| Algebraic informatics : second international
conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007 : revised
selected and invited papers / Symeon Bozapalidis, George Rahonis (eds.). |
Berlin ; New York : Springer, c2007. |
2-2008
TP301.6-532
C748/2007 |
| Algebra and coalgebra in computer science :
second international conference, CALCO 2007, Bergen, Norway, August
20-24, 2007 : proceedings / Till Mossakowski, Ugo Montanari, Magne
Haveraaen (eds.). |
Berlin ; New York : Springer, c2007. |
2-2008
TP301.6-532
C7481/2007 |
| Algorithms - ESA 2006 :14th annual European
symposium, Zurich, Switzerland, September 11-13, 2006 : proceedings
/Yossi Azar, Thomas Erlebach (eds.) |
Berlin ;New York :Springer,c2006. |
2-2008
TP301.6-532
E89/2006 |
| Frontiers in algorithmics : first annual
international workshop, FAW 2007, Lanzhou, China, August 1-3, 2007 :
proceedings / Franco P. Preparata, Qizhi Fang (eds.). |
Berlin ; New York : Springer, c2007. |
2-2008
TP301.6-532
F935/2007 |
| Fun with algorithms : 4th international
conference, FUN 2007, Castiglioncello, Italy, June 3-5, 2007 :
proceedings / Pierluigi Crescenzi, Giuseppe Prencipe, Geppino Pucci
(eds.). |
Berlin ; New York : Springer, c2007. |
2-2008
TP301.6-532
F979/2007 |
| High performance computing and communications
: second international conference, HPCC 2006, Munich, Germany, September
13-15, 2006 : proceedings / Michael Gerndt, Dieter Kranzlmüller (eds.). |
Berlin : Springer, c2006. |
2-2008
TP301.6-532
H638/2006 |
| Relations and Kleene algebra in computer
science :9th International Conference on Relational Methods in Computer
Science and 4th International Workshop on Applications of Kleene
Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 :
proceedings /Renate A. Schmidt (ed.). |
Berlin ;New York :Springer,c2006. |
2-2008
TP301.6-532
I61/2006 |
| Parameterized and exact computation :second
international workshop, IWPEC 2006, Zürich, Switzerland, September
13-15, 2006 : proceedings /Hans L. Bodlaender, Michael A. Langston
(eds.). |
Berlin ;New York :Springer,c2006. |
2-2008
TP301.6-532
I612/2006 |
| Approximation, randomization and combinatorial
optimization : algorithms and techniques : 9th International Workshop on
Approximation Algorithms for Combinatorial Optimization Problems, APPROX
2006, and 10th International Workshop on Randomization and Computation,
RANDOM 2006, Barcelona, Spain, August 28-30, 2006 : proceedings / Josep
Díaz ... [et al.] (eds.). |
Berlin ; New York : Springer, c2006. |
2-2008
TP301.6-532
I614/2006 |
| Approximation, randomization, and
combinatorial optimization : algorithms and techniques : 10th
international workshop, APPROX 2007 and 11th international workshop,
RANDOM 2007, Princeton, NJ, USA, August 20-22, 2007 : proceedings /
Moses Charikar ... [et al.] (eds.). |
Berlin ; New York : Springer, c2007. |
2-2008
TP301.6-532
I614/2007 |
| High Performance Computing--HiPC 2006 :13th
International Conference Bangalore, India, December 18-21, 2006 :
proceedings /Yves Robert ... [et al.] (eds.). |
Berlin ;New York :Springer,2006. |
2-2008
TP301.6-532
I615/2006 |
| Frontiers of high performance computing and
networking : ISPA 2007 workshops : ISPA 2007 international workshops,
SSDSN, UPWN, WISH, SGC, ParDMCom, HiPCoMB, and IST-AWSN, Niagara Falls,
Canada, August 29-31, 2007 : proceedings / Parimala Thulasiraman ... [et
al.] (eds.). |
Berlin ; New York : Springer, c2007. |
2-2008
TP301.6-532
I616/2007 |
| Petri nets and other models of concurrency :
ICATPN 2007 : 28th International Conference on Applications and Theory
of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce,
Poland, June 25-29, 2007 : proceedings / Jetty Kleijn, Alex Yakovlev
(eds.). |
Berlin ; New York : Springer, c2007. |
2-2008
TP301.6-532
I617/2007 |
| Mathematical foundations of computer science
2006 : 31th international symposium, MFCS 2006, Stará Lesná, Slovakia,
August 28-September 1, 2006 : proceedings / Rastislav Královič,
Paweł Urzyczyn (eds.). |
Berlin ; New York : Springer, c2006. |
2-2008
TP301.6-532
S989/2006 |
| Mathematical foundations of computer science
2007 : 32nd international symposium, MFCS 2007, Český
Krumlov, Czech Republic, August 26-31, 2007 : proceedings / Luděk Kučera,
Antonín Kučera (eds.). |
Berlin ; New York : Springer-Verlag, c2007. |
2-2008
TP301.6-532
S989/2007 |
| Combinatorial pattern matching : 18th annual
symposium, CPM 2007, London, Canada, July 9-11, 2007 : proceedings / Bin
Ma, Kaizhong Zhang (eds.). |
Berlin ; New York : Springer, c2007. |
2-2008
TP301.6-532
S9891/2007 |
| Theoretical advances and applications of fuzzy
logic and soft computing / Oscar Castillo ... [et al.] (eds.). |
Berlin ; New York : Springer, 2007. |
2-2008
TP301.6-532
T396 |
| Experimental algorithms : 6th international
workshop, WEA 2007, Rome, Italy, June 6-8, 2007 : proceedings / Camil
Demetrescu (ed.). |
Berlin : Springer, c2007. |
2-2008
TP301.6-532
W9261/2007 |
| Foundations of genetic algorithms : 9th
international workshop, FOGA 2007, Mexico City, Mexico, January 8-11,
2007 : revised selected papers / Christopher R. Stephens ... [et al.]
(eds.). |
Berlin ; New York : Springer, c2007. |
2-2008
TP301.6-532
W9262/2007 |
| Advanced information systems engineering :
19th international conference, CAiSE 2007, Trondheim, Norway, June
11-15, 2007 : proceedings / John Krogstie, Andreas Opdahl, Guttorm
Sindre (eds.). |
Berlin ; New York : Springer, c2007. |
2-2008
TP302-532
C738/2007 |
| Distributed embedded control systems :
improving dependability with coherent design / Matjaž Colnarič,
Domen Verber, Wolfgang A. Halang. |
London : Springer, c2008. |
2-2008
TP302.1
C717 |
| Interactive computation : the new paradigm /
Dina Goldin, Scott A. Smolka, Peter Wegner (eds.). |
Berlin ; New York : Springer, c2006. |
2-2008
TP302.1
I61 |
| Real-time applications with stochastic task
execution times : analysis and optimisation / by Sorin Manolache, Petru
Eles, and Zebo Peng. |
Dordrecht : Springer, c2007. |
2-2008
TP302.1
M285 |
| Co-design for system acceleration : a
quantitative approach / Nadia Nedjah, Luiza de Macedo Mourelle. |
Dordrecht : Springer, c2007. |
2-2008
TP302.1
N371 |
| Auralization : fundamentals of acoustics,
modelling, simulation, algorithms and acoustic virtual reality / Michael
Vorländer. |
Berlin : Springer, c2008. |
2-2008
TP302.1
V953 |
| Model checking and artificial intelligence :
4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006 :
revised selected and invited papers / Stefan Edelkamp, Alessio Lomuscio
(eds.). |
Berlin ; New York : Springer, c2007. |
2-2008
TP302.1-532
M689/2007 |
| Computational logic in multi-agent systems :
7th international workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006 :
revised selected and invited papers / Katsumi Inoue, Ken Satoh,
Francesca Toni (eds.). |
Berlin ; New York : Springer, c2007. |
2-2008
TP302.2-532
C738/2006 |
| Dependable systems : software, computing,
networks : research results of the DICS program / Jürg Kohlas, Bertrand
Meyer, André Schiper (eds.). |
Berlin ; New York : Springer, c2006. |
2-2008
TP302.7
D419 |
| Formal methods and stochastic models for
performance evaluation : Fourth European Performance Engineering
Workshop, EPEW 2007, Berlin, Germany, September, 2007 : proceedings /
Katinka Wolter (ed.). |
Berlin ; New York : Springer, c2007. |
2-2008
TP302.7-532
E89/2007 |
| Computer vision, graphics and image processing
: 5th Indian conference, ICVGIP 2006, Madurai, India, December 13-16,
2006 : proceedings / Prem Kalra, Shmuel Peleg (eds.). |
Berlin ; New York : Springer, c2006. |
2-2008
TP302.7-532
I39/2006 |
| The core test wrapper handbook : rationale and
application of IEEE std. 1500 / by Francisco da Silva, Teresa McLaurin,
Tom Waayers. |
New York, NY : Springer, c2006. |
2-2008
TP303
|