Search Results for Programming Techniques.

|

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

Daraltılmış:

+

Konu: Computer science.

Yazar

SpringerLink (Online service)

(146)

Beck, J. Christopher. editor.

(2)

Bramer, Max. author.

(2)

Dastani, Mehdi. editor.

(2)

Dilkina, Bistra. editor. (orcid)0000-0002-6784-473X

(2)

Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186

(2)

Kyte, Thomas. author.

(2)

Legay, Axel. editor.

(2)

Liu, Shaoying. editor.

(2)

Liu, Zhiming. editor. (orcid)0000-0001-9771-3071

(2)

Lämmel, Ralf. editor.

(2)

Milano, Michela. editor.

(2)

Noble, James. editor.

(2)

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259

(2)

Saraiva, João. editor.

(2)

Schmidt, Renate A. editor.

(2)

Sirjani, Marjan. editor.

(2)

Trinder, Phil. editor.

(2)

Voronkov, Andrei. editor.

(2)

Zhang, Zili. editor.

(2)

Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611

(1)

Abreu, Salvador. editor.

(1)

Achten, Peter. editor.

(1)

Achterberg, Tobias. editor.

(1)

Aichernig, Bernhard K. editor.

(1)

Albert, Elvira. editor.

(1)

Aldini, Alessandro. editor. (orcid)0000-0002-7250-5011

(1)

Andres, Clay. editor.

(1)

Anglin, Steve. editor.

(1)

Artho, Cyrille. editor.

(1)

Atallah, Mikhail J.

(1)

Balduccini, Marcello. editor.

(1)

Barnes, John. author.

(1)

Barrett, Clark. editor.

(1)

Barták, Roman. editor.

(1)

Beckner, Mark. editor.

(1)

Behr, Mary. editor.

(1)

Beldiceanu, Nicolas. editor.

(1)

Bensalem, Saddek. editor.

(1)

Bergman, David. author.

(1)

Bhattacharjee, Reetu. editor. (orcid)0000-0003-0720-4973

(1)

Blanton, Marina.

(1)

Blazy, Sandrine. editor.

(1)

Blesa, Maria J. editor.

(1)

Blum, Christian. author.

(1)

Blum, Christian. editor.

(1)

Bois, André Rauber. editor.

(1)

Bowen, Jonathan P. editor.

(1)

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140

(1)

Braga, Christiano. editor.

(1)

Brat, Guillaume. editor.

(1)

Bravetti, Mario. editor.

(1)

Brinkmann, Steffen. editor.

(1)

Brukardt, Randall L. editor.

(1)

Bruni, Roberto. author.

(1)

Buckingham, Ewan. editor.

(1)

Burns, Richard. editor. (orcid)0000-0002-3961-438X

(1)

Cabalar, Pedro. editor.

(1)

Cangelosi, Angelo. editor.

(1)

Carretero, Jesus. editor.

(1)

Castagna, Giuseppe. editor.

(1)

Castor, Fernando. editor.

(1)

Cervesato, Iliano. author.

(1)

Chang, Bor-Yuh Evan. editor.

(1)

Chapman, Barbara M. editor.

(1)

Chechik, Marsha. editor.

(1)

Chemuturi, Murali. author.

(1)

Cheptsov, Alexey. editor.

(1)

Chiba, Shigeru. editor.

(1)

Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990

(1)

Cire, Andre A. author.

(1)

Ciubotaru, Bogdan. author.

(1)

Clarke, Dave. editor.

(1)

Comninos, Peter. author.

(1)

Cornell, Gary. editor.

(1)

Cossentino, Massimo. editor.

(1)

Cunha, Jácome. editor.

(1)

Cussens, James. editor.

(1)

Cutello, Vincenzo. editor.

(1)

Damaševičius, Robertas. author.

(1)

Datta, Dilip. author.

(1)

Davies, Misty. editor.

(1)

De Nicola, Rocco. editor.

(1)

Deb, Kalyanmoy. editor. (orcid)0000-0001-7402-9939

(1)

Delporte-Gallet, Carole. editor.

(1)

Dewan, Hrishikesh. author.

(1)

Di Napoli, Edoardo. editor.

(1)

Di Nuovo, Alessandro. editor.

(1)

Doder, Dragan. editor. (orcid)0000-0003-0067-3654

(1)

Drewes, Frank. editor.

(1)

Duan, Zhenhua. editor.

