Search Results for Electronic.

Skip to:Search Results

|

|

|

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

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

Daraltılmış:

+

Konu: Software engineering.

Yazar

SpringerLink (Online service)

(196)

Albada, Geert Dick. editor.

(16)

Gervasi, Osvaldo. editor.

(16)

Sloot, Peter M. A. editor.

(16)

Dongarra, Jack. editor.

(14)

Gavrilova, Marina L. editor.

(14)

Mun, Youngsong. editor.

(13)

Taniar, David. editor.

(13)

Kumar, Vipin. editor.

(9)

Laganà, Antonio. editor.

(7)

Laganá, Antonio. editor.

(6)

Choo, Hyunseung. editor.

(5)

Tan, C. J. Kenneth. editor.

(5)

Alexandrov, Vassil N. editor.

(4)

Lee, Heow Pueh. editor.

(4)

Malyshkin, Victor. editor.

(4)

Murgante, Beniamino. editor.

(4)

Shi, Yong. editor.

(4)

Tan, Chih Jeng Kenneth. editor.

(4)

Bubak, Marian. editor.

(3)

Hameurlain, Abdelkader. editor.

(3)

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739

(3)

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558

(3)

Streit, Achim. editor.

(3)

Sunderam, Vaidy S. editor.

(3)

Aceto, Luca. editor.

(2)

Alexander, Michael. editor.

(2)

Allen, Gabrielle. editor.

(2)

Ao, Sio-Iong. editor.

(2)

Badger, Julia M. editor.

(2)

Bougé, Luc. editor.

(2)

Bugliesi, Michele. editor.

(2)

Cao, Jiannong. editor.

(2)

Damgård, Ivan. editor.

(2)

Dastani, Mehdi. editor.

(2)

Dongarra, Jack J. editor.

(2)

Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736

(2)

Gavrilova, Marina. editor.

(2)

Giannakopoulou, Dimitra. editor.

(2)

Goldberg, Leslie Ann. editor.

(2)

Halldórsson, Magnús M. editor.

(2)

IEEE Computer Society.

(2)

Ingólfsdóttir, Anna. editor.

(2)

Jeannot, Emmanuel. editor.

(2)

John Wiley & Sons.

(2)

Keller, Rainer. editor.

(2)

Kramer, David. editor.

(2)

Lehner, Wolfgang. editor.

(2)

Nabrzyski, Jarosław. editor.

(2)

Namyst, Raymond. editor.

(2)

Preneel, Bart. editor.

(2)

Roman, Jean. editor.

(2)

Salaün, Gwen. editor.

(2)

Sassone, Vladimiro. editor.

(2)

Schaefer, Ina. editor.

(2)

Schneidewind, Norman.

(2)

Seidel, Edward. editor.

(2)

Tjoa, A Min. editor.

(2)

Träff, Jesper Larsson. editor.

(2)

Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281

(2)

Walukiewicz, Igor. editor.

(2)

Wegener, Ingo. editor.

(2)

Weiss, Jan-Philipp. editor.

(2)

Wiley InterScience (Online service)

(2)

Xu, Ming. editor.

(2)

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367

(2)

Abdennadher, Nabil. editor.

(1)

Abraham, Erika. editor.

(1)

Abrahao, Silvia. editor.

(1)

Abreu, Salvador. editor. (orcid)0000-0002-1613-4631

(1)

Agha, Gul. editor.

(1)

Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555

(1)

Akermann, Mark. author.

(1)

Albers, Susanne. editor.

(1)

Albert, Elvira. editor.

(1)

Alt, Helmut. editor.

(1)

Altman, Erik. editor.

(1)

Alves, Ronnie. editor. (orcid)0000-0003-4139-0562

(1)

Amyot, Daniel. editor.

(1)

Arge, Lars. editor.

(1)

Artho, Cyrille. editor.

(1)

Avgeriou, Paris. editor.

(1)

Balcısoy, Selim. editor.

(1)

Barais, Olivier. editor.

(1)

Barker, Philip. author.

(1)

Bensalem, Saddek. editor.

(1)

Benítez, Domingo. editor.

