Search Results for Lecture notes in computer science

Mobile agents : control algorithms / Jaochim Baumann.

2025-02-05T04:51:04Z

Author Baumann, Joachim, 1965-
Publication Date 2000
Format Books
ISBN 9783540411925

Compiler specification and verification / Wolfgang Polak.

2025-02-05T04:51:04Z

Author Polak, Wolfgang, 1950-
Publication Date 1981
Format Books
ISBN 9780387108865

A Concurrent PASCAL compiler for minicomputers / Alfred C. Hartmann.

2025-02-05T04:51:04Z

Author Hartmann, Alfred C., 1948-
Publication Date 1977
Format Books
ISBN 9780387082400

Models and tools for managing development processes / Bernhard Westfechtel.

2025-02-05T04:51:04Z

Author Westfechtel, Bernhard, 1958-
Publication Date 1999
Format Books
ISBN 9783540667568

A connotational theory of program structure / James S. Royer.

2025-02-05T04:51:04Z

Author Royer, James S.
Publication Date 1987
Format Books
ISBN 9780387182537

Verification, model checking, and abstract interpretation : 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 ; proceedings / Neil D. Jones, Markus Müller-Olm (eds.).

2025-02-05T04:51:04Z

Publication Date 2009
Format Books
ISBN 9783540938996

Using sophisticated models in resolution theorem proving / David M. Sandford.

2025-02-05T04:51:04Z

Author Sandford, David M.
Publication Date 1980
Format Books
ISBN 9780387102313

Grid computing : experiment management, tool integration, and scientific workflows / Radu Prodan, Thomas Fahringer.

2025-02-05T04:51:04Z

Author Prodan, Radu.
Publication Date 2007
Format Books
ISBN 9783540692614

Neural networks : tricks of the trade / Genevieve B. Orr, Klaus-Robert Müller (eds.).

2025-02-05T04:51:04Z

Author Orr, Genevieve.
Publication Date 1998
Format Books
ISBN 9783540653110

Optimal interprocedural program optimization : a new framework and its application / Jens Knoop.

2025-02-05T04:51:04Z

Author Knoop, Jens.
Publication Date 1998
Format Books
ISBN 9783540651239

The problem of incomplete information in relational databases / G. Grahne.

2025-02-05T04:51:04Z

Author Grahne, G., 1955-
Publication Date 1991
Format Books
ISBN 9783540549192 9780387549194

Geometric reasoning for perception and action : workshop, Grenoble, France, September 16-17, 1991 : selected papers / Christian Laugier (ed.).

2025-02-05T04:51:04Z

Author Laugier, Christian.
Publication Date 1993
Format Books
ISBN 9783540571322 9780387571324

PASCAL: user manual and report / [by] Kathleen Jensen [and] Niklaus Wirth.

2025-02-05T04:51:04Z

Author Jensen, Kathleen, 1949-
Publication Date 1974
Format Books
ISBN 9780387069500

Correct system design : recent insights and advances / Ernst-Rüdiger Olderog, Bernhard Steffen (eds.).

2025-02-05T04:51:04Z

Author Steffen, Bernhard.
Publication Date 1999
Format Books
ISBN 9783540666240

ANNA, a language for annotating Ada programs : reference manual / David C. Luckham [and others].

2025-02-05T04:51:04Z

Author Luckham, David C.
Publication Date 1987
Format Books
ISBN 9780387179803

Evolutionary computing : AISB Workshop, Brighton, U.K., April 1-2, 1996 : selected papers / Terence C. Fogarty, ed.

2025-02-05T04:51:04Z

Author AISB Workshop (1996 : Brighton, England)
Publication Date 1996
Format Books
ISBN 9783540617495

Component-based software quality : methods and techniques / Alejandra Cechich, Mario Piattini, Antonio Vallecillo (eds.).

2025-02-05T04:51:04Z

Author Cechich, Alejandra.
Publication Date 2003
Format Books
ISBN 9783540405030

Formal syntax and semantics of Java / Jim Alves-Foss (ed.).

2025-02-05T04:51:04Z

Author Alves-Foss, James, 1964-
Publication Date 1999
Format Books
ISBN 9783540661580

Direct methods for sparse matrices / Ole Østerby, Zahari Zlatev.

2025-02-05T04:51:04Z

Author Østerby, O.
Publication Date 1983
Format Books
ISBN 9780387126760

Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship / J. Zwiers.

2025-02-05T04:51:04Z

Author Zwiers, J. (Job), 1956-
Publication Date 1989
Format Books
ISBN 9780387508450

Advanced symbolic analysis for compilers : new techniques and algorithms for symbolic program analysis and optimization / Thomas Fahringer, Bernhard Scholz.

2025-02-05T04:51:04Z

Author Fahringer, Thomas, 1965-
Publication Date 2003
Format Books
ISBN 9783540011859

Intelligent hypertext : advanced techniques for the World Wide Web / Charles Nicholas, James Mayfield (eds.).

2025-02-05T04:51:04Z

Author Nicholas, Charles K., 1957-
Publication Date 1997
Format Books
ISBN 9783540636373

Solving combinatorial optimization problems in parallel : methods and techniques / Afonso Ferreira, Panos Pardalos (eds.).

2025-02-05T04:51:04Z

Author Ferreira, Afonso.
Publication Date 1996
Format Books
ISBN 9783540610434

P-functions and Boolean matrix factorization : a unified approach for wired, programmed and microprogrammed implementations of discrete algorithms / André Thayse.

2025-02-05T04:51:04Z

Author Thayse, André, 1940-
Publication Date 1984
Format Books
ISBN 9783540133582 9780387133584

Computer algebra : EUROCAM '82, European computer algebra conference, Marseille, France, 5-7 April 1982 / edited by Jaques Calmet.

2025-02-05T04:51:04Z

Author European Computer Algebra Conference (1982 : Marseille, France)
Publication Date 1982
Format Books
ISBN 9783540116073 9780387116075

Proceedings / ECOOP '87, European Conference on Object-Oriented Programming, Paris, France, June 15-17, 1987 ; [edited by] J. Bézivin [and others].

2025-02-05T04:51:04Z

Author ECOOP (Conference) (1987 : Paris, France)
Publication Date 1987
Format Books
ISBN 9780387183534

Temporal databases : research and practice / Opher Etzion, Sushil Jajodia, Sury Sripada, eds.

2025-02-05T04:51:04Z

Author Etzion, Opher.
Publication Date 1998
Format Books
ISBN 9783540645191

Efficient structures for geometric data management / Oliver Günther.

2025-02-05T04:51:04Z

Author Günther, Oliver, 1961-
Publication Date 1988
Format Books
ISBN 9780387504636

High-performance computing and networking : 7th international conference, HPCN Europe, 1999, Amsterdam, The Netherlands, April 1999 : proceedings / Peter Sloot [and others].

2025-02-05T04:51:04Z

Author Sloot, Peter, 1956-
Publication Date 1999
Format Books
ISBN 9783540658214

Attribute grammars : definitions, systems, and bibliography / Pierre Deransart, Martin Jourdan, Bernard Lorho.

2025-02-05T04:51:04Z

Author Deransart, Pierre.
Publication Date 1988
Format Books
ISBN 9780387500560

Algebraic and logic programming : international workshop, Gaussig, GDR, November 14-18, 1988 : proceedings / J. Grabowski, P. Lescanne, W. Wechler (eds.).

2025-02-05T04:51:04Z

Author Grabowski, J. (Jan)
Publication Date 1988
Format Books
ISBN 9780387506678

Advances in cryptology-CRYPTO '87 : proceedings / ; Carl Pomerance (ed.).

2025-02-05T04:51:04Z

Author CRYPTO '87 (1987 : University of California, Santa Barbara)
Publication Date 1988
Format Books
ISBN 9780387187969

Parallel computer architectures : theory, hardware, software, applications / Arndt Bode, Mario Dal Cin, eds.

2025-02-05T04:51:04Z

Author Bode, Arndt.
Publication Date 1993
Format Books
ISBN 9780387573076

From logic design to logic programming : theorem proving techniques and P-functions / Dominique Snyers, André Thayse.

2025-02-05T04:51:04Z

Author Snyers, Dominique, 1959-
Publication Date 1987
Format Books
ISBN 9780387182179

Human computer interaction : Vienna conference, VCHCI '93, Fin de siècle, Vienna, Austria, September 20-22, 1993 : proceedings / Thomas Grechenig, Manfred Tscheligi, eds.

2025-02-05T04:51:04Z

Author VCHCI '93 (1993 : Vienna, Austria)
Publication Date 1993
Format Books
ISBN 9780387573120

ECOOP '88, European Conference on Object-Oriented Programming, Oslo, Norway, August 15-17, 1988, proceedings / S. Gjessing, K. Nygaard, eds.

2025-02-05T04:51:04Z

Author ECOOP (Conference) (1988 : Oslo, Norway)
Publication Date 1988
Format Books
ISBN 9783540500537

Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings / edited by Peter J.L. Wallis.

2025-02-05T04:51:04Z

Author Ada Software Tools Interfaces Workshop (1983 : Bath, England)
Publication Date 1984
Format Books
ISBN 9780387138787

Software engineering environments : proceedings / International Workshop on Environments, Chinon, France, September 18-20, 1989 ; F.W. Long, ed.

2025-02-05T04:51:04Z

Author International Workshop on Environments (1989 : Chinon, France)
Publication Date 1990
Format Books
ISBN 9783540534525 9780387534527

Artificial neural networks--ICANN 2001 : International Conference, Vienna, Austria, August 21-25, 2001 : proceedings / Georg Dorffner, Horst Bischof, Kurt Hornik (eds.).

2025-02-05T04:51:04Z

Author International Conference on Artificial Neural Networks (European Neural Network Society) (2001 : Vienna, Austria)
Publication Date 2001
Format Books
ISBN 9783540424864

Mobile agents : 5th international conference, MA 2001, Atlanta, GA, USA, December 2-4, 2001 : proceedings / Gian Pietro Picco (ed.).

2025-02-05T04:51:04Z

Author MA 2001 (2001 : Atlanta, Ga.)
Publication Date 2001
Format Books
ISBN 9783540429524

Job scheduling strategies for parallel processing : IPPS '97 Workshop, Geneva, Switzerland, April 5, 1997 : proceedings / Dror G. Feitelson, Larry Rudolph, eds.

2025-02-05T04:51:04Z

Author IPPS '97 Workshop (1997 : Geneva, Switzerland)
Publication Date 1997
Format Books
ISBN 9783540635741

Advanced environments, tools, and applications for cluster computing : NATO Advanced Research Workshop, IWCC 2001, Mangalia, Romania, September 1-6, 2001 : revised papers / Dan Grigoras [and others] (eds.).

2025-02-05T04:51:04Z

Author IWCC 2001 (2001 : Mangalia, Romania)
Publication Date 2002
Format Books
ISBN 9783540436720

Programming languages and their definition / H. Bekič ; selected papers edited by C.B. Jones.

2025-02-05T04:51:04Z

Author Bekič, H. (Hans), 1936-1982.
Publication Date 1984
Format Books
ISBN 9780387133782

Computational linguistics and intelligent text processing : second international conference, CICLing 2001, Mexico City, Mexico, February 218-24, 2001 : proceedings / Alexander Gelbukh (ed.).

2025-02-05T04:51:04Z

Author CICLing (Conference)
Publication Date 2001
Format Books
ISBN 9783540416876

High-performance computing and networking : International Conference and Exhibition, Munich, Germany, April 18-20, 1994 : proceedings / Wolfgang Gentzsch, Uwe Harms, eds.

