Home
Advanced search
Results of search for 'ccl=se,phr:"Lecture notes in computer science."', page 33 of 34

Refine your search

Availability
- Limit to records with available items
Authors
- Adam, Nabil R. (3)
- Bakker, J. W. de (3)
- Bertino, Elisa (3)
- Börger, Egon (6)
- Büning, Hans Kleine (4)
- Ehrig, H. (3)
- Frank, Andrew U. (4)
- Gervasi, Osvaldo (6)
- Hermenegildo, Manuel (2)
- Koubek, Vaclav (2)
- Kurosu, Masaaki (3)
- Monien, B. (3)
- Mora, Teo (4)
- Pan, Zhaoqing (2)
- Preneel, Bart (3)
- Richter, Michael M. (3)
- Steinmetz, Ralf (2)
- Vedaldi, Andrea (4)
- Wirsing, M. (3)
- Yonezawa, Akinori (3)
- Show more
- Show less
Item types
- 14-General Book (563)
- 15-e-Book (91)
- 67-Electronic Resource (1)
Locations
- Electronic Resource (92)
- General Collection (563)
Series
- Lecture notes in art... (7)
- Lecture notes in com... (659)
- Lecture notes in com... (3)
- LNCS sublibrary, SL ... (4)
- LNCS sublibrary, SL ... (2)
- LNCS sublibrary, SL ... (1)
- LNCS sublibrary: SL ... (2)
- LNCS sublibrary. SL ... (7)
- LNCS sublibrary. SL ... (6)
- LNCS sublibrary. SL ... (6)
- LNCS sublibrary. SL ... (5)
- LNCS sublibrary. SL ... (2)
- LNCS sublibrary: SL6... (2)
- Security and Cryptol... (2)
- Theoretical Computer... (3)
- Show more
- Show less
Topics
- Algorithms (37)
- Artificial intellige... (49)
- Automatic theorem pr... (23)
- Computer networks (25)
- Computers (32)
- Computer science (44)
- Computer security (16)
- Computer software (33)
- Cryptography (27)
- Database management (20)
- Electronic data proc... (50)
- Electronic digital c... (31)
- Formal languages (17)
- Logic programming (18)
- Logic, Symbolic and ... (28)
- Machine theory (26)
- Object-oriented prog... (22)
- Parallel processing ... (39)
- Programming language... (34)
- Software engineering (23)
- Show more
- Show less

Your search returned 663 results from 132353 records.

Sort

First
Previous
24
25
26
27
28
29
30
31
32
33
34
Next
Last

Sort results by: Sort by:

Unhighlight Highlight

Select all Clear all

Select titles to:

New list

Results

641.

Image from Amazon.com

Typed lambda calculi and applications : second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings / Mariangiola Dezani-Ciancaglini and Gordon Plotkin, eds. by

International Conference on Typed Lambda Calculi and Applications (2nd : 1995 : Edinburgh, UK)
Dezani-Ciancaglini, Mariangiola [ed.]
Plotkin, Gordon, 1946- [ed.]

Series: Lecture notes in computer science ; no. 902

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer, 1995

Other title:

TLCA'95

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA9.5 I58 1995.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

642.

Image from Amazon.com

Typed lambda calculi and applications : third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings / Philippe de Groote and J. Roger Hindley, eds. by

International Conference on Typed Lambda Calculi and Applications (3rd : 1997 : Nancy, France)
Groote, Philippe de [ed.]
Hindley, J. Roger [ed.]

Series: Lecture notes in computer science ; no. 1210

Material type:

Text

Publication details: Berlin : Springer, 1997

Other title:

TLCA '97

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA9.5 I58 1997.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

643.

Image from Amazon.com

Types for proofs and programs : international workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers / Henk Barendregt and Tobias Nipkow (eds.) by

Barendregt, Henk [ed.]
Nipkow, Tobias [ed.]
International Workshop TYPES '93 (1993 : Nijmegen, The Netherlands)

Series: Lecture notes in computer science ; no. 806

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer-Verlag, 1994

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA76.9 A96 T97.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

644.

Image from Amazon.com

Types for proofs and programs : international workshop TYPES '94, Båstad, Sweden, June 6-10, 1994 : selected papers / Peter Dybjer, Bengt Nordstrom and Jan Smith (eds.) by

Dybjer, Peter [ed.]
Nordstrom, Bengt [ed.]
Smith, Jan [ed.]
International Workshop TYPES '94 (1994 : Båstad, Sweden)

Series: Lecture notes in computer science ; no. 996

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer-Verlag, 1995

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA76.9 A96 T974.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

645.

Image from Amazon.com

Types for proofs and programs : international workshop, TYPES '95, Torino, Italy, June 5-8, 1995 : selected papers / Stefano Berardi and Mario Coppo, eds. by

