Search for 'Provider:Springer, and se:Lecture notes in computer science'

Distributed computing by mobile entities : current research in moving and computing

By Flocchini, Paola. Cham : Springer, 2019 . x, 681 p. ; 23 cm. 9783030110710

Place Hold on Distributed computing by mobile entities : current research in moving and computing

Algorithms and discrete applied mathematics : 9th International Conference, CALDAM 2023, Gandhinagar, India, February 9-11, 2023, proceedings

By Bagchi, Amitabha. Cham : Springer, 2023 . xvii, 462 p. ; 24 cm. 9783031252105

Place Hold on Algorithms and discrete applied mathematics : 9th International Conference, CALDAM 2023, Gandhinagar, India, February 9-11, 2023, proceedings

Information systems security: 6th international conference, ICISS 2010, gandhinagar, india, december 2010 proceedings

By Jha, Somesh. Springer Berlin Heidelberg, 2010 . xiv, 260 p. ; 24 cm. 9783642177132

Place Hold on Information systems security: 6th international conference, ICISS 2010, gandhinagar, india, december 2010 proceedings

Topics in cryptology - CT-RSA 2016 : the Cryptographers' Track at the RSA Conference 2016 San Francisco, CA, USA, February 29 - March 4, 2016, Proceedings

By Sako, Kazue. Berlin Springer 2016 . xi, 464 p. 24 cm.. 9783319294841

Place Hold on Topics in cryptology - CT-RSA 2016 : the Cryptographers' Track at the RSA Conference 2016 San Francisco, CA, USA, February 29 - March 4, 2016, Proceedings

Energy Minimization Methods in Computer Vision and Pattern Recognition : 10th International Conference, EMMCVPR 2015, Hong Kong, China, January 13-16, 2015, Proceedings

By Tai, Xue-Cheng. Switzerland: Springer, 2015 . x, 506 p.; 24 cm.. 9783319146119

Place Hold on Energy Minimization Methods in Computer Vision and Pattern Recognition : 10th International Conference, EMMCVPR 2015, Hong Kong, China, January 13-16, 2015, Proceedings

Search Computing : Broadening Web Search

By Ceri, Stefano. Heidelberg: Springer, 2012 . xii, 254 p.; 24 cm.. 9783642342127

Place Hold on Search Computing : Broadening Web Search

Foundations of security analysis and design VI : FOSAD tutorial lectures

By Aldini, Alessandro. Berlin: Springer, 2011 . vi, 274 p.; 24 cm.. 9783642230813

Place Hold on Foundations of security analysis and design VI : FOSAD tutorial lectures

Languages : From Formal to Natural : Essays Dedicated to Nissim Francez on the Occasion of his 65th Birthday

By Grumberg, Orna. Berlin: Springer, 2009 . x, 244 p.; 24 cm.. 9783642017476

Place Hold on Languages : From Formal to Natural : Essays Dedicated to Nissim Francez on the Occasion of his 65th Birthday

Cray X-MP/Model 24 : a case study in pipelined architecture and vector processing

By Robbins, Kay A.. New York: Springer, 1989 . vi, 165 p.; 24 cm.. 9780387970899

Place Hold on Cray X-MP/Model 24 : a case study in pipelined architecture and vector processing

Information systems security : 6th international conference, ICISS 2010, Gandhinagar, India, December 17-19, 2010. proceedings

By Mathuria, Anish. Berlin: Springer, 2010 . xiv, 260 p.; 24 cm.. 9783642177132

Place Hold on Information systems security : 6th international conference, ICISS 2010, Gandhinagar, India, December 17-19, 2010. proceedings

Advances in Web Semantics I : Ontologies, Web Services and Applied Semantic Web

By Dillon, Tharam S.. Berlin: Springer, 2008 . viii, 395 p.; 24 cm.. 9783540897835

Place Hold on Advances in Web Semantics I : Ontologies, Web Services and Applied Semantic Web

Multimodal corpora : from models of natural interaction to systems and applications

By Kipp, Michael. Berlin: Springer, 2009 . x, 221 p.; 24 cm.. 9783642047923

Place Hold on Multimodal corpora : from models of natural interaction to systems and applications

Programming constraint services : high-level programming of standard and new constraint services

By Schulte, Christian. Berlin: Springer, 2007 . xii, 176 p.; 24 cm.. 9783540433712

Place Hold on Programming constraint services : high-level programming of standard and new constraint services