2025-02-05T04:51:04Z

Author Gentzsch, Wolfgang.
Publication Date 1994-2025 (ongoing)
Format Books
ISBN 9783540579816 9780387579818

Advances in database technology, EDBT '88 : International Conference on Extending Database Technology, Venice, Italy, March 14-18, 1988, proceedings / J.W. Schmidt, S. Ceri, M. Missikoff, eds.

2025-02-05T04:51:04Z

Author International Conference on Extending Database Technology (1988 : Venice, Italy)
Publication Date 1988
Format Books
ISBN 9780387190747

Agent-oriented software engineering : first international workshop, AOSE 2000, Limerick, Ireland, June 10, 2000 : revised papers / Paolo Ciancarini, Michael J. Wooldridge (eds.).

2025-02-05T04:51:04Z

Author AOSE 2000 (2000 : Limerick, Ireland)
Publication Date 2001
Format Books
ISBN 9783540415947

Advances in cryptology--EUROCRYPT '88 : Workshop on the Theory and Application of Cryptographic Techniques, Davos, Switzerland, May 25-27, 1988: proceedings / Christoph G. Günther (ed.).

2025-02-05T04:51:04Z

Author EUROCRPYT '88 (1988 : Davos, Switzerland)
Publication Date 1988
Format Books
ISBN 9780387502519

The unified modeling language : "UML"'98 : beyond the notation : First International Workshop, Mulhouse, France, June 3-4, 1998 : selected papers / Jean Bézivin, Pierre-Alain Muller (eds.).

2025-02-05T04:51:04Z

Author UML '98 (1998 : Mulhouse, France)
Publication Date 1999
Format Books
ISBN 9783540662525

Mobile agents : first international workshop, MA '97, Berlin, Germany, April 7-8, 1997 : proceedings / Kurt Rothermel, Radu Popescu-Zeletin, eds.

2025-02-05T04:51:04Z

Author MA '97 (1997 : Berlin, Germany)
Publication Date 1997
Format Books
ISBN 9783540628033

Computational forensics : second international workshop, IWCF 2008, Washington, DC, USA, August 7-8, 2008 ; proceedings / Sargur N. Srihari, Katrin Franke (eds.).

2025-02-05T04:51:04Z

Author IWCF 2008 (2008 : Washington, D.C.)
Publication Date 2008
Format Books
ISBN 9783540853022

Security in communication networks : third international conference, SCN 2002, Amalfi, Italy, September 11-13, 2002 : revised papers / Stelvio Cimato, Clemente Galdi, Giuseppe Persiano (eds.).

2025-02-05T04:51:04Z

Author SCN 2002 (2002 : Amalfi, Italy)
Publication Date 2003
Format Books
ISBN 9783540004202

Human computer interaction with mobile devices : 4th international symposium, Mobile HCI 2002, Pisa, Italy, September 18-20, 2002 : proceedings / Fabio Paternò (ed.).

2025-02-05T04:51:04Z

Author Mobile HCI 2002 (2002 : Pisa, Italy)
Publication Date 2002
Format Books
ISBN 9783540441892

Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings / M. Boscarol, L. Carlucci Aiello, G. Levi (eds.).

2025-02-05T04:51:04Z

Author Foundations of Logic and Functional Programming Workshop (1986 : Trento, Italy)
Publication Date 1988
Format Books
ISBN 9780387191294

Advances in cryptology--EUROCRYPT '87 : Workshop on the Theory and Application of Cryptographic Techniques, Amsterdam, The Netherlands, April 13-15, 1987 : proceedings / David Chaum, Wyn L. Price, eds.

2025-02-05T04:51:04Z

Author EUROCRYPT '87 (1987 : Amsterdam, Netherlands)
Publication Date 1988
Format Books
ISBN 9780387191027

First Title value, for Searching Theory and applications of satisfiability testing [electronic resource] : 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers / Enrico Giunchiglia, Armando Tacchella (eds.).

2025-02-05T04:51:04Z

First Author value, for Searching SAT 2003 (2003 : Santa Margherita Ligure, Italy)
Publication Date as Range 2004
Format Electronic Resources
Electronic Access Bibliographic record display DSU Current Faculty/Staff/Students click here An electronic book accessible through the World Wide Web; click for information

Services and visualization : towards user-friendly design : ACoS'98, VISUAL'98, AIN'97 selected papers / Tiziana Margaria [and others].

2025-02-05T04:51:04Z

Author ACoS'98 (1998 : University of Lisbon)
Publication Date 1998
Format Books
ISBN 9783540643678

First Title value, for Searching Aspects of molecular computing [electronic resource] : essays dedicated to Tom Head on the occasion of his 70th birthday / Nataša Jonoska, Gheorghe Păun, Grzegorz Rozenberg (eds.).

2025-02-05T04:51:04Z

First Author value, for Searching Head, Thomas J., 1934-
Publication Date as Range 2004
Format Electronic Resources
Electronic Access DSU Current Faculty/Staff/Students click here

Codes for boundary-value problems in ordinary differential equations : proceedings of a working conference, May 14-17, 1978 / edited by B. Childs [and others].

2025-02-05T04:51:04Z

Author Working Conference on Codes for Boundary-Value Problems in Ordinary Differential Equation (1978 : University of Houston)
Publication Date 1979
Format Books
ISBN 9780387095547

First Title value, for Searching Wireless on-demand network systems [electronic resource] : first IFIP TC6 working conference, WONS 2004, Madonna di Campiglio, Italy, January 21-23, 2004 : proceedings / Roberto Battiti, Marco Conti, Renato Lo Cigno, eds.

2025-02-05T04:51:04Z

First Author value, for Searching WONS 2004 (2004 : Madonna di Campiglio, Italy)
Publication Date as Range 2004
Format Electronic Resources
Electronic Access DSU Current Faculty/Staff/Students click here

System development and Ada / CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, proceedings ; A.N. Habermann, U. Montanari, eds.

2025-02-05T04:51:04Z

Author CRAI Workshop on Software Factories and Ada (1986 : Capri, Italy)
Publication Date 1987
Format Books
ISBN 9780387183411

Languages and compilers for parallel computing : 11th International Workshop, LCPC '98, Chapel Hill, NC, USA August 7-9, 1998 ; proceedings / Siddhartha Chatterjee[and others], (eds.).

2025-02-05T04:51:04Z

Author LCPC'98. Conference (1998 : Chapel Hill, N.C)
Publication Date 1999
Format Books
ISBN 9783540664260

Natural language at the computer : proceedings / Scientific Symposium on Syntax and Semantics for Text Processing and Man-Machine-Communication, held on the occasion of the 20th anniversary of the Science Center Heidelberg of IBM Germany, Heidelberg, FRG, February 25, 1988 ; A. Blaser, ed.

2025-02-05T04:51:04Z

Author Scientific Symposium on Syntax and Semantics for Text Processing and Man-Machine-Communication (1988 : Heidelberg, Germany)
Publication Date 1988
Format Books
ISBN 9783540500117

Conceptual modeling, ER.

2025-02-05T04:51:04Z

Author International Conference on Conceptual Modeling.
Format Continuing Resources Other Regular print

Information hiding : 5th international workshop, IH 2002, Noordwijkerhout, the Netherlands, October 7-9, 2002 : revised papers / Fabien A.P. Petitcolas (ed.).

2025-02-05T04:51:04Z

Author IH (Conference) (5th : 2002 : Noordwijkerhout, Netherlands)
Publication Date 2003
Format Electronic Resources
ISBN 9783540004219

Foundations of software science and computation structures.

2025-02-05T04:51:04Z

Author FoSSaCs.
Publication Date 1998-2025 (ongoing)
Format Continuing Resources Other Regular print

Software product lines : second international conference, SPLC2, San Diego, CA, USA, August 19-22, 2002 : proceedings / Gary J. Chastek (ed.).

2025-02-05T04:51:04Z

Author Software Product Lines Conference (2nd : 2002 : San Diego, Calif.)
Publication Date 2002
Format Books
ISBN 9783540439851

High performance computing : Second International Symposium, ISHPC'99, Kyoto, Japan, May 26-28, 1999 : proceedings / Constantine Polychronopoulos [and others], eds.

2025-02-05T04:51:04Z

Author International Symposium on High Performance Computing (2nd : 1999 : Kyoto, Japan)
Publication Date 1999
Format Books
ISBN 9783540659693

9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings / E. Lusk, R. Overbeek (eds.).

2025-02-05T04:51:04Z

Author International Conference on Automated Deduction (9th : 1988 : Argonne, Ill.)
Publication Date 1988
Format Books
ISBN 9780387193434

STACS 2000 : 17th Annual Symposium on Theortical Aspects of computer Science, lille, France, February 2000 : proceedings / Horst Reichel, Sophie Tison, [editors].

2025-02-05T04:51:04Z

Author Symposium on Theoretical Aspects of Computer Science (17th : 2000 : Lille, France)
Publication Date 2000
Format Books
ISBN 9783540671411

Cooperative information systems : 7th International Conference, CoopIS 2000, Eilat, Israel, September 6-8, 2000 : proceedings / Opher Etzion, Peter Scheuermann (eds.).

2025-02-05T04:51:04Z

Author IFCIS International Conference on Cooperative Information Systems (7th : 2000 : Eilat, Israel)
Publication Date 2000
Format Books
ISBN 9783540410218

Advances in database technology--EDBT 2000 : 7th International Conference on Extending Database Technology, Konstanz, Germany, March 27-31, 2000 : proceedings / Carlo Zaniolo [and others], (eds.).

2025-02-05T04:51:04Z

Author International Conference on Extending Database Technology (7th : 2000 : Konstanz, Germany)
Publication Date 2000
Format Books
ISBN 9783540672272

Algebraic methodology and software technology : 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings / Teodor Rus (ed.).

2025-02-05T04:51:04Z

Author International Conference on Algebraic Methodology and Software Technology (8th : 2000 : Iowa City, Iowa)
Publication Date 2000
Format Books
ISBN 9783540675303

High performance computing and networking : 8th international conference, HPCN Europe, 2000, Amsterdam, The Netherlands, May 8-10, 2000 : proceedings / Marian Bubak [and others], (eds.).

2025-02-05T04:51:04Z

Author International Conference and Exhibition on High-Performance Computing and Networking (8th : 2000 : Amsterdam, Netherlands)
Publication Date 2000
Format Books
ISBN 9783540675532

Solving irregularly structured problems in parallel : 4th International Symposium, IRREGULAR '97, Paderborn, Germany, June 12-13, 1997 : proceedings / G. Bilardi [and others], eds.

2025-02-05T04:51:04Z

Author International Symposium on Solving Irregularly Structured Problems in Parallel (4th : 1997 : Paderborn, Ger.)
Publication Date 1997
Format Books
ISBN 9783540631385

Advances in databases : 17th British National Conference on Databases, BNCOD 17, Exeter, UK, July 3-5, 2000 : proceedings / Brian Lings, Keith Jeffery, (eds.).

2025-02-05T04:51:04Z

Author British National Conference on Databases (17th : 2000 : Exeter, England)
Publication Date 2000
Format Books
ISBN 9783540677437

High performance computing : 4th International Symposium, ISHPC 2002, Kansai Science City, Japan, May 15-17, 2002 : proceedings / Hans P. Zima [and others], eds.

2025-02-05T04:51:04Z

Author International Symposium on High Performance Computing (4th : 2002 : Kansai Science City, Japan)
Publication Date 2002
Format Books
ISBN 9783540436744

Parallel computing technologies : 5th International Conference, PaCT-99, St. Petersburg, Russia, September 6-10, 1999 : proceedings / Victor Malyshkin (ed.).

