AIT Library Search for 'se,phr:"Lecture notes in computer science ;"'

7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings /

Berlin : Springer, 1984 .
508 p.

]]> Place hold on 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings /

8th International Conference on Automated Deduction, Oxford, England, July 27-August 1, 1986 : proceedings /

Berlin : Springer, 1986 .
708 p. , Spine title: CADE-8

]]> Place hold on 8th International Conference on Automated Deduction,

9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988 : proceedings /

Berlin : Springer, 1988 .
775 p.

]]> Place hold on 9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988 : proceedings /

10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990 : proceedings /

]]> Berlin : Springer, 1990 .
688 p. 3540528857

]]> Place hold on 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990 : proceedings /

Abstract software specification : 1979 Copenhagen Winter School, January 22 - February 2, 1979 : proceeding /

Berlin : Springer-Verlag, 1980 .
566 p. , Sponsored by the Commission of the European Communities and others

]]> Place hold on Abstract software specification :

Active networks : IFIP-TC6 Third International Working Conference, IWAN 2001, Philadelphia, PA, USA, September 30-October 2, 2001 : proceedings /

]]> Berlin : Springer, 2001 .
163 p. 3540426787

]]> Place hold on Active networks :

Ad-hoc, mobile, and wireless networks 17th International Conference on Ad Hoc Networks and Wireless, ADHOC-NOW 2018, Saint-Malo, France, September 5-7, 2018.Proceedings /

]]> .
1 online resource (346 pages) : 9783030002473

]]> Place hold on Ad-hoc, mobile, and wireless networks

Ada 95 : quality and style /

]]> Berlin : Springer, 1995 .
292 p. 3540638237

]]> Place hold on Ada 95 :

Ada 95 rationale : the language, the standard libraries /

]]> Berlin : Springer, 1997 .
458 p. 3540631437

]]> Place hold on Ada 95 rationale :

Ada 95 reference manual : language and standard libraries /

]]> Berlin : Springer, 1995 .
526 p. , "International standard ISO/IEC 8652:1995(E)" 3540631445

]]> Place hold on Ada 95 reference manual :

Ada-Europe '93 : 12th Ada-Europe International Conference, "Ada sans frontieres", Paris, France, June 14-18, 1993 : proceedings /

]]> Berlin : Springer, 1993 .
351 p. 3540568026

]]> Place hold on Ada-Europe '93 :

Ada in Europe : First International Eurospace-Ada-Europe Symposium, Copenhagen, Denmark, September 26-30, 1994 : proceedings /

]]> Berlin : Springer-Verlag, 1994 .
521 p. 3540588221

]]> Place hold on Ada in Europe :

Ada in Europe : Second International Eurospace-Ada-Europe Symposium, Frankfurt/Main, Germany, October 2-6, 1995 : proceedings /

]]> Berlin : Springer-Verlag, 1996 .
455 p. 3540607579

]]> Place hold on Ada in Europe :

Ada: moving towards 2000 : 11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992 : proceedings /

]]> Berlin : Springer, 1992 .
324 p. 3540555854

]]> Place hold on Ada: moving towards 2000 :

Ada: the choice for '92 : Ada-Europe International Conference, Athens, Greece, May 13-17, 1991 : proceedings /

]]> Berlin : Springer, 1991 .
411 p. 354054092X

]]> Place hold on Ada: the choice for '92 :

Adaption and learning in multi-agent systems : IJCAI '95 Workshop, Montreal, Canada, August 21, 1995 : proceedings /

]]> Berlin : Springer, 1996 .
238 p. 3540609237

]]> Place hold on Adaption and learning in multi-agent systems :

Addressing global challenges and quality education 15th European Conference on Technology Enhanced Learning, EC-TEL 2020, Heidelberg, Germany, September 14-18, 2020, Proceedings /

]]> Cham : Springer, 2020 .
1 online resource (489 pages) : 9783030577179

]]> Place hold on Addressing global challenges and quality education

Advanced database systems /

]]> Berlin : Springer, 1993 .
451 p. 3540575073

]]> Place hold on Advanced database systems /

Advanced database systems : 10th British National Conference on Databases, BNCOD 10, Aberdeen, Scotland, July 6-8, 1992 : proceedings /

]]> Berlin : Springer, 1992 .
260 p. 3540556931

]]> Place hold on Advanced database systems :

Advanced database systems : 11th British National Conference on Databases, BNCOD 11, Keele, UK, July 709, 1993 : proceedings /

]]> Berlin : Springer, 1993 .
276 p. 3540556931

]]> Place hold on Advanced database systems :

