Search Results for Linear programming.

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

20

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Author

SpringerLink (Online service)

(61)

Wiley InterScience (Online service)

(5)

Taylor and Francis.

(4)

Blumenfeld, Dennis., author.

(2)

Kall, Peter. author.

(2)

Kolman, Bernard, 1932-

(2)

Mayer, János. author.

(2)

Abd Wahab, Mohd Helmy. editor.

(1)

Abdelmalek, Nabih N., author.

(1)

Abraham, Ajith. editor.

(1)

(1)

Aleali, Ashkan. author.

(1)

Anderson, E. J., ed. by

(1)

Argyros, Ioannis K., author.

(1)

Arockiarajan, A. editor.

(1)

Aronson, Jay E.

(1)

Arriaga, M. C. Suarez.

(1)

Atallah, Mikhail J.

(1)

Atiquzzaman, Mohammed. editor.

(1)

Babadağ, Kadir Korhan.

(1)

Baboulin, Marc. editor.

(1)

Baillieul, John. editor.

(1)

(1)

Bansal, Jagdish Chand. editor.

(1)

Banzhaf, Wolfgang. author.

(1)

Barhamgi, Mahmoud. editor.

(1)

Barnett, Stephen.

(1)

Barolli, Leonard. editor.

(1)

(1)

Bazaraa, Mokhtar S.

(1)

Beck, R. E., ort. yaz.

(1)

Beck, Robert Edward, 1941-

(1)

Beierle, Christoph. editor.

(1)

Beneke, Raymond R., 1919-

(1)

Bertsimas, Dimitris.

(1)

Bhatnagar, Abhivav. author.

(1)

Bienz, Amanda. editor.

(1)

Blair, Alan D. editor.

(1)

Blanton, Marina.

(1)

Bloomfield, Victor A., author.

(1)

Brameier, Markus F. author.

(1)

Bulutay, Tuncer.

(1)

(1)

Burrus, Walter R., ort. yaz.

(1)

Butenko, Sergiy, author.

(1)

Byrne, Charles L., 1947- author.

(1)

Byrne, Christopher Cattelier, 1960- ort. yaz.

(1)

Calvo Rolle, José Luis. editor.

(1)

Campbell, Hugh G.

(1)

Canton, Maria P.

(1)

Cardoso, Amílcar. editor.

(1)

Castillo, Enrique, 1946-

(1)

Challa, Subhash.

(1)

Chalup, Stephan. editor.

(1)

Chaudhuri, Swarat. editor.

(1)

Chen, Lu. editor.

(1)

Chen, Tuhao, author.

(1)

Chen, Xinjun. editor.

(1)

Childress, Robert L.

(1)

(1)

Choo, Yun-Huoy. editor.

(1)

Chvátal, Vašek, 1946-

(1)

Cinemre, Nalan.

(1)

(1)

Cooper, Leon, 1924-

(1)

Coppins, R., ort. yaz.

(1)

Corchado, Emilio. editor.

(1)

Costa, Ernesto. editor.

(1)

Cremers, Daniel. editor.

(1)

(1)

Das, Kedar Nath. editor.

(1)

De Rango, Floriano. editor.

(1)

Deep, Kusum. editor.

(1)

Dekhtyar, Alex. editor.

(1)

Denardo, Eric V. author.

(1)

Derryberry, DeWayne R., author.

(1)

Deutz, André. editor.

(1)

Dominguez-Mota, F. J.

(1)

Dormido Bencomo, Sebastián. editor.

(1)

Duraiselvam, M. editor.

(1)

Egawa, Ryusuke. editor.

(1)

Eiselt, H. A. author.

(1)

Emmerich, Michael. editor.

(1)

Emrouznejad, Ali., author.

(1)

Erdem, İsmail, 11945-

(1)

Erdoğan, N. Kemal.

(1)

Evans, Robin J..

(1)

Eyvindson, Kyle. author.

(1)

Ferguson, Robert O.

(1)

Ferreira, Carla. editor.

(1)

Figueroa-García, Juan Carlos. editor.

(1)

Fourer, Robert.

(1)

Frazer, J. Ronald.

(1)

Gaona García, Elvis Eduardo. editor.

(1)

García Bringas, Pablo. editor.

(1)