(1)

Bernard, Alain. editor.

(1)

Bernardo, Marco. editor.

(1)

Bernstein, Lawrence, 1940-

(1)

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

(1)

Bhatele, Abhinav. editor. (orcid)0000-0003-3069-3701

(1)

Birattari, Mauro. editor. (orcid)0000-0003-3309-2194

(1)

Blum, Christian. editor. (orcid)0000-0002-1736-3559

(1)

Bodden, Eric. editor.

(1)

Boehme, David. editor.

(1)

Boisvert, Ronald F. editor.

(1)

Bonakdarpour, Borzoo. editor.

(1)

Bonfante, Guillaume. editor.

(1)

Bordini, Rafael H. editor.

(1)

Boreale, Michele. editor. (orcid)0000-0002-1972-7491

(1)

Brennan, M. Carol, 1954-

(1)

Bruijn, Jos. author.

(1)

Burton, Mark. author.

(1)

Buxmann, Peter. author.

(1)

Böse, Jürgen W. editor.

(1)

Cabot, Jordi. editor.

(1)

Cachin, Christian. editor.

(1)

Cai, Hong. author.

(1)

Caires, Luís. editor.

(1)

Caires, Luís. editor. (orcid)0000-0002-3215-6734

(1)

Cassez, Franck. editor.

(1)

Chang, Bor-Yuh Evan. editor.

(1)

Chao, Kuo-Ming. editor.

(1)

Chen, Shyi-Ming. editor.

(1)

Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336

(1)

Cheng, Chih-Hong. editor.

(1)

Chiba, Shigeru. editor.

(1)

Childs, Stephen. editor.

(1)

Chivers, Ian. author.

(1)

Christensen, Anders L. editor. (orcid)0000-0002-9994-2908

(1)

Ciardo, Gianfranco. editor.

(1)

Cobb, Charles G., 1945-

(1)

Codish, Michael. editor.

(1)

Cohen, Albert. editor.

(1)

Cohen, Ernie. editor.

(1)

Collart-Dutilleul, Simon. editor.

(1)

Collins, John. editor.

(1)

Combemale, Benoit. editor.

(1)

Cordeiro, José. editor.

(1)

Corradini, Flavio. editor.

(1)

Cortier, Véronique. editor.

(1)

Counsell, Steve. editor.

(1)

Crowder, James A. author.

(1)

Cunha, José C. editor.

(1)

Cérin, Christophe. editor.

(1)

César, Eduardo. editor.

(1)

Damiani, Ferruccio. editor.

(1)

De Gyurky, Szabolcs Michael.

(1)

Debbabi, Mourad. editor. (orcid)0000-0003-3015-3043

(1)

Di Ruscio, Davide. editor.

(1)

Diefenbach, Heiner. author.

(1)

Dienstfrey, Andrew M. editor.

(1)

Dillig, Isil. editor.

(1)

Ding, Chen. editor.

(1)

Dingel, Juergen. editor.

(1)

Dix, Jürgen. editor.

(1)

Domingue, John. author.

(1)

Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507

(1)

Dorf, Richard C., author.

(1)

Dorigo, Marco. editor. (orcid)0000-0002-3971-0507

(1)

Duan, Zhenhua. editor.

(1)

Duenas-Cid, David. editor. (orcid)0000-0002-0451-4514

(1)

Dutta, Debasish. editor.

(1)

Esparza, Javier. editor.

(1)

Fairley, R. E. (Richard E.), 1937-

(1)

Fallah Seghrouchni, Amal. editor.

(1)

Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667

(1)

Faratin, Peyman. editor.

(1)

Fensel, Dieter. author.

(1)

Fernández, Maribel. author.

(1)

Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441

(1)

Fischbach, Kai. editor.

(1)

Fitzgerald, John. editor.

(1)

Flammini, Francesco. editor.

(1)

Fliedl, Günther. editor.

(1)

Forsell, Martti. editor.

(1)

Franch, Xavier. editor. (orcid)0000-0001-9733-8830

(1)

Friess, Shelli. author.

(1)

Fukuda, Komei. editor.

