Results
|
|
|
|
|
|
|
|
|
|
|
Logic at Botik '89 : symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings / A.R. Meyer, M.A. Taitslin (eds.). by Botik '89 (1989 : Pereslavlʹ-Zalesskiĭ, R.S.F.S.R.) | Meyer, Albert R | Taitslin, M. A. (Mikhail A.), 1936-. Series: Serienbezeichnung | Lecture notes in computer science ; 363.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer-Verlag, ©1989Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Information processing in medical imaging : 17th International Conference, IPMI 2001, Davis, CA, USA, June 18-22, 2001 : proceedings / Michael F. Insana, Richard M. Leahy, (eds.). by International Conference on Information Processing in Medical Imaging (17th : 2001 : Davis, Calif.) | Insana, Michael F [editor] | Leahy, Richard M [editor]. Series: Serienbezeichnung | Lecture notes in computer science ; 2082.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©2001Other title: 17th International Conference, IPMI 2001 | Seventeenth International Conference, IPMI 2001 | International Conference, IPMI 2001 | IMPI 2001.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Rough sets and current trends in computing : third international conference, RSCTC 2002, Malvern, PA, USA, October 14-16, 2002 : proceedings / James J. Alpigini [and others] (eds.). by RSCTC 2002 (2002 : Malvern, Pa.) | Alpigini, James J, 1961-. Series: Serienbezeichnung | Lecture notes in computer science ; 2475. | Lecture notes in computer science. Lecture notes in artificial intelligence.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
|
|
|
Information processing in computer-assisted interventions : first international conference, IPCAI 2010, Geneva, Switzerland, June 23, 2010 ; proceedings / Nassir Navab, Pierre Jannin (eds.). by IPCAI (Conference) (1st : 2010 : Geneva, Switzerland) | Navab, Nassir | Jannin, Pierre. Series: Serienbezeichnung | Lecture notes in computer science ; 6135. | LNCS sublibrary. SL 6, Image processing, computer vision, pattern recognition, and graphics.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin : Springer, ©2010Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Formal techniques for distributed systems : joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, the Netherlands, June 7-9, 2010 ; proceedings / John Hatcliff, Elena Zucca (eds.). by International Conference on Formal Methods for Open Object-Based Distributed Systems (12th : 2010 : Amsterdam, Netherlands) | Hatcliff, John, 1966- | Zucca, Elena | FORTE 2010 (2010 : Amsterdam, Netherlands). Series: Serienbezeichnung | Lecture notes in computer science ; 6117.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin : Springer, 2010Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Coordination models and languages : 12th international conference, COORDINATION 2010, Amsterdam, the Netherlands, June 7-9, 2010 ; proceedings / Dave Clarke, Gul Agha (eds.). by COORDINATION (Conference) (12th : 2010 : Amsterdam, Netherlands) | Clarke, Dave | Gul, Āg̲h̲ā, 1951-. Series: Serienbezeichnung | Lecture notes in computer science ; 6116. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin : Springer, ©2010Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 7th international conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010 ; proceedings / Andrea Lodi, Michela Milano, Paolo Toth (eds.). by International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (7th : 2010 : Bologna, Italy) | Lodi, Andrea | Milano, Michela | Toth, Paolo. Series: Serienbezeichnung | Lecture notes in computer science ; 6140. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Source: Springer eBooksMaterial type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, 2010Other title: CPAIOR 2010.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Structural information and communication complexity : 17th international colloquium, SIROCCO 2010, Şirince, Turkey, June 7-11, 2010 : proceedings / Boaz Patt-Shamir, Tinaz Ekim (eds.). by Colloquium on Structural Information and Communication Complexity (17th : 2010 : İzmir, Turkey) | Patt-Shamir, Boaz | Ekim, Tınaz. Series: Serienbezeichnung | Lecture notes in computer science ; 6058. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©2010Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Distributed computing and internet technology : 6th international conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010 : proceedings / Tomasz Janowski, Hrushikesha Mohanty (eds.). by International Conference on Distributed Computing and Internet Technology (6th : 2010 : Bhubaneswar, India) | Janowski, Tomasz | Mohanty, Hrushikesha. Series: Serienbezeichnung | Lecture notes in computer science ; 5966. | LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher number: 12984480Publication details: Berlin ; New York : Springer, ©2010Other title: ICDCIT 2010.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
|
|
|
|
|
|
|
|
|
Distributed computing : 24th international symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010 : proceedings / Nancy A. Lynch, Alexander A. Shvartsman (eds.). by DISC (Symposium) (24th : 2010 : Cambridge, Mass.) | Lynch, Nancy A. (Nancy Ann), 1948- | Shvartsman, Alex Allister. Series: Serienbezeichnung | Lecture notes in computer science ; 6343. | Lecture notes in computer science. Advanced research in computing and software science. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©2010Other title: DISC 2010.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Advances in conceptual modeling--applications and challenges : ER 2010 Workshops, ACM-L, CMLSA, CMS, DE@ER, FP-UML, SeCoGIS, WISM, Vancouver, BC, Canada, November 1-4, 2010 : proceedings / Juan Trujillo [and others] (eds.). by International Conference on Conceptual Modeling (2010 : Vancouver, B.C.) | Trujillo, Juan. Series: Serienbezeichnung | Lecture notes in computer science ; 6413. | LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin : Springer, 2010Other title: ER 2010 workshops.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
|
|
|
|