Search Results for Systems software.

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: Computer Communication Networks.

Yazar

SpringerLink (Online service)

(161)

Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X

(10)

Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758

(10)

Tetko, Igor V. editor. (orcid)0000-0002-6855-0012

(10)

Wand, Michael. editor. (orcid)0000-0003-0966-7824

(10)

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

(6)

Conti, Mauro. editor. (orcid)0000-0002-3612-1934

(5)

Bernardo, Marco. editor.

(4)

Choraś, Michał. editor. (orcid)0000-0003-1405-9911

(4)

Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683

(4)

Kozik, Rafał. editor. (orcid)0000-0001-7122-3306

(4)

Liang, Kaitai. editor.

(4)

Romanovsky, Alexander. editor.

(4)

Smaragdakis, Georgios. editor.

(4)

Tsudik, Gene. editor.

(4)

Bhateja, Vikrant. editor. (orcid)0000-0002-3259-8874

(3)

Choren, Ricardo. editor.

(3)

El-Qawasmeh, Eyas. editor.

(3)

Finkbeiner, Bernd. editor.

(3)

Garcia, Alessandro. editor.

(3)

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792

(3)

Heule, Marijn. editor. (orcid)0000-0002-5587-8801

(3)

Kovács, Laura. editor.

(3)

Lucena, Carlos. editor.

(3)

Mahmood, Zaigham. editor.

(3)

Mandal, Jyotsna Kumar. editor.

(3)

Raju, K. Srujan. editor. (orcid)0000-0001-5058-4313

(3)

Satapathy, Suresh Chandra. editor.

(3)

Wan Mohd, Wan Maseri bt. editor.

(3)

Adi, Kamel. editor. (orcid)0000-0003-2869-0333

(2)

Athanasopoulos, Elias. editor.

(2)

Barthe, Gilles. editor.

(2)

Bodden, Eric. editor.

(2)

Bourdeau, Simon. editor. (orcid)0000-0001-6660-3398

(2)

Chbeir, Richard. editor. (orcid)0000-0003-4112-1426

(2)

Clarke, Paul. editor. (orcid)0000-0002-4487-627X

(2)

Dassisti, Michele. editor. (orcid)0000-0001-6984-9203

(2)

Dulipovici, Alina. editor. (orcid)0000-0002-8847-5056

(2)

Durand, Christel. editor.

(2)

Greiner, Christian. editor. (orcid)0000-0002-8184-7128

(2)

Hřebíček, Jiří. editor.

(2)

Kermarrec, Yvon. editor.

(2)

Li, Jingchao. editor.

(2)

Livshits, Benjamin. editor.

(2)

Madani, Kurosh. editor.

(2)

Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329

(2)

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

(2)

Messnarz, Richard. editor. (orcid)0000-0002-0555-3160

(2)

Panetto, Hervé. editor. (orcid)0000-0002-5537-2261

(2)

Peisl, Thomas. editor. (orcid)0000-0001-5571-2089

(2)

Puschner, Peter. editor.

(2)

Riel, Andreas. editor. (orcid)0000-0001-9859-019X

(2)

Scandariato, Riccardo. editor.

(2)

Schimak, Gerald. editor.

(2)

Ulrich, Andreas. editor.

(2)

Viet Triem Tong, Valérie. editor. (orcid)0000-0003-4838-2952

(2)

Wu, Zhaohui. editor.

(2)

Yang, Laurence T. editor.

(2)

Yenigün, Hüsnü. editor.

(2)

Yilmaz, Murat. editor. (orcid)0000-0002-2446-3224

(2)

Ying, Yulong. editor.

(2)

Zain, Jasni Mohamad. editor.

(2)

Zannone, Nicola. editor.

(2)

Zhang, Bin. editor.

(2)

Abdelrahman, Omer H. editor.

(1)

Abdulla, Parosh Aziz. editor.

(1)

Aguilar, Jose. editor.

(1)

Amouzegar, Mahyar A. editor.

(1)

