Search Results for Computer 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

Daraltılmış:

+

Publication Date: 2016

Yazar

SpringerLink (Online service)

(142)

Artho, Cyrille. editor.

(2)

Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408

(2)

Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121

(2)

Chaudhuri, Swarat. editor.

(2)

De Nicola, Rocco. editor.

(2)

Deelman, Ewa. editor. (orcid)0000-0001-5106-503X

(2)

Dongarra, Jack. editor.

(2)

Farzan, Azadeh. editor.

(2)

Fränzle, Martin. editor.

(2)

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

(2)

Guiochet, Jérémie. editor.

(2)

Jajodia, Sushil. editor. (orcid)0000-0003-3210-558X

(2)

Kadarmideen, Haja N. editor.

(2)

Karczewski, Konrad. editor.

(2)

Kitowski, Jacek. editor.

(2)

Lanese, Ivan. editor. (orcid)0000-0003-2527-9995

(2)

Lecomte, Thierry. editor.

(2)

Liu, Shaoying. editor.

(2)

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

(2)

O'Regan, Gerard. author.

(2)

Pogodalla, Sylvain. editor.

(2)

Skavhaug, Amund. editor.

(2)

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

(2)

Wiatr, Kazimierz. editor.

(2)

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786

(2)

Wąsowski, Andrzej. editor.

(2)

Ábrahám, Erika. editor.

(2)

Ölveczky, Peter Csaba. editor.

(2)

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

(1)

Abe, Naoko. editor.

(1)

Agha, Gul. editor.

(1)

Ahrendt, Wolfgang. editor.

(1)

Aichernig, Bernhard K. editor.

(1)

Akama, Seiki. editor.

(1)

(1)

Albert, Elvira. editor.

(1)

Alessandrini, Victor, author.

(1)

Alferes, Jose Julio. editor.

(1)

Amblard, Maxime. editor.

(1)

Ammeraal, Leendert.

(1)

Amos, Martyn. editor.

(1)

Arbel, Eli. editor.

(1)

Argüelles Mendez, Luis. author.

(1)

Artemov, Sergei. editor.

(1)

Aycock, John. author.

(1)

Barbosa, Simone D.J. editor. (orcid)0000-0002-0044-503X

(1)

Batsakis, Sotiris. editor.

(1)

Baumann, Christoph. author.

(1)

Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291

(1)

Bernardo, Marco. editor.

(1)

Bertogna, Marko. editor.

(1)

Bertossi, Leopoldo. editor.

(1)

Biro, Miklos. editor.

(1)

Blanchette, Jasmin Christian. editor.

(1)

Blazy, Sandrine. editor.

(1)

Bloem, Roderick. editor.

(1)

Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618

(1)

Bošnački, Dragan. editor.

(1)

Braga, Christiano. editor.

(1)

Bramer, Max. author.

(1)

Brlek, Srečko. editor.

(1)

Bubel, Richard. editor.

(1)

Buhr, Peter A. author.

(1)

Butler, Michael. editor.

(1)

Carretero, Jesus. editor.

(1)

Castor, Fernando. editor.

(1)

Chandler, John. author.

(1)

Chechik, Marsha. editor.

(1)

Chechik, Marsha. editor. (orcid)0000-0002-6301-3517

(1)

Chopra, Amit K. editor.

(1)

Chávez, Edgar. editor.

(1)

Cinquemani, Eugenio. editor.

(1)

Comyn-Wattiau, Isabelle. editor.

(1)

Condon, Anne. editor.

(1)

Cornélio, Márcio. editor.

(1)

Crnkovic, Ivica. editor.

(1)

Câmpeanu, Cezar. editor.

(1)

Dal Lago, Ugo. editor.

(1)

Dalziel, Henry, editor.

(1)

Daneva, Maya. editor.

(1)

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

(1)

Del Sole, Alessandro, author.

(1)

Delporte-Gallet, Carole. editor.

(1)

(1)

Desel, Jörg. editor.

(1)

Devitt, Simon. editor.

(1)

Dignum, Virginia. editor. (orcid)0000-0001-7409-5813

(1)

Donzé, Alexandre. editor.

(1)

Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433

(1)

Duggan, Jim. author.

(1)

Dutot, Pierre-François. editor.

(1)

Dökmetaş, Gökhan

(1)

Ebert, Achim. editor.

(1)

Echahed, Rachid. editor.

(1)

Falcone, Yliès. editor.

(1)

Festa, Paola. editor.

(1)

Fiems, Dieter. editor.

(1)

Filipe, Joaquim. editor.

(1)

Fitzgerald, John. editor.

(1)

Fodor, Paul. editor.

(1)

Fontoura de Gusmão Cerqueira, Renato. author.

(1)

Foret, Annie. editor.

(1)

Furia, Carlo A. editor.

(1)

