Results
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Applicable algebra, error-correcting codes, combinatorics and computer algebra : 4th International Conference, AAECC-4 Karlsruhe, FRG, September 23-26, 1986 : proceedings / Th. Beth, M. Clausen (eds.). by Beth, Thomas, 1949- [edt] | Clausen, Michael [edt] | International Conference on Applicable Algebra, Error-Correcting Codes, Combinatorics and Computer Algebra, AAECC (4 : 1986 - 26-09-1986 : Karlsruhe, FRG). Series: SerienbezeichnungMaterial type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin : Springer-Verlag, ©1988Other title: AAECC-4.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
|
|
|
Perspectives of systems informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : revised papers / Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.). by International Andrei Ershov Memorial Conference (7th : 2009 : Novosibirsk, Russia) | Pnueli, Amir, 1941-2009 | Virbitskaite, Irina | Voronkov, Andrei, 1959-. Series: Serienbezeichnung | Lecture notes in computer science ; 5947. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher number: 12829361Publication details: Berlin : Springer, ©2010Other title: PSI 2009.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Integrated circuit and system design : power and timing modeling, optimization and simulation : 19th international workshop, PATMOS 2009, Delft, the Netherlands, September 9-11, 2009 : revised selected papers / José Monteiro, René van Leuken (eds.). by PATMOS (Workshop) (19th : 2009 : Delft, Netherlands) | Monteiro, José | Van Leuken, René. Series: Serienbezeichnung | Lecture notes in computer science ; 5953. | 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).
|
|
|
Large-scale scientific computing : 7th international conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009 : revised papers / Ivan Lirkov, Svetozar Margenov, Jerzy Wasniewski, (eds.). by LSSC (7th : 2009 : Sozopol, Bulgaria) | Lirkov, Ivan, 1963- | Margenov, Svetozar | Waśniewski, Jerzy, 1931-. Series: Serienbezeichnung | Lecture notes in computer science ; 5910. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin : Springer, ©2010Other title: LSSC 2009.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Ergonomics and health aspects of work with computers : International Conference, EHAWC 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings / Michelle M. Robertson (ed.). by EHAWC 2011 (2011 : Orlando, Fla.) | Robertson, Michelle M. Series: Serienbezeichnung | Lecture notes in computer science ; 6779. | 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 ; Heidelberg ; New York : Springer, ©2011Other title: EHAWC 2011.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Integrated circuit and system design : power and timing modeling, optimization and simulation : 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised selected papers / José L. Ayala, Delong Shang, Alex Yakovlev (eds.). by PATMOS (Workshop) (22nd : 2012 : Newcastle upon Tyne, England) | Ayala, Jose L | Shang, Delong | Yakovlev, Alex. Series: Serienbezeichnung | Lecture notes in computer science ; 7606. | 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, ©2013Other title: PATMOS 2012.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Correct Hardware Design and Verification Methods : IFIP WG 10.5 Advanced Research Working Conference, CHARME '95 Frankfurt/Main, Germany, October 2-4, 1995 Proceedings / edited by Paolo E. Camurati, Hans Eveking. by Advanced Research Working Conference on Correct Hardware Design Methodologies (1995 : Frankfurt am Main, Germany) | Camurati, Paolo | Eveking, Hans. Series: Serienbezeichnung | Lecture notes in computer science ; 987.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer-Verlag, 1995Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
|
|
|
Cooperative design, visualization, and engineering : 10th International Conference, CDVE 2013, Alcudia, Mallorca, Spain, September 22-25, 2013. Proceedings / Yuhua Luo (ed.). by CDVE (Conference) (10th : 2013 : Alcudia, Spain) | Luo, Yuhua [editor.]. Series: Serienbezeichnung | Lecture notes in computer science ; 8091. | LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Heidelberg : Springer, 2013Other title: CDVE 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Agent-oriented software engineering XIII : 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012 : revised selected papers / Jörg P. Müller, Massimo Cossentino (eds.). by AOSE (Workshop) (13th : 2012 : Valencia, Spain) | Müller, J. P. (Jörg P.), 1965- [editor.] | Cossentino, Massimo [editor.]. Series: Serienbezeichnung | Lecture notes in computer science ; 7852.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Heidelberg : Springer, [2013]Copyright date: ©2013Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Information Technology in Bio- and Medical Informatics : 4th International Conference, ITBAM 2013, Prague, Czech Republic, August 28, 2013 : proceedings / Miroslav Bursa, Sami Khuri, M. Elena Renda (eds.). by ITBAM (Conference) (4th : 2013 : Prague, Czech Republic) | Bursa, Miroslav [editor.] | Khuri, Sami (Computer scientist) [editor.] | Renda, M. Elena [editor.]. Series: Serienbezeichnung | Lecture notes in computer science ; 8060, | LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Heidelberg : Springer, [2013]Copyright date: ©2013Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Computer analysis of images and patterns : 7th International Conference, CAIP'97 : Kiel, Germany, September 10-12, 1997 : proceedings / Gerald Sommer, Kostas Daniilidis, Josef Pauli (eds). by Sommer, Gerald | Sommer, Gerald, 1945- | Daniilidis, Kostas | Pauli, Josef | International Conference on Computer Analysis of Images and Patterns (7th : 1997 : Kiel, Germany). Series: Serienbezeichnung | Lecture notes in computer science ; 1296.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
|
|
|
|