2025-02-05T04:51:04Z

Author International Conference on Parallel Computing Technologies (5th : 1999 : Saint Petersburg, Russia)
Publication Date 1999
Format Books
ISBN 9783540663638

Intelligent tutoring systems : Third International Conference, ITS '96 Montréal, Canada, June 12-14 1996, proceedings / Claude Frasson, Gilles Gauthier, Alan Lesgold, eds.

2025-02-05T04:51:04Z

Author International Conference, ITS (3rd : 1996 : Montréal, Québec)
Publication Date 1996
Format Books
ISBN 9783540613275

High-performance computing and networking : 9th international conference, HPCN Europe, 2001, Amsterdam, The Netherlands, June 25-27, 2001 : proceedings / Bob Hertzberger, Alfons Hoekstra, Roy Williams (Eds.).

2025-02-05T04:51:04Z

Author Hertzberger, Bob.
Publication Date 2001
Format Books
ISBN 9783540422938

Deductive and object-oriented databases : 5th international conference, DOOD '97, Montreux, Switzerland, December 8-12, 1997 : proceedings / François Bry, Raghu Ramakrishnan, Kotagiri Ramamohanarao, eds.

2025-02-05T04:51:04Z

Author International Conference on Deductive and Object-Oriented Databases (5th : 1997 : Montreux, Switzerland)
Publication Date 1997
Format Books
ISBN 9783540637929

Parallel algorithms for irregularly structured problems : third international workshop, IRREGULAR '96, Santa Barbara, CA, USA, August 19-21, 1996 : proceedings / A. Ferreira [and others] (eds.).

2025-02-05T04:51:04Z

Author International Workshop on Parallel Algorithms for Irregularly Structured Problems (3rd : 1996 : Santa Barbara, Calif.)
Publication Date 1996
Format Books
ISBN 9783540615491

ECOOP '91 : European Conference on Object-Oriented Programming, Geneva, Switzerland, July 15-19, 1991 : proceedings / Pierre America (ed.).

2025-02-05T04:51:04Z

Author ECOOP (Conference) (5th : 1991 : Geneva, Switzerland)
Publication Date 1991
Format Books
ISBN 9783540542629 9780387542621

MFDBS 89 : 2nd Symposium on Mathematical Fundamentals of Database Systems, Visegrád, Hungary, June 26-30, 1989 : proceedings / J. Demetrovics, B. Thalheim, eds.

2025-02-05T04:51:04Z

Author Symposium on Mathematical Fundamentals of Database Systems (2nd : 1989 : Visegrád, Hungary)
Publication Date 1989
Format Books
ISBN 9780387512518

Visualization in programming : [selected contributions] / 5th Interdisciplinary Workshop in Informatics and Psychology, Schärding, Austria, May 20-23, 1986 ; P. Gorny, M.J.Tauber (eds.).

2025-02-05T04:51:04Z

Author Interdisciplinary Workshop in Informatics and Psychology (5th : 1986 : Schärding, Austria)
Publication Date 1987
Format Books
ISBN 9780387185071

Multiple classifier systems : second international workshop, MCS 2001, Cambridge, UK, July 2-4, 2001 : proceedings / Josef Kittler, Fabio Roli (eds.).

2025-02-05T04:51:04Z

Author Kittler, Josef, 1946-
Publication Date 2001
Format Books
ISBN 9783540422846

Practice and theory of automated timetabling II : second international conference, PATAT'97, Toronto, Canada, August 20-22, 1997 : selected papers / Edmund Burke, Michael Carter (eds.).

2025-02-05T04:51:04Z

Author International Conference on the Practice and Theory of Automated Timetabling (2nd : 1997 : Toronto, Ont.)
Publication Date 1998
Format Books
ISBN 9783540649793

Algebraic methodology and software technology : 4th international conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings / V.S. Alagar, Maurice Nivat (eds.).

2025-02-05T04:51:04Z

Author International Conference on Algebraic Methodology and Software Technology (4th : 1995 : Montréal, Québec)
Publication Date 1995
Format Books
ISBN 9783540600435

Formal approaches to software testing : 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : revised selected papers / Wolfgang Grieskamp, Carsten Weise (eds.).

2025-02-05T04:51:04Z

Author FATES 2005 (2005 : Edinburgh, Scotland)
Publication Date 2006
Format Books
ISBN 9783540344544

Automata, languages and programming : fifth colloquium, Udine, Italy, July 17-21, 1978 / edited by G. Ausiello and C. Böhm.

2025-02-05T04:51:04Z

Author Colloquium on Automata, Languages, and Programming (5th : 1978 : Udine, Italy)
Publication Date 1978
Format Books
ISBN 9780387088600

Algorithms - ESA '99 : 7th annual European symposium, Prague, Czech Republic, July 16-18, 1999 : proceedings / Jaroslav Nešetřil (ed.).

2025-02-05T04:51:04Z

Author ESA (Symposium) (7th : 1999 : Prague, Czech Republic)
Publication Date 1999
Format Books
ISBN 9783540662518

Multiple classifier systems : first international workshop, MCS 2000, Cagliari, Italy, June 21-23, 2000 : proceedings / Josef Kittler, Fabio Roli (eds.).

2025-02-05T04:51:04Z

Author Kittler, Josef, 1946-
Publication Date 2000
Format Books
ISBN 9783540677048

Languages and compilers for parallel computing : 9th International Workshop, LCPC '96, San Jose, California, USA, August 8-10, 1996 : proceedings / David Sehr [and others], (eds.).

2025-02-05T04:51:04Z

Author LCPC (Workshop) (9th : 1996 : San Jose, Calif.)
Publication Date 1997
Format Books
ISBN 9783540630913

Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types : selected papers, Gullane, Scotland, September 1-4, 1987 / D. Sannella, A. Tarlecki, eds.

2025-02-05T04:51:04Z

Author Workshop on Specification of Abstract Data Types (5th : 1987 : Gullane, Scotland)
Publication Date 1988
Format Books
ISBN 9780387503257

Fundamental approaches to software engineering.

2025-02-05T04:51:04Z

Author FASE (Conference)
Publication Date 1998-2025 (ongoing)
Format Continuing Resources Other Regular print

Evolvable systems : from biology to hardware : 5th International Conference, ICES 2003, Trondheim, Norway, March 17-20, 2003 : proceedings / Andy M. Tyrrell, Pauline C. Haddow, Jim Torresen (eds.).

2025-02-05T04:51:04Z

Author International Conference on Evolvable Systems (5th : 2003 : Trondheim, Norway)
Publication Date 2003
Format Books
ISBN 9783540007302

Evolvable systems : from biology to hardware : First International Conference, ICES ʼ96 Tsukuba, Japan, October 7-8, 1996 : proceedings / Tetsuya Higuchi, Masaya Iwata, Weixin Liu (eds.).

2025-02-05T04:51:04Z

Author International Conference on Evolvable Systems (1st : 1996 : Tsukuba-shi, Japan)
Publication Date 1997
Format Books
ISBN 9783540631736

High performance computing, HiPC 2002 : 9th international conference, Bangalore, India, December 18-21, 2002 : proceedings / Sartaj Sahni, Viktor K. Prasanna, Uday Shukla (eds.).

2025-02-05T04:51:04Z

Author International Conference on High Performance Computing (9th : 2002 : Bangalore, India)
Publication Date 2002
Format Electronic Resources
ISBN 9783540003038

Recent advances in intrusion detection : 5th international symposium, RAID 2002, Zurich, Switzerland, October 16-18, 2002 : proceedings / Andeas Wespi, Giovanni Vigna, Luca Deri (eds.).

2025-02-05T04:51:04Z

Author RAID (Symposium) (5th : 2002 : Zurich, Switzerland)
Publication Date 2002
Format Books
ISBN 9783540000204

Object-oriented technology : ECOOP'99 workshop reader : ECOOP'99 workshops, panels, and posters, Lisbon, Portugal, June 14-18, 1999 : proceedings / Ana Moreira, Serge Demeyer (eds.).

2025-02-05T04:51:04Z

Author ECOOP (Conference) (13th : 1999 : Lisbon, Portugal)
Publication Date 1999
Format Books
ISBN 9783540669548

Web-age information management : first international conference, WAIM 2000, Shanghai, China, June 2000 : proceedings / Hongjun Lu, Aoying Zhou (eds.).

2025-02-05T04:51:04Z

Author WAIM (Conference) (1st : 2000 : Shanghai, China)
Publication Date 2000
Format Books
ISBN 9783540676270

Computer performance evaluation : modelling techniques and tools : 7th international conference, Vienna, Austria, May 3-6, 1994 : proceedings / Günter Haring, Gabriele Kotsis, eds.

2025-02-05T04:51:04Z

Author Haring, Günter, 1943-
Publication Date 1994
Format Books
ISBN 9783540580218 9780387580210

Artificial neural networks : ICANN 96 : 1996 international conference, Bochum, Germany, July 16-19, 1996 : proceedings / C. von der Malsburg [and others], eds.

2025-02-05T04:51:04Z

Author Malsburg, Christoph von der, 1942-
Publication Date 1996
Format Books
ISBN 9783540615101

ICDT '88 : 2nd International Conference on Database Theory, Bruges, Belgium, August 31-September 2, 1988 : proceedings / M. Gyssens, J. Paredaens, D. Van Gucht (eds.).

2025-02-05T04:51:04Z

Author International Conference on Database Theory (2nd : 1988 : Bruges, Belgium)
Publication Date 1988
Format Books
ISBN 9780387501710

The World Wide Web and databases : International Workshop WebDB'98 : Valencia, Spain, March 27-28, 1998 : selected papers / Paolo Atzeni, Alberto Mendelzon, Giansalvatore Mecca (eds.).

2025-02-05T04:51:04Z

Author Atzeni, Paolo, 1957-
Publication Date 1999
Format Books
ISBN 9783540658900

Computer safety, reliability and security : 19th international conference, SAFECOMP 2000, Rotterdam, the Netherlands, October 24-27, 2000 : proceedings / Floor Koornneef, Meine van der Meulen (eds.).

2025-02-05T04:51:04Z

Author SAFECOMP (Conference) (19th : 2000 : Rotterdam, Netherlands)
Publication Date 2000
Format Books
ISBN 9783540411864

Data warehousing and knowledge discovery : third international conference, DaWaK 2001, Munich, Germany, September 5-7, 2001 : proceedings / Yahiko Kambayashi, Werner Winiwarter, Masatoshi Arikawa (eds.).

2025-02-05T04:51:04Z

Author DaWaK (Conference) (3rd : 2001 : Munich, Germany)
Publication Date 2001
Format Books
ISBN 9783540425533

Computer security--ESORICS 2002 : 7th European Symposium on Research in Computer Security, Zurich, Switzerland, October 14-16, 2002 : proceedings / Dieter Gollmann, Günter Karjoth, Michael Waidner, (eds.).

2025-02-05T04:51:04Z

Author European Symposium on Research in Computer Security (7th : 2002 : Zurich, Switzerland)
Publication Date 2002
Format Electronic Resources
ISBN 9783540443452

First Title value, for Searching Large-scale scientific computing [electronic resource] : 4th international conference, LSSC 2003, Sozopol, Bulgaria, June 4-8, 2003 : revised papers / Ivan Lirkov ... [et al.].

2025-02-05T04:51:04Z

First Author value, for Searching LSSC 2003 (2003 : Sozopol, Bulgaria)
Publication Date as Range 2004
Format Electronic Resources
Electronic Access Bibliographic record display DSU Current Faculty/Staff/Students click here An electronic book accessible through the World Wide Web; click for information

