Search Results for Linear programming.

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

Arama Sonuçlarını Sınırlandır

Yazar

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)

Tümünü genişlet

Dil

(149)

(8)

Yayın Yılı

-

(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)

Tümünü genişlet

Konu

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)

Tümünü genişlet

Materyal Türü

Shelf Location

Beytepe Genel Koleksiyon

Beytepe Tez Koleksiyonu

CRC Ekitapları

Elektronik Kütüphane

Sağlık Bilimleri Genel Koleksiyon

Kütüphane

Beytepe Kütüphanesi

Sağlık Bilimleri Kütüphanesi

Çevrimiçi Kütüphane

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Liste görünümüne geç

Küçük resim görünümüne geç

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

158 sonuç bulundu

Arama sonuçlarına abone ol

1 .. 4 5 6 7 8 .. 14

000000000000DEFAULT_TR

Yazdır

Liste seç

Bunu varsayılan liste yap.

Öğeler başarıyla eklendi

Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.

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

1.

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 için kapak resmi

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Parallel Computational Technologies 17th International Conference, PCT 2023, Saint Petersburg, Russia, March 28-30, 2023, Revised Selected Papers için kapak resmi

Parallel Computational Technologies 17th International Conference, PCT 2023, Saint Petersburg, Russia, March 28-30, 2023, Revised Selected Papers

Parallel Computational Technologies 17th International Conference, PCT 2023, Saint Petersburg, Russia, March 28-30, 2023, Revised Selected Papers

Yazar

Sokolinsky, Leonid. editor. Zymbler, Mikhail. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings için kapak resmi

Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Yazar

Wies, Thomas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Evolutionary Computation in Combinatorial Optimization 23rd European Conference, EvoCOP 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings için kapak resmi

Evolutionary Computation in Combinatorial Optimization 23rd European Conference, EvoCOP 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings

Evolutionary Computation in Combinatorial Optimization 23rd European Conference, EvoCOP 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings

Yazar

Pérez Cáceres, Leslie. editor. Stützle, Thomas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-30035-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Parallel and Distributed Computing, Applications and Technologies 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7-9, 2022, Proceedings için kapak resmi

Parallel and Distributed Computing, Applications and Technologies 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7-9, 2022, Proceedings

Parallel and Distributed Computing, Applications and Technologies 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7-9, 2022, Proceedings

Yazar

Takizawa, Hiroyuki. editor. Shen, Hong. editor. Hanawa, Toshihiro. editor. Hyuk Park, Jong. editor. Tian, Hui. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Evolutionary Multi-Criterion Optimization 12th International Conference, EMO 2023, Leiden, The Netherlands, March 20-24, 2023, Proceedings için kapak resmi

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Proceedings of the 6th Asia Pacific Conference on Manufacturing Systems and 4th International Manufacturing Engineering Conference APCOMS-IMEC 2022, Surakarta, Indonesia için kapak resmi

Proceedings of the 6th Asia Pacific Conference on Manufacturing Systems and 4th International Manufacturing Engineering Conference APCOMS-IMEC 2022, Surakarta, Indonesia

Proceedings of the 6th Asia Pacific Conference on Manufacturing Systems and 4th International Manufacturing Engineering Conference APCOMS-IMEC 2022, Surakarta, Indonesia

Yazar

Rosyidi, Cucuk Nur. editor. Laksono, Pringgo Widyo. editor. Jauhari, Wakhid Ahmad. editor. Hisjam, Muhammad. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-1245-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

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

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

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

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Application and Theory of Petri Nets and Concurrency 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings için kapak resmi

Application and Theory of Petri Nets and Concurrency 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings

Application and Theory of Petri Nets and Concurrency 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings

Yazar

Gomes, Luis. editor. Lorenz, Robert. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings için kapak resmi

NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings

NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings

Yazar

Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Web Information Systems Engineering - WISE 2023 24th International Conference, Melbourne, VIC, Australia, October 25-27, 2023, Proceedings için kapak resmi

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 .. 4 5 6 7 8 .. 14

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11