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

161.

Image from Amazon.com

Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings / Georg Gottlob, Alexander Leitsch and Daniele Mundici, eds. by

Kurt Gödel Colloquium (5th : 1997 : Vienna, Austria)
Gottlob, Georg [ed.]
Leitsch, Alexander [ed.]
Mundici, Daniele [ed.]

Series: Lecture notes in computer science ; no. 1289

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer, 1997

Other title:

KGC '97

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

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

162.

Image from Amazon.com

Computational logic and proof theory : Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993 : proceedings / Georg Gottlob, Alexander Leitsch and Daniele Mundici, eds. by

Gottlob, Georg [ed.]
Leitsch, Alexander [ed.]
Mundici, Daniele [ed.]

Series: Lecture notes in computer science ; no. 713

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer, 1993

Other title:

Third Kurt Godel Colloquium, KGC'93

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

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

163.

Image from Amazon.com

Computational science and its applications - ICCSA 2017 [electronic resource] : 17th International Conference, Trieste, Italy, July 3-6, 017, Proceedings. Part I / edited by Osvaldo Gervasi and et all by

ICCSA (Conference) (17th : 2017 : Trieste, Italy)
Apduhan, Bernady O

Series: Lecture notes in computer science ; 10404 | Theoretical Computer Science and General Issues ; 10404

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: QA75.5 I23 2017eb.

star rating

Average : 0.0 out of 5 stars

Save to lists Add to cart (remove)

164.

Image from Amazon.com

Computational science and its applications - ICCSA 2018 [electronic resource] : 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings. Part IV / edited by Osvaldo Gervasi [and 9 more] by

ICCSA (Conference) (18th : 2018 : Mebourne, Vic.)
Gervasi, Osvaldo

Series: Lecture notes in computer science ; 10963 | Theoretical Computer Science and General Issues ; 10963

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: QA75.5 I23 2018eb pt.4.

star rating

Average : 0.0 out of 5 stars

Save to lists Add to cart (remove)

165.

Image from Amazon.com

Computational science and its applications - ICCSA 2018 [electronic resource] : 18th International Conference, Melbourne, VIC, Australia,July 2-5, 2018, Proceedings. Part II / edited by Osvaldo Gervasi... [et al.] by

ICCSA (Conference) (18th : 2018 : Mebourne, Vic.)
Gervasi, Osvaldo

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

ICCSA 2018

Online resources:

Download : Springer eBook

Availability: Items available for reference: Asian Institute of Technology Library: Not for loan (1)Call number: QA75.5 I23 2018eb pt.2.

star rating

Average : 0.0 out of 5 stars

Save to lists Add to cart (remove)

166.

Image from Amazon.com

Computational science and its applications - ICCSA 2020 [electronic resource] : 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings. part VII / Osvaldo Gervasi...[et al.], editors by

ICCSA (Conference) (20th : 2020 : Online)
Gervasi, Osvaldo

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

Material type:

Text; Format: electronic ; Literary form: Not fiction

Publication details: Cham : Springer, 2020

Other title:

ICCSA 2020

Online resources:

Download : Springer eBook

Availability: Items available for reference: Asian Institute of Technology Library: Not for loan (1)Call number: QA75.5 I23 2020eb pt.7.

star rating

Average : 0.0 out of 5 stars

Save to lists Add to cart (remove)

167.

Image from Amazon.com

Computational science and its applications - ICCSA 2020 [electronic resource] : 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings. part II / Osvaldo Gervasi...[et al.], editors by

ICCSA (Conference) (20th : 2020 : Online)
Gervasi, Osvaldo

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

Material type:

Text; Format: electronic ; Literary form: Not fiction

Publication details: Cham : Springer, 2020

Other title:

ICCSA 2020

Online resources:

Download : Springer eBook

Availability: No items available.

star rating

Average : 0.0 out of 5 stars

Save to lists Add to cart (remove)

168.

Image from Amazon.com

Computational science and its applications - ICCSA 2020 [electronic resource] : 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings. part IV / Osvaldo Gervasi...[et al.], editors by

ICCSA (Conference) (20th : 2020 : Online)
Gervasi, Osvaldo

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

Material type:

Text; Format: electronic ; Literary form: Not fiction

Publication details: Cham : Springer, 2020

Other title:

ICCSA 2020

Online resources:

Download : Springer eBook

Availability: Items available for reference: Asian Institute of Technology Library: Not for loan (1)Call number: QA75.5 I23 2020eb pt.4.

star rating

Average : 0.0 out of 5 stars

Save to lists Add to cart (remove)

169.

Image from Amazon.com

Computational science and its applications - ICCSA 2022 [electronic resource] : 22nd International Conference, Malaga, Spain, July 4{u2013}7, 2022, Proceedings. part IV / Osvaldo Gervasi...[et al.], editors by

ICCSA (Conference) (22nd : 2022 : Malaga, Spain ; Online)
Gervasi, Osvaldo

Series: Lecture notes in computer science ; 13381

Material type:

Text; Literary form: Not fiction

Publication details: Cham : Springer, 2022

Other title:

ICCSA 2022

Online resources:

Download : Springer eBook

Availability: Items available for reference: Asian Institute of Technology Library: Not for loan (1)Call number: QA75.5 I23 2022eb pt.5.

star rating

Average : 0.0 out of 5 stars

Save to lists Add to cart (remove)

170.