Advances in computing and information--ICCI '91

By Fiala, F. . Berlin: Springer, 1991 . viii, 744 p.; 24 cm.. 9783540540298

Place Hold on Advances in computing and information--ICCI '91

Modern cryptology : a tutorial

By Brassard, Gilles. New York: Springer, 1988 . vi, 107 p.; 24 cm.. 9780387968421

Place Hold on Modern cryptology : a tutorial

Aspects of molecular computing : essays dedicated to Tom Head on the occasion of his 70th birthday

By Paun, Gheorghe. Berlin: Springer, 2004 . xi, 389 p.; 24 cm.. 9783540207818

Place Hold on Aspects of molecular computing : essays dedicated to Tom Head on the occasion of his 70th birthday

Formal and natural computing : essays dedicated to Grzegorz Rozenberg

By Brauer, Wilfri. Berlin: Springer, 2002 . xxxvi, 429 p.; 24 cm.. 354043190X

Place Hold on Formal and natural computing : essays dedicated to Grzegorz Rozenberg

Group theoretical methods in image processing

By Lenz, Reiner. Berlin: Springer, 1990 . viii, 138 p.; 24 cm.. 9783540522904

Place Hold on Group theoretical methods in image processing

Empirical Software Engineering Issues : Critical Assessment and Future Directions : International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006 : Revised Papers

By Basili, Victor R.. Berlin: Springer, 2007 . xvii, 192 p.; 24 cm.. 9783540713005

Place Hold on Empirical Software Engineering Issues : Critical Assessment and Future Directions : International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006 : Revised Papers

Public Key Cryptography : 4th International Workshop on Practice and Theory in Public Key Cryptosystems, PKC 2002, Paris, France, February 12-14, 2002 : Proceedings

By Naccache, David. Berlin: Springer-Verlag, 2002 . xi, 383 p.; 24 cm.. 3540431683

Place Hold on Public Key Cryptography : 4th International Workshop on Practice and Theory in Public Key Cryptosystems, PKC 2002, Paris, France, February 12-14, 2002 : Proceedings

STACS 95 : 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995 : proceedings

By Mayr, Ernst W. . Berlin: Springer, 1995 . xiii, 654 p.; 24 cm.. 9783540590422

Place Hold on STACS 95 : 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995 : proceedings

Logics for concurrency : structure versus automata

By Moller, Faron. Berlin: Springer, 1996 . xi, 266 p.; 24 cm.. 9783540609155

Place Hold on Logics for concurrency : structure versus automata

Innovative Internet Community Systems : 5th International Workshop, IICS 2005, Paris, France, June 20-22, 2005. Revised Papers

By Bui, Marc. Berlin: Springer, 2006 . viii, 206 p.; 24 cm.. 9783540339731

Place Hold on Innovative Internet Community Systems : 5th International Workshop, IICS 2005, Paris, France, June 20-22, 2005. Revised Papers

Multilingual Information Access for Text, Speech and Images : Fifth Workshop of the Cross-Language Evaluation Forum, CLEF 2004, Bath, UK, September 15-17, 2004 : revised selected papers

By Peters, Carol. New York: Springer, 2005 . xvi, 845 p.; 23 cm.. 9783540274209

Place Hold on Multilingual Information Access for Text, Speech and Images : Fifth Workshop of the Cross-Language Evaluation Forum, CLEF 2004, Bath, UK, September 15-17, 2004 : revised selected papers

Networking and Mobile Computing : Third International Conference, ICCNMC 2005, Zhangjiajie, China, August 2-4, 2005 : Proceedings

By Zhao, Wei. New York: Springer, 2005 . xxiv, 1299; 23 cm.. 3540281029

Place Hold on Networking and Mobile Computing : Third International Conference, ICCNMC 2005, Zhangjiajie, China, August 2-4, 2005 : Proceedings

Model checking software : twelfth International SPIN Workshop, San Franscisco, CA, USA, August 22-24, 2005 : proceedings

By Godefroid, Patrick. Berlin: Springer, 2005 . xi, 287 p.; 23 cm.. 3540281959

Place Hold on Model checking software : twelfth International SPIN Workshop, San Franscisco, CA, USA, August 22-24, 2005 : proceedings

Formal Techniques for Computer Systems and Business Processes : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings

By Bravetti, Mario. New York: Springer, 2005 . xiii, 348 p.; 24 cm.. 3540287019

