Welcome to Central Library, SUST

Your search returned 655 results.

Not what you expected? Check for suggestions
Sort
Results
641.
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, ...

642.
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, ...

643.
Automated reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012 : proceedings / Bernhard Gramlich, Dale Miller, Uli Sattler (eds.). by
  • Gramlich, Bernhard, Dr.rer.nat
  • Miller, Dale (Dale A.)
  • Sattler, Uli
Series:
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New york : Springer, c2012
Availability: Items available for loan: Central Library, SUST (3)Call number: 511.36028563 AUT, ...

644.
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, ...

645.
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, ...

646.
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, ...

647.
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, ...

648.
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, ...

649.
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, ...

650.
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, ...

651.
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, ...

652.
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, ...

653.
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, ...

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

655.
Innovations for requirements analysis : from stakeholders' needs to formal designs : 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007 : revised selected papers / by
  • Monterey Workshop (14th : 2007 : Monterey, Calif.)
  • Paech, Barbara
  • Martell, Craig H, 1965-
Series: Lecture notes in computer science ; 5320
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, c2008
Availability: Items available for loan: Central Library, SUST (2)Call number: 005.1 INN, ...

Pages