Search Results for Modeling and model development

Subject-Oriented Business Process Management. Models for Designing Digital Transformations 14th International Conference, S-BPM ONE 2023, Rostock, Germany, May 31 - June 1, 2023, Proceedings

2024-12-29T01:59:07Z

Author Elstermann, Matthes. editor. Dittmar, Anke. editor. Lederer, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520440.1)
Electronic Access https://doi.org/10.1007/978-3-031-40213-5
Format: Electronic Resources
Availability Online Library~1

Analysis, Estimations, and Applications of Embedded Systems 6th IFIP TC 10 International Embedded Systems Symposium, IESS 2019, Friedrichshafen, Germany, September 9-11, 2019, Revised Selected Papers

2024-12-29T01:59:07Z

Author Wehrmeister, Marco A. editor. Kreutz, Márcio. editor. Götz, Marcelo. editor. Henkler, Stefan. editor. Pimentel, Andy D. editor.
Preferred Shelf Number XX(520563.1)
Electronic Access https://doi.org/10.1007/978-3-031-26500-6
Format: Electronic Resources
Availability Online Library~1

Information Systems 19th European, Mediterranean, and Middle Eastern Conference, EMCIS 2022, Virtual Event, December 21-22, 2022, Proceedings

2024-12-29T01:59:07Z

Author Papadaki, Maria. editor. Rupino da Cunha, Paulo. editor. Themistocleous, Marinos. editor. Christodoulou, Klitos. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520571.1)
Electronic Access https://doi.org/10.1007/978-3-031-30694-5
Format: Electronic Resources
Availability Online Library~1

Research Challenges in Information Science: Information Science and the Connected World 17th International Conference, RCIS 2023, Corfu, Greece, May 23-26, 2023, Proceedings

2024-12-29T01:59:07Z

Author Nurcan, Selmin. editor. Opdahl, Andreas L. editor. Mouratidis, Haralambos. editor. Tsohou, Aggeliki. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520580.1)
Electronic Access https://doi.org/10.1007/978-3-031-33080-3
Format: Electronic Resources
Availability Online Library~1

Advances in Production Management Systems. Production Management Systems for Responsible Manufacturing, Service, and Logistics Futures IFIP WG 5.7 International Conference, APMS 2023, Trondheim, Norway, September 17-21, 2023, Proceedings, Part I

2024-12-29T01:59:07Z

Author Alfnes, Erlend. editor. Romsdal, Anita. editor. Strandhagen, Jan Ola. editor. von Cieminski, Gregor. editor. Romero, David. editor.
Preferred Shelf Number XX(520610.1)
Electronic Access https://doi.org/10.1007/978-3-031-43662-8
Format: Electronic Resources
Availability Online Library~1

Collaborative Networks in Digitalization and Society 5.0 24th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2023, Valencia, Spain, September 27-29, 2023, Proceedings

2024-12-29T01:59:07Z

Author Camarinha-Matos, Luis M. editor. Boucher, Xavier. editor. Ortiz, Angel. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520625.1)
Electronic Access https://doi.org/10.1007/978-3-031-42622-3
Format: Electronic Resources
Availability Online Library~1

Perspectives in Business Informatics Research 22nd International Conference on Business Informatics Research, BIR 2023, Ascoli Piceno, Italy, September 13-15, 2023, Proceedings

2024-12-29T01:59:07Z

Author Hinkelmann, Knut. editor. (orcid) López-Pellicer, Francisco J. editor. Polini, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520687.1)
Electronic Access https://doi.org/10.1007/978-3-031-43126-5
Format: Electronic Resources
Availability Online Library~1

Internet of Things, Smart Spaces, and Next Generation Networks and Systems 22nd International Conference, NEW2AN 2022, Tashkent, Uzbekistan, December 15-16, 2022, Proceedings

2024-12-29T01:59:07Z

Author Koucheryavy, Yevgeni. editor. (orcid) Aziz, Ahmed. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number XX(520839.1)
Electronic Access https://doi.org/10.1007/978-3-031-30258-9
Format: Electronic Resources
Availability Online Library~1

Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

2024-12-29T01:59:07Z