Antonakakis, Manos. editor.

(1)

Ao, Sio-long. editor.

(1)

Arbel, Eli. editor.

(1)

Arcak, Murat. author.

(1)

Ariwa, Ezendu. editor.

(1)

Avgeriou, Paris. editor.

(1)

Aydoğan, Reyhan. editor.

(1)

Baarslag, Tim. editor.

(1)

Babu, M. Rajasekhara. editor.

(1)

Badra, Mohamad. editor.

(1)

Bai, Guangdong. editor.

(1)

Baier, Christel. editor.

(1)

Bailey, Michael. editor.

(1)

Balakrishnan, P. author.

(1)

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

(1)

Balouek, Daniel. editor. (orcid)0000-0001-6038-1077

(1)

Banâtre, Jean-Pierre. editor.

(1)

Barnard, Pepita. editor. (orcid)0000-0003-4518-1207

(1)

Barrett, Kenneth. author.

(1)

Bautista, John Robert. editor. (orcid)0000-0002-4892-9543

(1)

Behnke, Sven. editor.

(1)

Bello-Orgaz, Gema. editor. (orcid)0000-0003-2826-3286

(1)

Benslimane, Djamal. editor.

(1)

Bilas, Vedran. editor.

(1)

Biswas, Kamanashis. editor. (orcid)0000-0003-3719-8607

(1)

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

(1)

Bloem, Roderick. editor.

(1)

Bogliolo, Alessandro. editor.

(1)

Bondavalli, Andrea. editor. (orcid)0000-0001-7366-6530

(1)

Bougé, Luc. editor.

(1)

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

(1)

Brinkschulte, Uwe. editor.

(1)

Bråthen, Svein. editor.

(1)

Bu, Jiajun. editor.

(1)

Buzzard, Kevin. editor. (orcid)0000-0002-7187-5109

(1)

Caballero, Juan. editor.

(1)

Cagáňová, Dagmar. editor. (orcid)0000-0002-6834-6126

(1)

Calinescu, Radu. editor.

(1)

Casanovas, Pompeu. editor.

(1)

Cavalli, Ana Rosa. editor.

(1)

Ceccarelli, Andrea. editor. (orcid)0000-0002-2291-2428

(1)

Chaouchi, Hakima. editor.

(1)

Chen, Chun. editor.

(1)

Choo, Kim-Kwang Raymond. editor. (orcid)0000-0001-9208-5336

(1)

Cimatti, Alessandro. editor.

(1)

Cirne, Walfredo. editor.

(1)

Crespi, Noel. author. (orcid)0000-0003-2962-192X

(1)

Crnkovic, Ivica. editor.

(1)

Dacier, Marc. editor.

(1)

Damasevicius, Robertas. editor.

(1)

Damaševičius, Robertas. editor. (orcid)0000-0001-9990-1084

(1)

Damiani, Ernesto. editor. (orcid)0000-0002-9557-6496

(1)

Dash, Santanu. editor. (orcid)0000-0002-5674-8531

(1)

Degano, Pierpaolo. editor.

(1)

Denzer, Ralf. editor.

(1)

Desai, Narayan. editor.

(1)

Desprez, Frédéric. editor.

(1)

Dickenstein, Alicia. editor. (orcid)0000-0003-4863-4953

(1)

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

(1)

Dini, Gianluca. editor.

(1)

Domínguez Mayo, Francisco José. editor.

(1)

Dong, Naipeng. editor.

(1)

Dou, Yong. editor.

(1)

Dregvaite, Giedre. editor.

(1)

Dustdar, Schahram. editor. (orcid)0000-0001-6872-8821

(1)

Dutot, Pierre-François. editor.

(1)

Eder, Johann. editor.

(1)

Eick, Bettina. editor. (orcid)0000-0003-2884-6545

(1)

El Abbadi, Amr. editor. (orcid)0000-0003-4692-3268

(1)

Erlingsson, Úlfar. editor.

(1)

Esparza, Javier. editor.