Garvan, Frank (Frank G.), 1955, author.

(1)

Garvan, Frank (Frank G.), 1955- Maple V primer.

(1)

Gasiyarov, Vadim R. editor.

(1)

(1)

Gay, David M, ort. yaz.

(1)

George, Boby. editor.

(1)

Glicksman, Abraham M.

(1)

(1)

Gomes, Luis. editor.

(1)

Gonzalez, Teofilo F.

(1)

Goodman, Jacob E.

(1)

Grancharova, Alexandra. editor.

(1)

Guinaldo Losada, María. editor.

(1)

Guo, Ruocheng. author.

(1)

Gusikhin, Oleg. editor.

(1)

Gyei-Kark, Park. editor.

(1)

Gärtner, Bernd. author.

(1)

(1)

Gürsakal, N., ort. yaz.

(1)

Hadley, George, 1930-

(1)

Halldórsson, Magnús M. editor.

(1)

Hamilton, Lawrence C., author.

(1)

Hanawa, Toshihiro. editor.

(1)

Hanus, Michael. editor.

(1)

Hay-Jahans, Christopher., author.

(1)

Heck, Ronald H.

(1)

Hernández, German. editor.

(1)

Herrero, Álvaro. editor.

(1)

Hilbe, Joseph M., 1944, author.

(1)

(1)

Hisjam, Muhammad. editor.

(1)

(1)

Hogben, Leslie.

(1)

Holvoet, Tom. editor.

(1)

Hooker, John, 1949-

(1)

Horton, Nicholas J., author.

(1)

Hu, Xiaolin. editor.

(1)

Hujala, Teppo. author.

(1)

Hunold, Sascha. editor.

(1)

Hyuk Park, Jong. editor.

(1)

Ignizio, James P.

(1)

Inclezan, Daniela. editor.

(1)

International Symposium on Infinite Dimensional Linear Programming (1984 : Cambridge)

(1)

Ioannou, P. A. (Petros A.), 1953-

(1)

Iwama, Kazuo. editor.

(1)

Jaluria, Yogesh, author.

(1)

Jana, Dipak Kumar. editor.

(1)

Jarvis, John J.

(1)

Jarvis, John J., ort. yaz.

(1)

Jauhari, Wakhid Ahmad. editor.

(1)

Jayasundera, Krishanthi P. editor.

(1)

Jewell, William S., çev.

(1)

Joshi, Ameet V. author.

(1)

Kangas, Annika. author.

(1)

Kangas, Jyrki. author.

(1)

Karlof, John K.

(1)

(1)

Kernighan, Brian W, ort. yaz.

(1)

Kittler, Josef. editor.

(1)

Kleinman, Ken, author.

(1)

Kobayashi, Naoki. editor.

(1)

Kononova, Anna V. editor.

(1)

Korytkowski, Marcin. editor.

(1)

Krol, Piotr., author.

(1)

Kruse, Carola. editor.

(1)

Kumar, V. Ravi.

(1)

Kunkel, Julian M. editor.

(1)

Kupferman, Orna. editor.

(1)

Kurttila, Mikko. author.

(1)

(1)

Laidlaw, Charles D.

(1)

Laksono, Pringgo Widyo. editor.

(1)

Lasserre, Jean-Bernard. author.

(1)

Lau, H. T. (Hang Tong), 1952, author.

(1)

Leivant, Daniel. editor.

(1)

Li, Ke. editor.

(1)

Ligthart, L. P.

(1)

Lobo Pereira, Fernando. editor.

(1)

Lorenz, Robert. editor.

(1)

Ludwig, Thomas. editor.

(1)

Luenberger, David G.

(1)

Luenberger, David G. author.

(1)

Machado, Penousal. editor.

(1)

Madani, Kurosh. editor.

(1)

Malek, William Alexander, 1960-

(1)

Martínez de Pisón, Francisco Javier. editor.

(1)

Martínez Álvarez, Francisco. editor.

(1)

Matoušek, Jiří. author.

(1)

Miettinen, Kaisa. editor.

(1)

Morelande, Mark R. .

(1)

Moss, Lawrence S. editor.

(1)

Muda, Azah Kamilah. editor.

(1)

Mukhopadhyay, Subhas Chandra. editor.

(1)