(1)

Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393

(1)

Garrigue, Jacques. editor.

(1)

Gay, Gregory. editor. (orcid)0000-0001-6794-9585

(1)

Gelman, Len. editor.

(1)

George, Laurent. editor.

(1)

Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421

(1)

Godo, Lluís. editor.

(1)

Goedicke, Michael. editor.

(1)

Goré, Rajeev. editor.

(1)

Graf, Susanne. editor.

(1)

Gramlich, Bernhard. editor.

(1)

Grell, Martin. author.

(1)

Griffiths, Nathan. editor.

(1)

Güngör, Tunga. editor.

(1)

Gürgen, Fikret. editor.

(1)

Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613

(1)

Hamlet, Dick. author.

(1)

Hanus, Michael. editor. (orcid)0000-0002-4953-8202

(1)

Hapsara, Manik. editor. (orcid)0000-0002-8653-063X

(1)

Havelund, Klaus. editor. (orcid)0000-0001-7079-0472

(1)

Herden, Sebastian. author.

(1)

Hernandez, Oscar. editor. (orcid)0000-0002-5380-6951

(1)

Hess, Thomas. author.

(1)

Hindriks, Koen V. editor.

(1)

Hoeven, Joris van der. editor.

(1)

Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750

(1)

Hsu, Ching-Hsien. editor.

(1)

Hu, Hao. editor.

(1)

Huang, Huawei. editor.

(1)

Hunt, John. author.

(1)

Tümünü genişlet

Dil

(196)

(4)

Yayın Yılı

-

(49)

(35)

(20)

(19)

(16)

(15)

(15)

(11)

(8)

(7)

(6)

(5)

(2)

(2)

Tümünü genişlet

Konu

Computer science.

(115)

Electronic data processing.

(93)

Programming languages (Electronic computers).

(81)

Computer simulation.

(53)

Information theory.

(50)

Computer logic.

(48)

Information systems.

(45)

Computer vision.

(33)

Artificial intelligence.

(31)

Computer programming.

(22)

Computer network architectures.

(21)

Computer software.

(18)

Mathematical logic.

(17)

(15)

(15)

Electronic books.

(14)

Computer communication systems.

(13)

Electronic commerce.

(13)

Management information systems.

(13)

Operating systems (Computers).

(13)

Data structures (Computer science).

(12)

Computational complexity.

(11)

Database management.

(9)

Computer hardware.

(6)

Computer system failures.

(6)

(6)

(6)

Computer Communication Networks.

(5)

Computer organization.

(5)

(5)

Application software.

(4)

Special purpose computers.

(4)

Bioinformatics.

(3)

COMPUTERS -- Software Development & Engineering -- General.

(3)

Computer aided design.

(3)

Computer engineering.

(3)

Computer system performance.

(3)

Electronic circuits.

(3)

Information storage and retrieval systems.

(3)

Software Engineering/Programming and Operating Systems.

(3)

(3)

Architecture, Computer.

(2)

COMPUTERS -- Programming -- Open Source.

(2)

COMPUTERS -- Software Development & Engineering -- Tools.

(2)

COMPUTERS / Programming / Open Source

(2)

COMPUTERS / Software Development & Engineering / General

(2)

COMPUTERS / Software Development & Engineering / Tools

(2)

Computer science -- Mathematics.

(2)

Computer software -- Development -- Management.

(2)

Computer software -- Reliability.

(2)

Computing Methodologies.

(2)

Data protection.

(2)

(2)

Information Systems.

(2)

Numeric Computing.

(2)

Pattern recognition.

(2)

(2)

Systems engineering.

(2)

User interfaces (Computer systems).

(2)

Agile software development.

(1)

Algorithm Analysis and Problem Complexity.

(1)

Appl.Mathematics/Computational Methods of Engineering.

(1)

(1)

Banks and banking.

(1)

Benchmarking (Management)

(1)

(1)

Blockchains (Databases).

(1)

Business Information Systems.

(1)

COMPUTERS -- Computer Engineering.

(1)

COMPUTERS -- Hardware -- General.

(1)

COMPUTERS -- Machine Theory.