(1)

Duff, Robert A. editor.

(1)

Egges, Arjan. author.

(1)

Erdem, Esra. editor. (orcid)0000-0001-8384-7810

(1)

Ergül, Özgür. author.

(1)

Falcone, Yliès. editor.

(1)

Fallah Seghrouchni, Amal. editor.

(1)

Farchi, Eitan. editor.

(1)

Favaro, John. editor.

(1)

Felleisen, Matthias. editor.

(1)

Fernandes, João P. editor.

(1)

Ferrucci, Filomena. editor.

(1)

Fokker, Jeroen D. author.

(1)

Fontaine, Pascal. editor.

(1)

Fontoura de Gusmão Cerqueira, Renato. author.

(1)

Frey, Davide. editor.

(1)

Furia, Carlo A. editor.

(1)

Fähndrich, Manuel. editor.

(1)

Gabmeyer, Sebastian. editor.

(1)

Galmiche, Didier. editor.

(1)

Garcia-Blas, Javier. editor.

(1)

Gardner, Philippa. editor.

(1)

Gavanelli, Marco. editor.

(1)

Gennick, Jonathan. editor.

(1)

Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917

(1)

Gibson-Robinson, Thomas. editor.

(1)

Giese, Holger. editor.

(1)

Gomes, Carla. editor.

(1)

Gorp, Pieter. editor.

(1)

Graba, Jan. author.

(1)

Gracia, José. editor.

(1)

Groves, Lindsay. editor.

(1)

Gurfinkel, Arie. editor.

(1)

Hack, Sebastian. author.

(1)

Hage, Jurriaan. editor.

(1)

Hartman, Roel. author.

(1)

Hassell, Jonathan. editor.

(1)

Hentenryck, Pascal. editor.

(1)

Hermanns, Marc-André. editor.

(1)

Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X

(1)

Hierons, Robert M. editor.

(1)

Hill, Richard. author.

(1)

Hinchey, Mike. editor.

(1)

Hinze, Ralf. editor.

(1)

Hirsch, Laurie. author.

(1)

Hoeve, Willem-Jan. editor.

(1)

Hooker, John N. editor.

(1)

Hooker, John. author.

(1)

Hopcroft, Philippa. editor.

(1)

Horton, Ivor. author.

(1)

Hung, Dang. editor.

(1)

Hunt, John. author.

(1)

Hübner, Jomi F. editor.

(1)

Iliev, Hristo. editor.

(1)

Inoue, Katsumi. editor.

(1)

Janhunen, Tomi. editor.

(1)

Johansen, Mikkel Willum. editor. (orcid)0000-0003-0454-2678

(1)

Johnsen, Einar Broch. editor.

(1)

Johnson, Ralph. editor.

(1)

Jussien, Narendra. editor.

(1)

Kahsai, Temesghen. editor.

(1)

Kapitsaki, Georgia M. editor.

(1)

Kasahara, Hironori. editor.

(1)

Kelly, Debra. editor.

(1)

Kimura, Keiji. editor.

(1)

King, Andy. editor.

(1)

King, Ralf Simon. author.

(1)

Ko, Ryan K.L. editor.

(1)

Koopman, Pieter. editor.

(1)

Kunčak, Viktor. editor.

(1)

Kühn, Eva. editor.

(1)

Lake, Peter. author.

(1)

Larchey-Wendling, Dominique. editor.

(1)

Lawford, Mark. editor.

(1)

Lazić, Ranko. editor.

(1)

Leavens, Gary T. editor.

(1)

Lemanski, Jens. editor. (orcid)0000-0003-3661-4752

(1)

Lemos, Rogério. editor.

(1)

Leroy, Pascal. editor.

(1)

Li, Yupeng. editor.

(1)

Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X

(1)

Lindley, Sam. editor.

(1)

Lintermann, Andreas. editor.

(1)

Liu, Shaoying. editor. (orcid)0000-0002-6748-5052

(1)

Liu, Yu David. editor.

(1)

Lluch Lafuente, Alberto. editor.

(1)

Lodi, Andrea. editor.

(1)

Logan, Brian. editor.

(1)

Logozzo, Francesco. editor.

(1)

Loidl, Hans-Wolfgang. editor.

(1)

Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071

(1)

Lourenço, João M. editor.

(1)

Lowman, Michelle. editor.

(1)

Lucanu, Dorel. editor.

