Refine your search

Your search returned 29 results.

Not what you expected? Check for suggestions
Sort
Results
1.
Advanced data mining and applications : 7th International Conference, ADMA 2011, Beijing, China, December 17-19, 2011. Proceedings, Part 1 / Edited Jie Tang ...[et al.]. by
  • Tang, Jie
Series: Lecture notes in computer science ; 8933
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: London : SPringer. c2011
Availability: Items available for loan: Central Library, SUST (2)Call number: 006.312 ADV, ...

2.
Recent trends in data type specification : 11th Workshop on Specification of Abstract Data Types, joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995 : selected papers / Magne Haveraaen, Olaf Owe, Ole-Johan Dahl, eds. by
  • Workshop on Specification of Abstract Data Types (11th : 1995 : Oslo, Norway)
  • Haveraaen, Magne
  • Owe, Olaf
  • Dahl, Ole-Johan, 1931-
  • COMPASS Workshop (8th : 1995 : Oslo, Norway)
Series: Lecture notes in computer science ; 1130
Material type: Text Text; Format: microfiche ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, c1996
Availability: Items available for loan: Central Library, SUST (2)Call number: 005.73 REC, ...

3.
Algorithmic game theory : 7th International Symposium, SAGT 2014, Haifa, Israel, September 30 - October 2, 2014. Proceedings / [edited by] Ron Lavi by
  • Lavi, Ron
Series: Lecture notes in computer science ; 8768
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Heidelberg : Springer, c2014
Availability: Items available for loan: Central Library, SUST (3)Call number: 330.015193 ALG, ...

4.
Intelligent virtual agents : 10th international conference, IVA 2010, Philadelphia, PA, USA, September 20-22, 2010 : proceedings / Jan Allbeck ... [et al.] (eds.). by
  • IVA 2010 (2010 : Philadelphia, Pa.)
  • Allbeck, Jan
Series: Lecture notes in computer science ; 6356. | Lecture notes in computer science. Lecture notes in artifical intelligence.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2010
Availability: Items available for loan: Central Library, SUST (3)Call number: 006.8 INT, ...

5.
Bridging between information retrieval and databases : promise winter school 2013, Bressanone, Italy, February 4-8, 2013. Revised Tutorial Lectures / [edited by] Nicola Ferro. by
  • Ferro, Nicola
Series: Lecture notes in computer science ; 8173
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New york : Springer, c2014
Availability: Items available for loan: Central Library, SUST (2)Call number: 621.3670285443 BRI, ...

6.
Algorithmic number theory : first international symposium, ANTS-I, Ithaca, NY, USA, May 6-9, 1994 : proceedings / Leonard M. Adleman, Ming-Deh Huang, eds. by
  • Adleman, Leonard M
  • Huang, Ming-Deh A
  • Algorithmic Number Theory Symposium (1st : 1994 : Ithaca, N.Y.)
Series: Lecture notes in computer science ; 877
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, c1994
Availability: Items available for loan: Central Library, SUST (5)Call number: 512.7 ALG, ...

7.
Artificial intelligence and soft computing : 10th international conference, ICAISC 2010, Zakopane, Poland, June 13-17, 2010 / Leszek Rutkowski ... [et al.] (eds.). by
  • ICAISC 2010 (2010 : Zakopane, Poland)
  • Rutkowski, Leszek
Series: Lecture notes in computer science ; 6113. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, c2010
Availability: Items available for loan: Central Library, SUST (3)Call number: 006.3 ART, ...

8.
Distributed systems--architecture and implementation : an advanced course / D.W. Davies ... [et al.] ; edited by B.W. Lampson, M. Paul, and H.J. Siegert. by
  • Davies, Donald Watts
  • Lampson, Butler W
  • Paul, Manfred, 1932-
  • Siegert, H. J
  • Technische Universit�at M�unchen. Institut f�ur Informatik
  • Advanced Course on Distributed Systems--Architecture and Implementation (1980 : Technische Universit�at M�unchen)
Series: Lecture notes in computer science ; 105
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, c1981
Availability: Items available for loan: Central Library, SUST (3)Call number: 001.64 DIS, ...

9.
Computation, logic, games and quantum foundations : the many facets of Samson Abramsky. essays dedicated to Samson Abramsky on the occasion of his 60th birthday / Edited by: Bob Coecke, Luke Ong, Prakash Panangaden. by
  • Coecke, Bob
  • [Ong, Luke]
  • Panangaden, Prakash
Series: Lecture notes in computer science ; 7860
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: London : Springer. c2013
Availability: Items available for loan: Central Library, SUST (3)Call number: 530.1433 COM, ...