Detection of intrusions and malware & vulnerability assessment : third international conference, DIMVA 2006, Berlin, Germany, July 13-14, 2006 : proceedings / Roland Büschkes, Pavel Laskov (eds.).

2025-02-05T04:51:04Z

Author DIMVA 2006 (2006 : Berlin, Germany)
Publication Date 2006
Format Books
ISBN 9783540360148

First Title value, for Searching DNA computing [electronic resource] : 9th International Workshop on DNA Based Computers, DNA9, Madison, WI, USA, June 1-3, 2003 : revised papers / Junghuei Chen, John Reif (eds.).

2025-02-05T04:51:04Z

First Author value, for Searching International Workshop on DNA-Based Computers (9th : 2003 : Madison, Wis.)
Publication Date as Range 2004
Format Electronic Resources
Electronic Access Bibliographic record display DSU Current Faculty/Staff/Students click here An electronic book accessible through the World Wide Web; click for information

Advanced concepts for intelligent vision systems : 10th International Conference, ACIVS 2008, Juan-les-Pins, France, October 20-24, 2008 ; proceedings / Jacques Blanc-Talon [and others] (eds.).

2025-02-05T04:51:04Z

Author ACIVS (Conference) (10th : 2008 : Juan-les-Pins, France)
Publication Date 2008
Format Books
ISBN 9783540884576

Advances in object-oriented database systems : 2nd International Workshop on Object-oriented Database Systems, Bad Münster am Stein-Ebernburg, FRG, September 27-30, 1988, proceedings / K.R. Dittrich, ed. ; [sponsors, Gesellschaft für Informatik [and] Forschungszentrum Informatik an der Universität Karlsruhe].

2025-02-05T04:51:04Z

Author International Workshop on Object-oriented Database Systems (2nd : 1988 : Bad Münster am Stein-Ebernburg, Germany)
Publication Date 1988
Format Books
ISBN 9780387503455

Uncertainty and intelligent systems / 2nd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU '88, Urbino, Italy, July 4-7, 1988, proceedings ; B. Bouchon, L. Saitta, R.R. Yager, eds.

2025-02-05T04:51:04Z

Author International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (2nd : 1988 : Urbino, Italy)
Publication Date 1988
Format Books
ISBN 9780387194028

First Title value, for Searching Wireless sensor networks [electronic resource] : first European workshop, EWSN 2004, Berlin, Germany, January 19-21, 2004 : proceedings / Holger Karl, Andreas Willig, Adam Wolisz, eds.

2025-02-05T04:51:04Z

First Author value, for Searching EWSN 2004 (1st : 2004 : Berlin, Germany)
Publication Date as Range 2004
Format Electronic Resources
Electronic Access DSU Current Faculty/Staff/Students click here

Tools and algorithms for the construction and analysis of systems : 5th international conference, TACAS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings / W. Rance Cleaveland, ed.

2025-02-05T04:51:04Z

Author TACAS '99 (1999 : Amsterdam, Netherlands)
Publication Date 1999
Format Books
ISBN 9783540657033

Fundamental approaches to software engineering : third international conference, FASE 2000 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March/April 2000 : proceedings / Tom Maibaum (ed.).

2025-02-05T04:51:04Z

Author FASE 2000 (2000 : Berlin, Germany)
Publication Date 2000
Format Books
ISBN 9783540672616

ESOP '88 : 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings / H. Ganzinger, ed.

2025-02-05T04:51:04Z

Author European Symposium on Programming (2nd : 1988 : Nancy, France)
Publication Date 1988
Format Books
ISBN 9780387190273

Electronic government : 7th international conference, EGOV 2008, Turin, Italy, August 31-September 5, 2008 : proceedings / Maria A. Wimmer, Hans J. Scholl, Enrico Ferro, (eds.).

2025-02-05T04:51:04Z

Author EGOV (Conference) (7th : 2008 : Turin, Italy)
Publication Date 2008
Format Books
ISBN 9783540852032

Models in software engineering : workshops and symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006 : reports and revised selected papers / Thomas Kühne (ed.).

2025-02-05T04:51:04Z

Author MODELS (Conference) (9th : 2006 : Genoa, Italy)
Publication Date 2007
Format Books
ISBN 9783540694885

Multiple classifier systems : 6th international workshop, MCS 2005, Seaside, CA, USA, June 13-15, 2005 : proceedings / Nikunj C. Oza [and others] (eds.).

2025-02-05T04:51:04Z

Author MCS (Workshop) (6th : 2005 : Seaside, Calif.)
Publication Date 2005
Format Electronic Resources
ISBN 9783540263067

First Title value, for Searching Computational linguistics and intelligent text processing [electronic resource] : 6th international conference, CICLing 2005, Mexico City, Mexico, February 13-19, 2005 : proceedings / Alexander Gelbukh (ed.).

2025-02-05T04:51:04Z

First Author value, for Searching CICLing (Conference) (6th : 2005 : Mexico City, Mexico)
Publication Date as Range 2005
Format Electronic Resources
Electronic Access Bibliographic record display DSU Current Faculty/Staff/Students click here An electronic book accessible through the World Wide Web; click for information

First Title value, for Searching Testing of communicating systems [electronic resource] : 16th IFIP international conference, TestCom 2004, Oxford, UK, March 17-19, 2004 : proceedings / Roland Groz, Robert M. Hierons (eds.).

2025-02-05T04:51:04Z

First Author value, for Searching IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems (16th : 2004 : Oxford, England)
Publication Date as Range 2004
Format Electronic Resources
Electronic Access DSU Current Faculty/Staff/Students click here

First Title value, for Searching Real-time and embedded computing systems and applications : 9th international conference, RTCSA 2003, Tainan City, Taiwan, ROC, February 18-20, 2003 : revised papers / Jing Chen, Seongsoo Hong (eds.).

2025-02-05T04:51:04Z

First Author value, for Searching International Conference on Real-Time and Embedded Computing Systems and Applications (9th : 2003 : Tʻai-nan shih, Taiwan)
Publication Date as Range 2004
Format Electronic Resources
Electronic Access DSU Current Faculty/Staff/Students click here

Software reliability modelling and identification / Sergio Bittanti (edition).

2025-02-05T04:51:04Z

Author Bittanti, Sergio.
Publication Date 1988
Format Regular print
ISBN 9780387506951 9783540506959

DIANA : an intermediate language for ADA / edited by G. Goos [and others].

2025-02-05T04:51:04Z

Author Goos, Gerhard, 1937-
Publication Date 1983
Format Books
ISBN 9780387126951

PASCAL, user manual and report / Kathleen Jensen, Niklaus Wirth.

2025-02-05T04:51:04Z

Author Jensen, Kathleen, 1949-
Publication Date 1975
Format Books
ISBN 9780387071671

Complementary definitions of programming language semantics / James E. Donahue.

2025-02-05T04:51:04Z

Author Donahue, James E. (James Edward), 1947-
Publication Date 1976
Format Books
ISBN 9780387076287

Verifying concurrent processes using temporal logic / Brent T. Hailpern.

2025-02-05T04:51:04Z

Author Hailpern, Brent T. (Brent Tzion), 1955-
Publication Date 1982
Format Books
ISBN 9780387112053

Natural language communication with computers / edited by Leonard Bolc.

2025-02-05T04:51:04Z

Author Bolc, Leonard, 1934-2013
Publication Date 1978
Format Books
ISBN 9780387089119

Data base design techniques / edited by S.B. Yao ... [et al.].

2025-02-05T04:51:04Z

Author Yao, S. Bing.
Publication Date 1982
Format Books
ISBN 9780387112145 9780387112152

Towards a formal description of Ada / edited by D. Bjørner and O.N. Oest.

2025-02-05T04:51:04Z

Author Bjørner, D. (Dines), 1937-
Publication Date 1980
Format Books
ISBN 9780387102832

Foundations of software technology and theoretical computer science : eighth conference, Pune, India, December 21-23, 1988 : proceedings / K.V. Nori, S. Kumar (eds.).

2025-02-05T04:51:04Z

Author Nori, Kesav V.
Publication Date 1988
Format Books
ISBN 9780387505176

Database machine performance : modeling methodologies and evaluation strategies / edited by Francesca Cesarini and Silvio Salza.

2025-02-05T04:51:04Z

Author Cesarini, Francesca, 1944-
Publication Date 1987
Format Electronic Resources
ISBN 9780387179421 9783540179429

ECOOP '96, object-oriented programming : 10th European conference, Linz, Austria, July 1996 : proceedings / Pierre Cointe, ed.

2025-02-05T04:51:04Z

Author ECOOP (Conference) (10th : 1996 : Linz, Austria)
Publication Date 1996
Format Books
ISBN 9783540614395

VDM '88 : VDM, the way ahead : 2nd VDM-Europe symposium, Dublin, Ireland, September, 1988 : proceedings / R. Bloomfield, L. Marshall, R. Jones (eds.).

2025-02-05T04:51:04Z

Author Bloomfield, R.
Publication Date 1988
Format Books
ISBN 9783540502142

Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988 / M. Joseph, ed.

2025-02-05T04:51:04Z

Author Joseph, M.
Publication Date 1988
Format Books
ISBN 9780387503028

Experiences with distributed systems : international workshop, Kaiserslautern, FRG, September 28-30, 1987 : proceedings / J. Nehmer, ed.

2025-02-05T04:51:04Z

Author Nehmer, J. (Jürgen), 1942-
Publication Date 1988
Format Books
ISBN 9780387193335

E-commerce and Web technologies : 7th international conference, EC-Web 2006, Krakow, Poland, September 5-7, 2006 : proceedings / Kurt Bauknecht, Birgit Pröll, Hannes Werthner (eds.).

2025-02-05T04:51:04Z

Author International Conference on Electronic Commerce and Web Technologies (7th : 2006 : Kraków, Poland)
Publication Date 2006
Format Books
ISBN 9783540377436

The Munich Project CIP / by the CIP Language Group, F.L. Bauer [and others].

2025-02-05T04:51:04Z

Author Bauer, Friedrich Ludwig, 1924-
Publication Date 1985-1987
Format Books
ISBN 9780387151878 9780387187792

Translating relational queries into iterative programs / Johann Christoph Freytag.

2025-02-05T04:51:04Z

Author Freytag, Johann Christoph, 1954- author
Publication Date 1987
Format Books
Electronic Access Available through SpringerLink Inhaltstext http://www.zentralblatt-math.org/zmath/en/search/?an=0639.68108 Cover http://swbplus.bsz-bw.de/bsz013009958cov.htm
ISBN 9780387180007 9783540180005

Advances in Petri nets, 1986 : proceedings of an advanced course, Bad Honnef, September 1986 / edited by W. Brauer, W. Reisig, and G. Rozenberg.

2025-02-05T04:51:04Z

Author Brauer, Wilfried.
Publication Date 1987
Format Books
ISBN 9780387179056 9780387179063

Algebraic algorithms and error-correcting codes : 3rd international conference, AAECC-3, Grenoble, France, July 15-19, 1985, proceedings / edited by Jacques Calmet.

2025-02-05T04:51:04Z

Author Calmet, Jacques.
Publication Date 1986
Format Books
ISBN 9780387167763

Verification, model checking, and abstract interpretation : 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings / Lenore D. Zuck [and others].

2025-02-05T04:51:04Z

Author VMCAI 2003 (2003 : New York, N.Y.)
Publication Date 2003
Format Books
ISBN 9783540003489

First Title value, for Searching Higher-level hardware synthesis [electronic resource] / Richard Sharp.

