Home
Advanced search
Results of search for 'se,phr:"Lecture notes in computer science."', page 1 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

1
2
3
4
5
6
7
8
9
10
Next
Last

Sort results by: Sort by:

Unhighlight Highlight

Select all Clear all

Select titles to:

New list

Results

7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings / edited by R. E. Shostak by

International Conference on Automated Deduction (7th : 1984 : Napa, Calif.)
Shostak, R. E

Series: Lecture notes in computer science ; no. 170

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer, 1984

Other title:

Automated deduction

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

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

8th International Conference on Automated Deduction, Oxford, England, July 27-August 1, 1986 : proceedings / edited by Jorg H. Siekmann by

International Conference on Automated Deduction (8th : 1986 : Oxford, England)
Siekmann, Jorg H [ed.]

Series: Lecture notes in computer science ; no. 230

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer, 1986

Other title:

CADE-8
Automated deduction

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

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988 : proceedings / E. Lusk and R. Overbeek by

International Conference on Automated Deduction (9th : 1988 : Argonne, Ill.)
Lusk, E [ed.]
Overbeek, R [ed.]

Series: Lecture notes in computer science ; no. 310

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer, 1988

Other title:

Automated deduction

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

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

Image from Amazon.com

10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990 : proceedings / M. E. Stickel, ed. by

International Conference on Automated Deduction (10th : 1990 : Kaiserslautern, FRG)
Stickel, M. E [ed.]

Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; no. 449

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer, 1990

Other title:

Automated deduction

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

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

Abstract software specification : 1979 Copenhagen Winter School, January 22 - February 2, 1979 : proceeding / edited by D. Bjorner by

Copenhagen Winter School on Abstract Software Specifications (1979 : Technical University of Denmark)
Bjorner, Dines [ed.]
Commission of the European Communities

Series: Lecture notes in computer science ; no. 86

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer-Verlag, 1980

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA76.6 C656 1979.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

Image from Amazon.com

Active networks : IFIP-TC6 Third International Working Conference, IWAN 2001, Philadelphia, PA, USA, September 30-October 2, 2001 : proceedings / Ian W. Marshall, Scott Nettles and Naoki Wakamiya, eds. by

IWAN (3rd : 2001 : Philadelphia, Pa.)
Marshall, Ian W [ed.]
Nettles, Scott M [ed.]
Wakamiya, Naoki, 1971- [ed.]

Series: Lecture notes in computer science ; no. 2207

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer, 2001

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: TK5105.5 I95 2001.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

Image from Amazon.com

Ad-hoc, mobile, and wireless networks [electronic resource] : 17th International Conference on Ad Hoc Networks and Wireless, ADHOC-NOW 2018, Saint-Malo, France, September 5-7, 2018.Proceedings / edited by Nicolas Montavont, Georgios Z. Papadopoulos by

ADHOC-NOW (Conference) (17th : 2018 : Saint-Malo, France)
Montavont, Nicolas
Papadopoulos, Georgios Z

Series: Lecture notes in computer science ; 11104 | LNCS sublibrary. SL 5, Computer communication networks and telecommunications

Material type:

Text; Format: electronic ; Literary form: Not fiction

Other title:

ADHOC-NOW 2018

Online resources:

Download : Springer eBook

Availability: Items available for reference: Asian Institute of Technology Library: Not for loan (1)Call number: TK6570 M6 A34 2018eb.

star rating

Average : 0.0 out of 5 stars

Save to lists Add to cart (remove)

Image from Amazon.com

Ada 95 : quality and style / Christine Ausnit-Hood ... [et al.], eds. by

Ausnit-Hood, Christine [ed.]

Series: Lecture notes in computer science ; no. 1344

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer, 1995

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA76.73 A35 A216 1995.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

Image from Amazon.com

Ada 95 rationale : the language, the standard libraries / John Barnes, ed. by

Barnes, John [ed.]

Series: Lecture notes in computer science ; no. 1247

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer, 1997

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA76.73 A35 A217.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

10.

Image from Amazon.com

Ada 95 reference manual : language and standard libraries / S. Tucker Taft and Robert A. Duff, eds. by

Taft, S. Tucker [ed.]
Duff, Robert Anderson, 1959- [ed.]

Series: Lecture notes in computer science ; no. 1246

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer, 1995

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA76.73 A35 A22.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

11.

Image from Amazon.com

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

Ada-Europe International Conference (12th : 1993 : Paris, France)
Gauthier, Michel [ed.]

Series: Lecture notes in computer science ; no. 688

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer, 1993

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA76.73 A16 A23 1993.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