(1)

Lucia, Andrea. editor.

(1)

Lönn, Henrik. editor.

(1)

Majumdar, Rupak. editor.

(1)

Manalo, Emmanuel. editor. (orcid)0000-0001-6470-4021

(1)

Marques Afonso, Luiz. author.

(1)

Martín-Vide, Carlos. editor.

(1)

McBride, Conor. editor.

(1)

McMillan, Ken. editor.

(1)

Merayo, Mercedes G. editor.

(1)

Mery, Dominique. editor. (orcid)0000-0001-5231-6611

(1)

Meyer, Bertrand. editor.

(1)

Middeldorp, Aart. editor.

(1)

Miller, Dale. editor. (orcid)0000-0003-0274-4954

(1)

Mills Strout, Michelle. editor.

(1)

Montanari, Ugo. author.

(1)

Moodie, Matthew. editor.

(1)

Tümünü genişlet

Dil

(147)

Yayın Yılı

-

(69)

(30)

(23)

(7)

(6)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Programming Techniques.

(124)

Software engineering.

(90)

Computer programming.

(56)

Artificial intelligence.

(48)

Computer Science Logic and Foundations of Programming.

(44)

Compilers (Computer programs).

(42)

Compilers and Interpreters.

(42)

Programming Languages, Compilers, Interpreters.

(37)

Formal Languages and Automata Theory.

(32)

Machine theory.

(32)

Computer Communication Networks.

(25)

Theory of Computation.

(24)

(23)

Logics and Meanings of Programs.

(23)

Mathematical Logic and Formal Languages.

(21)

Computer software.

(18)

(17)

Artificial Intelligence (incl. Robotics).

(16)

Computational complexity.

(13)

Computer networks .

(13)

Algorithm Analysis and Problem Complexity.

(11)

Electronic data processing.

(10)

Operating systems (Computers).

(9)

Operating Systems.

(8)

System Performance and Evaluation.

(8)

Computer simulation.

(7)

Software Engineering/Programming and Operating Systems.

(7)

Application software.

(6)

Computer Science, general.

(6)

Computer and Information Systems Applications.

(6)

Computer system performance.

(6)

Discrete Mathematics in Computer Science.

(6)

(5)

Information Systems Applications (incl. Internet).

(5)

Computer Modelling.

(4)

Computer System Implementation.

(4)

Computer science -- Mathematics.

(4)

Electronic digital computers -- Evaluation.

(4)

Information Systems.

(4)

Management of Computing and Information Systems.

(4)

Models of Computation.

(4)

Special Purpose and Application-Based Systems.

(4)

Computation by Abstract Devices.

(3)

Computer Engineering and Networks.

(3)

Computer engineering.

(3)

Computer systems.

(3)

(3)

Data structures (Computer science).

(3)

Database management.

(3)

Electronic data processing -- Management.

(3)

(3)

(3)

Information theory.

(3)

Models and Principles.

(3)

Programming Language.

(3)

Programming languages (Electronic computers).

(3)

Simulation and Modeling.

(3)

Automated Pattern Recognition.

(2)

Computational Science and Engineering.

(2)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(2)

Computer vision.

(2)

Computers, Special purpose.

(2)

Data Mining and Knowledge Discovery.

(2)

Data Structures.

(2)

(2)

Discrete mathematics.

(2)

Human-computer interaction.

(2)

Information Storage and Retrieval.

(2)

Information storage and retrieval systems.

(2)

Information systems.

(2)

Mathematical optimization.

(2)

Mathematics of Computing.

(2)

Multimedia Information Systems.

(2)

Multimedia systems.

(2)

Natural Language Processing (NLP).

(2)

Natural language processing (Computer science).

(2)

Operations Research and Decision Theory.

(2)

Operations Research, Management Science.

(2)

Operations research.

(2)

Pattern recognition systems.

(2)

Performance and Reliability.

(2)

Processor Architectures.

(2)

(2)

The Computing Profession.

(2)

User Interfaces and Human Computer Interaction.

(2)

User interfaces (Computer systems).

(2)

Algebra, Homological.

(1)

Algebraic topology.

(1)

Automotive Engineering.

(1)

Business Information Systems.

(1)

Category Theory, Homological Algebra.

(1)

Communications Engineering, Networks.

(1)

Computational intelligence.

(1)

Computer Appl. in Administrative Data Processing.

(1)

