Your search returned 4305 results.

Results
1481.	Image from Amazon.com	Formal Methods and Software Engineering [electronic resource] : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings / edited by Shaoying Liu, Tom Maibaum, Keijiro Araki. by Liu, Shaoying [editor.] Maibaum, Tom [editor.] Araki, Keijiro [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5256Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1482.	Image from Amazon.com	Automated Technology for Verification and Analysis [electronic resource] : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings / edited by Sungdeok (Steve) Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan. by Cha, Sungdeok (Steve) [editor.] Choi, Jin-Young [editor.] Kim, Moonzoo [editor.] Lee, Insup [editor.] Viswanathan, Mahesh [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5311Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1483.	Image from Amazon.com	Leveraging Applications of Formal Methods, Verification and Validation [electronic resource] : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 17Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1484.	Image from Amazon.com	Computational Methods in Systems Biology [electronic resource] : 6th International Conference CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings / edited by Monika Heiner, Adelinde M. Uhrmacher. by Heiner, Monika [editor.] Uhrmacher, Adelinde M [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5307Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1485.	Image from Amazon.com	The Semantic Web - ISWC 2008 [electronic resource] : 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings / edited by Amit Sheth, Steffen Staab, Mike Dean, Massimo Paolucci, Diana Maynard, Timothy Finin, Krishnaprasad Thirunarayan. by Sheth, Amit [editor.] Staab, Steffen [editor.] Dean, Mike [editor.] Paolucci, Massimo [editor.] Maynard, Diana [editor.] Finin, Timothy [editor.] Thirunarayan, Krishnaprasad [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5318Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1486.	Image from Amazon.com	Generative and Transformational Techniques in Software Engineering II [electronic resource] : International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers / edited by Ralf Lämmel, Joost Visser, João Saraiva. by Lämmel, Ralf [editor.] Visser, Joost [editor.] Saraiva, João [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5235Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1487.	Image from Amazon.com	Systems and Virtualization Management. Standards and New Technologies [electronic resource] : Second International Workshop, SVM 2008 Munich, Germany, October, 21-22, 2008 Proceedings / edited by Latifa Boursas, Mark Carlson, Wolfgang Hommel, Michelle Sibilla, Kes Wold. by Boursas, Latifa [editor.] Carlson, Mark [editor.] Hommel, Wolfgang [editor.] Sibilla, Michelle [editor.] Wold, Kes [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 18Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 Other title: Second International Workshop, SVM 2008 Munich, Germany, October, 21-22, 2008. Proceedings In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1488.	Image from Amazon.com	Enterprise Information Systems [electronic resource] : 9th International Conference, ICEIS 2007, Funchal, Madeira, June 12-16, 2007, Revised Selected Papers / edited by Joaquim Filipe, José Cordeiro, Jorge Cardoso. by Filipe, Joaquim [editor.] Cordeiro, José [editor.] Cardoso, Jorge [editor.] SpringerLink (Online service) Series: Lecture Notes in Business Information Processing ; 12Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1489.	Image from Amazon.com	Web Reasoning and Rule Systems [electronic resource] : Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings / edited by Diego Calvanese, Georg Lausen. by Calvanese, Diego [editor.] Lausen, Georg [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5341Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1490.	Image from Amazon.com	Rule Representation, Interchange and Reasoning on the Web [electronic resource] : International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings / edited by Nick Bassiliades, Guido Governatori, Adrian Paschke. by Bassiliades, Nick [editor.] Governatori, Guido [editor.] Paschke, Adrian [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5321Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1491.	Image from Amazon.com	On the Move to Meaningful Internet Systems: OTM 2008 Workshops [electronic resource] : OTM Confederated International Workshops and Posters, ADI, AWeSoMe, COMBEK, EI2N, IWSSA, MONET, OnToContent + QSI, ORM, PerSys, RDDS, SEMELS, and SWWS 2008, Monterrey, Mexico, November 9-14, 2008. Proceedings / edited by Robert Meersman, Zahir Tari, Pilar Herrero. by Meersman, Robert [editor.] Tari, Zahir [editor.] Herrero, Pilar [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5333Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1492.	Image from Amazon.com	Applications of Graph Transformations with Industrial Relevance [electronic resource] : Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers / edited by Andy Schürr, Manfred Nagl, Albert Zündorf. by Schürr, Andy [editor.] Nagl, Manfred [editor.] Zündorf, Albert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5088Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1493.	Image from Amazon.com	The Practice of Enterprise Modeling [electronic resource] : First IFIP WG 8.1 Working Conference, PoEM 2008, Stockholm, Sweden, November 12-13, 2008. Proceedings / edited by Janis Stirna, Anne Persson. by Stirna, Janis [editor.] Persson, Anne [editor.] SpringerLink (Online service) Series: Lecture Notes in Business Information Processing ; 15Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1494.	Image from Amazon.com	Metrics for Process Models [electronic resource] : Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness / by Jan Mendling. by Mendling, Jan [author.] SpringerLink (Online service) Series: Lecture Notes in Business Information Processing ; 6Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1495.	Image from Amazon.com	Runtime Verification [electronic resource] : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers / edited by Martin Leucker. by Leucker, Martin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5289Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1496.	Image from Amazon.com	Programming Languages and Systems [electronic resource] : 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings / edited by G. Ramalingam. by Ramalingam, G [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5356Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1497.	Image from Amazon.com	HCI and Usability for Education and Work [electronic resource] : 4th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2008, Graz, Austria, November 20-21, 2008. Proceedings / edited by Andreas Holzinger. by Holzinger, Andreas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5298Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1498.	Image from Amazon.com	Software Process and Product Measurement [electronic resource] : International Conferences IWSM 2008, Metrikon 2008, and Mensura 2008 Munich, Germany, November 18-19, 2008. Proceedings / edited by Reiner R. Dumke, René Braungarten, Günter Büren, Alain Abran, Juan J. Cuadrado-Gallego. by Dumke, Reiner R [editor.] Braungarten, René [editor.] Büren, Günter [editor.] Abran, Alain [editor.] Cuadrado-Gallego, Juan J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5338Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1499.	Image from Amazon.com	Software-Intensive Systems and New Computing Paradigms [electronic resource] : Challenges and Visions / edited by Martin Wirsing, Jean-Pierre Banâtre, Matthias Hölzl, Axel Rauschmayer. by Wirsing, Martin [editor.] Banâtre, Jean-Pierre [editor.] Hölzl, Matthias [editor.] Rauschmayer, Axel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5380Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1500.	Image from Amazon.com	Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings / edited by Iliano Cervesato, Helmut Veith, Andrei Voronkov. by Cervesato, Iliano [editor.] Veith, Helmut [editor.] Voronkov, Andrei [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5330Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)