10.
Algorithms and applications : essay dedicated to Esko Ukkonen on the occasion of his 60th birthday / Tapio Elomaa, Heikki Mannila, Pekka Orponen, (eds.). by
  • Elomaa, Tapio, 1963-
  • Mannila, Heikki
  • Orponen, Pekka
Series: Lecture notes in computer science ; 6060
Material type: Text Text; Format: print festschrift ; Literary form: Not fiction
Publication details: Berlin : Springer, c2010
Availability: Items available for loan: Central Library, SUST (3)Call number: 610.73 ALG, ...

11.
MMIXware : a RISC computer for the third millennium / Donald E. Knuth. by
  • Knuth, Donald Ervin, 1938-
Series: Lecture notes in computer science ; 1750.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, c1999
Online access:
Availability: Items available for loan: Central Library, SUST (2)Call number: 005.1 KNM, ...

12.
Algorithmic number theory : first international symposium, ANTS-I, Ithaca, NY, USA, May 6-9, 1994 : proceedings / Leonard M. Adleman, Ming-Deh Huang, eds. by
  • Adleman, Leonard M
  • Huang, Ming-Deh A
  • Algorithmic Number Theory Symposium (1st : 1994 : Ithaca, N.Y.)
Series: Lecture notes in computer science ; 877
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, c1994
Availability: Items available for loan: Central Library, SUST (1)Call number: 512.7 ALG.

13.
Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, january 8-10, 2006 : proceedings / [edited by] E. Allen Emerson, Kedar S. Namjoshi. by
  • Emerson, E. Allen
  • Namjoshi, Kedar S
Series: Lecture notes in computer science ; 3855
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, c2006
Availability: Items available for loan: Central Library, SUST (3)Call number: 005.14 EMV, ...

14.
Wireless networking for moving objects : protocols, architectures, tools, services and applications / [edited by] Ivan Ganchev, Marilia Curado, Andreas Kassler. by
  • Ganchev, Ivan
  • Curado, Marilia
  • Kassler, Andreas
Series: Lecture notes in computer science ; 8611
Material type: Text Text; Format: microfiche ; Literary form: Not fiction
Publication details: New york : Springer, c2014
Availability: Items available for loan: Central Library, SUST (3)Call number: 621.382 WIR, ...

15.
PASCAL, user manual and report / Kathleen Jensen, Niklaus Wirth. by
  • Jensen, Kathleen, 1949-
  • Wirth, Niklaus [joint author.]
Series: Lecture notes in computer science ; 18
Edition: 2d ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, c1975
Availability: Items available for loan: Central Library, SUST (3)Call number: 001.6424 JEP, ...

16.
Language, culture, computation : computing - theory and technology. essays dedicated to Yaacov Choueka on the occasion of his 75th birthday, part I / [edited by] Nachum Dershowitz, Ephraim Nissan. by
  • Dershowitz, Nachum
  • Nissan, Ephraim
Series: Lecture notes in computer science ; 8001
Edition: 1st edition.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2014
Availability: Items available for loan: Central Library, SUST (3)Call number: 622.0285 LAN, ...

17.
Language, Culture, Computation. Computing of the Humanities, Law, and Narratives : Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part II [edited by] Nachum Dershowitz, Ephraim Nissan. by
  • Dershowitz, Nachum
  • Nissan, Ephraim
Series: Lecture notes in computer science ; 8001
Edition: 1st edition.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2014
Availability: Items available for loan: Central Library, SUST (2)Call number: 622.0285 LAN, ...

18.
Graph transformations and model-driven engineering : essays dedicated to Manfred Nagl on the occasion of his 65th birthday / Gregor Engels ... [et al.] (eds.). by
  • Lewerentz Claus
  • Scafer, Wilhelm
  • Schurr, Andy
  • Westfechtel, Bernhard
Series:
Material type: Text Text; Format: microfiche ; Literary form: Not fiction
Publication details: New york : Springer, 2010
Availability: Items available for loan: Central Library, SUST (3)Call number: 005.1028 GRA, ...

19.
Embedded systems design : the ARTIST roadmap for research and development / Bruno Bouyssounouse, Joseph Sifakis (eds.). by
  • Bouyssounouse, Bruno
  • Sifakis, J. (Joseph), 1946-
Series:
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, c2005
Availability: Items available for loan: Central Library, SUST (3)Call number: 004.16 EMB, ...

20.
Advances in cryptology--CRYPTO '88 : proceedings / S. Goldwasser (Ed.) by
  • Goldwasser, S
Series: Lecture notes in computer science, 403
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, ©1990
Availability: Items available for loan: Central Library, SUST (3)Call number: 005.82 ADV, ...

Pages