(1)

Farahi, Arya. editor. (orcid)0000-0003-0777-4618

(1)

Fazio, Maria. editor. (orcid)0000-0003-3574-1848

(1)

Ferreira, Joao C. editor.

(1)

Ferrero, Fabien. editor.

(1)

Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341

(1)

Flanagan, Cormac. editor.

(1)

Forbrig, Peter. editor.

(1)

Fortino, Giancarlo. editor.

(1)

Fortz, Sophie. editor. (orcid)0000-0001-9687-8587

(1)

Frachtenberg, Eitan. editor.

(1)

Fray, Imed El. editor.

(1)

Gama, João. editor.

(1)

Garbinato, Benoît. editor.

(1)

Gaur, Manoj Singh. editor.

(1)

Gavrilova, Marina L. editor.

(1)

Gelenbe, Erol. editor.

(1)

Gerding, Enrico. editor.

(1)

Gierlichs, Benedikt. editor.

(1)

Giese, Holger. editor.

(1)

Giordano, Stefano. editor.

(1)

Giorgini, Paolo. editor.

(1)

Givargis, Tony. editor.

(1)

Goldbach, Tobias. author.

(1)

Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742

(1)

Gorbenko, Anatoliy. editor.

(1)

Gorbil, Gokce. editor.

(1)

Gordon, Andrew D. editor.

(1)

Graba, Jan. author.

(1)

Grieskamp, Wolfgang. editor.

(1)

Grumberg, Orna. editor.

(1)

Guerrieri, Antonio. editor.

(1)

Guo, Minyi. editor.

(1)

Guo, Song. editor.

(1)

Hailes, Stephen. editor.

(1)

Halbwachs, Nicolas. editor.

(1)

Han, DongGyun. editor. (orcid)0000-0002-8599-2197

(1)

Hasegawa, Toru. editor.

(1)

Helgheim, Berit Irene. editor.

(1)

Heras, Dora. editor.

(1)

Hermanns, Holger. editor.

(1)

Higashino, Teruo. editor.

(1)

Hill, Richard. editor.

(1)

Hillston, Jane. editor.

(1)

Hinchey, Mike. editor.

(1)

Hoepman, Jaap-Henk. editor.

(1)

Hole, Kjell Jørgen. author.

(1)

Holvoet, Tom. editor.

(1)

Huang, Xinyi. editor.

(1)

Hung, Dang. editor.

(1)

Hunold, Sascha. editor.

(1)

Huth, Michael. editor.

(1)

Hölzl, Matthias. editor.

(1)

Ibrahim, Shadi. editor.

(1)

Jackson, Ethan. editor.

(1)

Jacquin, Ludovic. editor.

(1)

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

(1)

Janicke, Helge. editor.

(1)

Jeong, Hwa Young. editor.

(1)

Jones, Kevin. editor.

(1)

Jonker, Catholijn M. editor.

(1)

Julian, Vicente. editor.

(1)

Tümünü genişlet

Dil

(161)

Yayın Yılı

-

(36)

(32)

(23)

(13)

(10)

(8)

(8)

(6)

(6)

(5)

(4)

(3)

(3)

(2)

(1)

(1)

Tümünü genişlet

Konu

Computer networks .

(108)

Software engineering.

(100)

Computer science.

(72)

Artificial intelligence.

(52)

Application software.

(39)

Computer and Information Systems Applications.

(39)

Data protection.

(24)

Data and Information Security.

(23)

(23)

Computer System Implementation.

(21)

Computer systems.

(21)

Data encryption (Computer science).

(20)

Special Purpose and Application-Based Systems.

(20)

Computers, Special purpose.

(18)

(17)

(16)

(16)

Computing Milieux.

(14)

Operating systems (Computers).

(14)

Telecommunication.

(14)

Computer Engineering and Networks.

(12)

Computer engineering.

(12)

Communications Engineering, Networks.

(11)

Computer simulation.

(11)

(10)

Electronic data processing -- Management.

(10)

