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

621.

Image from Amazon.com

Term rewriting : French Spring School of Theoretical omputer Science, Font Romeux, France, May 17-21, 1993 : advanced course / Hubert Comon and Jean-Pierre Jouannaud (eds.) by

French Spring School of Theoretical Computer Science (1993 : Font-Romeux, France)
Comon, Hubert [ed.]
Jouannaud, Jean-Pierre [ed.]

Series: Lecture notes in computer science ; no. 909

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: QA75.5 F74 1993.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

622.

Image from Amazon.com

Theorem proving with analytic tableaux and related methods : 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings / P. Miglioli ... [et al.] by

TABLEAUX (5th : 1996 : Palermo, Italy)
Miglioli, P [ed.]
International Workshop on Theorem Proving with Analytic Tableaux and Related Methods (5th : 1996 : Palermo, Italy)

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

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 T33 1996.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

623.

Image from Amazon.com

Theoretical aspects of computer software : International Conference TACS'91, Sendai, Japan, September 24-27, 1991 : proceedings / T. Ito and A. R. Meyer (eds.) by

International Conference on Theoretical Aspects of Computer Software (1st : 1991 : Tohoku University, Sendai, Japan)
Ito, T [ed.]
Meyer, A. R [ed.]

Series: Lecture notes in computer science ; no. 526

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: QA76.758 I583 1991.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

624.

Theoretical computer science, 3rd GI conference, Darmstadt, March 28-30, 1977 / edited by H. Tzschach, H. Waldschmidt and H. K.-G. Walter on behalf of the GI by

Tzschach, H
Waldschmidt, Helmut
Walter, Hermann K.-G
Gi-Fachtagung Theortische Informatik (1977 : Darmstadt)

Series: Lecture notes in computer science ; no. 48

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer, 1977

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA267 T473 1977.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

625.

Theoretical computer science : 6th GI-Conference, Dortmund, January 5-7, 1983 / edited by A. B. Cremers and H. P. Kriegel by

Kriegel, Hans-Peter, 1948-
Cremers, Armin B, 1946-
Gesellschaft für Informatik. Special Interest Group for Automata and Formal Language Theory
GI Symposium on Theoretical Computer Science (6th : 1983 : Dortmund, Germany)

Series: Lecture notes in computer science ; no. 145

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer, 1982

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA267 T473 1983.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

626.

Image from Amazon.com

Theories and methods of spatio-temporal reasoning in geographic space : International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning, Pisa, Italy, September 21-23, 1992 : proceedings / A. U. Frank, I. Campari and U. Formentini, eds. by

International Conference GIS -- From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning (1992 : Pisa, Italy)
Frank, Andrew U [ed.]
Campari, Irene [ed.]

Series: Lecture notes in computer science ; no. 639

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer-Verlag, 1992

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: G70.2 I575 1992.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

627.

Image from Amazon.com

Theory of computing and systems : ISTCS '92, Israel Symposium, Haifa, Israel, May 27-28, 1992 : proceedings / D. Dolev, Z. Galil and M. Rodeh (Eds.) by

Israel Symposium on the Theory of Computing and Systems (1992 : Haifa, Israel)
Dolev, D

Series: Lecture notes in computer science ; no. 601

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer-Verlag, 1992

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA9.58 I87 1992.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

628.

Third International Conference on Logic Programming : Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 : proceedings / edited by Ehud Shapiro by

International Conference on Logic Programming (3rd : 1986 : Imperial College of Science and Technology, London, England)
Shapiro, Ehud [ed.]

Series: Lecture notes in computer science ; no. 225

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer-Verlag, 1986

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

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

629.

Image from Amazon.com

Towards a CSCW framework for scientific cooperation in Europe by

Lubich, Hannes P

Series: Lecture notes in computer science ; no. 889

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: HD66 L83.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

630.

Image from Amazon.com

Towards open and trustworthy digital societies [electronic resource] : 23rd International Conference on Asia-Pacific Digital Libraries, ICADL 2021, virtual event, December 1-3, 2021, proceedings / edited by Hao-Ren Ke...[et al.] by

International Conference on Asia-Pacific Digital Libraries (23rd : 2021 : Online)
Ke, Hao-Ren

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

Other title:

ICADL 2021

Online resources:

Download : Springer eBook

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

star rating

Average : 0.0 out of 5 stars

Save to lists Add to cart (remove)

631.

Image from Amazon.com