Advanced information systems engineering : 4th International Conference CAiSE '92, Manchester, UK, May 12-15, 1992 : proceedings /

Berlin : Springer-Verlag, 1992 .
650 p.

]]> Place hold on Advanced information systems engineering :

Advanced information systems engineering : 5th International Conference, CAiSE'93, Paris, France, June 8-11, 1993 : proceedings /

]]> Berlin : Springer-Verlag, 1993 .
650 p. 3540567771

]]> Place hold on Advanced information systems engineering :

Advanced information systems engineering : 7th International Conference, CAiSE '95, Jyvaskyla, Finland, June 12-16, 1995 : proceedings /

]]> Berlin : Spinger-Verlag, 1995 .
388 p. 3540594981

]]> Place hold on Advanced information systems engineering :

Advanced information systems engineering : 8th international conference, CAiSE '96, Heraklion, Crete, Greece, May 20-24, 1996 : proceedings /

]]> Berlin : Springer, 1996 .
582 p. 3540612920

]]> Place hold on Advanced information systems engineering :

Advanced information systems engineering : 9th international conference, CAiSE '97, Barcelona, Catalonia, Spain, June 16-20, 1997 : proceedings /

]]> Berlin : Springer, 1997 .
450 p. 3540631070

]]> Place hold on Advanced information systems engineering :

Advances in artificial intelligence -- IBERAMIA 2018 16th Ibero-American Conference on AI, Trujillo, Peru, November 13-16, 2018, Proceedings /

]]> Cham, Switzerland : Springer, 2018 .
1 online resource (520 pages) : 9783030039288

]]> Place hold on Advances in artificial intelligence -- IBERAMIA 2018

Advances in case-based reasoning : Third European Workshop, EWCBR-96, Lausanne, Switzerland, November 14-16, 1996 : proceedings /

]]> Berlin : Springer, 1996 .
470 p. 3540619550

]]> Place hold on Advances in case-based reasoning :

Advances in computational intelligence 17th Mexican International Conference on Artificial Intelligence, MICAI 2018, Guadalajara, Mexico, October 22-27, 2018, Proceedings. Part II /

]]> Cham : Springer International Publishing, 2018 .
1 online resource (371 pages) : 9783030044978

]]> Place hold on Advances in computational intelligence

Advances in computer science--ASIAN 2004 : higher-level decision making : 9th Asian Computing Science Conference, dedicated to Jean-Louis Lassez on the occasion of his 5th cycle birthday, Chiang Mai, Thailand, December 8-10, 2004 : proceedings /

]]> Berlin : Springer-Verlag, 2004 .
510 p. : 354024087X

]]> Place hold on Advances in computer science--ASIAN 2004 :

Advances in computing science-ASIAN '98 : 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998 : proceedings /

]]> Berlin : Springer, 1998 .
304 p. : 3540653880

]]> Place hold on Advances in computing science-ASIAN '98 :

Advances in computing science - Asian 2002 : internet computing and modeling, grid computing, peer-to-peer computing, and cluster computing : 7th Asian computing Science Conference, Hanoi, Vietnam, December 4-6, 2002 ; proceedings /

]]> Berlin : Springer, 2002 .
232 p. 3540001956

]]> Place hold on Advances in computing science - Asian 2002 :

Advances in computing science-ASIAN 2003 : programming languages and distributed computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003 : proceedings /

]]> Berlin, : Springer-Verlag, 2003 .
304 p. : 3540206329

]]> Place hold on Advances in computing science-ASIAN 2003 :

Advances in computing science - ASIAN'97 : third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997 : proceedings /

]]> Berlin : Springer, 1997 .
386 p. 354063875X

]]> Place hold on Advances in computing science - ASIAN'97 :

Advances in computing science - ASIAN'99 : 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 :

]]> By Asian Computing Science Conference.
Berlin : Springer, 1999 .
395 p. 354066856X

]]> Place hold on Advances in computing science - ASIAN'99 :

Advances in cryptology - ASIACRYPT '91 : International Conference on the Theory and Application of Cryptology, Fujiyoshida, Japan, November 11-14, 1991 : proceedings /

]]> Berlin : Springer-Verlag, 1993 .
498 p. 3540573321

]]> Place hold on Advances in cryptology - ASIACRYPT '91 :

Advances in cryptology - ASIACRYPT '94 : 4th International Conference on the Theory and Applications of Cryptology, Wollongong, Australia, November 28 - December 1, 1994 : proceedings /

]]> Berlin : Springer-Verlag, 1995 .
430 p. 354059339X

]]> Place hold on Advances in cryptology - ASIACRYPT '94 :