Galitsky, Boris. author.

(1)

Garcia-Blas, Javier. editor.

(1)

Garrido, José M., author.

(1)

Gast, Holger, 1975- author.

(1)

Gavanelli, Marco. editor.

(1)

Gorentla Venkata, Manjunath. editor.

(1)

Gorodetskiy, Andrey E. editor.

(1)

Gott, Aimee, author.

(1)

Governatori, Guido. editor.

(1)

Grabowski, Jens. editor.

(1)

Gurfinkel, Arie. editor.

(1)

Göbel, Susanne. author.

(1)

Hage, Jurriaan. editor.

(1)

Han, Yo-Sub. editor.

(1)

Hankin, Chris. editor.

(1)

Hansen, René Rydhof. editor.

(1)

Hasuo, Ichiro. editor.

(1)

Heitmeyer, Constance. editor.

(1)

Herbold, Steffen. editor.

(1)

Hildebrandt, Thomas. editor.

(1)

Hillston, Jane. editor. (orcid)0000-0003-4914-9255

(1)

Hirayama, Katsutoshi. editor.

(1)

Hirvonen, Åsa. editor.

(1)

Hu, T. C. author.

(1)

Huisman, Marieke. editor. (orcid)0000-0003-4467-072X

(1)

Humayoun, Shah Rukh. editor.

(1)

Hwu, Wen-mei, editor.

(1)

Hähnle, Reiner. editor.

(1)

Igarashi, Atsushi. editor. (orcid)0000-0002-5143-9764

(1)

Imam, Neena. editor.

(1)

Inoue, Katsumi. editor.

(1)

Jacobs, Bart. editor.

(1)

James, Simon. author.

(1)

Jeffers, Jim (Computer engineer), author.

(1)

Jobstmann, Barbara. editor.

(1)

Johansson, Moa. editor.

(1)

Johnsen, Einar Broch. editor.

(1)

Kahng, Andrew B. author.

(1)

Kakas, Antonis. editor.

(1)

Kanatani, Kenichi. author.

(1)

Kanazawa, Yasushi. author.

(1)

Kapitsaki, Georgia M. editor.

(1)

Kapur, Deepak. editor.

(1)

Karydis, Ioannis. editor.

(1)

King, Andy. editor.

(1)

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

(1)

Kittler, Josef. editor. (orcid)0000-0002-8110-9205

(1)

Kleijn, Jetty. editor.

(1)

Knapp, Alexander. editor.

(1)

Knuth, Donald E.

(1)

Ko, Ryan K.L. editor.

(1)

Kohlhase, Michael. editor.

(1)

Kordy, Barbara. editor.

(1)

Koutny, Maciej. editor. (orcid)0000-0003-4563-1378

(1)

Kranakis, Evangelos. editor. (orcid)0000-0002-8959-4428

(1)

Kulikov, Alexander S. editor.

(1)

Kushik, Natalia. editor.

(1)

Köseoğlu, Kerem.

(1)

Kühn, Eva. editor.

(1)

LARI, VAHID. author.

(1)

Lamprecht, Anna-Lena. editor.

(1)

Larsen, Kim Guldstrand. editor.

(1)

Laumond, Jean-Paul. editor.

(1)

Lawford, Mark. editor.

(1)

Legay, Axel. editor.

(1)

Leino, K. Rustan M. editor.

(1)

(1)

Li, Zongmin. author.

(1)

Lindley, Sam. editor.

(1)

Liu, Yu David. editor.

(1)

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

(1)

Lluch Lafuente, Alberto. editor.

(1)

Lucanu, Dorel. editor.

(1)

Lucka, Thomas, author.

(1)

Lutsyk, Petro. author.

(1)

Löding, Christof. editor.

(1)

Lönn, Henrik. editor.

(1)

Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545

(1)

Manea, Florin. editor.

(1)

Markey, Nicolas. editor.

(1)

Marques Afonso, Luiz. author.

(1)

Mashkoor, Atif. editor. (orcid)0000-0003-1210-5953

(1)

Matloff, Norman S., author.

(1)

Mauw, Sjouke. editor.

(1)

Mayr, Heinrich C. editor.

(1)

Mazzara, Manuel. editor.

(1)

McBride, Conor. editor.

(1)

Merz, Stephan. editor.

(1)

Michael, Loizos. editor.

(1)

Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424

(1)

Miller, Bruce. editor.

(1)

Minas, Mark. editor.

(1)

Mintz, Tiffany M. editor.

(1)

Molloy, Derek, 1973- author.

(1)

Morrill, Glyn. editor.

(1)

Mueller, Frank. editor.

(1)

Tümünü genişlet

Dil

(157)

(5)

Konu

Computer science.

(106)

Computer Science Logic and Foundations of Programming.

(100)

Software engineering.

(94)

