Results
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Practical aspects of declarative languages : 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, proceedings / José F. Morales, Dominic Orchard (eds.). by PADL (Symposium) (23rd : 2021 : Online) | Morales, José F [editor.] | Orchard, Dominic [editor.]. Series: Serienbezeichnung | Lecture notes in computer science ; 12548. | LNCS sublibrary. SL 2, Programming and software engineering.Source: Springer Nature eBookMaterial type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, [2021]Other title: PADL 2021.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Applications of Evolutionary Computing : EvoWorkshops 2003: EvoBIO, EvoCOP, EvoIASP, EvoMUSART, EvoROB, and EvoSTIM Essex, UK, April 1416, 2003 Proceedings / edited by Stefano Cagnoni, Colin G. Johnson, Juan J. Romero Cardalda, Elena Marchiori, David W. Corne, Jean-Arcady Meyer, Jens Gottlieb, Martin Middendorf, Agns Guillot, G nther R. Raidl, Emma Hart. by Cagnoni, Stefano | Johnson, Colin G | Cardalda, Juan J. Romero | Marchiori, Elena | Corne, David W | Meyer, Jean-Arcady | Gottlieb, Jens | Middendorf, Martin | Guillot, Agns | Raidl, G. nther R | Hart, Emma. Series: Serienbezeichnung | Lecture notes in computer science ; 2611,Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Genetic and Evolutionary Computation -- GECCO 2003 : Genetic and Evolutionary Computation Conference Chicago, IL, USA, July 12-16, 2003 Proceedings, Part II / edited by Erick Cantú-Paz, James A. Foster, Kalyanmoy Deb, Lawrence David Davis, Rajkumar Roy, Una-May O'Reilly, Hans-Georg Beyer, Russell Standish, Graham Kendall, Stewart Wilson, Mark Harman, Joachim Wegener, Dipankar Dasgupta, Mitch A. Potter, Alan C. Schultz, Kathryn A. Dowsland, Natasha Jonoska, Julian Miller. by Cantú-Paz, Erick | Foster, James A | Deb, Kalyanmoy | Davis, Lawrence, 1946- | Roy, Rajkumar | O'Reilly, Una-May | Beyer, Hans-Georg | Standish, Russell | Kendall, Graham | Wilson, Stewart | Harman, Mark | Wegener, Joachim | Dasgupta, Dipankar | Potter, Mitch A | Schultz, Alan C | Dowsland, Kathryn A | Jonoska, Natasha | Miller, Julian. Series: Serienbezeichnung | Lecture notes in computer science ; 2724.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Genetic and Evolutionary Computation -- GECCO 2003 : Genetic and Evolutionary Computation Conference Chicago, IL, USA, July 12-16, 2003 Proceedings, Part I / edited by Erick Cantú-Paz, James A. Foster, Kalyanmoy Deb, Lawrence David Davis, Rajkumar Roy, Una-May O'Reilly, Hans-Georg Beyer, Russell Standish, Graham Kendall, Stewart Wilson, Mark Harman, Joachim Wegener, Dipankar Dasgupta, Mitch A. Potter, Alan C. Schultz, Kathryn A. Dowsland, Natasha Jonoska, Julian Miller. by Cantú-Paz, Erick | Foster, James A | Deb, Kalyanmoy | Davis, Lawrence, 1946- | Roy, Rajkumar | O'Reilly, Una-May | Beyer, Hans-Georg | Standish, Russell | Kendall, Graham | Wilson, Stewart | Harman, Mark | Wegener, Joachim | Dasgupta, Dipankar | Potter, Mitch A | Schultz, Alan C | Dowsland, Kathryn A | Jonoska, Natasha | Miller, Julian. Series: Serienbezeichnung | Lecture notes in computer science ; 2723.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Algebraic and algorithmic aspects of differential and integral operators : 5th International Meeting, AADIOS 2012, held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012 : selected and invited papers / Moulay Barkatou, Thomas Cluzeau, Georg Regensburger, Markus Rosenkranz (eds.). by AADIOS (Meeting) (5th : 2012 : Sofia, Bulgaria) | Barkatou, Moulay [editor.] | Cluzeau, Thomas [editor.] | Regensburger, Georg [editor.] | Rosenkranz, Markus [editor.] | Applications of Computer Algebra Conference (2012 : Sofia, Bulgaria). Series: Serienbezeichnung | Lecture notes in computer science ; 8372. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin : Springer, 2014Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Foundations of software science and computation structures : Third International Conference, FOSSACS 2000, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings / Jerzy Tiuryn (ed.). by FOSSACS (Conference) (3rd : 2000 : Berlin, Germany) | Tiuryn, Jerzy | ETAPS (Conference) (3rd : 2000 : Berlin, Germany). Series: Serienbezeichnung | Lecture notes in computer science ; 1784.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©2000Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Soft-ware 2002 : computing in an imperfect world : first international conference, Soft-Ware 2002, Belfast, Northern Ireland, April 8-10, 2002 : proceedings / David Bustard, Weiru Liu, Roy Sterritt, eds. by Soft-Ware 2002 (2002 : Belfast, Northern Ireland) | Bustard, David, 1949- | Liu, Weiru, 1962- | Sterritt, Roy, 1971-. Series: Serienbezeichnung | Lecture notes in computer science ; 2311.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).
|
|
|
|
|
|
COTS-based software systems : second international conference, ICCBSS 2003, Ottawa, Canada, February 10-12, 2003 : proceedings / Hakan Erdogmus, Tao Weng (eds.). by ICCBSS 2003 (2003 : Ottawa, Ont.) | Erdogmus, Hakan | Weng, Tao, 1977- | LINK (Online service). Series: Serienbezeichnung | Lecture notes in computer science ; 2580.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; Hong Kong : Springer-Verlag, ©2003Other title: ICCBSS 2003.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004 : revised lectures / editors, Marco Bernardo, Flavio Corradini. by Bernardo, Marco | Corradini, Flavio | LINK (Online service) | International School on Formal Methods for the Design of Computer, Communication, and Software Systems (2004 : Bertinora, Italy). Series: Serienbezeichnung | Lecture notes in computer science ; 3185.Material type: Text; Format:
available online
Publication details: Berlin : Springer, 2004Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
COTS-based software systems : Third International Conference, ICCBSS 2004, Redondo Beach, CA, USA, February 1-4, 2004 : proceedings / Rick Kazman, Dan Port (eds.). by ICCBSS 2004 (2004 : Redondo Beach, Calif.) | Kazman, Rick | Port, Dan. Series: Serienbezeichnung | Lecture notes in computer science ; 2959.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©2004Other title: ICCBSS 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Software architecture : first European workshop, EWSA 2004, St. Andrews, UK, May 21-22, 2004 : proceedings / Flavio Oquendo, Brian Warboys, Ron Morrison (eds.). by EWSA 2004 (2004 : St. Andrews, Scotland) | Oquendo, Flavio, 1958- | Warboys, Brian C, 1942- | Morrison, R. (Ronald), 1946-. Series: Serienbezeichnung | Lecture notes in computer science ; 3047.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©2004Other title: EWSA 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Foundations of software science and computation structures : 7th international conference, FOSSACS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings / Igor Walukiewicz (ed.). by FOSSACS (Conference) (7th : 2004 : Barcelona, Spain) | Walukiewicz, Igor | ETAPS (Conference) (2004 : Barcelona, Spain). Series: Serienbezeichnung | Lecture notes in computer science ; 2987.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, 2004Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
|
|
|
Rapid integration of software engineering techniques : third international workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006 ; revised selected papers / Nicolas Guelfi, Didier Buchs (eds.). by RISE 2006 (2006 : Geneva, Switzerland) | Guelfi, Nicolas, 1965- | Buchs, Didier. Series: Serienbezeichnung | Lecture notes in computer science ; 4401.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©2007Other title: RISE 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
|