Results
|
21.
|
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; 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, ...
|
|
22.
|
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; 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, ...
|
|
23.
|
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; 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, ...
|
|
24.
|
|
|
25.
|
|
|
26.
|
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; 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, ...
|
|
27.
|
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; 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, ...
|
|
28.
|
|
|
29.
|
|
|
30.
|
|
|
31.
|
|
|
32.
|
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; 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.
|
|
33.
|
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; 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, ...
|