Formal Languages and Automata Theory.

(71)

Machine theory.

(71)

Compilers (Computer programs).

(61)

Compilers and Interpreters.

(61)

Computer programming.

(45)

Artificial intelligence.

(42)

Programming Techniques.

(38)

(34)

Computer science -- Mathematics.

(29)

Theory of Computation.

(29)

Computer networks .

(27)

Application software.

(26)

Computer and Information Systems Applications.

(26)

Computer Communication Networks.

(21)

Computer Modelling.

(18)

Computer simulation.

(18)

Discrete mathematics.

(14)

Discrete Mathematics in Computer Science.

(13)

Electronic data processing -- Management.

(12)

(12)

Electronic digital computers -- Evaluation.

(7)

Mathematics of Computing.

(7)

System Performance and Evaluation.

(7)

Computational intelligence.

(6)

Computer Engineering and Networks.

(6)

Computer engineering.

(6)

Computers, Special purpose.

(6)

Human-computer interaction.

(6)

Information Storage and Retrieval.

(6)

Information storage and retrieval systems.

(6)

Special Purpose and Application-Based Systems.

(6)

User Interfaces and Human Computer Interaction.

(6)

User interfaces (Computer systems).

(6)

Data Mining and Knowledge Discovery.

(5)

(5)

Electronic Circuits and Systems.

(5)

Electronic circuits.

(5)

Mathematical statistics.

(5)

Probability and Statistics in Computer Science.

(5)

Applications of Mathematics.

(4)

Artificial intelligence -- Data processing.

(4)

Bioinformatics.

(4)

Computational and Systems Biology.

(4)

(4)

Control engineering.

(4)

(4)

Data and Information Security.

(4)

Data protection.

(4)

Database management.

(4)

(4)

Automated Pattern Recognition.

(3)

Computer architecture.

(3)

Computer games -- Programming.

(3)

Computers -- History.

(3)

History of Computing.

(3)

Mathematical Applications in Computer Science.

(3)

Models of Computation.

(3)

Parallel programming (Computer science)

(3)

Pattern recognition systems.

(3)

Arithmetic and Logic Structures.

(2)

(2)

Bilgisayar programlama.

(2)

Business information services.

(2)

Communications Engineering, Networks.

(2)

Computer Application in Social and Behavioral Sciences.

(2)

Computer Hardware.

(2)

Computer arithmetic and logic units.

(2)

Computer graphics.

(2)

Computer vision.

(2)

Computers and Society.

(2)

Computers and civilization.

(2)

Control Structures and Microprogramming.

(2)

Control and Systems Theory.

(2)

Control, Robotics, Automation.

(2)

ELEKTRONİK SAYISAL BİLGİSAYARLAR -- PROGRAMLAMA.

(2)

Engineering -- Data processing.

(2)

Engineering mathematics.

(2)

Genetics and Genomics.

(2)

(2)

Hardware Performance and Reliability.

(2)

IT in Business.

(2)

(2)

Mathematical and Computational Engineering Applications.

(2)

Mathematical statistics -- Data processing.

(2)

Microprocessors.

(2)

Microprogramming .

(2)

Natural Language Processing (NLP).

(2)

Natural language processing (Computer science).

(2)

Numerical analysis.

(2)

Object-oriented programming (Computer science)

(2)

Operating Systems.

(2)

Operating systems (Computers).

(2)

Processor Architectures.

(2)

Python (Bilgisayar programlama dili)

(2)

Python (Computer program language)

(2)

R (Computer program language)

(2)

Raspberry Pi (Computer) -- Programming.

(2)

(2)

Security Science and Technology.

(2)

Security systems.

(2)

Social sciences -- Data processing.

(2)

Statistics and Computing.

(2)

Symbolic and Algebraic Manipulation.

(2)

Telecommunication.

(2)

Veterinary Science.

(2)

Veterinary medicine.

(2)

Application software -- Programming.

(1)

Arduino (Programlanabilir kontrolör)

(1)

Arduino (Programmable controller)

(1)

Astronomy -- Observations.

(1)

Astronomy, Observations and Techniques.

(1)

BASIC (Bilgisayar program dili)

(1)

BASIC (Computer program language)

(1)

Bilgisayar Programlama.

(1)

Bilgisayar programlama

(1)

Bilgisayar programlaması

(1)

Bilgisayar programları -- El kitapları, kılavuzlar vb.

(1)

Bilgisayar programları.

(1)

Bilgisayar yazılımı -- El kitapları, kılavuzlar vb.

(1)

Bilgisayar yazılımı -- Veritabanları.

(1)

Bilgisayar yazılımı.

(1)

Biomedical Engineering and Bioengineering.

(1)

Biomedical engineering.

(1)

BİLGİSAYAR GRAFİKLERİ.

(1)

Computational linguistics.

(1)

