| Springer Nature B.V.

72,480원  | 20230603  | 9783031331718

This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023. The 26 full and 3 short papers presented in this volume were carefully reviewed and selected from 75 submissions. The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice.

Jayaraman, Bharat  | Springer

99,660원  | 20210101  | 9783540222538

This book constitutes the refereed proceedings of the 6th International Symposium on Practical Aspects of Declarative Languages, PADL 2004, held in Dallas, Texas, USA in June 2004. The 15 revised full papers presented together with 2 invited papers were carefully reviewed and selected for presentation. All current aspects of declarative programming are addressed.

 | Springer Nature B.V.

72,480원  | 20230111  | 9783031236006

This book constitutes the refereed proceedings of the?5th International Conference on Recent Trends in Image Processing and Pattern Recognition, RTIP2R 2022, held in Kingsville, TX, USA, in collaboration with the Applied AI Research Laboratory of the University of South Dakota, during December 01-02, 2022.The 31 full papers included in this book were carefully reviewed and selected from 69 submissions.

 | Springer Nature B.V.

72,480원  | 20230129  | 9783031233883

This book constitutes the refereed proceedings of the First Southwest Data Science Conference, on The Recent Advances in Transdisciplinary Data Science, SDSC 2022, held in Waco, TX, USA, during March 25-26, 2022.The 14 full papers and 2 short papers included in this book were carefully reviewed and selected from 72 submissions.

 | Springer Nature B.V.

0원  | 20201127  | 9783030643492

This book constitutes the refereed proceedings of the 22nd International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2020, held in Austin, TX, USA, in November 2020.The 16 full papers, 7 short and 2 invited papers presented were carefully reviewed and selected from 44 submissions.

 | Springer Nature B.V.

72,480원  | 20210107  | 9783030660475

This book constitutes the refereed proceedings of the 9th International Conference on Computational Data and Social Networks, CSoNet 2020, held in Dallas, TX, USA, in December 2020. The 20 full papers were carefully reviewed and selected from 83 submissions. Additionally the book includes 22 special track papers and 3 extended abstracts.

 | Springer Nature B.V.

0원  | 20201210  | 9783030648442

This volume constitutes the proceedings of the 14th International Conference on Combinatorial Optimization and Applications, COCOA 2020, held in Dallas, TX, USA, in December 2020. The 55 full papers presented in this volume were carefully reviewed and selected from 104 submissions.

 | Springer Nature B.V.

72,480원  | 20190710  | 9783030046194

This volume constitutes the proceedings of the 12th International Conference on Algorithmic Aspects in Information and Management, AAIM 2018, held in Dallas, Texas, USA, in December 2018. The 25 full papers presented were carefully reviewed and selected. The papers deal with current trends of research on algorithms, data structures, operation research, combinatorial optimization and their applications.

 | Springer Nature B.V.

72,480원  | 20151015  | 9783319243191

This book constitutes the refereed proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing, SAT 2015, held in Austin, TX, USA, in September 2015. The 21 regular papers, 2 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions.

 | Springer Nature B.V.

0원  | 20170828  | 9783319668000

This book constitutes the refereed proceedings of the 23th International Conference on DNA Computing and Molecular Programming, DNA 23, held Austin, TX, USA, in September 2017. The 16 full papers presented were carefully selected from 23 submissions. Research in DNA computing aims to draw together mathematics, computerscience, physics, chemistry, biology, and nanotechnology to address the analysis, design, and synthesis of information-based molecular systems.

 | Springer Nature B.V.

0원  | 20141023  | 9783662451755

This book constitutes the proceedings of the 28th International Symposium on Distributed Computing, DISC 2014, held in Austin, TX, USA, in October 2014. The 35 full papers presented in this volume were carefully reviewed and selected from 148 full paper submissions. In the back matter of the volume a total of 18 brief announcements is presented.

 | Springer Nature B.V.

72,480원  | 20160211  | 9783319266275

This book constitutes the refereed proceedings of the 9th International Conference on Combinatorial Optimization and Applications, COCOA 2015, held in Houston, TX, USA, in December 2015. The 59 full papers included in the book were carefully reviewed and selected from 125 submissions. Topics covered include classic combinatorial optimization; geometric optimization; network optimization;?applied optimization;?complexity and game; and optimization in graphs.

 | Springer Nature B.V.

72,480원  | 20190829  | 9783030300012

The two-volume set IFIP AICT 566 and 567 constitutes the refereed proceedings of the International IFIP WG 5.7 Conference on Advances in Production Management Systems, APMS 2019, held in Austin, TX, USA.The 161 revised full papers presented were carefully reviewed and selected from 184 submissions. They discuss globally pressing issues in smart manufacturing, operations management, supply chain management, and Industry 4.0.

 | Springer Nature B.V.

72,480원  | 20190829  | 9783030299972

The two-volume set IFIP AICT 566 and 567 constitutes the refereed proceedings of the International IFIP WG 5.7 Conference on Advances in Production Management Systems, APMS 2019, held in Austin, TX, USA.The 161 revised full papers presented were carefully reviewed and selected from 184 submissions. They discuss globally pressing issues in smart manufacturing, operations management, supply chain management, and Industry 4.0.

 | Springer Nature B.V.

72,480원  | 20191123  | 9783030352264

This book constitutes the proceedings of the 30th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2017, held in College Station, TX, USA, in October 2017. The 17 full papers presented together with abstracts of 5 keynote talks, 11 invited speakers and 4 poster papers in this volume were carefully reviewed and selected from 26 submissions.