Place Hold on Formal Techniques for Computer Systems and Business Processes : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings

Model-based testing of reactive systems

By Jonsson, Bengt. Berlin: Springer, 2005 . viii, 659 p.; 24 cm.. 3540262784

Place Hold on Model-based testing of reactive systems

Principles of Distributed Systems : Eighth International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004 : revised selected papers

By Higashino, Teruo. New York: Springer, 2005 . xii, 460 p.; 24 cm.. 9783540273240

Place Hold on Principles of Distributed Systems : Eighth International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004 : revised selected papers

Reasoning Web : First International Summer School 2005, MSIDA, Malta, July 25-29, 2005, tutorial lectures

By Eisinger, Norbert. Berlin: Springer, 2005 . vii, 317 p.; 24 cm.. 9783540278283

Place Hold on Reasoning Web : First International Summer School 2005, MSIDA, Malta, July 25-29, 2005, tutorial lectures

Ubiquitous Computing Systems : Second International Symposium, UCS Tokyo, Japan, November 8-9, 2004 ; revised selected papers

By Murakami, Hitomi. New York: Springer, 2005 . xiii, 274 p.; 24 cm.. 9783540278931

Place Hold on Ubiquitous Computing Systems : Second International Symposium, UCS Tokyo, Japan, November 8-9, 2004 ; revised selected papers

Web Engineering : Fifth International Conference, ICWE 2005, Sydney, Australia, July 27-29, 2005 ; proceedings

By Lowe, David. Berlin: Springer, 2005 . xxii, 633 p.; 24 cm.. 9783540279969

Place Hold on Web Engineering : Fifth International Conference, ICWE 2005, Sydney, Australia, July 27-29, 2005 ; proceedings

Theorem Proving in Higher Order Logics : Eighteenth International Conference, TPHOLS 2005, Oxford, UK, August 22-25, 2005 ; proceedings

By Hurd, Joe. New York: Springer, 2005 . ix, 408 p.; 24 cm.. 9783540283720

Place Hold on Theorem Proving in Higher Order Logics : Eighteenth International Conference, TPHOLS 2005, Oxford, UK, August 22-25, 2005 ; proceedings

Software reuse : methods, techniques, and tools : seventh international conference, ICSR-7, Austin, TX, USA, April 15-19, 2002 : proceedings

By Gacek, Cristina. Berlin: Springer, 2002 . xi, 352 p.; 24 cm.. 9783540434832

Place Hold on Software reuse : methods, techniques, and tools : seventh international conference, ICSR-7, Austin, TX, USA, April 15-19, 2002 : proceedings

Applied Computing : Second Asian Applied Computing Conference, AACC 2004, Kathmandu, Nepal, October 29-31, 2004 ; proceedings

By Suresh, Manandhar. Berlin: Springer-Verlag, 2004 . xii, 334 p.; 23 cm.. 9783540236597

Place Hold on Applied Computing : Second Asian Applied Computing Conference, AACC 2004, Kathmandu, Nepal, October 29-31, 2004 ; proceedings

Automated Technology for Verification and Analysis : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings

By Wang, Farn. Berlin: Springer, 2004 . xii, 506 p.; 23 cm.. 9783540236108

Place Hold on Automated Technology for Verification and Analysis : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings

Privacy enhancing technologies : 4th International Workshop, PET 2004, Toronto, Canada, May 26-28, 2004; revised selected papers

By Martin, David. Berlin: Springer, 2005 . viii, 343 p.; 24 cm.. 3540262032

Place Hold on Privacy enhancing technologies : 4th International Workshop, PET 2004, Toronto, Canada, May 26-28, 2004; revised selected papers

Semantic Web : Research and Applications : Second European Semantic Web Conference, ESWC 2005 Heraklion, Crete, Greece, May/June 2005 ; proceedings

By Gomez-Perez, Asuncion. Berlin: Springer, 2005 . xv, 728 p.; 24 cm.. 9783540261249

Place Hold on Semantic Web : Research and Applications : Second European Semantic Web Conference, ESWC 2005 Heraklion, Crete, Greece, May/June 2005 ; proceedings

Pattern Recognition and Image Analysis : Second Iberian Conference, IBPRIA 2005, Estoril, Portugal, June 7-9, 2005, proceedings, part I

By Marques, Jorge S. . Berlin: Springer, 2005 . xxv, 703 p.; 23 cm.. 9783540261537

