Home
Advanced search
Results of search for 'ccl=se,phr:"Lecture Notes in Computer Science ;"', page 31 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
22
23
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

601.

Image from Amazon.com

Static analysis : Second International Symposium, SAS '95, Glasgow, UK, September 25-27, 1995 : proceedings / Alan Mycroft (ed.) by

International Static Analysis Symposium (2nd : 1995 : Glasgow, UK)
Mycroft, Alan [ed.]

Series: Lecture notes in computer science ; no. 983

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.6 I5733 1995.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

602.

Image from Amazon.com

Static analysis : Third International Symposium, SAS '96, Aachen, Germany, September 24-26, 1996 : proceedings / Radhia Cousot and David A. Schmidt, eds. by

Cousot, Radhia [ed.]
Schmidt, David A, 1953- [ed.]
International Static Analysis Symposium (3rd : 1996 : Aachen, Germany)

Series: Lecture notes in computer science ; v. 1145

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer, 1996

Other title:

SAS' 96

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

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

603.

Image from Amazon.com

Static analysis : Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993 : proceedings / Patrick Cousot ... [et al.] (Eds.) by

Workshop on Static Analysis (3rd : 1993 : Padova, Italy)
Cousot, Patrick , ed

Series: Lecture notes in computer science ; no. 724

Material type:

Text; Format: print

Language: En

Publication details: Berlin : Springer-Verlag, 1993

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: TA351 W67 1993.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

604.

Image from Amazon.com

String processing and information retrieval [electronic resource] : 25th international symposium, SPIRE 2018, Lima, Peru, October 9-11, 2018, proceedings / edited by Travis Gagie, Alistair Moffat, Gonzalo Navarro, Ernesto Cuadros-Vargas by

SPIRE (Symposium) (25th : 2018 : Lima, Peru)
Gagie, Travis
Moffat, Alistair
Navarro, Gonzalo
Cuadros-Vargas, Ernesto

Series: Lecture notes in computer science ; 11147 | LNCS sublibrary. SL 1, Theoretical computer science and general issues

Material type:

Text; Format: electronic ; Literary form: Not fiction

Publication details: Cham : Springer, 2018

Other title:

SPIRE 2018

Online resources:

Download : Springer eBook

Availability: Items available for reference: Asian Institute of Technology Library: Not for loan (1)Call number: QA76.9 T48 S65 2018eb.

star rating

Average : 0.0 out of 5 stars

Save to lists Add to cart (remove)

605.

Image from Amazon.com

Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht / Jan Mycielski, Grzegorz Rozenberg and Arto Salomaa, eds. by

Mycielski, Jan [ed.]
Rozenberg, Grzegorz [ed.]
Salomaa, Arto [ed.]

Series: Lecture notes in computer science ; no. 1261

Material type:

Text; Format: print

Publication details: Berlin : Springer, 1997

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

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

606.

Image from Amazon.com

Studies of software design : ICSE '93 workshop, Baltimore, Maryland, USA, May 17-18, 1993 : selected papers / David Alex Lamb, ed. by

ICSE '93 (1993 : Baltimore, Md.)
Lamb, David Alex, 1954- [ed.]

Series: Lecture notes in computer science ; v. 1078

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.76 D47 I33 1993.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

607.

Supercomputing : 1st International Conference, Athens, Greece, June 8-12, 1987 : proceedings / E. N. Houstis, T. S. Papatheodorou and C. D. Polychronopoulos, eds. by

Houstis, Elias N [ed.]
Papatheodorou, Theodore S [ed.]
Polychronopoulos, C. D [ed.]
Computer Technology Institute (Patrai, Greece)
International Conference on Supercomputing (1st : 1987 : Athens, Greece)

Series: Lecture notes in computer science ; no. 297

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer, 1988

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

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

608.

Image from Amazon.com

Symbolic and algebraic computation : International Symposium ISSAC'88, Rome, Italy, July 4-8, 1988 : proceedings / P. Gianni (ed.) by

Gianni, P

Series: Lecture notes in computer science ; no. 358

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer-Verlag, 1989

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA155.7 E4 S96.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

609.

Image from Amazon.com

Symbolic and quantitative approaches to uncertainty : European Conference ECSQAU, Marseille, France, October 15-17, 1991 : proceedings : European Conference ECSQAU, Marseille, France, October 15-17, 1991 : proceedings / R. Kruse and P. Siegel (Eds.) by

European Conference on Symbolic and Quantitative Approaches to Uncertainty (1991 : Marseille, France)
Siegel, Pierre [ed.]
Kruse, Rudolf [d.]

Series: Lecture notes in computer science ; no. 548

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer-Verlag, 1991

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: Q375 E87 1991.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

610.

Image from Amazon.com

A systematic catalogue of reusable abstract data types / ... and Hans Albrecht Schmid by

Uhl, Jürgen
Schmid, Hans Albrecht

Series: Lecture notes in computer science ; no. 460

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer-Verlag, 1990

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

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

611.

TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987 / edited by Hartmut Ehrig ... [et al.] by

International Joint Conference on Theory and Practice of Software Development (2nd : 1987 : Pisa, Italy)
Ehrig, Hartmut [ed.]

Series: Lecture notes in computer science ; no. 249, 250

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer-Verlag, 1987

Availability: Items available for loan: Asian Institute of Technology Library (2)Call number: QA76.76 D47 I57 1987, QA76.76 D47 I57 1987.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

612.

Image from Amazon.com

TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings / Peter D. Mosses, Mogens Nielsen and Michael I. Schwartzbach (eds.) by

International Joint Conference on Theory and Practice of Software Development (6th : 1995 : Aarhus, Denmark)
Mosses, Peter D [ed.]
Nielsen, Mogens [ed.]
Schwartzbach, Michael I [ed.]

Series: Lecture notes in computer science ; no. 915

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.76 D47 I57 1995.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

613.

Image from Amazon.com

TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings / Michel Bidoit and Max Dauchet, eds. by

International Joint Conference on Theory and Practice of Software Development (7th : 1997 : Lille, France)
Bidoit, Michel, 1957- [ed.]
Dauchet, Max, 1946- [ed.]

Series: Lecture notes in computer science ; v. 1214

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer, 1997

Other title:

CAAP/FASE

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA76.76 D47 I58 1997.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

614.

TAPSOFT : proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 / edited by Hartmut Ehrig ... [et al.] by

International Joint Conference on Theory and Practice of Software Development (1985 : Berlin, Germany)
Ehrig, Hartmut [ed.]
International Joint Conference on Theory and Practice of Software Development (1985 : Berlin, Germany)
Colloquium on Software Engineering (1985 : Berlin, Germany)
Colloquium on Trees in Algebra and Programming (1985 : Berlin, Germany)