|
1.
|
Communication and Architectural Support for Network-Based Parallel Computing [electronic resource] :First International Workshop, CANPC'97 San Antonio, Texas, USA, February 1–2, 1997 Proceedings /
by Panda, Dhabaleswar K [editor.] | Stunkel, Craig B [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
|
|
2.
|
Evolution of Parallel Cellular Machines [electronic resource] :The Cellular Programming Approach /
by Sipper, Moshe [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
|
|
3.
|
Vector and Parallel Processing — VECPAR'96 [electronic resource] :Second International Conference on Vector and Parallel Processing — Systems and Application Porto, Portugal, September 25–27, 1996 Selected Papers /
by Palma, José M. L. M [editor.] | Dongarra, Jack [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
|
|
4.
|
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
|
|
5.
|
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
|
|
6.
|
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] :International Conference, TABLEAUX'97 Pont-à-Mousson, France, May 13–16, 1997 Proceedings /
by Galmiche, Didier [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
|
|
7.
|
Automated Deduction—CADE-14 [electronic resource] :14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13–17, 1997 Proceedings /
by McCune, William [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
|
|
8.
|
Solving Irregularly Structured Problems in Parallel [electronic resource] :4th International Symposium, IRREGULAR'97 Paderborn, Germany, June 12–13, 1997 Proceedings /
by Bilardi, Gianfranco [editor.] | Ferreira, Afonso [editor.] | Lüling, Reinhard [editor.] | Rolim, José [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
|
|
9.
|
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
|
|
10.
|
Computer Science Logic [electronic resource] :10th International Workshop, CSL '96 Annual Conference of the EACSL Utrecht, The Netherlands, September 21–27, 1996 Selected Papers /
by Dalen, Dirk van [editor.] | Bezem, Marc [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
|
|
11.
|
Evolvable Systems: From Biology to Hardware [electronic resource] :First International Conference, ICES96 Tsukuba, Japan, October 7–8, 1996 Proceedings /
by Higuchi, Tetsuya [editor.] | Iwata, Masaya [editor.] | Liu, Weixin [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
|
|
12.
|
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
|
|
13.
|
Logic Programming And Nonmonotonic Reasoning [electronic resource] :4th International Conference, LPNMR '97 Dagstuhl Castle, Germany, July 28–31, 1997 Proceedings /
by Dix, Jürgen [editor.] | Furbach, Ulrich [editor.] | Nerode, Anil [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
|
|
14.
|
Hybrid Systems IV [electronic resource] /
by Antsaklis, Panos [editor.] | Kohn, Wolf [editor.] | Nerode, Anil [editor.] | Sastry, Shankar [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
|
|
15.
|
Parallel Computing Technologies [electronic resource] :4th International Conference, PaCT-97 Yaroslavl, Russia, September 8–12, 1997 Proceedings /
by Malyshkin, Victor [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
|
|
16.
|
Theorem Proving in Higher Order Logics [electronic resource] :10th International Conference, TPHOLs '97 Murray Hill, NJ, USA, August 19–22, 1997 Proceedings /
by Gunter, Elsa L [editor.] | Felty, Amy [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
|
|
17.
|
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
|
|
18.
|
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
|
|
19.
|
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
|
|
20.
|
Field-Programmable Logic and Applications [electronic resource] :7th International Workshop, FPL '97 London, UK, September 1–3, 1997 Proceedings /
by Luk, Wayne [editor.] | Cheung, Peter Y. K [editor.] | Glesner, Manfred [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
|