Place Hold on Pattern Recognition and Image Analysis : Second Iberian Conference, IBPRIA 2005, Estoril, Portugal, June 7-9, 2005, proceedings, part I

Context : Nature, Impact, and Role : Fifth International Conference on Conceptions of Library and Information Sciences, CoLIS 2005 Glasgow, UK, June 4-8, 2005; proceedings

By Crestani, Fabio. Berlin: Springer, 2005 . xiii, 250 p.; 24 cm.. 9783540261780

Place Hold on Context : Nature, Impact, and Role : Fifth International Conference on Conceptions of Library and Information Sciences, CoLIS 2005 Glasgow, UK, June 4-8, 2005; proceedings

Applied Cryptography and Network Security : Third International Conference, ACNS 2005, New York, NY, USA, June 7-10, 2005 : proceedings

By Ioannidis, John. Berlin: Springer, 2005 . xi, 530 p.; 24 cm.. 9783540262237

Place Hold on Applied Cryptography and Network Security : Third International Conference, ACNS 2005, New York, NY, USA, June 7-10, 2005 : proceedings

Scientific Applications of Grid Computing : First International Workshop, SAG 2004, Beijing, China, September 2004 ; revised slected and invited papers

By Herrero, Pilar. Berlin: Springer, 2005 . x, 208 p.; 23 cm.. 9783540258100

Place Hold on Scientific Applications of Grid Computing : First International Workshop, SAG 2004, Beijing, China, September 2004 ; revised slected and invited papers

Rapid Integration of Software Engineering Techniques : First International Workshop, rise 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004. Revised selected papers

By Guelfi, Nicolas. New York: Springer, 2005 . x, 143 p.; 24 cm.. 9783540258124

Place Hold on Rapid Integration of Software Engineering Techniques : First International Workshop, rise 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004. Revised selected papers

Web and wireless geographical information systems : 4th international workshop, W2GIS 2004, Goyang, Korea, November 26-27, 2004, revised selected papers

By Kwon, Yong-Jin. Berlin: Springer, 2005 . xii, 253 p.; 24 cm.. 3540260048

Place Hold on Web and wireless geographical information systems : 4th international workshop, W2GIS 2004, Goyang, Korea, November 26-27, 2004, revised selected papers

Location-and Context-Awareness : First International Workshop, LOCA 2005, Oberpfaffenhofen, Germany, May 12-13, 2005; proceedings

By Strang, Thomas. Berlin: Springer, 2005 . xii, 376 p.; 24 cm.. 9783540258964

Place Hold on Location-and Context-Awareness : First International Workshop, LOCA 2005, Oberpfaffenhofen, Germany, May 12-13, 2005; proceedings

Trust Management : Third International Conference, iTrust 2005 Paris, France, May 23-26, 2005 ; proceedings

By Herrmann, Peter. Berlin: Springer, 2005 . xii, 426 p.; 24 cm.. 9783540260424

Place Hold on Trust Management : Third International Conference, iTrust 2005 Paris, France, May 23-26, 2005 ; proceedings

Software engineering and middleware : fourth international workshop, SEM 2004, Linz, Austria, September 20-21, 2004 ; revised selected papers

By Mascolo, Cecilia. Berlin: Springer, 2005 . x, 244 p.; 24 cm.. 3540253289

Place Hold on Software engineering and middleware : fourth international workshop, SEM 2004, Linz, Austria, September 20-21, 2004 ; revised selected papers

Job Scheduling Strategies For Parallel Processing : Tenth International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004 ; revised selected papers

By Rudolph, Larry. Berlin: Springer, 2005 . viii, 315 p.; 24 cm.. 9783540253303

Place Hold on Job Scheduling Strategies For Parallel Processing : Tenth International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004 ; revised selected papers

Dependable Computing EDCC 2005 : fifth European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005 ; proceedings

By Dal Cin, MArio. Berlin: Springer, 2005 . xvi, 472 p.; 24 cm.. 9783540257233

Place Hold on Dependable Computing EDCC 2005 : fifth European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005 ; proceedings

Formal methods for mobile computing : fifth International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 ; advanced lectures

By Bogliolo, Alessandro. Berlin: Springer, 2005 . vi, 270 p.; 24 cm.. 9783540256977

Place Hold on Formal methods for mobile computing : fifth International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 ; advanced lectures