Search Results for Programming Languages.

|

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)

(419)

Lopez, Cesar. author.

(9)

Taylor and Francis.

(7)

(6)

Kobayashi, Naoki. editor.

(6)

Aktaş, Volkan.

(5)

Noble, James. editor.

(5)

Aceto, Luca. editor.

(4)

Cordeiro, José. editor.

(4)

Halldórsson, Magnús M. editor.

(4)

Johnson, Ralph. editor.

(4)

Lee, Kent D. author.

(4)

Sebesta, Robert W.

(4)

Bhimavarapu, Usharani, author.

(3)

Chiba, Shigeru. editor.

(3)

Dastani, Mehdi. editor.

(3)

Egges, Arjan. author.

(3)

Esparza, Javier. editor.

(3)

Hunt, John. author.

(3)

Legay, Axel. editor.

(3)

Maciaszek, Leszek A. editor.

(3)

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

(3)

Matuszek, David L., author.

(3)

Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828

(3)

Salaün, Gwen. editor.

(3)

Shen, Hong. editor.

(3)

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

(3)

Stephenson, Ben. author.

(3)

Wallingford, Eugene. editor.

(3)

Zdun, Uwe. editor.

(3)

Abramsky, Samson. editor.

(2)

Abuşoğlu, Atakan.

(2)

Albers, Susanne. editor.

(2)

Avgeriou, Paris. editor.

(2)

Badger, Julia M. editor.

(2)

Bai, Ying, 1956-

(2)

(2)

Baxter, James. editor. (orcid)0000-0001-6083-9607

(2)

Bensalem, Saddek. editor.

(2)

Bernardo, Marco. editor.

(2)

Bordini, Rafael H. editor.

(2)

Bugliesi, Michele. editor.

(2)

Cady, Field, 1984- author.

(2)

Castagna, Giuseppe. editor.

(2)

Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976

(2)

Chang, Bor-Yuh Evan. editor.

(2)

Chapman, Barbara M. editor.

(2)

Cohen, Albert. editor.

(2)

Czumaj, Artur. editor.

(2)

Damgård, Ivan. editor.

(2)

Damiani, Ferruccio. editor.

(2)

Dix, Jürgen. editor.

(2)

Dowek, Gilles. author.

(2)

Filipe, Joaquim. editor.

(2)

Fokker, Jeroen D. author.

(2)

Fomin, Fedor V. editor.

(2)

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

(2)

Fraigniaud, Pierre. editor.

(2)

Freivalds, Rūsiņš. editor.

(2)

Gabbrielli, Maurizio. author.

(2)

Gardner, Philippa. editor.

(2)

Gavoille, Cyril. editor.

(2)

Giannakopoulou, Dimitra. editor.

(2)

Goldberg, Leslie Ann. editor.

(2)

Hemanth, Jude, author.

(2)

Henzinger, Monika. editor.

(2)

Horváth, Zoltán. editor.

(2)

Husfeldt, Thore. editor.

(2)

Igarashi, Atsushi. editor.

(2)

Ingólfsdóttir, Anna. editor.

(2)

Iwama, Kazuo. editor.

(2)

Jamison, D. Curtis.

(2)

Jhala, Ranjit. editor.

(2)

Johnsen, Einar Broch. editor.

(2)

Kent, Jeffrey A. (Jeffrey Alan), 1952-

(2)

Keogh, James Edward, 1948-

(2)

Kirchner, Claude. editor.

(2)

Koutsoupias, Elias. editor.

(2)

Kwiatkowska, Marta. editor.

(2)

Laaksonen, Antti. author.

(2)

Leavens, Gary T. editor.

(2)

Lemos, Rogério. editor.

(2)

Lissoir, Alain.

(2)

Liu, Shaoying. editor.

(2)

Luković, Ivan. editor. (orcid)0000-0003-1319-488X

(2)

Lämmel, Ralf. editor.

(2)