2025-02-05T04:51:04Z

First Author value, for Searching Sharp, Richard (Richard William), 1978-
Publication Date as Range 2004
Format Electronic Resources
Electronic Access DSU Current Faculty/Staff/Students click here

Transactions on rough sets XVI / edited by James F. Peters and 4 others.

2025-02-05T04:51:04Z

Author Peters, James F.
Publication Date 2013
Format Books
ISBN 9783642365041

Concurrency 88, International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988 : proceedings / F.H. Vogt, (edition).

2025-02-05T04:51:04Z

Author Concurrency '88 (1988 : Hamburg, Germany)
Publication Date 1988
Format Regular print
Electronic Access Connect to Internet resource (n.149, 1983 - current) available via SpringerLink http://www.library.tufts.edu/ezproxy/ezproxy.asp?LOCATION=SpLinkLeNoCoSc Inhaltstext http://www.zentralblatt-math.org/zmath/en/search/?an=0653.00016
ISBN 9780387504032 9783540504030

First Title value, for Searching Topics in cryptology--CT-RSA 2004 [electronic resource] : the Cryptographers' Track at the RSA Conference 2004, San Francisco, CA, USA, February 23-27, 2004 : proceedings / Tatsuaki Okamoto (ed.).

2025-02-05T04:51:04Z

First Author value, for Searching Cryptographers' Track at RSA Conference (4th : 2004 : San Francisco, Calif.)
Publication Date as Range 2005
Format Electronic Resources
Electronic Access Bibliographic record display DSU Current Faculty/Staff/Students click here An electronic book accessible through the World Wide Web; click for information

Software engineering : an advanced course / F. L. Bauer [and others] ; edited by F. L. Bauer.

2025-02-05T04:51:04Z

Author Advanced Course on Software Engineering (1972 : Munich)
Publication Date 1975
Format Books
ISBN 9780387071688

Software development environments and CASE technology : European symposium, Königswinter, June 17-19, 1991 proceedings / A. Endres, H. Weber, (eds.).

2025-02-05T04:51:04Z

Author Endres, Albert.
Publication Date 1991
Format Books
ISBN 9783540541943 9780387541945

First Title value, for Searching Wired/wireless Internet communications [electronic resource] : second international conference, WWIC 2004 : Frankfurt (Oder), Germany, February 4-6, 2004 : proceedings / Peter Langendoerfer [and others], (eds.).

2025-02-05T04:51:04Z

First Author value, for Searching WWIC 2004 (2004 : Frankfurt an der Oder, Germany)
Publication Date as Range 2004
Format Electronic Resources
Electronic Access DSU Current Faculty/Staff/Students click here

A review of Ada tasking / Alan Burns, Andrew M. Lister, Andrew J. Wellings.

2025-02-05T04:51:04Z

Author Burns, Alan, 1953- author
Publication Date 1987
Format Books
Electronic Access Connect to Internet resource (n.149, 1983 - current) available via SpringerLink http://www.library.tufts.edu/ezproxy/ezproxy.asp?LOCATION=SpLinkLeNoCoSc Inhaltstext http://www.zentralblatt-math.org/zmath/en/search/?an=0619.68005 Cover http://swbplus.bsz-bw.de/bsz013009990cov.htm 1850-9999 http://www.springer.com/gb/
ISBN 9780387180083 9783540180081

Parallel computing in science and engineering : 4th International DFVLR Seminar on Foundations of Engineering Sciences, Bonn, Federal Republic of Germany, June 25/26, 1987 / R. Dierstein, D. Müller-Wichards, H.-M. Wacker, eds.

2025-02-05T04:51:04Z

Author International DFVLR Seminar on Foundations of Engineering Sciences (4th : 1987 : Bonn, Germany)
Publication Date 1988
Format Books
ISBN 9780387189239

Computing methods in applied science and engineering. : International symposium, Versailles, December 17-21, 1973 / Edited by R. Glowinski and J. L. Lions.

2025-02-05T04:51:04Z

Author Glowinski, R.
Publication Date 1974
Format Books
ISBN 9780387067681

First Title value, for Searching Theory and applications of satisfiability testing [electronic resource] : 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers / Enrico Giunchiglia, Armando Tacchella (eds.).

2025-02-05T04:51:04Z

First Author value, for Searching SAT 2003 (2003 : Santa Margherita Ligure, Italy)
Publication Date as Range 2004
Format Electronic Resources
Electronic Access DSU Current Faculty/Staff/Students click here

First Title value, for Searching Mobile and ubiquitous information access [electronic resource] : Mobile HCI 2003 international workshop, Udine, Italy, September 8, 2003 : revised and invited papers / Fabio Crestani, Mark Dunlop, Stefano Mizzaro (eds.).

2025-02-05T04:51:04Z

First Author value, for Searching Workshop on Mobile and Ubiquitous Information Access (2003 : Udine, Italy)
Publication Date as Range 2004
Format Electronic Resources
Electronic Access DSU Current Faculty/Staff/Students click here

PARLE, parallel architectures and languages Europe : Eindhoven, the Netherlands, June 15-19, 1987 : proceedings / edited by J.W. de Bakker, A.J. Nijman, and P.C. Treleaven.

2025-02-05T04:51:04Z

Author Conference on Parallel Architectures and Languages Europe (1987 : Eindhoven, Netherlands)
Publication Date 1987
Format Regular print
Electronic Access Connect to Internet resource Connect to Internet resource (n.149, 1983 - current) available via SpringerLink http://www.library.tufts.edu/ezproxy/ezproxy.asp?LOCATION=SpLinkLeNoCoSc
ISBN 9780387179438 9780387179452 9783540179436 9783540179450

WOPPLOT 86 : parallel processing--logic, organization, and technology : proceedings of a workshop, Neubiberg, Federal Republic of Germany, July 2-4, 1986 / edited by J.D. Becker and I. Eisele.

2025-02-05T04:51:04Z

Author WOPPLOT 86 (1986 : Neubiberg, Germany)
Publication Date 1987
Format Regular print
Electronic Access Connect to Internet resource Free eBook from the Internet Archive Additional information and access via Open Library (n.149, 1983 - current) available via SpringerLink http://www.library.tufts.edu/ezproxy/ezproxy.asp?LOCATION=SpLinkLeNoCoSc Inhaltstext http://www.zentralblatt-math.org/zmath/en/search/?an=0621.00027
ISBN 9780387180229 9783540180227

Future parallel computers : an advanced course, Pisa, Italy, June 9-10, 1986 : proceedings / P. Treleaven, M. Vanneschi (eds.).

2025-02-05T04:51:04Z

Author Treleaven, P. C. (Philip C.)
Publication Date 1987
Format Books
ISBN 9780387182032

Uncertainty in knowledge-based systems : International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Paris, France, June 30-July 4, 1986 :selected and extended contributions / B. Bouchon, R.R. Yager (editions.).

2025-02-05T04:51:04Z

Author International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (1986 : Paris, France)
Publication Date 1987
Format Electronic Resources
Electronic Access Connect to Internet resource (n.149, 1983 - current) available via SpringerLink http://www.library.tufts.edu/ezproxy/ezproxy.asp?LOCATION=SpLinkLeNoCoSc Inhaltstext http://www.zentralblatt-math.org/zmath/en/search/?an=0632.00020
ISBN 9783540185796 9780387185798

Problems and methodologies in mathematical software production : international seminar held at Sorrento, Italy, November 3-8, 1980 / edited by P.C. Messina and A. Murli.

2025-02-05T04:51:04Z

Author Messina, P. C. (Paul C.), 1943-
Publication Date 1982
Format Books
ISBN 9780387116037

Matrix eigensystem routines : EISPACK guide extension / B. S. Garbow ... [et al.].

2025-02-05T04:51:04Z

Author Garbow, B. S., 1930-
Publication Date 1977
Format Books
ISBN 9780387082547

Extreme programming and agile methods - XP/agile universe 2004 : 4th Conference on Extreme Programming and Agile Methods, Calgary, Canada, August 15-18, 2004 ; proceedings / Carmen Zannier, Hakan Erdogmus, Lowell Lindstrom (eds.).

2025-02-05T04:51:04Z

Author XP/Agile Universe 2004 (4th : 2004 : Calgary, Canada)
Publication Date 2004
Format Electronic Resources
ISBN 9783540228394

Program analysis and compilation, theory and practice : essays dedicated to Reinhard Wilhelm on the occasion of his 60th birthday / Thomas Reps, Mooly Sagiv, Jörg Bauer (eds.).

2025-02-05T04:51:04Z

Author Reps, Thomas W. (Thomas William)
Publication Date 2007
Format Books
ISBN 9783540713159

First Title value, for Searching Information networking [electronic resource] : convergence in broadband and mobile networking : international conference, ICOIN 2005, Jeju Island, Korea, January 31-February 2, 2005 : proceedings / Cheeha Kim (ed.).

2025-02-05T04:51:04Z

First Author value, for Searching International Conference on Information Networking (2005 : Cheju-do, Korea)
Publication Date as Range 2005
Format Electronic Resources
Electronic Access Bibliographic record display DSU Current Faculty/Staff/Students click here An electronic book accessible through the World Wide Web; click for information

Learning Mechanical Desktop release 4 : a process-based approach / Thomas Short, Anthony Dudek.

2025-02-05T04:51:04Z

Author Short, Thomas, 1933- author
Publication Date 2000
Format Books
ISBN 9781566377225

Computation theory : fifth symposium, Zaborów, Poland, December 3-8, 1984 ; proceedings / edited by Andrzej Skowron.

2025-02-05T04:51:04Z

Author Skowron, Andrzej.
Publication Date 1985
Format Books
ISBN 9783540160663 9780387160665

Static analysis : 10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings / Radhia Cousot (ed.).

2025-02-05T04:51:04Z

Author International Static Analysis Symposium (10th : 2003 : San Diego, Calif.)
Publication Date 2003
Format Books
ISBN 9783540403258

ESOP 86 : European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986 : proceedings / edited by B. Robinet and R. Wilhelm.

2025-02-05T04:51:04Z

Author European Symposium on Programming (1st : 1986 : Saarbrücken, Germany)
Publication Date 1986
Format Books
ISBN 9780387164427

Logic programming '87 : proceedings of the 6th conference, Tokyo, Japan, June 22-24, 1987 / K. Furukawa, H. Tanaka, T. Fujisaki, eds.

2025-02-05T04:51:04Z

Author Furukawa, Kōichi.
Publication Date 1988
Format Books
ISBN 9780387194264

Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings / M. Main [and others] (eds.).

2025-02-05T04:51:04Z

Author Main, M. (Michael), 1956-
Publication Date 1988
Format Books
ISBN 9780387190204

Supercomputing : 1st international conference, Athens, Greece, June 8-12, 1987 : proceedings / E.N. Houstis, T.S. Papatheodorou, C.D. Polychronopoulos, eds.

2025-02-05T04:51:04Z

Author Houstis, E. N. (Elias N.)
Publication Date 1988
Format Books
ISBN 9780387189918

Mathematical foundations of computer science 1984 : proceedings, 11th Symposium Praha, Czechoslovakia, September 3-7, 1984 / edited by M.P. Chytil and V. Koubek.

2025-02-05T04:51:04Z

Author Chytil, Michal.
Publication Date 1984
Format Books
ISBN 9780387133720

High performance transaction systems : 2nd international workshop, Asilomar Conference Center, Pacific Grove, CA, USA, September 28-30, 1987 : proceedings / D. Gawlick, M. Haynie, A. Reuter, eds.

2025-02-05T04:51:04Z