12.

Image from Amazon.com

Ada in Europe : First International Eurospace-Ada-Europe Symposium, Copenhagen, Denmark, September 26-30, 1994 : proceedings / Marcel Toussaint, (ed.) by

International Eurospace-Ada-Europe Symposium (1st : 1994 : Copenhagen, Denmark)
Toussaint, Marcel [ed.]

Series: Lecture notes in computer science ; no. 887

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.73 A35 I57 1994.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

13.

Image from Amazon.com

Ada in Europe : Second International Eurospace-Ada-Europe Symposium, Frankfurt/Main, Germany, October 2-6, 1995 : proceedings / Marcel Toussaint, (ed.) by

International Eurospace-Ada-Europe Symposium (2nd : 1995 : Frankfurt/Main, Germany)
Toussaint, Marcel [ed.]

Series: Lecture notes in computer science ; no. 1031

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer-Verlag, 1996

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA76.73 A35 I57 1995.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

14.

Image from Amazon.com

Ada: moving towards 2000 : 11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992 : proceedings / J. van Katwijk, ed. by

Ada-Europe International Conference (11th : 1992 : Zandvoort, Netherlands)
Katwijk, J. van [ed.]

Series: Lecture notes in computer science ; no. 603

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer, 1992

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA76.73 A16 A23 1992.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

15.

Image from Amazon.com

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

Ada-Europe International Conference (1991 : Athens, Greece)
Christodoulakis, Dimitris [ed.]

Series: Lecture notes in computer science ; no. 499

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer, 1991

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA76.73 A16 A23 1991.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

16.

Image from Amazon.com

Adaption and learning in multi-agent systems : IJCAI '95 Workshop, Montreal, Canada, August 21, 1995 : proceedings / Gerhard Weiss and Sandip Sen, eds. by

International Joint Conference on Artificial Intelligence (14th : 1995 : Montreal, Quebec)
Weiss, Gerhard, 1962- [ed.]
Sen, Sandip, 1964- [ed.]

Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; v. 1042

Material type:

Text; Format: print

Publication details: Berlin : Springer, 1996

Other title:

IJCAI '95

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

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

17.

Image from Amazon.com

Addressing global challenges and quality education [electronic resource] : 15th European Conference on Technology Enhanced Learning, EC-TEL 2020, Heidelberg, Germany, September 14-18, 2020, Proceedings / Carlos Alario-Hoyos, Mariá Jesus Rodriguez-Triana, Maren Scheffel, Inmaculada Arnedillo-Sanchez, Sebastian Maximilian Dennerlein, editors by

European Conference on Technology Enhanced Learning (15th : 2020 : Heidelberg, Germany)
Alario-Hoyos, Carlos
Rodriguez-Triana, María Jesus
Scheffel, Maren
Arnedillo-Sanchez, Inmaculada
Dennerlein, Sebastian Maximilian

Series: Lecture notes in computer science ; 12315 | 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:

EC-TEL 2020

Online resources:

Download : Springer eBook

Availability: Items available for reference: Asian Institute of Technology Library: Not for loan (1)Call number: LB1028.3 E955 2020eb.

star rating

Average : 0.0 out of 5 stars

Save to lists Add to cart (remove)

18.

Image from Amazon.com

Advanced database systems / Nabil R. Adam and Bharat K. Bhargava, eds. by

Adam, Nabil R
Bhargava, Bharat K

Series: Lecture notes in computer science ; no. 759

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer, 1993

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

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

19.

Image from Amazon.com

Advanced database systems : 10th British National Conference on Databases, BNCOD 10, Aberdeen, Scotland, July 6-8, 1992 : proceedings / P. M. D. Gray and R. J. Lucas, eds. by

British National Conference on Databases (10th : 1992 : Aberdeen, Scotland)
Gray, P. M. D [ed.]
Lucas, R. J [ed.]

Series: Lecture notes in computer science ; no. 618

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer, 1992

Other title:

BNCOD 10

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA76.9 D3 B75 1992.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

20.

Image from Amazon.com

Advanced database systems : 11th British National Conference on Databases, BNCOD 11, Keele, UK, July 709, 1993 : proceedings / M. Worboys and A. F. Grundy, eds. by

British National Conference on Databases (11th : 1993 : Keele, UK)
Worboys, M
Grundy, A. F

Series: Lecture notes in computer science ; no. 696

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer, 1993

Other title:

BNCOD 11

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA76.9 D3 B75 1993.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

1
2
3
4
5
6
7
8
9
10
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