International Workshop TYPES '95 (1995 : Torino, Italy)
Berardi, Stefano [ed.]
Coppo, Mario [ed.]

Series: Lecture notes in computer science ; v. 1158

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer, 1996

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA76.9 A96 I594 1995.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

646.

Image from Amazon.com

Understanding human activities through 3D sensors [electronic resource] : second International workshop, UHA3DS 2016, Held in conjunction with the 23rd International Conference on Pattern Recognition, ICPR 2016, Cancun, Mexico, December 4, 2016, revised selected papers / Hazem Wannous...[et al.] by

UHA3DS (Workshop) (2nd : 2016 : Cancun, Mexico)
Wannous, Hazem

Series: Lecture notes in computer science ; 10188 | LNCS sublibrary. SL 6, Image processing, computer vision

Material type:

Text; Format: electronic ; Literary form: Not fiction

Publication details: Cham : Springer, 2018

Online resources:

Download : Springer eBook

Availability: Items available for reference: Asian Institute of Technology Library: Not for loan (1)Call number: TK7872 D48 U33 2016eb.

star rating

Average : 0.0 out of 5 stars

Save to lists Add to cart (remove)

647.

A unified approach to interior point algorithms for linear complementarity problems / M. Kojima ... [et al.] by

Kojima, M

Series: Lecture notes in computer science ; v. 538

Material type:

Text; Format: print

Publication details: Berlin : Springer-Verlag, 1991

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA402.5 U55.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

648.

Image from Amazon.com

User modeling 2001 : 8th international conference, UM 2001, Sonthofen, Germany, July 13-17, 2001 : proceedings / Mathias Bauer, Piotr J. Gmytrasiewicz and Julita Vassileva, eds. by

International Conference on User Modeling (8th : 2001 : Sonthofen, Germany)
Bauer, Mathias, 1964-
Gmytrasiewicz, Piotr J
Vassileva, Julita

Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 2109

Material type:

Text; Literary form: Not fiction

Publication details: New York : Springer, 2001

Other title:

User modeling two thousand one

Availability: No items available.

star rating

Average : 0.0 out of 5 stars

Save to lists Add to cart (remove)

649.

Image from Amazon.com

Vector and parallel processing-VECPAR'96 : second International Conference on Vector and Parallel Processing-Systems and Applications, Porto, Portugal, September 25-27, 1996 : selected papers / José M. L. M. Palma and Jack Dongarra, eds. by

International Conference on Vector and Parallel Processing-Systems and Applications (2nd : 1996 : Porto, Portugal)
Palma, José M. L. M [ed.]
Dongarra, Jack [ed.]

Series: Lecture notes in computer science ; v. 1215

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer, 1997

Other title:

VECPAR'96

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA76.58 I552 1996.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

650.

Image from Amazon.com

Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday / Nachum Dershowitz, ed. by

Dershowitz, Nachum [ed.]
Manna, Zohar

Series: Lecture notes in computer science ; no. 2772

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer-Verlag, 2004

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA76.76 V47 V48.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

651.

Image from Amazon.com

Visualization in biomedical computing : 4th International Conference, VBC '96, Hamburg, Germany, September 22-25, 1996 : proceedings / Karl Heinz Hohne and Ron Kikinis, eds. by

Hohne, Karl Heinz, 1937- [ed.]
Kikinis, Ron [ed.]
International Conference on Visualization in Biomedical Computing (4th : 1996 : Hamburg, Germany)

Series: Lecture notes in computer science ; v. 1131

Material type:

Text; Format: print

Publication details: Berlin : Springer, 1996

Other title:

VBC '96

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: R857.06 V56 1996.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

652.

Image from Amazon.com

Visualization of scientific parallel programs / ... and Christoph W. Ueberhuber by

Tomas, Gerald
Ueberhuber, Christoph W

Series: Lecture notes in computer science ; no. 771

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer-Verlag, 1994

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA76.642 V57.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

653.

VLSI algorithms and architectures : 3rd Aegean Workshop on Computing, AWOC 88, Corfu, Greece, June 28 - July 1, 1988 : Proceedings / J. H. Reif (ed.) by

Aegean Workshop on Computing, 3rd, Kerkyra, Corfu Island, Greece, 1988
Reif, John H. , ed

Series: Lecture notes in computer science ; no. 319

Material type:

Text; Format: print

Language: En

Publication details: Berlin : Springer-Verlag, 1988

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: TK7874 A338 1988.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

654.

VLSI algorithms and architectures : Aegean Workshop on Computing, Loutraki, Greece, July 8-11, 1986 : proceedings / edited by F. Makedon ... [et al.] by

Aegean Workshop on Computing, Loutraki, Greece, 1986
Makedon, Fillia , ed

Series: Lecture notes in computer science ; no. 227

Material type:

Text; Format: print