Author Gawlick, D. (Dieter)
Publication Date 1989
Format Books
ISBN 9780387510859

Mathematical foundations of computer science 1986 : proceedings of the 12th symposium, Bratislava, Czechoslovakia, August 25-29, 1986 / edited by J. Gruska, B. Rovan, and J. Wiedermann.

2025-02-05T04:51:04Z

Author Gruska, Jozef.
Publication Date 1986
Format Books

Data base systems : proceedings, 5th Informatik Symposium, IBM Germany, Bad Homburg v.d.H., September 24-26, 1975 / edited by H. Hasselmeier and W. G. Spruth.

2025-02-05T04:51:04Z

Author Informatik Symposium (5th : 1975 : Homburg vor der Höhe)
Publication Date 1976
Format Books
ISBN 9780387076126

Logic programming '86 : proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986 / Eiiti Wada, ed.

2025-02-05T04:51:04Z

Author Wada, Eiiti, 1931-
Publication Date 1987
Format Books
ISBN 9780387180243

STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13, 1988 : proceedings / R. Cori, M. Wirsing, (editions.).

2025-02-05T04:51:04Z

Author Annual Symposium on Theoretical Aspects of Computer Science (5th : 1988 : Bordeaux, France)
Publication Date 1988
Format Books
Electronic Access (n.149, 1983 - current) available via SpringerLink http://www.library.tufts.edu/ezproxy/ezproxy.asp?LOCATION=SpLinkLeNoCoSc Inhaltstext http://www.zentralblatt-math.org/zmath/en/search/?an=0635.00015
ISBN 9783540188346 9780387188348

Job scheduling strategies for parallel processing : 8th International Workshop, JSSPP 2002, Edinburgh, Scotland, UK, July 24, 2002 : revised papers / Dror G. Feitelson, Larry Rudolph, Uwe Schwiegelshohn, eds.

2025-02-05T04:51:04Z

Author JSSPP (Workshop) (8th : 2002 : Edinburgh, Scotland)
Publication Date 2002
Format Books
ISBN 9783540001720

First Title value, for Searching Large-scale scientific computing [electronic resource] : 4th international conference, LSSC 2003, Sozopol, Bulgaria, June 4-8, 2003 : revised papers / Ivan Lirkov ... [et al.].

2025-02-05T04:51:04Z

First Author value, for Searching LSSC (2003 : Sozopol, Bulgaria)
Publication Date as Range 2004
Format Electronic Resources
Electronic Access DSU Current Faculty/Staff/Students click here

First Title value, for Searching DNA computing [electronic resource] : 9th International Workshop on DNA Based Computers, DNA9, Madison, WI, USA, June 1-3, 2003 : revised papers / Junghuei Chen, John Reif (eds.).

2025-02-05T04:51:04Z

First Title value, for Searching Computational linguistics and intelligent text processing [electronic resource] : 5th International Conference, CICLing 2004, Seoul, Korea, February 15-21, 2004 : proceedings / Alexander Gelbukh, ed.

2025-02-05T04:51:04Z

First Author value, for Searching CICLing (Conference) (5th : 2004 : Seoul, Korea)
Publication Date as Range 2004
Format Electronic Resources
Electronic Access DSU Current Faculty/Staff/Students click here

Engineering for human-computer interaction : 8th IFIP International Conference, EHCI 2001, Toronto, Canada, May 11-13, 2001 : revised papers / Murray Reed Little, Laurence Nigay (eds.).

2025-02-05T04:51:04Z

Author EHCI 2001 (2001 : Toronto, Ont.)
Publication Date 2001
Format Books
ISBN 9783540430445

Readings on cognitive ergonomics--mind and computers : proceedings of the 2nd European conference, Gmunden, Austria, September 10-14, 1984 / edited by G.C. van der Veer [and others].

2025-02-05T04:51:04Z

Author Veer, G. C. van der (Gerrit C.)
Publication Date 1984
Format Books
ISBN 9780387133942

Distributed computing : 16th international conference, DISC 2002, Toulouse, France, October 28-30, 2002 : proceedings / Dahlia Malkhi (ed.).

2025-02-05T04:51:04Z

Author DISC 2002 (2002 : Toulouse, France)
Publication Date 2002
Format Books
ISBN 9783540000730

First Title value, for Searching Finite fields and applications [electronic resource] : 7th International Conference, Fq7 Toulouse, France, May 5-9, 2003 : revised papers / Gary L. Mullen, Alain Poli, Henning Stichtenoth (eds.).

2025-02-05T04:51:04Z

First Author value, for Searching International Conference on Finite Fields and Applications (7th : 2003 : Toulouse, France)
Publication Date as Range 2004
Format Electronic Resources
Electronic Access DSU Current Faculty/Staff/Students click here

Progress in distributed operating systems and distributed systems management : European workshop, Berlin, FRG, April 18/19, 1989 : proceedings / W. Schröder-Preikschat, W. Zimmer (eds.).

2025-02-05T04:51:04Z

Author Schröder-Preikschat, W. (Wolfgang)
Publication Date 1990
Format Books
ISBN 9783540526094 9780387526096

First Title value, for Searching Databases, information systems, and peer-to-peer computing [electronic resource] : first international workshop, DBISP2P 2003 : Berlin, Germany, September 7-8, 2003 : revised papers / Karl Aberer, Manolis Koubarakis, Vana Kalogeraki (eds.).

2025-02-05T04:51:04Z

First Author value, for Searching DBISP2P 2003 (2003 : Berlin, Germany)
Publication Date as Range 2004
Format Electronic Resources
Electronic Access DSU Current Faculty/Staff/Students click here

STACS 86 : 3rd Annual Symposium on Theoretical Aspects of Computer Science, Orsay, France, January 16-18, 1986 / edited by B. Monien and G. Vidal-Naquet.

2025-02-05T04:51:04Z

Author Symposium on Theoretical Aspects of Computer Science (3rd : 1986 : Orsay, France)
Publication Date 1986
Format Books
ISBN 9780387160788

Distributed algorithms : international workshop ... proceedings.

2025-02-05T04:51:04Z

Author International Workshop on Distributed Algorithms.
Publication Date 1988-1997
Format Continuing Resources Other

Web services, E-Business, and the Semantic Web : CAiSE 2002 international workshop, WES 2002, Toronto, Canada, May 27-28, 2002 : revised papers / Christoph Bussler [and others] (eds.).

2025-02-05T04:51:04Z

Author WES 2002 (2002 : Toronto, Ont.)
Publication Date 2002
Format Books
ISBN 9783540001980

Languages and compilers for parallel computing : 13th international workshop, LCPC 2000, Yorktown Heights, NY, USA, August 10-12, 2000 : revised papers / Samuel P. Midkiff [and others] (eds.).

2025-02-05T04:51:04Z

Author LCPC (Workshop) (13th : 2000 : Yorktown Heights, N.Y.)
Publication Date 2001
Format Books
ISBN 9783540428626

First Title value, for Searching Computational linguistics and intelligent text processing [electronic resource] : 6th international conference, CICLing 2005, Mexico City, Mexico, February 13-19, 2005 : proceedings / Alexander Gelbukh (ed.).

2025-02-05T04:51:04Z

First Author value, for Searching CICLing (Conference) (6th : 2005 : Mexico City, Mexico)
Publication Date as Range 2005
Format Electronic Resources
Electronic Access DSU Current Faculty/Staff/Students click here

Hybrid neural systems / Stefan Wermter, Ron Sun (eds.).

2025-02-05T04:51:04Z

Author Wermter, Stefan.
Publication Date 2000
Format Books
ISBN 9783540673057

First Title value, for Searching Topics in cryptology--CT-RSA 2004 [electronic resource] : the Cryptographers' Track at the RSA Conference 2004, San Francisco, CA, USA, February 23-27, 2004 : proceedings / Tatsuaki Okamoto (ed.).

2025-02-05T04:51:04Z

First Author value, for Searching Cryptographers' Track at RSA Conference (4th : 2004 : San Francisco, Calif.)
Publication Date as Range 2004
Format Electronic Resources
Electronic Access DSU Current Faculty/Staff/Students click here

Computational intelligence and bioinformatics : International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006 : proceedings. Part III / De-Shuang Huang, Kang Li, George William Irwin (eds.).

2025-02-05T04:51:04Z

Author International Conference on Intelligent Computing (2006 : Kunming, China)
Publication Date 2006
Format Books
ISBN 9783540372776

Computational linguistics and intelligent text processing : 18th International Conference, CICLing 2017, Budapest, Hungary, April 17-23, 2017, revised selected papers / Alexander Gelbukh (ed.).

2025-02-05T04:51:04Z

Author CICLing (Conference) (18th : 2017 : Budapest, Hungary)
Publication Date 2018
Format Books
ISBN 9783319771120 9783319771151

Stabilization, safety, and security of distributed systems : 20th International Symposium, SSS 2018, Tokyo, Japan, November 4-7, 2018, proceedings / Taisuke Izumi, Petr Kuznetsov (eds.).

2025-02-05T04:51:04Z

Author SSS (Symposium) (20th : 2018 : Tokyo, Japan)
Publication Date 2018
Format Books
ISBN 9783030032319

First Title value, for Searching Stateless core [electronic resource] : a scalable approach for quality of service in the Internet : winning thesis of the 2001 ACM Doctoral Dissertation Competition / Ion Stoica.

2025-02-05T04:51:04Z

First Author value, for Searching Stoica, Ion, 1965-
Publication Date as Range 2004
Format Electronic Resources
Electronic Access Bibliographic record display DSU Current Faculty/Staff/Students click here An electronic book accessible through the World Wide Web; click for information

Research in computational molecular biology : 10th annual international conference, RECOMB 2006, Venice, Italy, April 2-5, 2006 : proceedings / Alberto Apostolico [and others] (eds.).

2025-02-05T04:51:04Z

Author RECOMB (Conference : 2005- ) (10th : 2006 : Venice, Italy)
Publication Date 2006
Format Electronic Resources
ISBN 9783540332954

Intelligence and security informatics : first European conference, EuroISI 2008, Esbjerg, Denmark, December 3-5, 2008, proceedings / Daniel Ortiz-Arroyo [and others] (eds.).

2025-02-05T04:51:04Z

Author EuroISI 2008 (2008 : Esbjerg, Denmark)
Publication Date 2008
Format Books
ISBN 9783540898993

Machine learning.

2025-02-05T04:51:04Z

Author European Conference on Machine Learning.
Format Continuing Resources Other Regular print

First Title value, for Searching Digital libraries [electronic resource] : technology and management of indigenous knowledge for global access : 6th International Conference on Asian Digital Libraries, ICADL 2003, Kuala Lumpur, Malaysia, December 8-12, 2003 : proceedings / Tengku Mohd Tengku Sembok ... [et al.], eds.

2025-02-05T04:51:04Z

First Author value, for Searching International Conference on Asian Digital Libraries (6th : 2003 : Kuala Lumpur, Malaysia)
Publication Date as Range 2003
Format Electronic Resources
Electronic Access DSU Current Faculty/Staff/Students click here

Deductive and object-oriented databases.

2025-02-05T04:51:04Z

Author International Conference on Deductive and Object-Oriented Databases.
Format Continuing Resources Other Regular print

First Title value, for Searching Computational methods for SNPs and haplotype inference [electronic resource] : DIMACS/RECOMB satellite workshop, Piscataway, NJ, USA, November 21-22, 2002 : revised papers / Sorin Istrail, Michael Waterman, Andrew Clark, (eds.).

2025-02-05T04:51:04Z