(1)

COMPUTERS -- Software Development & Engineering -- Project Management.

(1)

COMPUTERS -- Software Development & Engineering -- Quality Assurance & Testing.

(1)

COMPUTERS -- Software Development & Engineering -- Systems Analysis & Design.

(1)

COMPUTERS / Data Transmission Systems / General

(1)

COMPUTERS / Networking / Vendor Specific

(1)

COMPUTERS / Software Development & Engineering / General.

(1)

Communications Engineering, Networks.

(1)

Computational intelligence.

(1)

Computer Systems Organization and Communication Networks.

(1)

Computer networks.

(1)

Computer systems -- Reliability.

(1)

Computers and Society.

(1)

Computers and civilization.

(1)

Data encryption (Computer science).

(1)

Digital electronics.

(1)

(1)

Electrical engineering.

(1)

Electronic Circuits and Devices.

(1)

Electronic Circuits and Systems.

(1)

Electronic data processing -- Management.

(1)

(1)

Engineering mathematics.

(1)

(1)

Génie logiciel.

(1)

(1)

Information Systems Applications (incl. Internet).

(1)

Innovation and Technology Management.

(1)

Java (Computer program language).

(1)

(1)

Management of Computing and Information Systems.

(1)

Microprocessors.

(1)

Model-driven software architecture.

(1)

Multimedia systems.

(1)

Numerical analysis.

(1)

Operating Systems.

(1)

Ordinateurs -- Conception et construction.

(1)

Performance and Reliability.

(1)

Programming Languages, Compilers, Interpreters.

(1)

Rapid prototyping.

(1)

Science, Technology and Society.

(1)

(1)

Signal processing.

(1)

Signal, Speech and Image Processing.

(1)

Simulation and Modeling.

(1)

Six sigma (Quality control standard)

(1)

Software engineering -- Documentation.

(1)

Software measurement.

(1)

Softwaremetrie.

(1)

Special Purpose and Application-Based Systems.

(1)

Statistical methods.

(1)

System Performance and Evaluation.

(1)

Technological innovations.

(1)

Technology -- Sociological aspects.

(1)

Telecommunication.

(1)

Theory of Computation.

(1)

(1)

e-Commerce and e-Business.

(1)

Électronique numérique.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

CRC Ekitapları

Elektronik Kütüphane

Kütüphane

Ç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ç

210 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 18

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.

Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings için kapak resmi

Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Yazar

Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-30446-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings için kapak resmi

System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings

System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings

Yazar

Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Sancho, Maria-Ribera. editor. (orcid)0000-0002-5904-8709 Sherratt, Edel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-30690-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings için kapak resmi

Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings

Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings

Yazar

Franch, Xavier. editor. (orcid)0000-0001-9733-8830 Männistö, Tomi. editor. (orcid)0000-0001-7470-5183 Martínez-Fernández, Silverio. editor. (orcid)0000-0001-9928-133X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-35333-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings için kapak resmi

Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings

Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings

Yazar

Nejati, Shiva. editor. Gay, Gregory. editor. (orcid)0000-0001-6794-9585 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-27455-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings için kapak resmi

Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

Yazar

Larsen, Kim Guldstrand. editor. Willemse, Tim. editor. (orcid)0000-0003-3049-7962 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-27008-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I için kapak resmi

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Yazar

Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-25540-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings için kapak resmi

Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Yazar

Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441 Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-32079-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings için kapak resmi

NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

Yazar

Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-20652-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Computing and Software Science State of the Art and Perspectives için kapak resmi

Computing and Software Science State of the Art and Perspectives

Computing and Software Science State of the Art and Perspectives

Yazar

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-91908-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers için kapak resmi

Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

Yazar

Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Massink, Mieke. editor. (orcid)0000-0001-5089-002X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-31517-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday için kapak resmi

Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Yazar

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Graf, Susanne. editor. Larsen, Kim G. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-22348-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers için kapak resmi

Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

Yazar

Mesnard, Fred. editor. Stuckey, Peter J. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-13838-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3 4 5 .. 18

Go to:Search Results

|

|

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11