Author Lambers, Leen. editor. Uchitel, Sebastián. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520841.1)
Electronic Access https://doi.org/10.1007/978-3-031-30826-0
Format: Electronic Resources
Availability Online Library~1

Biomimetic and Biohybrid Systems 12th International Conference, Living Machines 2023, Genoa, Italy, July 10-13, 2023, Proceedings, Part I

2024-12-29T01:59:07Z

Author Meder, Fabian. editor. Hunt, Alexander. editor. Margheri, Laura. editor. Mura, Anna. editor. Mazzolai, Barbara. editor.
Preferred Shelf Number XX(520963.1)
Electronic Access https://doi.org/10.1007/978-3-031-38857-6
Format: Electronic Resources
Availability Online Library~1

Biomimetic and Biohybrid Systems 12th International Conference, Living Machines 2023, Genoa, Italy, July 10-13, 2023, Proceedings, Part II

2024-12-29T01:59:07Z

Author Meder, Fabian. editor. Hunt, Alexander. editor. Margheri, Laura. editor. Mura, Anna. editor. Mazzolai, Barbara. editor.
Preferred Shelf Number XX(520964.1)
Electronic Access https://doi.org/10.1007/978-3-031-39504-8
Format: Electronic Resources
Availability Online Library~1

Music in the AI Era 15th International Symposium, CMMR 2021, Virtual Event, November 15-19, 2021, Revised Selected Papers

2024-12-29T01:59:07Z

Author Aramaki, Mitsuko. editor. Hirata, Keiji. editor. Kitahara, Tetsuro. editor. Kronland-Martinet, Richard. editor. Ystad, Sølvi. editor.
Preferred Shelf Number XX(520999.1)
Electronic Access https://doi.org/10.1007/978-3-031-35382-6
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Software Engineering 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers

2024-12-29T01:59:07Z

Author Hojjat, Hossein. editor. Ábrahám, Erika. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521120.1)
Electronic Access https://doi.org/10.1007/978-3-031-42441-0
Format: Electronic Resources
Availability Online Library~1

Advances in Conceptual Modeling ER 2023 Workshops, CMLS, CMOMM4FAIR, EmpER, JUSMOD, OntoCom, QUAMES, and SmartFood, Lisbon, Portugal, November 6-9, 2023, Proceedings

2024-12-29T01:59:07Z

Author Sales, Tiago Prince. editor. Araújo, João. editor. Borbinha, José. editor. Guizzardi, Giancarlo. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number XX(521265.1)
Electronic Access https://doi.org/10.1007/978-3-031-47112-4
Format: Electronic Resources
Availability Online Library~1

Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part VI

2024-12-29T01:59:07Z

Author Yang, Huayong. editor. Liu, Honghai. editor. Zou, Jun. editor. Yin, Zhouping. editor. Liu, Lianqing. editor. (orcid)
Preferred Shelf Number XX(521218.1)
Electronic Access https://doi.org/10.1007/978-981-99-6480-2
Format: Electronic Resources
Availability Online Library~1

Advances in Quantitative Ethnography 4th International Conference, ICQE 2022, Copenhagen, Denmark, October 15-19, 2022, Proceedings

2024-12-29T01:59:07Z

Author Damşa, Crina. editor. Barany, Amanda. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520223.1)
Electronic Access https://doi.org/10.1007/978-3-031-31726-2
Format: Electronic Resources
Availability Online Library~1

Cooperative Design, Visualization, and Engineering 20th International Conference on Cooperative Design, Visualization and Engineering, CDVE 2023, Mallorca, Spain, October 1-4, 2023, Proceedings

2024-12-29T01:59:07Z

Author Luo, Yuhua. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number XX(521156.1)
Electronic Access https://doi.org/10.1007/978-3-031-43815-8
Format: Electronic Resources
Availability Online Library~1

Speech and Computer 25th International Conference, SPECOM 2023, Dharwad, India, November 29 - December 2, 2023, Proceedings, Part II

2024-12-29T01:59:07Z