Computer Application in Administrative Data Processing.

(1)

Computer Applications.

(1)

Computer Hardware.

(1)

Computer algorithms.

(1)

Computer graphics.

(1)

Computer hardware.

(1)

Computer network architectures.

(1)

Computer programs -- Testing.

(1)

Computer-Aided Engineering (CAD, CAE) and Design.

(1)

Computer-aided engineering.

(1)

Computing Methodologies.

(1)

Computing Milieux.

(1)

Control Structures and Microprogramming.

(1)

Data Encryption.

(1)

Data Storage Representation.

(1)

Data Structures and Information Theory.

(1)

Data encryption (Computer science).

(1)

Data protection.

(1)

Data transmission systems.

(1)

Design and Analysis of Algorithms.

(1)

Discrete Optimization.

(1)

Electronics and Microelectronics, Instrumentation.

(1)

(1)

Engineering, general.

(1)

Expert systems (Computer science).

(1)

Health Informatics.

(1)

History of Computing.

(1)

Information Systems and Communication Service.

(1)

Information technology -- Management.

(1)

Input/Output and Data Communications.

(1)

Knowledge Based Systems.

(1)

Management information systems.

(1)

Management science.

(1)

Math Applications in Computer Science.

(1)

(1)

Medical records -- Data processing.

(1)

Microprogramming .

(1)

Nanotechnology and Microengineering.

(1)

Numeric Computing.

(1)

Numerical analysis.

(1)

Optical pattern recognition.

(1)

(1)

Pattern Recognition.

(1)

Personal Computing.

(1)

Probability and Statistics in Computer Science.

(1)

Robotics and Automation.

(1)

Software Testing.

(1)

Systems and Data Security.

(1)

Telecommunication.

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

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

147 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 13

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.

25.

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part I için kapak resmi

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part I

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part I

Yazar

Dilkina, Bistra. editor. (orcid)0000-0002-6784-473X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, Münster, Germany, September 27 - October 1, 2024, Proceedings için kapak resmi

Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, Münster, Germany, September 27 - October 1, 2024, Proceedings

Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, Münster, Germany, September 27 - October 1, 2024, Proceedings

Yazar

Lemanski, Jens. editor. (orcid)0000-0003-3661-4752 Johansen, Mikkel Willum. editor. (orcid)0000-0003-0454-2678 Manalo, Emmanuel. editor. (orcid)0000-0001-6470-4021 Viana, Petrucio. editor. (orcid)0000-0002-3517-6706 Bhattacharjee, Reetu. editor. (orcid)0000-0003-0720-4973

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings için kapak resmi

Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings

Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings

Yazar

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Mery, Dominique. editor. (orcid)0000-0001-5231-6611 Sun, Meng. editor. Liu, Shaoying. editor. (orcid)0000-0002-6748-5052 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-0617-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

High-Performance Scientific Computing First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4-5, 2016, Revised Selected Papers için kapak resmi

High-Performance Scientific Computing First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4-5, 2016, Revised Selected Papers

High-Performance Scientific Computing First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4-5, 2016, Revised Selected Papers

Yazar

Di Napoli, Edoardo. editor. Hermanns, Marc-André. editor. Iliev, Hristo. editor. Lintermann, Andreas. editor. Peyser, Alexander. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-53862-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings için kapak resmi

Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings

Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings

Yazar

Mousavi, Mohammad Reza. editor. Sgall, Jiří. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-68953-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings için kapak resmi

NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

Yazar

Barrett, Clark. editor. Davies, Misty. editor. Kahsai, Temesghen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-57288-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

LaTeX in 24 Hours A Practical Guide for Scientific Writing için kapak resmi

LaTeX in 24 Hours A Practical Guide for Scientific Writing

LaTeX in 24 Hours A Practical Guide for Scientific Writing

Yazar

Datta, Dilip. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday için kapak resmi

Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

Yazar

Gibson-Robinson, Thomas. editor. Hopcroft, Philippa. editor. Lazić, Ranko. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-51046-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II için kapak resmi

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

Yazar

Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings için kapak resmi

Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Yazar

Duan, Zhenhua. editor. Ong, Luke. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-68690-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings için kapak resmi

Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings

Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings

Yazar

Chang, Bor-Yuh Evan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-71237-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings için kapak resmi

Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Yazar

Yang, Hongseok. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-54434-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 .. 13

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11