Marchetti-Spaccamela, Alberto. editor.

(2)

Martini, Simone. author.

(2)

Matias, Yossi. editor.

(2)

Mehlhorn, Kurt. editor.

(2)

Merayo, Mercedes G. editor.

(2)

Meyer auf der Heide, Friedhelm. editor.

(2)

Mogensen, Torben Ægidius. author.

(2)

Müller, Matthias S. editor.

(2)

Nikoletseas, Sotiris. editor.

(2)

O'Regan, Gerard. author.

(2)

Peleg, David. editor.

(2)

Petre, Luigia. editor.

(2)

Peña, Ricardo. editor.

(2)

Pitts, Andrew. editor.

(2)

Pradella, Matteo. editor. (orcid)0000-0003-3039-1084

(2)

Preneel, Bart. editor.

(2)

Reed, Rick. editor.

(2)

Rossi, Matteo. editor. (orcid)0000-0002-9193-9560

(2)

Rubin, Julia. editor.

(2)

Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340

(2)

Saraiva, João. editor.

(2)

Sassone, Vladimiro. editor.

(2)

Schaefer, Ina. editor.

(2)

Schonberg, Edmond. editor.

(2)

Seidl, Helmut. editor.

(2)

Sgall, Jiří. editor.

(2)

Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X

(2)

Shao, Zhong. editor.

(2)

Shishkov, Boris. editor.

(2)

Smolka, Scott A. editor.

(2)

Speckmann, Bettina. editor.

(2)

Spirakis, Paul G. editor.

(2)

Staroń, Mirosław. editor. (orcid)0000-0002-9052-0864

(2)

Tanter, Éric. editor.

(2)

Tasiran, Serdar. editor.

(2)

Thomas, Wolfgang. editor.

(2)

Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126

(2)

Tucker, Allen B.

(2)

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

(2)

Turtschi, Adrian.

(2)

Ullenboom, Christian, author, translator.

(2)

Upadhyaya, Bhim P. author.

(2)

Vafeiadis, Viktor. editor. (orcid)0000-0001-8436-0334

(2)

Varró, Dániel. editor.

(2)

Walukiewicz, Igor. editor.

(2)

Wattenhofer, Roger. editor.

(2)

Wegener, Ingo. editor.

(2)

Weirich, Stephanie. editor.

(2)

Worrell, James. editor.

(2)

Xue, Bing. editor. (orcid)0000-0002-4865-8026

(2)

Yang, Hongseok. editor.

(2)

Zdun, Uwe. editor. (orcid)0000-0002-6233-2591

(2)

Zsók, Viktória. editor.

(2)

de Supinski, Bronis R. editor.

(2)

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

(2)

ACM Java Grande Conference (6th : 2001 : Palo Alto, Calif.)

(1)

ACM Java Grande/ISCOPE Conference (2001 : Palo Alto, Calif.)

(1)

ACM SIGPLAN--SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (2001 : Snowbird, Utah)

(1)

ACM Special Interest Group on Programming Languages.

(1)

ACM, Special Interest Group on Programming Languages.

(1)

ACM, Special Interest Group on Software Engineering.

(1)

Abdulla, Parosh Aziz. editor.

(1)

Abe, Naoko. editor.

(1)

Abraham, Erika. editor.

(1)

Abrahao, Silvia. editor.

(1)

Achten, Peter. editor.

(1)

Adak, M. Fatih.

(1)

Adl-Tabatabai, Ali-Reza.

(1)

Agha, Gul. editor.

(1)

Ahmad, Muhammad Ovais. editor. (orcid)0000-0002-7885-0369

(1)

Ahmed, Amal. editor. (orcid)0000-0001-7424-572X

(1)

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

(1)

Albert, Elvira. editor.

(1)

Aldini, Alessandro. editor.

(1)

Alexander, Michael, 1972- author.

(1)

Alferes, Jose Julio. editor.

(1)

Alferes, José Júlio. editor.

(1)