Munro, Neil, ed.

(1)

Mušicki, Darko.

(1)

Mynbaev, K. T. (Kaæirat Turysbekovich)

(1)

Nagar, Atulya. editor.

(1)

(1)

Naujoks, Boris. editor.

(1)

Nazareth, John Lawrence. author.

(1)

Nijmeijer, Henk. editor.

(1)

Nishizaki, Ichiro. author.

(1)

O'Rourke, Joseph.

(1)

Oki, Eiji, 1969, author.

(1)

Olaru, Sorin. editor.

(1)

Language

(149)

(8)

Publication Date

-

(29)

(23)

(9)

(8)

(8)

(6)

(5)

(5)

(4)

(4)

(4)

(4)

(4)

(3)

(3)

(3)

(3)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

DOĞRUSAL PROGRAMLAMA.

(33)

Linear programming.

(28)

Mathematical optimization.

(18)

Operations research.

(18)

Computational intelligence.

(8)

Artificial intelligence.

(7)

Electronic books.

(7)

Control engineering.

(6)

(6)

Control and Systems Theory.

(5)

Industrial engineering.

(5)

R (Computer program language)

(5)

Control theory.

(4)

Engineering economy.

(4)

Engineering mathematics.

(4)

(4)

(4)

Computer algorithms.

(3)

Computer science.

(3)

Distribution (Probability theory).

(3)

Doğrusal programlama.

(3)

(3)

Engineering -- Data processing.

(3)

MATHEMATICS / Number Systems.

(3)

(3)

Numerical analysis.

(3)

Operations Research and Decision Theory.

(3)

Operations research -- Handbooks, manuals, etc.

(3)

Programming (Mathematics)

(3)

Systems Theory, Control.

(3)

Algebras, Linear.

(2)

Applied Dynamical Systems.

(2)

(2)

Computational complexity.

(2)

Computer science -- Mathematics.

(2)

Doğrusal Programlama.

(2)

(2)

Integer programming.

(2)

(2)

Mathematical Applications in Computer Science.

(2)

Mathematical analysis -- Handbooks, manuals, etc.

(2)

Network analysis (Planning)

(2)

Nonlinear programming.

(2)

Nonlinear theories.

(2)

SAS (Computer file)

(2)

Science -- Data processing.

(2)

Telecommunication.

(2)

Yöneylem araştırması.

(2)

İŞLETME MATEMATİĞİ.

(2)

0aDOĞRUSAL OLMAYAN PROGRAMLAMA

(1)

2D game physics engine.

(1)

2D game physics programming.

(1)

Agricultural systems -- Management -- Data processing.

(1)

Algebra -- Data processing.

(1)

Algebra--Data processing.

(1)

Algebraic logic.

(1)

Analysis Using R.

(1)

Approximation theory.

(1)

Ağ analizi (Planlama)

(1)

BUSINESS & ECONOMICS -- Operations Research.

(1)

(1)

(1)

Biochemical engineering -- Mathematical models.

(1)

(1)

Boundary element methods.

(1)

CEBİR, DOĞRUSAL.

(1)

Calculus of Variations and Optimization.

(1)

Calculus of variations.

(1)

Chebyshev approximation.

(1)

Chemistry, Technical.

(1)

Combinatorial geometry -- Handbooks, manuals, etc.

(1)

Combinatorial optimization.

(1)

Communication -- Network analysis.

(1)

Communications Engineering, Networks.

(1)

Composite materials.

(1)

(1)

Computer Communication Networks.

(1)

Computer Modelling.

(1)

Computer animation.

(1)

Computer games.

(1)

Computer networks -- Design and construction.

(1)

Computer networks .

(1)

Computer simulation.

(1)

Control, Robotics, Automation.

(1)

Coupled problems (Complex systems) -- Numerical solutions.

(1)

(1)

DENETİM KURAMI.

(1)

DENKLEMLER -- SAYISAL ÇÖZÜMLER.

(1)

DOĞRUSAL OLMAYAN PROGRAMLAMA.

(1)

Data Analysis and Big Data.

(1)

Data Engineering.

(1)

Decision logic tables.

(1)

Decision making -- Mathematical models.

(1)

(1)

(1)

Differential Equation.

(1)

Differential-algebraic equations.