Author Karpov, Alexey. editor. Samudravijaya, K. editor. Deepak, K. T. editor. Hegde, Rajesh M. editor. Agrawal, Shyam S. editor.
Preferred Shelf Number XX(521335.1)
Electronic Access https://doi.org/10.1007/978-3-031-48312-7
Format: Electronic Resources
Availability Online Library~1

Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings

2024-12-29T01:59:07Z

Author Glässer, Uwe. editor. Creissac Campos, Jose. editor. Méry, Dominique. editor. Palanque, Philippe. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number XX(521295.1)
Electronic Access https://doi.org/10.1007/978-3-031-33163-3
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction - INTERACT 2023 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part II

2024-12-29T01:59:07Z

Author Abdelnour Nocera, José. editor. Kristín Lárusdóttir, Marta. editor. Petrie, Helen. editor. Piccinno, Antonio. editor. Winckler, Marco. editor.
Preferred Shelf Number XX(521306.1)
Electronic Access https://doi.org/10.1007/978-3-031-42283-6
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Soft Computing 22nd International Conference, ICAISC 2023, Zakopane, Poland, June 18-22, 2023, Proceedings, Part I

2024-12-29T01:59:07Z

Author Rutkowski, Leszek. editor. Scherer, Rafał. editor. Korytkowski, Marcin. editor. Pedrycz, Witold. editor. Tadeusiewicz, Ryszard. editor.
Preferred Shelf Number XX(521309.1)
Electronic Access https://doi.org/10.1007/978-3-031-42505-9
Format: Electronic Resources
Availability Online Library~1

Applied Technologies 4th International Conference, ICAT 2022, Quito, Ecuador, November 23-25, 2022, Revised Selected Papers, Part II

2024-12-29T01:59:07Z

Author Botto-Tobar, Miguel. editor. Zambrano Vizuete, Marcelo. editor. Montes León, Sergio. editor. Torres-Carrión, Pablo. editor. Durakovic, Benjamin. editor. (orcid)
Preferred Shelf Number XX(520655.1)
Electronic Access https://doi.org/10.1007/978-3-031-24971-6
Format: Electronic Resources
Availability Online Library~1

Enterprise Design, Operations, and Computing. EDOC 2022 Workshops IDAMS, SoEA4EE, TEAR, EDOC Forum, Demonstrations Track and Doctoral Consortium, Bozen-Bolzano, Italy, October 4-7, 2022, Revised Selected Papers

2024-12-29T01:59:07Z

Author Sales, Tiago Prince. editor. Proper, Henderik A. editor. Guizzardi, Giancarlo. editor. (orcid) Montali, Marco. editor. Maggi, Fabrizio Maria. editor.
Preferred Shelf Number XX(520663.1)
Electronic Access https://doi.org/10.1007/978-3-031-26886-1
Format: Electronic Resources
Availability Online Library~1

Modeling and Simulation of Social-Behavioral Phenomena in Creative Societies Second International Conference, MSBC 2022, Vilnius, Lithuania, September 21-23, 2022, Proceedings

2024-12-29T01:59:07Z

Author Agarwal, Nitin. editor. Kleiner, George B. editor. Sakalauskas, Leonidas. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520677.1)
Electronic Access https://doi.org/10.1007/978-3-031-33728-4
Format: Electronic Resources
Availability Online Library~1

Machine Learning and Principles and Practice of Knowledge Discovery in Databases International Workshops of ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part II

2024-12-29T01:59:07Z

Author Koprinska, Irena. editor. Mignone, Paolo. editor. Guidotti, Riccardo. editor. Jaroszewicz, Szymon. editor. Fröning, Holger. editor.
Preferred Shelf Number XX(520755.1)
Electronic Access https://doi.org/10.1007/978-3-031-23633-4
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2023 23rd International Conference, Athens, Greece, July 3-6, 2023, Proceedings, Part II

2024-12-29T01:59:07Z

Author Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Taniar, David. editor. Apduhan, Bernady O. editor. Braga, Ana Cristina. editor.
Preferred Shelf Number XX(521017.1)
Electronic Access https://doi.org/10.1007/978-3-031-36808-0
Format: Electronic Resources
Availability Online Library~1

Benzetim ve modelleme : Simülasyon-model kuram-sistem simülasyonu

