226.
CONCUR 2000 — Concurrency Theory [electronic resource] : 11th International Conference University Park, PA, USA, August 22–25, 2000 Proceedings / edited by Catuscia Palamidessi.
by Palamidessi, Catuscia [editor.] | SpringerLink (Online service).
Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: No items available
227.
Computer Science Logic [electronic resource] : 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings / edited by Peter G. Clote, Helmut Schwichtenberg.
by Clote, Peter G [editor.] | Schwichtenberg, Helmut [editor.] | SpringerLink (Online service).
Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: No items available
228.
Intelligent Agents VII Agent Theories Architectures and Languages [electronic resource] : 7th International Workshop, ATAL 2000 Boston, MA, USA, July 7–9, 2000 Proceedings / edited by Cristiano Castelfranchi, Yves Lespérance.
by Castelfranchi, Cristiano [editor.] | Lespérance, Yves [editor.] | SpringerLink (Online service).
Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: No items available
229.
Intelligent Agents: Specification, Modeling, and Applications [electronic resource] : 4th Pacific Rim International Workshop on Multi-Agents, PRIMA 2001 Taipei, Taiwan, July 28–29, 2001 Proceedings / edited by Soe -Tsyr Yuan, Makoto Yokoo.
by Yuan, Soe -Tsyr [editor.] | Yokoo, Makoto [editor.] | SpringerLink (Online service).
Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: No items available
230.
New Trends in Constraints [electronic resource] : Joint ERCIM/Compulog NetWorkshop Paphos, Cyprus, October 25–27, 1999 Selected Papers / edited by Krzysztof R. Apt, Eric Monfroy, Antonis C. Kakas, Francesca Rossi.
by Apt, Krzysztof R [editor.] | Monfroy, Eric [editor.] | Kakas, Antonis C [editor.] | Rossi, Francesca [editor.] | SpringerLink (Online service).
Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: No items available
231.
Implementation of Functional Languages [electronic resource] : 11th International Workshop, IFL’99, Lochem, The Netherlands, September 7-10, 1999. Selected Papers / edited by Pieter Koopman, Chris Clack.
by Koopman, Pieter [editor.] | Clack, Chris [editor.] | SpringerLink (Online service).
Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: No items available
232.
Theorem Proving in Higher Order Logics [electronic resource] : 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14–18, 2000 Proceedings / edited by Mark Aagaard, John Harrison.
by Aagaard, Mark [editor.] | Harrison, John [editor.] | SpringerLink (Online service).
Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: No items available
233.
Category Theory and Computer Science [electronic resource] : 6th International Conference, CTCS '95 Cambridge, United Kingdom, August 7–11, 1995 Proceedings / edited by David Pitt, David E. Rydeheard, Peter Johnstone.
by Pitt, David [editor.] | Rydeheard, David E [editor.] | Johnstone, Peter [editor.] | SpringerLink (Online service).
Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: No items available
234.
Lectures on Formal Methods and PerformanceAnalysis [electronic resource] : First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures / edited by Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen.
by Brinksma, Ed [editor.] | Hermanns, Holger [editor.] | Katoen, Joost-Pieter [editor.] | SpringerLink (Online service).
Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: No items available
235.
Implementation and Application of Automata [electronic resource] : 5th International Conference, CIAA 2000 London, Ontario, Canada, July 24–25, 2000 Revised Papers / edited by Shen Yu, Andrei Păun.
by Yu, Shen [editor.] | Păun, Andrei [editor.] | SpringerLink (Online service).
Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: No items available
236.
Interactive Systems Design, Specification, and Verification [electronic resource] : 7th International Workshop, DSV-IS 2000 Limerick, Ireland, June 5–6, 2000 Revised Papers / edited by Philippe Palanque, Fabio Paternò.
by Palanque, Philippe [editor.] | Paternò, Fabio [editor.] | SpringerLink (Online service).
Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: No items available
237.
CONCUR 2001 — Concurrency Theory [electronic resource] : 12th International Conference Aalborg, Denmark, August 20–25, 2001 Proceedings / edited by Kim G. Larsen, Mogens Nielsen.
by Larsen, Kim G [editor.] | Nielsen, Mogens [editor.] | SpringerLink (Online service).
Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: No items available
238.
Field-Programmable Logic and Applications [electronic resource] : 11th International Conference, FPL 2001 Belfast, Northern Ireland, UK, August 27-29, 2001 Proceedings / edited by Gordon Brebner, Roger Woods.
by Brebner, Gordon [editor.] | Woods, Roger [editor.] | SpringerLink (Online service).
Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: No items available
239.
Cryptographic Hardware and Embedded Systems — CHES 2001 [electronic resource] : Third International Workshop Paris, France, May 14–16, 2001 Proceedings / edited by Çetin K. Koç, David Naccache, Christof Paar.
by Koç, Çetin K [editor.] | Naccache, David [editor.] | Paar, Christof [editor.] | SpringerLink (Online service).
Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: No items available
240.
Functional and Logic Programming [electronic resource] : 5th International Symposium, FLOPS 2001 Tokyo, Japan, March 7–9, 2001 Proceedings / edited by Herbert Kuchen, Kazunori Ueda.
by Kuchen, Herbert [editor.] | Ueda, Kazunori [editor.] | SpringerLink (Online service).
Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: No items available
241.
CONCUR '95: Concurrency Theory [electronic resource] : 6th International Conference Philadelphia, PA, USA, August 21–24, 1995 Proceedings / edited by Insup Lee, Scott A. Smolka.
by Lee, Insup [editor.] | Smolka, Scott A [editor.] | SpringerLink (Online service).
Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: No items available
242.
Theorem Proving in Higher Order Logics [electronic resource] : 14th International Conference, TPHOLs 2001 Edinburgh, Scotland, UK, September 3–6, 2001 Proceedings / edited by Richard J. Boulton, Paul B. Jackson.
by Boulton, Richard J [editor.] | Jackson, Paul B [editor.] | SpringerLink (Online service).
Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: No items available
243.
Mathematical Foundations of Computer Science 1995 [electronic resource] : 20th International Symposium, MFCS '95 Prague, Czech Republic, August 28–September 1, 1995 Proceedings / edited by Jiří Wiedermann, Petr Hájek.
by Wiedermann, Jiří [editor.] | Hájek, Petr [editor.] | SpringerLink (Online service).
Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: No items available
244.
Fundamentals of Computation Theory [electronic resource] : 10th International Conference, FCT '95 Dresden, Germany, August 22–25, 1995 Proceedings / edited by Horst Reichel.
by Reichel, Horst [editor.] | SpringerLink (Online service).
Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: No items available
245.
ZUM '95: The Z Formal Specification Notation [electronic resource] : 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings / edited by Jonathan P. Bowen, Michael G. Hinchey.
by Bowen, Jonathan P [editor.] | Hinchey, Michael G [editor.] | SpringerLink (Online service).
Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: No items available
246.
Higher Order Logic Theorem Proving and Its Applications [electronic resource] : 8th International Workshop Aspen Grove, UT, USA, September 11–14, 1995 Proceedings / edited by E. Thomas Schubert, Philip J. Windley, James Alves-Foss.
by Thomas Schubert, E [editor.] | Windley, Philip J [editor.] | Alves-Foss, James [editor.] | SpringerLink (Online service).
Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: No items available
247.
Field-Programmable Logic and Applications [electronic resource] : 5th International Workshop, FPL '95 Oxford, United Kingdom, August 29–September 1, 1995 Proceedings / edited by Will Moore, Wayne Luk.
by Moore, Will [editor.] | Luk, Wayne [editor.] | SpringerLink (Online service).
Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: No items available
248.
Principles and Practice of Constraint Programming — CP '95 [electronic resource] : First International Conference, CP '95 Cassis, France, September 19–22, 1995 Proceedings / edited by Ugo Montanari, Francesca Rossi.
by Montanari, Ugo [editor.] | Rossi, Francesca [editor.] | SpringerLink (Online service).
Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: No items available
249.
Correct Hardware Design and Verification Methods [electronic resource] : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings / edited by Tiziana Margaria, Tom Melham.
by Margaria, Tiziana [editor.] | Melham, Tom [editor.] | SpringerLink (Online service).
Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: No items available
250.
Computer Science Logic [electronic resource] : 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings / edited by Laurent Fribourg.
by Fribourg, Laurent [editor.] | SpringerLink (Online service).
Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: No items available