Traffic management and traffic engineering for the future Internet [electronic resource] : first Euro-NF Workshop, FITraMEn 2008, Porto, Portugal, December 2008, revised selected papers / Rui Valadas, Paulo Salvador (eds.) / edited by Rui Valadas and Paulo Salvador by

FITraMEn 2008 (2008 : Porto, Portugal)
Valadas, Rui
Salvador, Paulo

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

Material type:

Text; Format: electronic ; Literary form: Not fiction

Publication details: Berlin : Springer, 2009

Other title:

FITraMEn 2008

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

star rating

Average : 0.0 out of 5 stars

Save to lists Add to cart (remove)

632.

Image from Amazon.com

Transactions on computational collective intelligence XXX [electronic resource] / edited by Ngoc Thanh Nguyen and Richard Kowalczyk by

Ngoc Thanh Nguyen
Kowalczyk, Ryszard

Series: Lecture notes in computer science ; 11120

Material type:

Text; Format: electronic ; Literary form: Not fiction

Publication details: Cham : Springer, 2018

Other title:

Transactions on computational collective intelligence 30

Online resources:

Download : Springer eBook

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

star rating

Average : 0.0 out of 5 stars

Save to lists Add to cart (remove)

633.

Image from Amazon.com

Transactions on computational science XXXII [electronic resource] : special issue on cybersecurity and biometrics/ dited by Marina L. Gavrilova, C.J. Kenneth Tan, Alexei Sourin by

Gavrilova, Marina L
Tan, C. J. Kenneth
Sourin, Alexei

Series: Lecture Notes in Computer Science ; 10830

Material type:

Text; Format: electronic ; Literary form: Not fiction

Publication details: Berlin : Springer, 2018

Other title:

Transactions on Computational Science 32

Online resources:

Download : Springer eBook

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

star rating

Average : 0.0 out of 5 stars

Save to lists Add to cart (remove)

634.

Image from Amazon.com

The traveling salesman : computational solutions for TSP applications by

Reinelt, Gerhard

Series: Lecture notes in computer science ; no. 840

Material type:

Text; Format: print

Publication details: Berlin : Springer-Verlag, 1994

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: T57.78 R47.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

635.

Trees in algebra and programming - CAAP '94 : 19th International Colloquium, Edinburgh, U.K., April 11-13, 1994 : proceedings / Sophie Tison (ed.) by

International Colloquium on Trees in Algebra and Programming (19th : 1994 : Edinburgh, Scotland)
Tison, Sophie

Series: Lecture notes in computer science ; no. 787

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: QA166.2 I58 1994.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

636.

Image from Amazon.com

Trees in algebra and programming - CAAP '96 : 21st international colloquium, Linkoping, Sweden, April 22-24, 1996 : proceedings / Helene Kirchner, ed. by

CAAP '96 (21st : 1996 : Linkoping, Sweden)
Kirchner, Hélène

Series: Lecture notes in computer science ; v. 1059

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: QA166.2 C3 1996.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

637.

Image from Amazon.com

Treewidth : computations and approximations by

Kloks, Ton

Series: Lecture notes in computer science ; no. 842

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: QA166.2 K56.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

638.

Trends in distributed systems CORBA and beyond : international workshop TreDS '96 Aachen, Germany, October 1-2, 1996 : proceedings / Otto Spaniol, Claudia Linnhoff-Popien, and Bernd Meyer, eds. by

International Workshop TreDS '96 (1996 : Aachen, Germany)
Spaniol, Otto [ed.]
Linnhoff-Popien, Claudia [ed.]
Meyer, Bernd [ed.]

Series: Lecture notes in computer science ; no. 1161

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer, 1996

Other title:

TreDS '96

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA76.76 O63 I579 1996.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

639.

Image from Amazon.com

Turing machines with sublogarithmic space by

Szepietowski, Andrzej

Series: Lecture notes in computer science ; no. 843

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 S94.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

640.

Image from Amazon.com

Typed lambda calculi and applications : International Conference on Typed Lambda Calculi and Applications TLCA'93, March 16-18, 1993, Utrecht, the Netherlands : proceedings / M. Bezem and J. F. Groote, eds. by

International Conference on Typed Lambda Calculi and Applications (1993 : Utrecht, The Netherlands)
Bezem, Marc [ed.]

Series: Lecture notes in computer science ; no. 664

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer, 1993

Other title:

TLCA'93

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

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

First
Previous
23
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