Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view

Algebraic Methodology and Software Technology Электронный ресурс 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, José Meseguer, Grigore Roşu

By: Hutchison, DavidContributor(s): Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Meseguer, José | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Roşu, Grigore | Steffen, Bernhard | Sudan, Madhu | Terzopoulos, Demetri | Tygar, Doug | Vardi, Moshe Y | Weikum, Gerhard | SpringerLink (Online service)Material type: Computer fileComputer fileSeries: Lecture Notes in Computer SciencePublication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008ISBN: 9783540799801Subject(s): Algebra -- Data processing | Artificial intelligence | Computer Science | Logic design | Software engineering | Computer Science | Artificial Intelligence (incl. Robotics) | Logics and Meanings of Programs | Mathematical Logic and Formal Languages | Programming Techniques | Software Engineering | Symbolic and Algebraic ManipulationOnline resources: Click here to access online In: Springer eBooks
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

There are no comments on this title.

to post a comment.
Share