Language: En

Publication details: Berlin : Springer-Verlag, 1986

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: TK7874 A338 1986.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

655.

Image from Amazon.com

WALCOM : algorithms and computation : 10th international workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016 proceedings / edited by Mohammad Kaykobad and Rossella Petreschi by

WALCOM (Workshop) (10th : 2016 : Kathmandu, Nepal)
Kaykobad, Mohammad
Petreschi, Rossella, 1950-

Series: Lecture notes in computer science ; 9627

Material type:

Text; Literary form: Not fiction

Publication details: Switzerland : Springer, 2016

Availability: Items available for loan: Asian Institute of Technology Library (2)Call number: QA76.9 A43 W35 2016, QA76.9 A43 W35 2016.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

656.

Image from Amazon.com

Web and big data [electronic resource] : APWeb-WAIM 2017 International Workshops: MWDA, HotSpatial, GDMA, DDC, SDMA, MASS, Beijing, China, July 7-9, 2017, Revised selected papers / edited by Shaoxu Song, Matthias Renz, Yang-Sae Moon by

APWeb-WAIM (Conference) (1st : 2017 : Beijing, China)
Song, Shaoxu
Renz, Matthias
Moon, Yang-Sae

Series:

Material type:

Text; Format: electronic ; Literary form: Not fiction

Publication details: Cham : Springer, 2017

Online resources:

Download : Springer eBook

Availability: Items available for reference: Asian Institute of Technology Library: Not for loan (1)Call number: TK5105.875 I57 A69 2017eb.

star rating

Average : 0.0 out of 5 stars

Save to lists Add to cart (remove)

657.

Image from Amazon.com

Web information systems and applications [electronic resource] : 17th international conference, WISA 2020, Guangzhou, China, September 23-25, 2020, proceedings / Guojun Wang...[et al.], editors by

Web Information Systems and Applications Conference (17th : 2020 : Guangzhou, China)
Wang, Guojun

Series: Lecture notes in computer science ; 12432 | LNCS sublibrary: SL 3, Information systems and applications, incl. Internet/Web, and HCI

Material type:

Text; Format: electronic ; Literary form: Not fiction

Publication details: Cham : Springer, 2020

Other title:

WISA 2020

Online resources:

Download : Springer eBook

Availability: Items available for reference: Asian Institute of Technology Library: Not for loan (1)Call number: TK5105.888 W43 2020eb.

star rating

Average : 0.0 out of 5 stars

Save to lists Add to cart (remove)

658.

Image from Amazon.com

Web information systems and applications [electronic resource] : 18th International Conference, WISA 2021, Kaifeng, China, September 24-26, 2021, proceedings / edited by Chunxiao Xing...[et al.] by

Web Information Systems and Applications Conference (18th : 2021 : Kaifeng, China)
Xing, Chunxiao

Series: Lecture notes in computer science ; 12999 | LNCS sublibrary: SL3 - Information systems and applications, incl. Internet/Web, and HCI

Material type:

Text; Format: electronic ; Literary form: Not fiction

Publication details: Cham : Springer, 2021

Online resources:

Download : Springer eBook

Availability: Items available for reference: Asian Institute of Technology Library: Not for loan (1)Call number: TK5105.888 W43 2021eb.

star rating

Average : 0.0 out of 5 stars

Save to lists Add to cart (remove)

659.

Image from Amazon.com

Word equations and related topics : Second International Workshop, IWWERT'91, Rouen, France, October 7-9, 1991 : proceedings / Habib Abdulrab and Jean-Pierre Pecuchet (Eds.) by

IWWERT'91 (2nd : 1991 : Rouen, France)
Abdulrab, Habib
Pecuchet, Jean-Pierre

Series: Lecture notes in computer science ; no. 677

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer-Verlag, 1993

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA76.9 N38 I94 1991.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

660.

Image from Amazon.com

Worldwide computing and its applications : international conference, WWCA '97, Tsukuba, Japan, March 10-11, 1997 : proceedings / Takashi Masuda, Yoshifumi Masunaga and Michiharu Tsukamoto, eds. by

WWCA '97 (1997 : Tsukuba, Japan)
Masuda, Takashi [ed.]
Masunaga, Yoshifumi, 1941- [ed.]
Tsukamoto, Michiharu [ed.]
International Conference on Worldwide Computing and Its Applications (1997 : Tsukuba, Japan)

Series: Lecture notes in computer science ; no. 1274

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer, 1997

Other title:

WWCA '97

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA75.5 W18 1997.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

First
Previous
24
25
26
27
28
29
30
31
32
33
34
Next
Last

Not finding what you're looking for?

Make a purchase suggestion

Refine your search

Availability

Authors

Item types

Locations

Series

Topics

Your search returned 663 results from 132353 records.

AIT

Asian Institute of Technology Library