Altman, Yair M., author.

(1)

Altmann, Jörn. editor. (orcid)0000-0002-8880-9546

(1)

Alòs, Elisa, author.

(1)

Amyot, Daniel. editor.

(1)

Aphalo, Pedro J., author.

(1)

Apt, Krzysztof R., 1949-

(1)

Ardagna, Claudio Agostino. editor.

(1)

Arenas, Marcelo. editor.

(1)

Arge, Lars. editor.

(1)

(1)

Artemov, Sergei. editor.

(1)

Artho, Cyrille. editor.

(1)

Arya, Ali, author.

(1)

Association for Computing Machinery.

(1)

Atkinson-Abutridy, John.

(1)

Ayala, José L. editor.

(1)

Ayyıldız, Serkan.

(1)

BALTI, HAYTHEM.

(1)

Backiel, Aimee Author.

(1)

Bader, Markus. editor.

(1)

(1)

Bai, Ying, 1956, author.

(1)

Bailey, Donald G. (Donald Graeme), 1962-

(1)

Baker, Robert E., 1957- author.

(1)

Bakker, J. W. de (Jacobus Willem), 1939-

(1)

Bakurov, Illya. editor. (orcid)0000-0002-6458-942X

(1)

Balamurugan, B, author.

(1)

Baldoni, Matteo. editor.

(1)

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

(1)

Balti, Haythem, author.

(1)

Bansal, Arvind Kumar.

(1)

Bansal, Jagdish Chand. editor.

(1)

Barais, Olivier. editor.

(1)

Barbosa, Luis Soares. editor.

(1)

Baresi, Luciano. editor.

(1)

Barik, Rajkishore. editor.

(1)

Barnes, John. author.

(1)

Tümünü genişlet

Dil

(641)

(24)

(1)

Yayın Yılı

-

(99)

(89)

(74)

(55)

(39)

(30)

(29)

(24)

(23)

(23)

(22)

(22)

(16)

(13)

(13)

(11)

(8)

(8)

(8)

(8)

(7)

(6)

(6)

(4)

(3)

(3)

(3)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Software engineering.

(229)

Computer science.

(184)

Programming languages (Electronic computers).

(171)

Programming Languages, Compilers, Interpreters.

(92)

Computer programming.

(80)

(80)

Artificial intelligence.

(69)

Programming Techniques.

(65)

Computer logic.

(59)

Programming languages (Electronic computers)

(51)

Logics and Meanings of Programs.

(48)

Computer Communication Networks.

(43)

Programming Language.

(41)

Compilers (Computer programs).

(40)

Compilers and Interpreters.

(40)

(38)

Electronic books.

(36)

Python (Computer program language)

(36)

Computer software.

(33)

COMPUTERS / Programming Languages / Python

(30)

Mathematical Logic and Formal Languages.

(30)

COMPUTERS / Programming Languages / General

(28)

(28)

Operating systems (Computers).

(28)

Mathematical logic.

(26)

Application software.

(24)

Computer simulation.

(23)

(21)

Programming Languages.

(20)

Data structures (Computer science).

(18)

Information Systems.

(18)

Information theory.

(18)

Theory of Computation.

(18)

Database management.

(17)

C# (Computer program language)

(16)

Computational complexity.

(16)

Computer communication systems.

(16)

Computer networks .

(16)

Machine theory.

(16)

Management of Computing and Information Systems.

(16)

PROGRAMLAMA DİLİ (ELEKTRONİK BİLGİSAYAR)

(16)

Computer Science Logic and Foundations of Programming.

(15)

Formal Languages and Automata Theory.

(15)

Operating Systems.

(15)

Special Purpose and Application-Based Systems.

(14)

Algorithm Analysis and Problem Complexity.

(13)

Artificial Intelligence (incl. Robotics).

(13)

Computer science -- Mathematics.

(13)

(13)

COMPUTERS / Programming / General

(12)

Computer and Information Systems Applications.