First Author value, for Searching Computational Methods for SNPs and Haplotype Inference Workshop (1st : 2002 : Piscataway, N.J.)
Publication Date as Range 2004
Format Electronic Resources
Electronic Access DSU Current Faculty/Staff/Students click here

Focusing solutions for data mining : analytical studies and experimental results in real-world domains / Thomas Reinartz.

2025-02-05T04:51:04Z

Author Reinartz, Thomas.
Publication Date 1999
Format Books
ISBN 9783540664291

Knowledge representation and reasoning under uncertainty : logic at work / Michael Masuch, László Pólos, (eds.).

2025-02-05T04:51:04Z

Author Masuch, Michael, 1949-
Publication Date 1994
Format Books
ISBN 9783540580959 9780387580951

Algorithmic learning for knowledge-based systems : GOSLER final report / Klaus P. Jantke, Steffen Lange, eds.

2025-02-05T04:51:04Z

Author Jantke, K. P. (Klaus P.)
Publication Date 1995
Format Books
ISBN 9783540602170

Gesture and sign language in human-computer interaction : International Gesture Workshop, Bielefeld, Germany, September 17-19, 1997 : proceedings / Ipke Wachsmuth, Martin Fröhlich (eds.).

2025-02-05T04:51:04Z

Author Gesture Workshop (1997 : Bielefeld, Germany)
Publication Date 1998
Format Books
ISBN 9783540644248

Foundations and applications of multi-agent systems : UKMAS workshops 1996-2000 : selected papers / Mark d'Inverno [and others], (eds.).

2025-02-05T04:51:04Z

Author UKMAS (Workshops)
Publication Date 2002
Format Books
ISBN 9783540439622

Advances in data mining : applications in E-commerce, medicine, and knowledge management / Petra Perner (ed.).

2025-02-05T04:51:04Z

Author Perner, Petra.
Publication Date 2002
Format Books
ISBN 9783540441168

Pattern recognition in bioinformatics : third IAPR international conference, PRIB 2008, Melbourne, Australia, October 15-17, 2008 : proceedings / Madhu Chetty, Alioune Ngom, Shandar Ahmad (eds.).

2025-02-05T04:51:04Z

Author PRIB 2008 (2008 : Melbourne, Australia)
Publication Date 2008
Format Books
ISBN 9783540884347

Information extraction : towards scalable, adaptable systems / Maria Teresa Pazienza (ed.).

2025-02-05T04:51:04Z

Author Pazienza, Maria Teresa.
Publication Date 1999
Format Books
ISBN 9783540666257

Logical aspects of computational linguistics : third international conference, LALC '98, Grenoble, France, December 14-16, 1998 : selected papers / Michael Moortgat (ed.).

2025-02-05T04:51:04Z

Author LACL '98 (1998 : Grenoble, France)
Publication Date 2001
Format Books
ISBN 9783540422518

New trends in constraints : joint ERCIM/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 1999 : selected papers / Krzysztof R. Apt [and others], (eds.).

2025-02-05T04:51:04Z

Author Apt, Krzysztof R., 1949-
Publication Date 2000
Format Books
ISBN 9783540678854

Logical aspects of computational linguistics : 4th international conference, LACL 2001, Le Croisic, France, June 27-29 2001 : proceedings / Philippe de Groote, Glyn Morrill, Christian Retoré (eds.).

2025-02-05T04:51:04Z

Author LACL 2001 (2001 : Le Croisic, France)
Publication Date 2001
Format Books
ISBN 9783540422730

Evaluating natural language processing systems : an analysis and review / Karen Sparck Jones, Julia R. Galliers.

2025-02-05T04:51:04Z

Author Sparck Jones, Karen, 1935-2007.
Publication Date 1995
Format Books
ISBN 9783540613091

Rough sets, fuzzy sets, data mining, and granular computing : 9th international conference, RSFDGrC 2003 Chongqing, China, May 26-29, 2003 : proceedings / Guoyin Wang [and others] (eds.).

2025-02-05T04:51:04Z

Author RSFDGrC 2003 (2003 : Chongqing, China)
Publication Date 2003
Format Electronic Resources
ISBN 9783540140405

Empirical software engineering issues : critical assessment and future directions ; international workshop, Dagstuhl Castle, Germany, June 26-30, 2006 : revised papers / Victor R. Basili [and others] (eds.).

2025-02-05T04:51:04Z

Author International Dagstuhl-Seminar on Empirical Software Engineering (2006 : Dagstuhl, Wadern, Germany)
Publication Date 2007
Format Books
ISBN 9783540713005

Principles of data mining and knowledge discovery : First European Symposium, PKDD '97, Trondheim, Norway, June 24-27, 1997 : proceedings / Jan Komorowski, Jan Zytkow (eds.).

2025-02-05T04:51:04Z

Author PKDD '97 (1997 : Trondheim, Norway)
Publication Date 1997
Format Books
ISBN 9783540632238

First Title value, for Searching Model generation for natural language interpretation and analysis [electronic resource] / Karsten Konrad.

2025-02-05T04:51:04Z

First Author value, for Searching Konrad, Karsten, 1969-
Publication Date as Range 2004
Format Electronic Resources
Electronic Access DSU Current Faculty/Staff/Students click here

Progress in evolutionary computation : AI'93 and AI'94 Workshops on Evolutionary Computation, Melbourne, Victoria, Australia, November 16, 1993, Armidale, NSW, Australia, November 21-22, 1994 : selected papers / Xin Yao, (ed.).

2025-02-05T04:51:04Z

Author AI'93 Workshop on Evolutionary Computation (1993 : Melbourne, Vic.)
Publication Date 1995
Format Books
ISBN 9783540601548

Algorithms for sensor systems : 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2013, Sophia Antipolis, France, September 5-6, 2013 : revised selected papers / Paola Flocchini, Jie Gao, Evangelos Kranakis, Friedhelm Meyer auf der Heide.

2025-02-05T04:51:04Z

Author ALGOSENSORS 2013 (2013 : Sophia Antipolis, France)
Publication Date 2014
Format Books
ISBN 9783642453458

First Title value, for Searching Knowledge management in electronic government [electronic resource] : 5th IFIP International Working Conference, KMGov 2004, Krems, Austria, May 17-19, 2004 : proceedings / Maria A. Wimmer (ed.).

2025-02-05T04:51:04Z

First Author value, for Searching KMGov 2004 (2004 : Krems an der Donau, Austria)
Publication Date as Range 2004
Format Electronic Resources
Electronic Access DSU Current Faculty/Staff/Students click here

First Title value, for Searching Stateless core [electronic resource] : a scalable approach for quality of service in the Internet : winning thesis of the 2001 ACM Doctoral Dissertation Competition / Ion Stoica.

2025-02-05T04:51:04Z

First Author value, for Searching Stoica, Ion, 1965-
Publication Date as Range 2004
Format Electronic Resources
Electronic Access DSU Current Faculty/Staff/Students click here

Computability and complexity : essays dedicated to Rodney G. Downey on the occasion of his 60th birthday / Adam Day, Michael Fellows, Noam Greenberg, Bakhadyr Khoussainov, Alexander Melnikov, Frances Rosamond (eds.).

2025-02-05T04:51:04Z

Author Downey, R. G. (Rod G.)
Publication Date 2017
Format Books
ISBN 9783319500614

TAPSOFT : proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT).

2025-02-05T04:51:04Z

Author International Joint Conference on Theory and Practice of Software Development.
Publication Date 1985-2025 (ongoing)
Format Continuing Resources Other

Music and artificial intelligence : Second International Conference, ICMAI 2002, Edinburgh, Scotland, September 12-14, 2002 : proceedings / Christina Anagnostopoulou, Miguel Ferrand, Alan Smaill, eds.

2025-02-05T04:51:04Z

Author Anagnostopoulou, Christina.
Publication Date 2002
Format Books
ISBN 9783540441458

Proceedings : 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990 / M.E. Stickel, (ed.).

2025-02-05T04:51:04Z

Author International Conference on Automated Deduction (10th : 1990 : Kaiserslautern, Germany)
Publication Date 1990
Format Books
ISBN 9780387528854

Geographic information science : second international conference, GIScience 2002, Boulder, CO, USA, September 25-28, 2002 : proceedings / Max J. Egenhofer, David M. Mark (eds.).

2025-02-05T04:51:04Z

Author International Symposium on Geographic Information Science (2nd : 2002 : Boulder, CO)
Publication Date 2002
Format Books
ISBN 9783540442530

Intelligent agent systems : theoretical and practical issues : based on a workshop held at PRICAI'96, Cairns, Australia, August 26-30, 1996 / Lawrence Cavedon, Anand Rao, Wayne Wobcke, eds.

2025-02-05T04:51:04Z

Author Cavedon, Lawrence, 1964-
Publication Date 1997
Format Books
ISBN 9783540626862

Artificial intelligence in medicine : 6th Conference on Artificial Intelligence in Medicine Europe, AIME '97, Grenoble, France, March 23-26, 1997 : proceedings / Elpida Keravnou [and others] eds.

2025-02-05T04:51:04Z

Author Conference on Artificial Intelligence in Medicine Europe (6th : Grenoble, France : 1997)
Publication Date 1997
Format Books
ISBN 9783540627098

Security and privacy in digital rights management : ACM CCS-8 workshop DRM 2001, Philadelphia, PA, USA, November 5, 2001 : revised papers / Tomas Sander (ed.).

2025-02-05T04:51:04Z

Author ACM Workshop on Security and Privacy in Digital Rights Management (2001 : Philadelphia, Pa.)
Publication Date 2002
Format Books
ISBN 9783540436775

Design and applications of intelligent agents : third Pacific Rim International Workshop on Multi-Agents, PRIMA 2000 : Melbourne, Australia, August 28-29, 2000 : proceedings / Chengqi Zhang, Von-Wun Soo (eds.).

2025-02-05T04:51:04Z

Author Pacific Rim International Workshop on Multi-Agents (3rd : 2000 : Melbourne, Australia)
Publication Date 2000
Format Books
ISBN 9783540679110

Multimodal human-computer communication : systems, techniques, and experiments / Harry Bunt, Robbert-Jan Beun, Tijn Borhguis (eds.).

2025-02-05T04:51:04Z

Author Bunt, Harry C.
Publication Date 1998
Format Books
ISBN 9783540643807

Multi-agent rationality : 8th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'97, Ronneby, Sweden, May 13-16, 1997 : proceedings / Magnus Boman, Walter Van de Velde (eds.).

2025-02-05T04:51:04Z

Author European Workshop on Modelling Autonomous Agents in a Multi-Agent World (8th : 1997 : Ronneby, Sweden)
Publication Date 1997
Format Books
ISBN 9783540630777

Simulated evolution and learning : Second Asia-Pacific Conference on Simulated Evolution and Learning, SEAL '98, Canberra, Australia, November 24-27, 1998 : selected papers / Bob McKay [and others] (eds.).

2025-02-05T04:51:04Z

Author SEAL (Conference) (2nd : 1998 : Canberra, A.C.T.)
Publication Date 1999
Format Books
ISBN 9783540659075

Multi-agent systems and applications : 9th ECCAI advanced course, ACAI 2001 and agent link's 3rd European Agent Systems Summer School, EASSS 2001, Prague, Czech Republic, July 2-13, 2001 : selected tutorial papers / Michael Luck [and others], (eds.).

2025-02-05T04:51:04Z

Author European Agent Systems Summer School (3rd : 2001 : Prague, Czech Republic)
Publication Date 2001
Format Books
ISBN 9783540423126

Advances in information and computer security : 9th International Workshop on Security, IWSEC 2014, Hirosaki, Japan, August 27-29, 2014 : proceedings / Maki Yoshida, Koichi Mouri (eds.).