(1)

Discrete groups.

(1)

Distribution (Probability theory)

(1)

Dynamic programming.

(1)

ENDÜSTRİYEL YÖNETİM -- DOĞRUSAL PROGRAMLAMA.

(1)

ENDÜSTRİYEL YÖNETİM.

(1)

Econometric models.

(1)

Economics, Mathematical.

(1)

Economics/Management Science.

(1)

(1)

(1)

Ekonomi, Matematiksel.

(1)

Electrical engineering.

(1)

Electronic data processing.

(1)

Engineering -- Mathematical models.

(1)

Engineering design.

(1)

Estimation theory.

(1)

Food -- Biotechnology -- Mathematical models.

(1)

Food industry and trade -- Mathematical models.

(1)

(1)

Freshwater and Marine Ecology.

(1)

Freshwater ecology.

(1)

Functional analysis.

(1)

(1)

(1)

Geographic information systems -- Mathematical models.

(1)

Geometry -- Data processing -- Handbooks, manuals, etc.

(1)

Heat engineering.

(1)

Industrial Automation.

(1)

Industrial Chemistry.

(1)

Industrial and Production Engineering.

(1)

Inequalities (Mathematics)

(1)

Information theory.

(1)

Interior-point methods.

(1)

Internet of things.

(1)

(1)

Java (Computer program language)

(1)

(1)

Laplace transformation.

(1)

Linear Equation.

(1)

(1)

Linear models (Statistics)

(1)

Linear systems.

(1)

Logic, Symbolic and mathematical.

(1)

MATEMATİKİ OPTİMİZASYON.

(1)

MATHEMATICS -- Applied.

(1)

MATHEMATICS -- Number Systems.

(1)

MATHEMATICS / Applied.

(1)

MATHEMATICS / Linear Programming

(1)

MATHEMATICS / Numerical Analysis.

(1)

MATHEMATICS / Probability & Statistics / General.

(1)

Machines, Tools, Processes.

(1)

(1)

Maple (Computer file)

(1)

Marine ecology.

(1)

Matematiksel Optimizasyon.

(1)

Materials -- Fatigue.

(1)

Materials Engineering.

(1)

Materials Fatigue.

(1)

Mathematical Modeling and Industrial Mathematics.

(1)

Mathematical models.

(1)

Mathematical optimization -- Textbooks.

(1)

Mathematical statistics -- Data processing.

(1)

(1)

(1)

Metals and Alloys.

(1)

(1)

Microelectronics.

(1)

(1)

Nanotechnology.

(1)

Nonlinear Equation.

(1)

Nonlinear Model.

(1)

Nonlinear control theory.

(1)

Numerical Differentiation.

(1)

Numerical Integration.

(1)

Numerical Method.

(1)

Numerical analysis -- Computer programs.

(1)

Numerical functions.

(1)

Numerical methods -- Operation -- Linear programming -- Network.

(1)

Numerische Mathematik.

(1)

Numerisk analys.

(1)

Operation Research/Decision Theory.

(1)

Operation research.

(1)

Operations Research, Management Science.

(1)

Operations research -- Data processing.

(1)

Optical materials.

(1)

(1)

Orthogonalization methods.

(1)

PROGRAMLAMA (MATEMATİK)

(1)

PROGRAMLAMA (MATEMATİK).

(1)

Partial Differential Equation.

(1)

Personal communication service systems.

(1)

(1)

(1)

(1)

Probability Theory and Stochastic Processes.

(1)

Production engineering.

(1)

Psychometrics -- Computer programs.

(1)

(1)

Quadratic programming.

(1)

Quantitative research.

(1)

(1)

(1)

(1)

Material Type

Shelf Location

Beytepe General Collection

Beytepe Tez Koleksiyonu

Electronic Library

Sağlık Bilimleri Genel Koleksiyon

Library

Beytepe Library

Health Sciences Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

158 Results Found

Subscribe to search results

1 .. 4 5 6 7 8 .. 14

000000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

One or more items could not be added because you are not logged in.

1.

Cover image for Real Life Applications of Multiple Criteria Decision Making Techniques in Fuzzy Domain

Real Life Applications of Multiple Criteria Decision Making Techniques in Fuzzy Domain