(10)

Information systems.

(10)

Computer Modelling.

(9)

Computer networks -- Security measures.

(9)

Computer software.

(9)

Control Structures and Microprogramming.

(9)

Information storage and retrieval systems.

(9)

Microprogramming .

(9)

Mobile and Network Security.

(9)

Operating Systems.

(9)

Theory of Computation.

(9)

Computer Science Logic and Foundations of Programming.

(8)

Data structures (Computer science).

(8)

Security Services.

(8)

Compilers (Computer programs).

(6)

Compilers and Interpreters.

(6)

Information Systems.

(6)

Programming Techniques.

(6)

Computational intelligence.

(5)

Computer system performance.

(5)

Database management.

(5)

Signal processing.

(5)

Signal, Speech and Image Processing.

(5)

Computer programming.

(4)

Computer science -- Mathematics.

(4)

Computer vision.

(4)

Data Structures and Information Theory.

(4)

Electronic digital computers -- Evaluation.

(4)

Formal Languages and Automata Theory.

(4)

Information theory.

(4)

Machine theory.

(4)

Software Engineering/Programming and Operating Systems.

(4)

System Performance and Evaluation.

(4)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(3)

Image processing -- Digital techniques.

(3)

Information Storage and Retrieval.

(3)

Logics and Meanings of Programs.

(3)

Mathematical Applications in Computer Science.

(3)

Models of Computation.

(3)

Optical pattern recognition.

(3)

Bioinformatics.

(2)

Computer Hardware.

(2)

Computers and Society.

(2)

Computers and civilization.

(2)

(2)

Data transmission systems.

(2)

Database Management System.

(2)

Human-computer interaction.

(2)

Information technology -- Management.

(2)

Input/Output and Data Communications.

(2)

Machine learning.

(2)

Natural Language Processing (NLP).

(2)

Natural language processing (Computer science).

(2)

Programming Languages, Compilers, Interpreters.

(2)

User Interfaces and Human Computer Interaction.

(2)

User interfaces (Computer systems).

(2)

Algorithm Analysis and Problem Complexity.

(1)

Artificial Intelligence (incl. Robotics).

(1)

Business Process Management.

(1)

Computational Science and Engineering.

(1)

Computational and Systems Biology.

(1)

Computer Application in Administrative Data Processing.

(1)

Computer Application in Social and Behavioral Sciences.

(1)

Computer Applications.

(1)

Computer architecture.

(1)

Computer graphics.

(1)

Computer input-output equipment.

(1)

Computer network architectures.

(1)

Computers -- Law and legislation.

(1)

Control and Systems Theory.

(1)

Control engineering.

(1)

Control theory.

(1)

Data Encryption.

(1)

Data Structures, Cryptology and Information Theory.

(1)

Discrete Mathematics in Computer Science.

(1)

Discrete mathematics.

(1)

Electrical and Electronic Engineering.

(1)

Electrical engineering.

(1)

Electronic commerce.

(1)

Engineering -- Data processing.

(1)

Engineering mathematics.

(1)

(1)

Environmental pollution.

(1)

Hardware Performance and Reliability.

(1)

Industrial organization.

(1)

Information Systems Applications (incl. Internet).

(1)

Information Systems and Communication Service.

(1)

Information technology -- Law and legislation.

(1)

(1)

Legal Aspects of Computing.

(1)

Management of Computing and Information Systems.

(1)

Math Applications in Computer Science.

(1)

Mathematical and Computational Engineering Applications.

(1)

Mathematics -- Data processing.

(1)

Mathematics of Computing.

(1)

Microprocessors.

(1)

Models and Principles.

(1)

Multimedia systems.

(1)

Processor Architectures.

(1)

(1)

Simulation and Modeling.

(1)

Social sciences -- Data processing.

(1)

(1)

Systems Theory, Control.

(1)

Systems and Data Security.

(1)

e-Commerce and e-Business.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

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ç

161 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.

1.

Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings için kapak resmi

Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings

