|
21.
|
TAPSOFT '97: Theory and Practice of Software Development [electronic resource] :7th International Joint Conference CAAP/FASE Lille, France, April 14–18, 1997 Proceedings /
by Bidoit, Michel [editor.] | Dauchet, Max [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
22.
|
Input/Output Intensive Massively Parallel Computing [electronic resource] :Language Support, Automatic Parallelization, Advanced Optimization, and Runtime Systems /
by Brezany, Peter [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
23.
|
Non-Monotonic Extensions of Logic Programming [electronic resource] :Second International Workshop, NMELP '96 Bad Honnef, Germany, September 5–6, 1996 Selected Papers /
by Dix, Jürgen [editor.] | Pereira, Luís Moniz [editor.] | Przymusinski, Teodor C [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
24.
|
New Trends in Formal Languages [electronic resource] :Control, Cooperation, and Combinatorics /
by Păun, Gheorghe [editor.] | Salomaa, Arto [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
25.
|
Distributed Artificial Intelligence Meets Machine Learning Learning in Multi-Agent Environments [electronic resource] :ECAI'96 Workshop LDAIS Budapest, Hungary, August 13, 1996 ICMAS'96 Workshop LIOME Kyoto, Japan, December 10, 1996 Selected Papers /
by Weiß, Gerhard [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
26.
|
Rewriting Techniques and Applications [electronic resource] :8th International Conference, RTA-97 Sitges, Spain, June 2–5, 1997 Proceedings /
by Comon, Hubert [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
27.
|
ECOOP'97 — Object-Oriented Programming [electronic resource] :11th European Conference Jyväskylä, Finland, June 9–13, 1997 Proceedings /
by Akşit, Mehmet [editor.] | Matsuoka, Satoshi [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
28.
|
Languages and Compilers for Parallel Computing [electronic resource] :9th International Workshop, LCPC'96 San Jose, California, USA, August 8–10, 1996 Proceedings /
by Sehr, David [editor.] | Banerjee, Utpal [editor.] | Gelernter, David [editor.] | Nicolau, Alex [editor.] | Padua, David [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
29.
|
Reliable Software Technologies — Ada-Europe '97 [electronic resource] :1997 Ada-Europe International Conference on Reliable Software Technologies London, UK, June 2–6, 1997 Proceedings /
by Hardy, Keith [editor.] | Briggs, Jim [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
30.
|
CONCUR '97: Concurrency Theory [electronic resource] :8th International Conference Warsaw, Poland, July 1–4, 1997 Proceedings /
by Mazurkiewicz, Antoni [editor.] | Winkowski, Józef [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
31.
|
Automata, Languages and Programming [electronic resource] :24th International Colloquium, ICALP '97 Bologna, Italy, July 7–11, 1997 Proceedings /
by Degano, Pierpaolo [editor.] | Gorrieri, Roberto [editor.] | Marchetti-Spaccamela, Alberto [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
32.
|
Automata Implementation [electronic resource] :First International Workshop on Implementing Automata, WIA '96 London, Ontario, Canada, August 29–31, 1996 Revised Papers /
by Raymond, Darrell [editor.] | Wood, Derick [editor.] | Yu, Sheng [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
33.
|
Implementation of Functional Languages [electronic resource] :8th International Workshop, IFL'96 Bad Godesberg, Germany, September 16–18, 1996 Selected Papers /
by Kluge, Werner [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
34.
|
Worldwide Computing and Its Applications [electronic resource] :International Conference, WWCA'97 Tsukuba, Japan, March 10–11, 1997 Proceedings /
by Masuda, Takashi [editor.] | Masunaga, Yoshifumi [editor.] | Tsukamoto, Michiharu [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
35.
|
Coordination Languages and Models [electronic resource] :Second International Conference COORDINATION '97 Berlin, Germany, September 1–3, 1997 Proceedings /
by Garlan, David [editor.] | Métayer, Daniel Le [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
36.
|
Programming Languages: Implementations, Logics, and Programs [electronic resource] :9th International Symposium, PLILP '97 Including a Special Track on Declarative Programming Languages in Education Southampton, UK, September 3–5, 1997 Proceedings /
by Glaser, Hugh [editor.] | Hartel, Pieter [editor.] | Kuchen, Herbert [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
37.
|
Modular Compiler Verification [electronic resource] :A Refinement-Algebraic Approach Advocating Stepwise Abstraction /
by Müller-Olm, Markus [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
38.
|
Mathematical Foundations of Computer Science 1997 [electronic resource] :22nd International Symposium, MFCS '97 Bratislava, Slovakia, August 25–29, 1997 Proceedings /
by Prívara, Igor [editor.] | Ružička, Peter [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
39.
|
Category Theory and Computer Science [electronic resource] :7th International Conference, CTCS '97 Santa Margherita Ligure Italy, September 4–6, 1997 Proceedings /
by Moggi, Eugenio [editor.] | Rosolini, Giuseppe [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
40.
|
Algebraic and Logic Programming [electronic resource] :6th International Joint Conference ALP '97 — HOA '97 Southampton, UK, September 3–5, 1997 Proceedings /
by Hanus, Michael [editor.] | Heering, Jan [editor.] | Meinke, Karl [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|