2024-12-29T01:59:07Z

Author Ersöz, Filiz.
Preferred Shelf Number T57.6 E776 2021
Format: Books
Availability Beytepe Library~1

Enterprise, Business-Process and Information Systems Modeling 16th International Conference, BPMDS 2015, 20th International Conference, EMMSAD 2015, Held at CAiSE 2015, Stockholm, Sweden, June 8-9, 2015, Proceedings

2024-12-29T01:59:07Z

Author Gaaloul, Khaled. editor. Schmidt, Rainer. editor. (orcid) Nurcan, Selmin. editor. Guerreiro, Sérgio. editor. Ma, Qin. editor.
Preferred Shelf Number XX(518632.1)
Electronic Access https://doi.org/10.1007/978-3-319-19237-6
Format: Electronic Resources
Availability Online Library~1

Decision Support Systems V - Big Data Analytics for Decision Making First International Conference, ICDSST 2015, Belgrade, Serbia, May 27-29, 2015, Proceedings

2024-12-29T01:59:07Z

Author Delibašić, Boris. editor. Hernández, Jorge E. editor. Papathanasiou, Jason. editor. Dargam, Fátima. editor. Zaraté, Pascale. editor. (orcid)
Preferred Shelf Number XX(518626.1)
Electronic Access https://doi.org/10.1007/978-3-319-18533-0
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers

2024-12-29T01:59:07Z

Author Canal, Carlos. editor. Idani, Akram. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519078.1)
Electronic Access https://doi.org/10.1007/978-3-319-15201-1
Format: Electronic Resources
Availability Online Library~1

Internet of Things. IoT Infrastructures First International Summit, IoT360 2014, Rome, Italy, October 27-28, 2014, Revised Selected Papers, Part II

2024-12-29T01:59:07Z

Author Giaffreda, Raffaele. editor. Cagáňová, Dagmar. editor. Li, Yong. editor. Riggio, Roberto. editor. Voisard, Agnès. editor.
Preferred Shelf Number XX(518534.1)
Electronic Access https://doi.org/10.1007/978-3-319-19743-2
Format: Electronic Resources
Availability Online Library~1

New Information and Communication Technologies for Knowledge Management in Organizations 5th Global Innovation and Knowledge Academy Conference, GIKA 2015, Valencia, Spain, July 14-16, 2015, Proceedings

2024-12-29T01:59:07Z

Author Palacios-Marqués, Daniel. editor. Ribeiro Soriano, Domingo. editor. Huarng, Kun Huang. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518536.1)
Electronic Access https://doi.org/10.1007/978-3-319-22204-2
Format: Electronic Resources
Availability Online Library~1

Perspectives in Business Informatics Research 14th International Conference, BIR 2015, Tartu, Estonia, August 26-28, 2015, Proceedings

2024-12-29T01:59:07Z

Author Matulevičius, Raimundas. editor. Dumas, Marlon. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518538.1)
Electronic Access https://doi.org/10.1007/978-3-319-21915-8
Format: Electronic Resources
Availability Online Library~1

Information Systems Engineering in Complex Environments CAiSE Forum 2014, Thessaloniki, Greece, June 16-20, 2014, Selected Extended Papers

2024-12-29T01:59:07Z

Author Nurcan, Selmin. editor. Pimenidis, Elias. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518555.1)
Electronic Access https://doi.org/10.1007/978-3-319-19270-3
Format: Electronic Resources
Availability Online Library~1

Technological Innovation for Cloud-Based Engineering Systems 6th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2015, Costa de Caparica, Portugal, April 13-15, 2015, Proceedings

2024-12-29T01:59:07Z

Author Camarinha-Matos, Luis M. editor. Baldissera, Thais A. editor. Di Orio, Giovanni. editor. Marques, Francisco. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518571.1)
Electronic Access https://doi.org/10.1007/978-3-319-16766-4
Format: Electronic Resources
Availability Online Library~1

Business Information Systems 18th International Conference, BIS 2015, Poznań, Poland, June 24-26, 2015, Proceedings

2024-12-29T01:59:07Z