(12)

Electronic data processing.

(12)

Information Systems Applications (incl. Internet).

(12)

Information storage and retrieval systems.

(12)

Java (Computer program language)

(12)

C# (Bilgisayar programlama dili)

(11)

Programlama dili (Elektronik bilgisayarlar)

(11)

Computer software -- Development.

(10)

Computer system failures.

(10)

Data protection.

(10)

Machine learning.

(10)

R (Computer program language)

(10)

C++ (Computer program language)

(9)

COMPUTERS / Computer Graphics / Game Programming & Design

(9)

Computation by Abstract Devices.

(9)

Computational intelligence.

(9)

Computer organization.

(9)

Computers, Special purpose.

(9)

Management information systems.

(9)

Mathematical Software.

(9)

Python (Computer program language).

(9)

Computer Science, general.

(8)

Mathematics of Computing.

(8)

Microprogramming .

(8)

(8)

Simulation and Modeling.

(8)

System Performance and Evaluation.

(8)

COMPUTERS / Computer Science

(7)

Computer System Implementation.

(7)

Computer systems.

(7)

Data Mining and Knowledge Discovery.

(7)

Information systems.

(7)

Microprocessors.

(7)

Natural language processing (Computer science).

(7)

Software Engineering/Programming and Operating Systems.

(7)

Architecture, Computer.

(6)

COMPUTERS / Programming / Software Development

(6)

COMPUTERS / Programming Languages / Java

(6)

Computer science—Mathematics.

(6)

Computer system performance.

(6)

Control Structures and Microprogramming.

(6)

Engineering -- Data processing.

(6)

MATHEMATICS / Applied

(6)

Microsoft.net framework.

(6)

Natural Language Processing (NLP).

(6)

Programming languages (Electronic computers) -- Semantics.

(6)

Programming languages.

(6)

(6)

TECHNOLOGY & ENGINEERING.

(6)

C (Computer program language)

(5)

COMPUTERS / Programming / Algorithms

(5)

COMPUTERS / Programming Languages / C++

(5)

Communications Engineering, Networks.

(5)

Computer network architectures.

(5)

Discrete Mathematics in Computer Science.

(5)

Information Storage and Retrieval.

(5)

Java (Computer program language).

(5)

Logic programming.

(5)

MATHEMATICS / General

(5)

Object-oriented programming languages.

(5)

R (Langage de programmation)

(5)

Telecommunication.

(5)

C++ (Langage de programmation)

(4)

COMPUTERS / General

(4)

(4)

Computer Application in Administrative Data Processing.

(4)

Computer engineering.

(4)

Computer security.

(4)

Computer vision.

(4)

Data and Information Security.

(4)

Data structures (Computer science)

(4)

(4)

Engineering mathematics.

(4)

Information technology -- Management.

(4)

JavaScript (Computer program language)

(4)

Langages de programmation.

(4)

(4)

Mathematical Logic and Foundations.

(4)

Mathematical statistics.

(4)

Microsoft .NET Framework.

(4)

Numerical analysis.

(4)

Object-oriented programming (Computer science)

(4)

Programlama dilleri.

(4)

Programming Languages

(4)

Python (Langage de programmation)

(4)

Signal processing.

(4)

Software Development & Engineering.

(4)

Algebra -- Data processing.

(3)

Apprentissage automatique.

(3)

Artificial intelligence -- Data processing.

(3)

Bioinformatics.

(3)

(3)

COMPUTERS / Mathematical & Statistical Software

(3)

COMPUTERS / Programming Languages / C

(3)

COMPUTERS / Programming Languages / General.

(3)

COMPUTERS / Software Development & Engineering / General.

(3)

Computer Engineering and Networks.

(3)

Computer architecture.

(3)

Computer hardware.

(3)

Computers and civilization.

(3)

(3)

(3)

Data Structures and Information Theory.

(3)

Data Structures.

(3)

Database management

(3)

