Results of search for 'ccl=Provider:Springer'

Results
	20761.	Typed lambda calculi and applications [electronic resource] : 8th international conference, TLCA 2007, Paris, France, June 26-28, 2007 ; proceedings / Simona Ronchi della Rocca (ed.). by International Conference on Typed Lambda Calculi and Applications (8th : 2007 : Paris, France) Ronchi Della Rocca, S. (Simona) SpringerLink (Online service) Series: Lecture notes in computer science ; 4583 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Other title: TLCA 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	20762.	Smart graphics [electronic resource] : 8th international symposium, SG 2007, Kyoto, Japan, June 25-27, 2007 : proceedings / Andreas Butz ... [et al.] (eds.). by International Symposium on Smart Graphics (8th : 2007 : Kyoto, Japan) Butz, Andreas SpringerLink (Online service) Series: Lecture notes in computer science ; 4569 \| LNCS sublibrary. SL 6, Image processing, computer vision, pattern recognition, and graphics Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Other title: SG 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	20763.	Distributed computing in sensor systems [electronic resource] : third IEEE international conference, DCOSS 2007, Santa Fe, NM, USA, June 18-20, 2007 : proceedings / James Aspnes ... [et al.] (eds.). by DCOSS 2007 (2007 : Santa Fe, N.M.) Aspnes, James SpringerLink (Online service) Series: Lecture notes in computer science ; 4549 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Other title: DCOSS 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	20764.	Bio-inspired modeling of cognitive tasks. Part 1 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 [electronic resource] / Jose Mira, Jose R. Alvarez (eds.). by International Work-Conference on the Interplay between Natural and Artificial Computation (2nd : 2007 : Manga del Mar Menor, Spain) Mira, J. (Jose) Alvarez, Jose R. (Jose Ramon), 1965- SpringerLink (Online service) Series: Lecture notes in computer science ; 4527-4528 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	20765.	Pervasive computing for quality of life enhancement [electronic resource] : 5th International Conference on Smart Homes and Health Telematics, ICOST 2007, Nara, Japan, June 21-23, 2007 : proceedings / Takeshi Okadome, Tatsuya Yamazaki, Mounir Makhtari (eds.). by International Conference on Smart Homes and Health Telematics (5th : 2007 : Nara-shi, Japan) Okadome, Takeshi Yamazaki, Tatsuya Makhtari, Mounir SpringerLink (Online service) Series: Lecture notes in computer science ; 4541 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Other title: 5th International Conference on Smart Homes and Health Telematics Fifth International Conference on Smart Homes and Health Telematics International Conference on Smart Homes and Health Telematics ICOST 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	20766.	Requirements engineering, foundation for software quality [electronic resource] : 13th international working conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007 : proceedings / Pete Sawyer, Barbara Paech, Patrick Heymans (eds.). by REFSQ 2007 (2007 : Trondheim, Norway) Sawyer, Pete (Pete H.), 1958- Paech, Barbara Heymans, Patrick SpringerLink (Online service) Series: Lecture notes in computer science ; 4542 \| LNCS sublibrary. SL 2, Programming and software engineering Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Other title: REFSQ 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	20767.	Structural information and communication complexity [electronic resource] : 14th international colloquium, SIROCCO 2007, Castiglioncello, Italy, June 5-8, 2007 : proceedings / Giuseppe Prencipe, Shmuel Zaks (eds.). by Colloquium on Structural Information and Communication Complexity (14th : 2007 : Castiglioncello, Italy) Prencipe, Giuseppe, 1972- Zaks, Shmuel, 1949- SpringerLink (Online service) Series: Lecture notes in computer science ; 4474 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Other title: SIROCCO 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	20768.	Functional imaging and modeling of the heart [electronic resource] : 4th international conference, FIMH 2007, Salt Lake City, UT, USA, June 7-9, 2007 : proceedings / Frank B. Sachse, Gunnar Seemann (eds.). by FIMH 2007 (2007 : Salt Lake City, Utah) Sachse, Frank B Seemann, Gunnar SpringerLink (Online service) Series: Lecture notes in computer science ; 4466 \| LNCS sublibrary. SL 6, Image processing, computer vision, pattern recognition, and graphics Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Other title: FIMH 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	20769.	Pattern recognition and image analysis [electronic resource] : third Iberian conference, IbPRIA 2007, Girona, Spain, June 6-8, 2007 : proceedings / Joan Marti ... [et al.] (eds.). by IbPRIA 2007 (2007 : Girona, Spain) Marti, Joan, 1963- SpringerLink (Online service) Series: Lecture notes in computer science ; 4477-4478 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Other title: IbPRIA 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	20770.	Pattern recognition and image analysis [electronic resource] : third Iberian conference, IbPRIA 2007, Girona, Spain, June 6-8, 2007 : proceedings / Joan Marti ... [et al.] (eds.). by IbPRIA 2007 (2007 : Girona, Spain) Marti, Joan, 1963- SpringerLink (Online service) Series: Lecture notes in computer science ; 4477-4478 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Other title: IbPRIA 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	20771.	Autonomous intelligent systems : agents and data mining : second international workshop, AIS-ADM 2007, St. Petersburg, Russia, June 3-5, 2007 : proceedings [electronic resource] / Vladimir Gorodetsky ... [et al.] (eds.). by AIS-ADM 2007 (2007 : Saint Petersburg, Russia) Gorodetski, Vladimir I, 1937- SpringerLink (Online service) Series: Lecture notes in computer science ; 4476. \| Lecture notes in computer science. Lecture notes in artificial intelligence. Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Other title: Agents and data mining AIS-ADM 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	20772.	Scale space and variational methods in computer vision [electronic resource] : first international conference, SSVM 2007, Ischia, Italy, May 30 - June 2, 2007 : proceedings / Fiorella Sgallari, Almerico Murli, Nikos Paragios (eds.). by SSVM 2007 (2007 : Ischia, Italy) Sgallari, Fiorella Murli, A. (Almerico), 1936- Paragios, Nikos SpringerLink (Online service) Series: Lecture notes in computer science ; 4485 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Other title: SSVM 2007. In: Springer e-books Online resources: Click here to access online Availability: No items available.
	20773.	Optical network design and modeling [electronic resource] : 11th International IFIP-TC6 Conference, ONDM 2007, Athens, Greece, May 29-31, 2007 : proceedings / Ioannis Tomkos ... [et al.] (eds.). by International Working Conference on Optical Network Design and Modelling (11th : 2007 : Athens, Greece) Tomkos, Ioannis International Federation for Information Processing. Technical Committee 6 SpringerLink (Online service) Series: Lecture notes in computer science ; 4534 \| LNCS sublibrary. SL 5, Computer communication networks and telecommunications Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Other title: ONDM 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	20774.	Network control and optimization [electronic resource] : first EuroFGI international conference, NET-COOP 2007, Avignon, France, June 5-7, 2007 : proceedings / Tijani Chahed, Bruno Tuffin (eds.). by NET-COOP 2007 (2007 : Avignon, France) Chahed, Tijani Tuffin, Bruno EuroNGI SpringerLink (Online service) Series: Lecture notes in computer science ; 4465 \| LNCS sublibrary. SL 5, Computer communication networks and telecommunications Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Other title: NET-COOP 2007 Network congestion control and optimization In: Springer e-books Online resources: Click here to access online Availability: No items available.
	20775.	NETWORKING 2007 [electronic resource] : ad hoc and sensor networks, wireless networks, next generation internet : 6th International IFIP-TC6 Networking Conference, Atlanta, GA, USA, May 14-18, 2007 : proceedings / Ian F. Akyildiz ... [et al.] (eds.). by International IFIP-TC6 Networking Conference (6th : 2007 : Atlanta, Ga.) Akyildiz, Ian Fuat International Federation for Information Processing. Technical Committee 6 SpringerLink (Online service) Series: Lecture notes in computer science ; 4479 \| LNCS sublibrary. SL 5, Computer communication networks and telecommunications Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Other title: Ad hoc and sensor networks, wireless networks, next generation internet 6th International IFIP-TC6 Networking Conference Sixth International IFIP-TC6 Networking Conference International IFIP-TC6 Networking Conference In: Springer e-books Online resources: Click here to access online Availability: No items available.
	20776.	Computational science -- ICCS 2007 [electronic resource] : 7th international conference, Beijing, China, May 27-30, 2007 : proceedings / Yong Shi ... [et al.] (eds.). by ICCS 2007 (2007 : Beijing, China) Shi, Yong, 1956- SpringerLink (Online service) Series: Lecture notes in computer science ; 4487-4490 \| LNCS sublibrary. SL 1, Theoretical computer science and general issues Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Other title: ICCS 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	20777.	Computational science -- ICCS 2007 [electronic resource] : Part III: 7th international conference, Beijing, China, May 27-30, 2007 : proceedings / Yong Shi ... [et al.] (eds.). by ICCS 2007 (2007 : Beijing, China) Shi, Yong, 1956- SpringerLink (Online service) Series: Lecture notes in computer science ; 4487-4490 \| LNCS sublibrary. SL 1, Theoretical computer science and general issues Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Other title: ICCS 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	20778.	Computational science -- ICCS 2007 [electronic resource] : Part II: 7th international conference, Beijing, China, May 27-30, 2007 : proceedings / Yong Shi ... [et al.] (eds.). by ICCS 2007 (2007 : Beijing, China) Shi, Yong, 1956- SpringerLink (Online service) Series: Lecture notes in computer science ; 4487-4490 \| LNCS sublibrary. SL 1, Theoretical computer science and general issues Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Other title: ICCS 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	20779.	Computational science -- ICCS 2007 [electronic resource] : Part I: 7th international conference, Beijing, China, May 27-30, 2007 : proceedings / Yong Shi ... [et al.] (eds.). by ICCS 2007 (2007 : Beijing, China) Shi, Yong, 1956- SpringerLink (Online service) Series: Lecture notes in computer science ; 4487-4490 \| LNCS sublibrary. SL 1, Theoretical computer science and general issues Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Other title: ICCS 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	20780.	Theory and applications of models of computation [electronic resource] : 4th international conference, TAMC 2007, Shanghai, China, May 22-25, 2007 : proceedings / Jin-Yi Cai, S. Barry Cooper, Hong Zhu (eds.). by TAMC 2007 (2007 : Shanghai, China) Cai, Jin-yi, 1961- Cooper, S. B. (S. Barry) Zhu, Hong, 1961- SpringerLink (Online service) Series: Lecture notes in computer science ; 4484 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Other title: Models of computation TAMC 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.