Author Abramowicz, Witold. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518580.1)
Electronic Access https://doi.org/10.1007/978-3-319-19027-3
Format: Electronic Resources
Availability Online Library~1

S-BPM in the Wild Practical Value Creation

2024-12-29T01:59:07Z

Author Fleischmann, Albert. editor. Schmidt, Werner. editor. Stary, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518594.1)
Electronic Access https://doi.org/10.1007/978-3-319-17542-3
Format: Electronic Resources
Availability Online Library~1

Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part II

2024-12-29T01:59:07Z

Author Nguyen, Ngoc Thanh. editor. Trawiński, Bogdan. editor. Kosala, Raymond. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519031.1)
Electronic Access https://doi.org/10.1007/978-3-319-15705-4
Format: Electronic Resources
Availability Online Library~1

Simulation and Modeling Methodologies, Technologies and Applications International Conference, SIMULTECH 2014 Vienna, Austria, August 28-30, 2014 Revised Selected Papers

2024-12-29T01:59:07Z

Author Obaidat, Mohammad S. editor. Ören, Tuncer. editor. Kacprzyk, Janusz. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518435.1)
Electronic Access https://doi.org/10.1007/978-3-319-26470-7
Format: Electronic Resources
Availability Online Library~1

Advanced Information Systems Engineering Workshops CAiSE 2015 International Workshops, Stockholm, Sweden, June 8-9, 2015, Proceedings

2024-12-29T01:59:07Z

Author Persson, Anne. editor. Stirna, Janis. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518451.1)
Electronic Access https://doi.org/10.1007/978-3-319-19243-7
Format: Electronic Resources
Availability Online Library~1

Computer Science and Its Applications 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings

2024-12-29T01:59:07Z

Author Amine, Abdelmalek. editor. Bellatreche, Ladjel. editor. Elberrichi, Zakaria. editor. Neuhold, Erich J. editor. Wrembel, Robert. editor.
Preferred Shelf Number XX(518503.1)
Electronic Access https://doi.org/10.1007/978-3-319-19578-0
Format: Electronic Resources
Availability Online Library~1

Nature of Computation and Communication International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers

2024-12-29T01:59:07Z

Author Vinh, Phan Cong. editor. Vassev, Emil. editor. Hinchey, Mike. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518529.1)
Electronic Access https://doi.org/10.1007/978-3-319-15392-6
Format: Electronic Resources
Availability Online Library~1

Understanding the predictive analytics lifecycle

2024-12-29T01:59:07Z

Author Cordoba, Alberto, 1958-
Preferred Shelf Number ONLINE(342063.1)
Electronic Access Cover image http://catalogimages.wiley.com/images/db/jimages/9781118867105.jpg Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1757962 ebrary http://site.ebrary.com/id/10902081 John Wiley http://dx.doi.org/10.1002/9781118936740 MyiLibrary http://www.myilibrary.com?id=633697
Format: Electronic Resources
Availability Online Library~1

Industrial applications of molecular simulations

2024-12-29T01:59:07Z

Author Meunier, Marc.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

The role of science for conservation

2024-12-29T01:59:07Z

Author Wolff, Matthias, 1955- Gardener, Mark.
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

New techniques and technologies in mining

2024-12-29T01:59:07Z

Author School of Underground Mining (1996-2010 : Szczyrk, etc.) Bondarenko, Volodymyr. Kovalevs?ka, Iryna. Dychkovs?kyy, Roman.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Ecological models for regulatory risk assessments of pesticides developing a strategy for the future

2024-12-29T01:59:07Z

Author Thorbek, Pernille.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Discrete-event modeling and simulation theory and applications

2024-12-29T01:59:07Z

Author Wainer, Gabriel A. Mosterman, Pieter J.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Developmental toxicology

2024-12-29T01:59:07Z

Author Hansen, Deborah Kay, 1952- Abbott, Barbara D.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Marine navigation and safety of sea transportation

2024-12-29T01:59:07Z

Author International Navigational Symposium on Marine Navigation and Safety of Sea Transportation (8th : 2009 : Gdynia, Poland) Weintrit, Adam.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Handbook of dynamic system modeling

2024-12-29T01:59:07Z

Author Fishwick, Paul A.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1