Electronic digital computers -- Evaluation.

(3)

Hardware Performance and Reliability.

(3)

History of Computing.

(3)

Internet Resources.

(3)

(3)

(3)

MATHEMATICS / Arithmetic

(3)

(3)

Mathematical Applications in Computer Science.

(3)

Mathematical and Computational Engineering Applications.

(3)

Mathematics -- Data processing.

(3)

Neural networks (Computer science)

(3)

Operating systems (Computers)

(3)

Oracle (Computer file)

(3)

Processor Architectures.

(3)

Programming languages (Electronic computers) -- Syntax.

(3)

(3)

SQL (Computer program language)

(3)

Signal, Speech and Image Processing.

(3)

Special purpose computers.

(3)

(3)

(3)

(3)

Active server pages.

(2)

Artificial Intelligence

(2)

Assembler language (Computer program language)

(2)

(2)

Bases de données -- Gestion.

(2)

Big data -- Handbooks, manuals, etc.

(2)

Business information services.

(2)

C# (Langage de programmation)

(2)

(2)

COMPUTERS -- Computer Engineering.

(2)

COMPUTERS -- Databases -- General.

(2)

COMPUTERS -- Hardware -- General.

(2)

COMPUTERS -- Machine Theory.

(2)

COMPUTERS -- Mathematical & Statistical Software.

(2)

COMPUTERS -- Programming Languages -- Python.

(2)

COMPUTERS -- Software Development & Engineering -- General.

(2)

COMPUTERS / Computer Engineering

(2)

COMPUTERS / Database Management / General

(2)

COMPUTERS / Programming / Systems Analysis & Design

(2)

COMPUTERS / Programming Languages / C#

(2)

COMPUTERS / Programming Languages / JavaScript & VBScript

(2)

Coding and Information Theory.

(2)

Tümünü genişlet

Materyal Türü

Shelf Location

Beytepe CD-ROM Koleksiyonu

Beytepe Genel Koleksiyon

CRC Ekitapları

Elektronik Kütüphane

Sağlık Bilimleri Genel Koleksiyon

Taylor Francis E-Kitap Koleksiyonu

Wiley E-Kitap Koleksiyonu

Tümünü genişlet

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

666 sonuç bulundu

Arama sonuçlarına abone ol

1 .. 39 40 41 42 43 .. 56

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 Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings için kapak resmi

Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings

Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings

Yazar

Combemale, Benoit. editor. Pearce, David. editor. Barais, Olivier. editor. Vinju, Jurgen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I için kapak resmi

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

Yazar

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-45234-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Theoretical Aspects of Computing – ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings için kapak resmi

Theoretical Aspects of Computing – ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings

Theoretical Aspects of Computing – ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings

Yazar

Ciobanu, Gabriel. editor. Méry, Dominique. editor. (orcid)0000-0001-5231-6611 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings için kapak resmi

Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings

Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings

Yazar

Ciardo, Gianfranco. editor. Kindler, Ekkart. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedings için kapak resmi

Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedings

Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedings

Yazar

Fischbach, Kai. editor. Krieger, Udo R. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings için kapak resmi

Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings

Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings

Yazar

Schaefer, Ina. editor. Stamelos, Ioannis. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers için kapak resmi

Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers

Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers

Yazar

Counsell, Steve. editor. Núñez, Manuel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings için kapak resmi

Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Yazar

Cohen, Albert. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-54807-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof için kapak resmi

A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof

A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof

Yazar

Kovalev, Mikhail. author. Müller, Silvia M. author. Paul, Wolfgang J. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings için kapak resmi

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

Yazar

Cassez, Franck. editor. Raskin, Jean-Francois. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings için kapak resmi

Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings

Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings

Yazar

Lang, Frédéric. editor. Flammini, Francesco. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings için kapak resmi

Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Yazar

Muscholl, Anca. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-54830-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 .. 39 40 41 42 43 .. 56

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11