Authors:Tai-hoon Kim, Hojjat Adeli,
Publisher: Springer
Keywords: lecture, proceedings, joint, june, applications, incl, hci, web, internet, japan, miyazaki, technology, information, science, computer, ast, ucma, conferences, acn, isa, advances
Number of Pages: 604
Published: 2010-07-21
List price: $119.00
ISBN-10: 3642135765
ISBN-13: 9783642135767

This book constitutes the refereed joint proceedings of four co-located international conferences, concertedly held in Miyazaki, Japan, in June 2010. The papers in this volume were selected based on their scores obtained from the independent reviewing processes at particular conferences, and their relevance to the idea of constructing hybrid solution to address the real-world challenges of IT. It provides a chance for academic and industry professionals to catch up on recent progress in the related areas. The 49 revised full papers presented were carefully reviewed and selected duri

Authors:F. J. Ragep, Sally P. Ragep, Steven John Livesey,
Publisher: Brill Academic Publishers
Keywords: travaux, collection, oklahoma, histiore, des, tome, sciences, university, science, transformation, transmission, proceedings, conferences, modern, pre, tradition
Number of Pages: 591
Published: 1996-07-01
List price: $262.00
ISBN-10: 9004101195
ISBN-13: 9789004101197

This volume is the outcome of two conferences held at the University of Oklahoma in 1992 and 1993 which dealt with issues of transmission and subsequent cultural transformations that occurred in the premodern histories of mathematics and science. Some twenty contributors explore transmission from a variety of perspectives, including the role of language and other facets of culture in the transmission process, the interaction of popular and elite science in transmission, successful and less than successful episodes of scientific appropriation and the role of institutions

Authors:Mogens Nielsen, Uffe Engberg,
Publisher: Springer
Keywords: science, european, joint, conferences, notes, computer, part, lecture, fossacs, computation, software, structures, international, conference, foundations
Number of Pages: 435
Published: 2002-04-29
List price: $77.95
ISBN-10: 354043366X
ISBN-13: 9783540433668

This book constitutes the refereed proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2002, held in Grenoble, France, in April 2002. The 28 revised full papers presented together with an extended abstract of an invited paper were carefully reviewed and selected from a total of 67 submissions. Among the topics addressed are algebraic, categorical, logical, and geometric theories, models and methods which support the specification, synthesis, verification, analysis, and transformation of sequential, concurrent, distributed, and

Authors:Dominik Slezak, Tai-hoon Kim, Stephen S.T. Yau, Osval
Publisher: Springer
Keywords: information, technology, conferences, fgit, science, computer, generation, future, computing, distributed, international, conference, part, gdc, grid
Number of Pages: 229
Published: 2010-01-13
List price: $84.00
ISBN-10: 3642105483
ISBN-13: 9783642105487

This book constitutes the proceedings of the International Conference on Grid and Distributed Computing, GDC 2009, held as part of the Future Generation Information Technology Conferences, FGIT 2009, held on Jeju Island, Korea in December 2009. The 26 papers presented in this volume were carefully reviewed and selected from numerous submissions.

Authors:Robert Meersman, Zahir Tari,
Publisher: Springer
Keywords: otm, internet, mexico, monterrey, applications, web, hci, odbase, incl, doa, confederated, systems, international, conferences, meaningful, coopis, gada
Number of Pages: 936
Published: 2008-11-21
List price: $149.00
ISBN-10: 3540888705
ISBN-13: 9783540888703

This two-volume set LNCS 5331/5332 constitutes the refereed proceedings of the five confederated international conferences on Cooperative Information Systems (CoopIS 2008), Distributed Objects and Applications (DOA 2008), Grid computing, high performAnce and Distributed Applications (GADA 2008), Information Security (IS 2008), and Ontologies, Databases and Applications of Semantics (ODBASE 2008), held as OTM 2008 in Monterrey, Mexico, in November 2008. The 86 revised full and 9 revised short papers presented together with 5 invited papers and 4 keynote talks were carefully reviewed and selecte

Author: Giuseppe Castagna
Publisher: Springer
Keywords: programming, european, practice, issues, computer, science, theory, general, joint, systems, languages, symposium, esop, part, conferences
Number of Pages: 411
Published: 2009-04-21
List price: $89.95
ISBN-10: 3642005896
ISBN-13: 9783642005893

This book constitutes the refereed proceedings of the 18th European Symposium on Programming, ESOP 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 26 revised full papers presented together with two abstracts of invited talks were carefully reviewed and selected from 98 full paper submissions. The topics addressed are typed functional programming, computational effects, types for object-oriented languages, verification, security, concurrency, service-oriented computing, parallel and concurrent programming.

Author: Pierpaolo Degano
Publisher: Springer
Keywords: programming, european, practice, science, lecture, notes, theory, computer, joint, systems, languages, symposium, esop, part, conferences
Number of Pages: 415
Published: 2003-05-07
List price: $72.95
ISBN-10: 3540008861
ISBN-13: 9783540008866

This book constitutes the refereed proceedings of the 12th European Symposium on Programming, ESOP 2003, held in Warsaw, Poland, in April 2003. The 25 revised full papers presented together with two invited papers were carefully reviewed and selected from 99 submissions. Among the topics addressed are programming paradigms and their integration, program semantics, calculi of computation, security, advanced type systems, program analysis, program transformation, and practical algorithms based on theoretical developments.