Real Life Applications of Multiple Criteria Decision Making Techniques in Fuzzy Domain

Author

Sahoo, Laxminarayan. editor. Senapati, Tapan. editor. Yager, Ronald R. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-4929-6

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Sensing Technology Proceedings of ICST'15

Sensing Technology Proceedings of ICST'15

Sensing Technology Proceedings of ICST'15

Author

Suryadevara, Nagender Kumar. editor. George, Boby. editor. Jayasundera, Krishanthi P. editor. Mukhopadhyay, Subhas Chandra. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-29871-4

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Machine Learning and Artificial Intelligence

Machine Learning and Artificial Intelligence

Machine Learning and Artificial Intelligence

Author

Joshi, Ameet V. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-12282-8

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Concise Guide to Numerical Algorithmics The Foundations and Spirit of Scientific Computing

Concise Guide to Numerical Algorithmics The Foundations and Spirit of Scientific Computing

Concise Guide to Numerical Algorithmics The Foundations and Spirit of Scientific Computing

Author

Nazareth, John Lawrence. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-21762-3

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Applied Computer Sciences in Engineering 10th Workshop on Engineering Applications, WEA 2023, Cartagena, Colombia, November 1-3, 2023, Proceedings

Applied Computer Sciences in Engineering 10th Workshop on Engineering Applications, WEA 2023, Cartagena, Colombia, November 1-3, 2023, Proceedings

Applied Computer Sciences in Engineering 10th Workshop on Engineering Applications, WEA 2023, Cartagena, Colombia, November 1-3, 2023, Proceedings

Author

Figueroa-García, Juan Carlos. editor. Hernández, German. editor. Villa Ramirez, Jose Luis. editor. Gaona García, Elvis Eduardo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-46739-4

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

Author

Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-24841-2

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Web Information Systems Engineering - WISE 2023 24th International Conference, Melbourne, VIC, Australia, October 25-27, 2023, Proceedings

Web Information Systems Engineering - WISE 2023 24th International Conference, Melbourne, VIC, Australia, October 25-27, 2023, Proceedings

Web Information Systems Engineering - WISE 2023 24th International Conference, Melbourne, VIC, Australia, October 25-27, 2023, Proceedings

Author

Zhang, Feng. editor. Wang, Hua. editor. Barhamgi, Mahmoud. editor. Chen, Lu. editor. Zhou, Rui. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-7254-8

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Evolutionary Multi-Criterion Optimization 12th International Conference, EMO 2023, Leiden, The Netherlands, March 20-24, 2023, Proceedings

Evolutionary Multi-Criterion Optimization 12th International Conference, EMO 2023, Leiden, The Netherlands, March 20-24, 2023, Proceedings

Evolutionary Multi-Criterion Optimization 12th International Conference, EMO 2023, Leiden, The Netherlands, March 20-24, 2023, Proceedings

Author

Emmerich, Michael. editor. Deutz, André. editor. Wang, Hao. editor. Kononova, Anna V. editor. Naujoks, Boris. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-27250-9

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Simulation and Modeling Methodologies, Technologies and Applications International Online Conference (SIMULTECH 2021)

Simulation and Modeling Methodologies, Technologies and Applications International Online Conference (SIMULTECH 2021)

Simulation and Modeling Methodologies, Technologies and Applications International Online Conference (SIMULTECH 2021)

Author

Wagner, Gerd. editor. Werner, Frank. editor. Oren, Tuncer. editor. De Rango, Floriano. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-23149-0

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Informatics in Control, Automation and Robotics 18th International Conference, ICINCO 2021 Lieusaint - Paris, France, July 6-8, 2021, Revised Selected Papers

Informatics in Control, Automation and Robotics 18th International Conference, ICINCO 2021 Lieusaint - Paris, France, July 6-8, 2021, Revised Selected Papers

Informatics in Control, Automation and Robotics 18th International Conference, ICINCO 2021 Lieusaint - Paris, France, July 6-8, 2021, Revised Selected Papers

Author

Gusikhin, Oleg. editor. Madani, Kurosh. editor. Nijmeijer, Henk. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-26474-0

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II

Author

Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-30820-8

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Author

Kupferman, Orna. editor. Sobocinski, Pawel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-30829-1

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 .. 4 5 6 7 8 .. 14

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11