Image from Amazon.com

Computational science - ICCS 2020 [electronic resource] : 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings. part V / Valeria V. Krzhizhanovskaya ...[et al.], editors by

International Conference on Computational Science (20th : 2020 : Amsterdam, Netherlands)
Krzhizhanovskaya, Valeria V

Series: Lecture notes in computer science ; 12141 | LNCS sublibrary: SL 1, theoretical computer science and general issues

Material type:

Text; Format: electronic ; Literary form: Not fiction

Publication details: Cham : Springer, 2020

Other title:

ICCS 2020

Online resources:

Download : Springer eBook

Availability: Items available for reference: Asian Institute of Technology Library: Not for loan (1)Call number: QA75.5 I584 2020eb.

star rating

Average : 0.0 out of 5 stars

Save to lists Add to cart (remove)

171.

Image from Amazon.com

Computer aided learning and instruction in science and engineering : Third International Conference, CALISCE '96, San Sebastian, Spain, July 29-31, 1996 : proceedings / A. Díaz de Ilarraza Sánchez and I. Fernández de Castro, eds. by

International Conference on Computer Aided Learning and Instruction in Science and Engineering (3rd : 1996 : San Sebastian, Spain)
Díaz de Ilarraza Sánchez, Arantza [ed.]
Fernandez de Castro, I [ed.]

Series: Lecture notes in computer science ; v. 1108

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer, 1996

Other title:

CALISCE '96

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: LB1028.5 I573 1996.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

172.

Computer algebra and parallelism : Second International Workshop, Itaca, USA, May 9-11, 1990 : proceedings / R. E. Zippel, (ed.) by

International Workshop on Computer Algebra and Parallelism (2nd : 1990 : Itaca, USA)
Zippel, R. E

Series: Lecture notes in computer science ; v. 584

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: QA155.7 E4 I58 1990.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

173.

Image from Amazon.com

Computer algebra : EUROCAM'82, European Computer Algebra Conference, Marseille, France, 5-7 April 1982 / edited by Jacques Calmet by

Calmet, Jacques
EUROCAM'82, European Computer Algebra Conference (1982 : Marseille)

Series: Lecture notes in computer science ; v. 144

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer-Verlag, 1982

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA150 C65.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

174.

Image from Amazon.com

Computer analysis of images and pattern : 5th International Conference, CAIP '93, Budapest, Hungary, September 13-15, 1993 : proceedings / Dmitry Chetverikov and Walter G. Kropatsch (Eds.) by

International Conference on Computer Analysis of Images and Patterns (5th : 1993 : Budapest, Hungary)
Kropatsch, Walter G [ed.]
Chetverikov, Dmitry [ed.]

Series: Lecture notes in computer science ; no. 719

Material type:

Text; Format: print

Publication details: Berlin : Springer-Verlag, 1993

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

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

175.

Image from Amazon.com

Computer assisted learning : 2nd International Conference, ICCAL'89, Dallas, TX, USA, May 9-11, 1989 : proceedings / H. Maurer (Ed.) by

ICCAL'89 (1989 : Dallas, Tex.)
Maurer, H [ed.]

Series: Lecture notes in computer science ; no. 360

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: LB1028.5 I116 1989.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

176.

Image from Amazon.com

Computer assisted learning : 4th International Conference, ICCAL'92, Wolfville, Nova Scotia, Canada, June 17-20, 1992 : proceedings / I. Tomek (Ed.) by

ICCAL'92 (1992 : Wolfville, Nova Scotia Canada)
Tomek, I [ed.]

Series: Lecture notes in computer science ; no. 602

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: LB1028.5 I116 1992.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

177.

Image from Amazon.com

Computer performance evaluation : modelling techniques and tools : 7th International Conference, Vienna, Australia, May 3-6, 1994 : proceedings / Günter Haring and Gabriele Kotsis, eds. by

International Conference on Modelling Techniques and Tools for Computer Performance Evaluation (7th : 1994 : Vienna, Austria)
Haring, Günter
Kotsis, Gabriele

Series: Lecture notes in computer science ; no. 794

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer, 1994

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA76.9 E94 I55 1994.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

178.

Image from Amazon.com

Computer performance evaluation : modelling techniques and tools : 9th international conference, St. Malo, France, June 3-6, 1997 : proceedings / Raymond Marie ... [et al.], eds. by

International Conference on Modelling Techniques and Tools for Computer Performance Evaluation (9th : 1997 : Saint-Malo, France)
Marie, Raymond

Series: Lecture notes in computer science ; no. 1245

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.9 E94 I55 1997.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

179.

Image from Amazon.com

Computer science logic : 4th Workshop, CSL'90, Heidelberg, Germany, October 1-5, 1990 : proceedings / E. Börger ... [et al.] by

Workshop on Computer Science Logic (4th : 1990 : Heidelberg, Germany)
Börger, Egon, 1946-

Series: Lecture notes in computer science ; no. 533

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.9 M35 W67 1990.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

180.

Image from Amazon.com

Computer science logic : 5th Workshop, CSL'91, Berne, Switzerland, October 7-11, 1991 : proceedings / E. Börger ... [et al.] (eds.) by

Workshop on Computer Science Logic (5th : 1991 : Berne, Switzerland)
Börger, Egon, 1946-

Series: Lecture notes in computer science ; no. 626

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: QA76.9 M35 W67 1991.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists Add to cart (remove)

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