Computer Application in Administrative Data Processing.

(1)

Computer System Implementation.

(1)

Computer industry.

(1)

Computer programming

(1)

Computer programming -- Handbooks, manuals, etc.

(1)

Computer programs.

(1)

Computer software -- Databases.

(1)

Computer software -- Handbooks, manuals, etc.

(1)

Computer software.

(1)

Computer systems.

(1)

Computers and Education.

(1)

Control theory.

(1)

(1)

(1)

Data Analysis and Big Data.

(1)

Data Structures and Information Theory.

(1)

Data encryption (Computer science).

(1)

Data structures (Computer science).

(1)

Digital humanities.

(1)

Education -- Data processing.

(1)

Electrical and Electronic Engineering.

(1)

Electrical engineering.

(1)

Electronic books.

(1)

Electronic data processing.

(1)

Electronics and Microelectronics, Instrumentation.

(1)

(1)

Embedded computer systems -- Programming.

(1)

Game Development.

(1)

Görsel programlama (Bilgisayar bilimi)

(1)

Health Informatics.

(1)

High performance computing.

(1)

High performance processors.

(1)

History of Technology.

(1)

(1)

Information technology -- Management.

(1)

Information theory.

(1)

Internet programming.

(1)

(1)

(1)

(1)

Mathematical Logic and Foundations.

(1)

Mathematical logic.

(1)

Mathematical optimization.

(1)

(1)

Media Sociology.

(1)

Medical informatics.

(1)

Microsoft Visual Basic for Windows.

(1)

Microsoft Visual Basic, Windows için.

(1)

Multimedia Information Systems.

(1)

Multimedia systems.

(1)

Nesneye Yönelik Programlama (Bilgisayar Bilimi)

(1)

(1)

(1)

Operating systems (Computers)

(1)

Operations Research and Decision Theory.

(1)

Operations research.

(1)

(1)

Parallel processing (Electronic computers)

(1)

(1)

Probability Theory.

(1)

Programlanabilir kontrolörler.

(1)

Programmable controllers.

(1)

Python (Computer program language).

(1)

Quantitative research.

(1)

Quantum Computing.

(1)

Quantum computers.

(1)

R (Bilgisayar programı dili)

(1)

Raspberry Pi (Bilgisayar) -- Programlama.

(1)

Sociological Methods.

(1)

Sociology -- Methodology.

(1)

(1)

Sports sciences.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Beytepe Genel Koleksiyon

CRC Ekitapları

Elektronik Kütüphane

Kütüphane

Beytepe 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

162 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 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.

25.

Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings için kapak resmi

Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

Yazar

Butler, Michael. editor. Schewe, Klaus-Dieter. editor. Mashkoor, Atif. editor. (orcid)0000-0003-1210-5953 Biro, Miklos. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Scala: From a Functional Programming Perspective An Introduction to the Programming Language için kapak resmi

Scala: From a Functional Programming Perspective An Introduction to the Programming Language

Scala: From a Functional Programming Perspective An Introduction to the Programming Language

Yazar

Torra, Vicenç. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-46481-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

DNA Computing and Molecular Programming 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings için kapak resmi

DNA Computing and Molecular Programming 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings

DNA Computing and Molecular Programming 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings

Yazar

Rondelez, Yannick. editor. Woods, Damien. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Cyber Deception Building the Scientific Foundation için kapak resmi

Cyber Deception Building the Scientific Foundation

Cyber Deception Building the Scientific Foundation

Yazar

Jajodia, Sushil. editor. (orcid)0000-0003-3210-558X Subrahmanian, V.S. editor. Swarup, Vipin. editor. Wang, Cliff. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-32699-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings için kapak resmi

Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Yazar

Thiemann, Peter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers için kapak resmi

Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

Yazar

Braga, Christiano. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-28934-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Computer Science - Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings için kapak resmi

Computer Science - Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings

Computer Science - Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings

Yazar

Kulikov, Alexander S. editor. Woeginger, Gerhard J. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-34171-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Random-Like Bi-level Decision Making için kapak resmi

Random-Like Bi-level Decision Making

Random-Like Bi-level Decision Making

Yazar

Xu, Jiuping. author. (orcid)0000-0003-3756-3969 Li, Zongmin. author. Tao, Zhimiao. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-1768-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity için kapak resmi

Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity

Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity

Yazar

Skrzypczak, Michał. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-52947-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings için kapak resmi

Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

Yazar

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Lawford, Mark. editor. Liu, Shaoying. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-47846-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers için kapak resmi

Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Yazar

Blazy, Sandrine. editor. Chechik, Marsha. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

Graph Transformation 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings için kapak resmi

Graph Transformation 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings

Graph Transformation 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings

Yazar

Echahed, Rachid. editor. Minas, Mark. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 .. 14

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11