| Springer Nature

267,730원  | 20180824  | 9783319876757

Covering topics in algebraic geometry, coding theory, and cryptography, this volume presents interdisciplinary group research completed for the February 2016 conference at the Institute for Pure and Applied Mathematics (IPAM) in cooperation with the Association for Women in Mathematics (AWM).

 | Big Sil LLC

34,980원  | 20160426  | 9780996735230

Imagine, discover and explore amazing places around the U.S., in this children’s book series led by the loveable dog, Big Sil. ?This visually captivating children's book story is?told through a unique combination of illustration and photography.??The Adventures of Big Sil Los Angeles is an educational experience celebrating art and culture icons around the city as?Big Sil goes hiking, visits the movie studios, and surfs at the beach.

 | Big Sil LLC

13,980원  | 20160404  | 9780996735223

Imagine, discover and explore amazing places around the U.S., in this new story series led by a loveable American dog, Big Sil. ?Reality and imagination blur, in this visually transformative mixed media experience, as Big Sil jumps into a real life adventure through Los Angeles, told through a unique combination of illustration and photography.

 | Springer Nature B.V.

69,980원  | 20220611  | 9783031080128

This book constitutes the proceedings of the 19th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2022, which was held in Los Angeles, CA, USA, in June 2022.The 28 regular papers presented were carefully reviewed and selected from a total of 60 submissions. The conference program included a Master Class on the topic "Bridging the Gap between Machine Learning and Optimization".

Palsberg, Jens  | Springer

96,230원  | 20210101  | 9783642032363

This book constitutes the refereed proceedings of the 16th International Symposium on Static Analysis, SAS 2009, held in Los Angeles, CA, USA in August 2009 - co-located with LICS 2009, the 24th IEEE Symposium on Logic in Computer Science. The 21 revised full papers presented together with two invited lectures were carefully reviewed and selected from 52 submissions.

 | Springer Nature B.V.

69,980원  | 20200718  | 9783030532895

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions.

 | Springer Nature B.V.

69,980원  | 20200718  | 9783030532925

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions.

 | Springer

157,480원  | 20220720  | 9783031080104

This book constitutes the proceedings of the 19th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2022, which was held in Los Angeles, CA, USA, in June 2022.The 28 regular papers presented were carefully reviewed and selected from a total of 60 submissions.

 | Springer Nature B.V.

0원  | 20180109  | 9783319737225

This book constitutes the refereed proceedings of the 19th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2018, held in Los Angeles, CA, USA, in January 2018.The 24 full papers presented together with the abstracts of 3 invited keynotes and 1 invited tutorial were carefully reviewed and selected from 43 submissions.

 | Springer

96,230원  | 20201108  | 9783030605070

This book constitutes the refereed proceedings of the 20th International Conference on Runtime Verification, RV 2020, held in Los Angeles, CA, USA, in October 2020.

 | Springer Nature B.V.

69,980원  | 20160212  | 9783319272627

This book constitutes the proceedings of the 23rd International Symposium on Graph Drawing and Network Visualization, GD 2015, held in Los Angeles, Ca, USA, in September 2015. The 35 full papers presented together with 7 short papers and 8 posters in this volume were carefully reviewed and selected from 77 submissions. Graph Drawing is concerned with the geometric representation of graphs and constitutes the algorithmic core of Network Visualization.

Dosch, Walter  | Springer

96,230원  | 20060215  | 9783540321330

This book constitutes the thoroughly refereed post-proceedings of the Second International Conference on Software Engineering Research and Applications, SERA 2004, held in May 2004. The 18 revised full papers presented together with four keynote addresses were carefully selected from 103 initial submissions during two rounds of reviewing and improvement. The papers are organized in topical sections.

 | Springer Nature B.V.

69,980원  | 20120725  | 9783642323218

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Mobile Computing, Applications, and Services (MobiCASE 2011) held in Los Angeles, CA, USA, during October 24-27, 2010. The 18 revised full papers presented together with 12 revised poster papers were carefully reviewed and selected from numerous submissions.

 | Springer Nature B.V.

69,980원  | 20130327  | 9783642368134

This book constitutes the thoroughly refereed conference proceedings of the 9th International Symposium on Reconfigurable Computing: Architectures, Tools and Applications, ARC 2013, held in Los Angeles, CA, USA, in March 2013. The 28 revised papers presented, consisting of 20 full papers and 11 poster papers were carefully selected from 41 submissions. The topics covered are applications, arithmetic, design optimization for FPGAs, architectures, place and routing.