Advances in cryptology - ASIACRYPT '96 : International Conference on the Theory and Applications of Cryptology and Information Security, Kyongju, Korea, November 3-7, 1996 : proceedings /

]]> Berlin : Springer, 1996 .
394 p. 3540618724

]]> Place hold on Advances in cryptology - ASIACRYPT '96 :

Advances in cryptology - AUSCRYPT '90 : International Conference on Cryptology, Sydney, Australia, January 8-11, 1990 : proceedings /

]]> Berlin : Springer-Verlag, 1990 .
462 p. , Sponsored by the International Association for Cryptologic Reserach 3540530002

]]> Place hold on Advances in cryptology - AUSCRYPT '90 :

Advances in cryptology - AUSCRYPT '92 : Workshop on the Theory and Application of Cryptographic Techniques, Gold Coast, Queensland, Australia, December 13-16, 1992 : proceedings /

]]> Berlin : Springer-Verlag, 1993 .
542 p. 3540572201

]]> Place hold on Advances in cryptology - AUSCRYPT '92 :

Advances in cryptology - CRYPTO '87 : proceedings /

Berlin : Springer, 1988 .
460 p. , "CRYPTO '87, a Conference on the Theory and Applications of Cryptographic Techniques, held at the University of California, Santa Barbara ... August 16-20, 1987" .. p. III

]]> Place hold on Advances in cryptology - CRYPTO '87 :

Advances in cryptology - CRYPTO '90 : proceedings /

]]> Berlin : Springer, 1991 .
643 p. , "CRYPTO '90, a Conference on the Theory and Applications of Cryptography, held at the University of California, Santa Barbara, August 11-15, 1990" ... p. VI 3540545085

]]> Place hold on Advances in cryptology - CRYPTO '90 :

Advances in cryptology - CRYPTO '91 : proceedings /

Berlin : Springer-Verlag, 1992 .
484 p.

]]> Place hold on Advances in cryptology - CRYPTO '91 :

Advances in cryptology - CRYPTO '92 : 12th Annual International Cryptology Conference, Santa Barbara, California, USA, August 16-20, 1992 : proceedings /

]]> Berlin : Springer, 1993 .
593 p. 3540573402

]]> Place hold on Advances in cryptology - CRYPTO '92 :

Advances in cryptology - EUROCRYPT '87 : Workshop on the Theory and Application of Cryptographic Techniques, Amsterdam, the Netherlands, April 13-15, 1987 : proceedings /

Berlin : Springer-Verlag, 1987 .
314 p. , Sponsored by the International Association for Cryptologic Research

]]> Place hold on Advances in cryptology - EUROCRYPT '87 :

Advances in cryptology - EUROCRYPT '88 : Workshop on the Theory and Application of Cryptographic Techniques, Davos, Switzerland, May 25-27, 1988 : proceedings /

Berlin : Springer-Verlag, 1988 .
467 p. , Sponsored by the International Association for Cryptologic Research (IACR)

]]> Place hold on Advances in cryptology - EUROCRYPT '88 :

Advances in cryptology - EUROCRYPT '91 : Workshop on the Theory and Application of Cryptographic Techniques, Brighton, UK, April 8-11, 1991 : proceedings /

]]> Berlin : Springer-Verlag, 1991 .
556 p. 3540546200

]]> Place hold on Advances in cryptology - EUROCRYPT '91 :

Advances in cryptology - EUROCRYPT '92 : Workshop on Theory and Application of Cryptographic Techniques, Balatonsured, Hungary, May 24-28, 1992 : proceedings /

Berlin : Springer-Verlag, 1993 .
491 p.

]]> Place hold on Advances in cryptology -

Advances in cryptology - EUROCRYPT '93 : Workshop on the Theory and Application of Cryptographic Techniques, Lofthus, Norway, May 23-27, 1993 : proceedings /

]]> Berlin : Springer-Verlag, 1994 .
465 p. 3540576002

]]> Place hold on Advances in cryptology - EUROCRYPT '93 :

Advances in cryptology - EUROCRYPT '94 : Workshop on the Theory and Application of Cryptographic Techniques, Perugia, Italy, May 9-12, 1994 : proceedings /

]]> Berlin : Springer-Verlag, 1995 .
472 p. 3540601767

]]> Place hold on Advances in cryptology - EUROCRYPT '94 :

Advances in cryptology - EUROCRYPT '95 : International Conference on the Theory and Application of Cryptographic Techniques, Saint-Malo, France, May 21-25, 1995 : proceedings /

]]> Berlin : Springer-Verlag, 1995 .
416 p. 3540594094

]]> Place hold on Advances in cryptology - EUROCRYPT '95 :