2025-02-05T04:51:04Z

Author International Workshop on Security (9th : 2014 : Hirosaki-shi, Japan)
Publication Date 2014
Format Books
ISBN 9783319098425

Research and development in knowledge discovery and data mining : Second Pacific-Asia Conference, PAKDD-98, Melbourne, Australia, April 15-17, 1998 : proceedings / Xindong Wu, Ramamohanarao Kotagiri, Kevin B. Korb, eds.

2025-02-05T04:51:04Z

Author Pacific-Asia Conference on Knowledge Discovery and Data Mining (2nd : 1998 : Melbourne, Australia)
Publication Date 1998
Format Books
ISBN 9783540643838

First Title value, for Searching Digital libraries [electronic resource] : international collaboration and cross-fertilization : 7th International Conference on Asian Digital Libraries, ICADL 2004, Shanghai, China, December 13-17, 2004 : proceedings / Zhaoneng Chen [and others] (eds.).

2025-02-05T04:51:04Z

First Author value, for Searching International Conference on Asian Digital Libraries (7th : 2004 : Shanghai, China)
Publication Date as Range 2004
Format Electronic Resources
Electronic Access DSU Current Faculty/Staff/Students click here

Machine learning and data mining in pattern recognition : first International Workshop, MLDM'99, Leipzig, Germany, September 16-18, 1999 : proceedings / Petra Perner, Maria Petrou (eds.).

2025-02-05T04:51:04Z

Author MLDM (Conference) (1st : 1999 : Leipzig, Germany) (1st : 1999 : Leipzig, Germany)
Publication Date 1999
Format Books
ISBN 9783540665991

Engineering psychology and cognitive ergonomics : 7th international conference, EPCE 2007, held as part of HCI International 2007, Beijing, China, July 22-27, 2007 : proceedings / Don Harris (ed.).

2025-02-05T04:51:04Z

Author International Conference on Engineering Psychology and Cognitive Ergonomics (7th : 2007 : Beijing, China)
Publication Date 2007
Format Books
ISBN 9783540733300

Distributed artificial intelligence meets machine learning : learning in multi-agent environments : ECAI'96 Workshop LDAIS, Budapest, Hungary, August 13, 1996, ICMAS'96 Workshop LIOME, Kyoto, Japan, December 10, 1996, selected papers / Gerhard Weiβ, (ed.).

2025-02-05T04:51:04Z

Author Weiss, Gerhard, 1962-
Publication Date 1997
Format Books
ISBN 9783540629344

First Title value, for Searching Automated deduction in geometry [electronic resource] : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers / Franz Winkler (ed.).

2025-02-05T04:51:04Z

First Author value, for Searching International Workshop on Automated Deduction in Geometry (4th : 2002 : Linz, Austria)
Publication Date as Range 2004
Format Electronic Resources
Electronic Access Bibliographic record display DSU Current Faculty/Staff/Students click here An electronic book accessible through the World Wide Web; click for information

First Title value, for Searching Automated deduction in geometry [electronic resource] : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers / Franz Winkler (ed.).

2025-02-05T04:51:04Z

First Title value, for Searching Advances in Web intelligence [electronic resource] : Second International Atlantic Web Intelligence Conference, AWIC 2004, Cancun, Mexico, May 16-19, 2004 : proceedings / Jesus Favela, Ernestina Menasalvas, Edgar Chávez (eds.).

2025-02-05T04:51:04Z

First Author value, for Searching International Atlantic Web Intelligence Conference (2nd : 2004 : Cancún, Mexico)
Publication Date as Range 2004
Format Electronic Resources
Electronic Access DSU Current Faculty/Staff/Students click here

Optimization techniques : modeling and optimization in the service of man : proceedings, 7th IFIP conference, Nice, September 8-12, 1975 / edited by Jean Cea.

2025-02-05T04:51:04Z

Author IFIP Conference on Optimization Techniques (7th : 1975 : Nice)
Publication Date 1976
Format Books
ISBN 9780387076225

Transactions on computational systems biology II / Corrado Priami, Alexander Zelikovsky (eds.).

2025-02-05T04:51:04Z

Author Priami, Corrado.
Publication Date 2005
Format Electronic Resources
ISBN 9783540294016

First Title value, for Searching Swarm robotics [electronic resource] : SAB 2004 international workshop, Santa Monica, CA, USA, July 17, 2004 : revised selected papers / Erol Şahin, William M. Spears (eds.).

2025-02-05T04:51:04Z

First Author value, for Searching International Workshop on Swarm Robotics (1st : 2004 : Santa Monica, Calif)
Publication Date as Range 2005
Format Electronic Resources
Electronic Access Bibliographic record display DSU Current Faculty/Staff/Students click here An electronic book accessible through the World Wide Web; click for information

Transactions on computational systems biology III / Corrado Priami [and others] (eds.).

2025-02-05T04:51:04Z

Author Priami, Corrado.
Publication Date 2005
Format Books
ISBN 9783540308836

Transactions on computational systems biology IV / Corrado Priami, Luca Cardelli, Stephen Emmott (eds.).

2025-02-05T04:51:04Z

Author Priami, Corrado.
Publication Date 2006
Format Electronic Resources
ISBN 9783540332459

Modeling decisions for artificial intelligence : 15th International Conference, MDAI 2018, Mallorca, Spain, October 15-18, 2018, proceedings / Vicenç Torra, Yasuo Narukawa, Isabel Aguiló, Manuel González-Hidalgo (eds.).

2025-02-05T04:51:04Z

Author MDAI (Conference) (15th : 2018 : Palma de Mallorca, Spain)
Publication Date 2018
Format Books
ISBN 9783030002015

Advances in data mining : medical applications, e-commerce, marketing, and theoretical aspects : 8th industrial conference, ICDM 2008, Leipzig, Germany, July 16-18, 2008 : proceedings / Petra Perner (ed.).

2025-02-05T04:51:04Z

Author Industrial Conference on Data Mining (8th : 2008 : Leipzig, Germany)
Publication Date 2008
Format Books
Electronic Access Inhaltsverzeichnis http://d-nb.info/989198618/04
ISBN 9783540707172

Integration of software specification techniques for applications in engineering : Priority Program SoftSpez of the German Research Foundation (DFG) : final report / Hartmut Ehrig [and others] (eds.).

2025-02-05T04:51:04Z

Author Ehrig, Hartmut.
Publication Date 2004
Format Books
ISBN 9783540231356

Citizen in sensor networks : second international workshop, CitiSens 2013, Barcelona, Spain, September 19, 2013 : revised selected papers / Jordi Nin, Daniel Villatoro (eds.).

2025-02-05T04:51:04Z

Author CitiSens 2013 (2013 : Barcelona, Spain)
Publication Date 2014
Format Books
ISBN 9783319041773

WEBKDD 2001--mining web log data across all customer touch points : third international workshop, San Francisco, CA, USA, August 26, 2001 : revised papers / Ron Kohavi [and others] (eds.).

2025-02-05T04:51:04Z

Author WEBKDD 2001 (2001 : San Francisco, Calif.)
Publication Date 2002
Format Books
ISBN 9783540439691

Web and wireless geographical information systems : 13th International Symposium, W2GIS 2014, Seoul, South Korea, May 29-30, 2014 : proceedings / Dieter Pfoser, Ki-Joune Li (eds.).

2025-02-05T04:51:04Z

Author W2GIS 2014 (2014 : Seoul, Korea)
Publication Date 2014
Format Books
ISBN 9783642553332

Information retrieval meets information visualization : PROMISE Winter School 2012, Zinal, Switzerland, January 23-27, 2012 : revised tutorial lectures / Maristella Agosti, Nicola Ferro, Pamela Forner, Henning Müller, Giuseppe Santucci.

2025-02-05T04:51:04Z

Author PROMISE Winter School (2012 : Zinal, Switzerland)
Publication Date 2013
Format Books
ISBN 9783642364143

Geographic information science : 8th International Conference, GIScience 2014, Vienna, Austria, September 24-26, 2014. Proceedings / Matt Duckham, Edzer Pebesma, Kathleen Stewart, Andrew U. Frank (eds.).

2025-02-05T04:51:04Z

Author International Symposium on Geographic Information Science (8th : 2014 : Vienna, Austria)
Publication Date 2014
Format Books
ISBN 9783319115924

Digital Human Modeling : Applications in Health, Safety, Ergonomics and Risk Management: Human Modeling: 6th International Conference, DHM 2015, Held as Part of HCI Internatio.

2025-02-05T04:51:04Z

Publication Date 2015
Format Books
ISBN 9783319210728

Sparse grids and applications / Jochen Garcke, Michael Griebel, editors.

2025-02-05T04:51:04Z

Author Garcke, Jochen.
Publication Date 2013
Format Books
ISBN 9783642317026

Bayesian learning for neural networks / Radford M. Neal.

2025-02-05T04:51:04Z

Author Neal, Radford M.
Publication Date 1996
Format Books
ISBN 9780387947242

Mathematics of information processing / Michael Anshel and William Gewirtz, editors.

2025-02-05T04:51:04Z

Author Anshel, Michael, 1941-
Publication Date 1986
Format Books
ISBN 9780821800867

Substitutions in dynamics, arithmetics, and combinatorics / N. Pytheas Fogg ; editors, V. Berthé [and others].

2025-02-05T04:51:04Z

Author Pytheas Fogg, N.
Publication Date 2002
Format Books
ISBN 9783540441410

Parallel algorithms and cluster computing : implementations, algorithms and applications / Karl Heinz Hoffmann, Arnd Meyer (eds.).

2025-02-05T04:51:04Z

Author Hoffmann, K. H. (Karl Heinz), 1953-
Publication Date 2006
Format Books
ISBN 9783540335399

First Title value, for Searching Design of adaptive finite element software [electronic resource] : the finite element toolbox ALBERTA / Alfred Schmidt, Kunibert G. Siebert.

2025-02-05T04:51:04Z

First Author value, for Searching Schmidt, Alfred, 1958-
Publication Date as Range 2005
Format Electronic Resources
Electronic Access Bibliographic record display DSU Current Faculty/Staff/Students click here An electronic book accessible through the World Wide Web; click for information

Probabilistic group theory, combinatorics, and computing : lectures from the Fifth de Brún Workshop / Alla Detinko, Dane Flannery, Eamonn O'Brien, editors.

2025-02-05T04:51:04Z

Author Detinko, Alla.
Publication Date 2013
Format Books
ISBN 9781447148135

Expert systems in production engineering : proceedings of the international workshop, Spa, Belgium, August 18-22, 1986 / G. Menges, N. Hövelmanns, E. Baur (eds.).

2025-02-05T04:51:04Z

Author Menges, Georg, 1923-
Publication Date 1987
Format Books
ISBN 9780387179278

Mathematical logic and theoretical computer science / edited by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith.

2025-02-05T04:51:04Z

Author Kueker, D. W., 1943-
Publication Date 1987
Format Books
ISBN 9780824777463

Computer aided text processing, an introduction : lecture notes of a short course held in association with the PROTEXT III Conference, 20-21 October 1986, Dublin, Ireland / edited by J.J.H. Miller.

2025-02-05T04:51:04Z

Author Miller, J. J. H. (John James Henry), 1937-
Publication Date 1986
Format Books
ISBN 9780906783573 9780906783580

Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 / S. Homer [and others] ; editor, P. Odifreddi.

2025-02-05T04:51:04Z

Author Homer, S. (Steven)
Publication Date 1990
Format Books
ISBN 9783540527343 9780387527345