Yazar

Flanagan, Cormac. editor. König, Barbara. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-28756-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Sensor Systems and Software Third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012, Revised Selected Papers için kapak resmi

Sensor Systems and Software Third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012, Revised Selected Papers

Sensor Systems and Software Third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012, Revised Selected Papers

Yazar

Martins, Francisco. editor. Lopes, Luís. editor. Paulino, Hervé. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-32778-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Software Engineering for Resilient Systems 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings için kapak resmi

Software Engineering for Resilient Systems 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings

Software Engineering for Resilient Systems 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings

Yazar

Avgeriou, Paris. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-33176-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Programming Languages and Systems 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings için kapak resmi

Programming Languages and Systems 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings

Programming Languages and Systems 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings

Yazar

Seidl, Helmut. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-28869-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Global Trends in Information Systems and Software Applications 4th International Conference, ObCom 2011, Vellore, TN, India, December 9-11, 2011. Proceedings, Part II için kapak resmi

Global Trends in Information Systems and Software Applications 4th International Conference, ObCom 2011, Vellore, TN, India, December 9-11, 2011. Proceedings, Part II

Global Trends in Information Systems and Software Applications 4th International Conference, ObCom 2011, Vellore, TN, India, December 9-11, 2011. Proceedings, Part II

Yazar

Krishna, P. Venkata. editor. Babu, M. Rajasekhara. editor. Ariwa, Ezendu. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-29216-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Testing Software and Systems 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings için kapak resmi

Testing Software and Systems 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings

Testing Software and Systems 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings

Yazar

Nielsen, Brian. editor. Weise, Carsten. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-34691-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

AI Approaches to the Complexity of Legal Systems. Models and Ethical Challenges for Legal Systems, Legal Language and Legal Ontologies, Argumentation and Software Agents International Workshop AICOL-III, Held as Part of the 25th IVR Congress, Frankfurt am Main, Germany, August 15-16, 2011. Revised Selected Papers için kapak resmi

AI Approaches to the Complexity of Legal Systems. Models and Ethical Challenges for Legal Systems, Legal Language and Legal Ontologies, Argumentation and Software Agents International Workshop AICOL-III, Held as Part of the 25th IVR Congress, Frankfurt am Main, Germany, August 15-16, 2011. Revised Selected Papers

AI Approaches to the Complexity of Legal Systems. Models and Ethical Challenges for Legal Systems, Legal Language and Legal Ontologies, Argumentation and Software Agents International Workshop AICOL-III, Held as Part of the 25th IVR Congress, Frankfurt am Main, Germany, August 15-16, 2011. Revised Selected Papers

Yazar

Palmirani, Monica. editor. Pagallo, Ugo. editor. Casanovas, Pompeu. editor. Sartor, Giovanni. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-35731-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings için kapak resmi

Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Yazar

Barthe, Gilles. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-19718-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings için kapak resmi

Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Yazar

Abdulla, Parosh Aziz. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-19835-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Engineering Secure Software and Systems Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings için kapak resmi

Engineering Secure Software and Systems Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings

Engineering Secure Software and Systems Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings

Yazar

Erlingsson, Úlfar. editor. Wieringa, Roel. editor. Zannone, Nicola. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-19125-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers için kapak resmi

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

Yazar

Calinescu, Radu. editor. Jackson, Ethan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-21292-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Sensor Systems and Software Second International ICST Conference, S-Cube 2010, Miami, FL, USA, December 13-15, 2010, Revised Selected Papers için kapak resmi

Sensor Systems and Software Second International ICST Conference, S-Cube 2010, Miami, FL, USA, December 13-15, 2010, Revised Selected Papers

Sensor Systems and Software Second International ICST Conference, S-Cube 2010, Miami, FL, USA, December 13-15, 2010, Revised Selected Papers

Yazar

Par, Gerard. editor. Morrow, Philip. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-23583-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3 4 5 .. 14

Go to:Search Results

|

|

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11