Search Results for Computer programming

Skip to:Search Results

|

|

|

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Author

SpringerLink (Online service)

(530)

Wiley InterScience (Online service)

(10)

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

(9)

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

(9)

Taylor and Francis.

(6)

Attaway, Stormy.

(5)

IEEE Xplore (Online Service), distributor.

(5)

MIT Press, publisher.

(5)

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

(4)

Darche, Philippe.

(4)

Millington, Ian.

(4)

(3)

Artho, Cyrille. editor.

(3)

Bernardo, Marco. editor.

(3)

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

(3)

(3)

Craddock, David L., author.

(3)

Douglass, Bruce Powel.

(3)

Geroimenko, Vladimir. editor.

(3)

Hutchence, Kai, author.

(3)

Jansen, Nils. editor. (orcid)0000-0003-1318-8973

(3)

Johnsen, Einar Broch. editor.

(3)

Junges, Sebastian. editor. (orcid)0000-0003-0978-8466

(3)

Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324

(3)

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

(3)

Köseoğlu, Kerem.

(3)

Legay, Axel. editor.

(3)

(3)

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

(3)

Matheja, Christoph. editor. (orcid)0000-0001-9151-0441

(3)

Matuszek, David L., author.

(3)

Noll, Thomas. editor. (orcid)0000-0002-1865-1798

(3)

O'Regan, Gerard. author.

(3)

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

(3)

Pai, G. A. Vijayalakshmi, author.

(3)

Quatmann, Tim. editor. (orcid)0000-0002-2843-5511

(3)

Schildt, Herbert.

(3)

Schmidt, Renate A. editor.

(3)

Schoitsch, Erwin. editor.

(3)

Sheldon, Lee, author.

(3)

Spivey, Dwight.

(3)

Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165

(3)

Ursyn, Anna, 1955- author.

(3)

Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106

(3)

Volk, Matthias. editor. (orcid)0000-0002-3810-4185

(3)

Ölveczky, Peter Csaba. editor.

(3)

Abbott, Doug, 1944-

(2)

Abelson, Harold.

(2)

Agha, Gul. editor.

(2)

Anwar, Sajid. editor. (orcid)0000-0003-3393-1656

(2)

Arevalo, Kassandra, author.

(2)

Baillie-de Byl, Penny.

(2)

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

(2)

Bazzan, Ana. editor.

(2)

(2)

Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093

(2)

Bestaoui Sebbane, Yasmina, author.

(2)

Bhimavarapu, Usharani, author.

(2)

Bitter, Rick., author.

(2)

(2)

Bouajjani, Ahmed. editor.

(2)

Brannan, James A.

(2)

Butler, Stuart, author.

(2)

Bycer, Joshua, author.

(2)

(2)

Cady, Field, 1984- author.

(2)

Cagnoni, Stefano, 1961-

(2)

Canton, Maria P.

(2)

Chaudhuri, Swarat. editor.

(2)

Câmpeanu, Cezar. editor.

(2)

Dalıcı, Rahmi

(2)

De Nicola, Rocco. editor.

(2)

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

(2)

Deitel, Harvey M., 1945- author.

(2)

Diaz-Herrera, Jorge L., 1950- editor.

(2)

Dillon, Roberto, editor.

(2)

Dongarra, Jack. editor.

(2)

Draheim, Dirk. author.

(2)

Eden, A. H., 1967-

(2)

Egges, Arjan. author.

(2)

Engelbrecht, Andries P.

(2)

Farhaoui, Yousef. editor.

(2)

Farzan, Azadeh. editor.

(2)

Felleisen, Matthias.

(2)

(2)

Filipe, Joaquim. editor.

(2)

Finley, Toiya Kristen, author.

(2)

Fränzle, Martin. editor.

(2)

Fullerton, Tracy, author.

(2)

Fullerton, Tracy.

(2)

Følstad, Asbjørn. editor. (orcid)0000-0003-2763-0996

(2)

Garcia Diaz, Vicente. editor.

(2)

Geshi, Masaaki. editor.

(2)

Ghatak, Abhijit. author.

(2)

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

(2)

Gonzalez, Teofilo F., editor.

(2)

Gropp, William, author.

(2)

Guiochet, Jérémie. editor.

(2)

Hageback, Niklas, author.

(2)

Hemanth, Jude, author.

(2)

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

(2)

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

(2)

Hunt, John. author.

(2)

Hähnle, Reiner. editor.

(2)

IGI Global, publisher.

(2)

Iuppa, Nicholas V.

(2)

Jackson, Wallace. author.

(2)

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

(2)

John Wiley & Sons, publisher.

(2)

Jordan, Larry, 1950-

(2)

Kadarmideen, Haja N. editor.

(2)

Kapur, Deepak. editor.

(2)

Karczewski, Konrad. editor.

(2)

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

(2)

Kitowski, Jacek. editor.

(2)

Kleijn, Jetty. editor.

(2)

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

(2)

(2)

Kulkarni, Anand Jayant, editor.

(2)

Kunčak, Viktor. editor.

(2)

Kılıçdağı, Arda

(2)

Laaksonen, Antti. author.

(2)

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

(2)

Larsen, Kim Guldstrand. editor.

(2)

Le Thi, Hoai An. editor. (orcid)0000-0002-2239-2100

(2)

Le, Hoai Minh. editor.

(2)

Lecomte, Thierry. editor.

(2)

Lee, Kent D. author.

(2)

Li, Jingtian, author.

(2)

Liu, Shaoying. editor.

(2)

Loftus, William.

(2)

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

(2)

(2)

Maciaszek, Leszek A. editor.

(2)

Majumdar, Rupak. editor.

(2)

(2)

McCutchan, John. author.

(2)

Megill, Anna, author.

(2)

Merz, Stephan. editor.

(2)

Mohiuddin, Taqi.

(2)

Molloy, Derek, 1973- author.

(2)

Mousavi, Mohammad Reza. editor.

(2)

Nandan Mohanty, Sachi. editor.

(2)

Nawrocki, Matt.

(2)

Nguyen, Quang Thuan. editor. (orcid)0009-0006-2259-8404

(2)

Nicholson, J. (Jonathan), 1983-

(2)

Olmstead, Don. author.

(2)

(2)

Pathan, Al-Sakib Khan, editor.

(2)

Penninck, Greg, author.

(2)

Perini, Anna. editor. (orcid)0000-0001-8818-6476

(2)

Perner, Petra. editor.

(2)

Pogodalla, Sylvain. editor.

(2)

Potapov, Igor. editor.

(2)

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

(2)

Proença, José. editor.

(2)

Roman, Dumitru. editor.

(2)

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

(2)

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

(2)

Safari, an O'Reilly Media Company.

(2)

Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X

(2)

Sanchez, Julio, 1938, author.

(2)

Satish Kumar, G. A. E. editor.

(2)

Savin-Baden, Maggi, 1960- author.

(2)

ScienceDirect (Online service)

(2)

Sharma, Moolchand, editor.

(2)

Sharma, Prerna, editor.

(2)

Siarry, Patrick, editor.

(2)

Siddique, N. H., editor.

(2)

Sirjani, Marjan. editor.

(2)

Skavhaug, Amund. editor.

(2)

Sobolev, Sergey. editor.

(2)

Soma, Takako. author.

(2)

Somberg, Guy, editor.

(2)

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

(2)

Streib, James T. author.

(2)

Sweetman, Dominic.

(2)

(2)

Søraa, Roger Andre, author.

(2)

Thesen, Thomas Paul, author.

(2)

Togelius, Julian. author.

(2)

Tomar, Ravi, author.

(2)

Tonetta, Stefano. editor.

(2)

Tovar, Matthew, author.

(2)

Tucker, Allen B., editor.

(2)

Ullah, Abrar. editor.

(2)

Ullenboom, Christian, author, translator.

(2)

Voronkov, Andrei. editor.

(2)

(2)

Watt, Alan H., 1942-

(2)

Wiatr, Kazimierz. editor.

(2)

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

(2)

Wąsowski, Andrzej. editor.

(2)

Yigitcanlar, Tan.

(2)

Zhang, Zili. editor.

(2)

de Moura, Leonardo. editor.

(2)

Ábrahám, Erika. editor.

(2)

Özçalıcı, Mehmet.

(2)

(1)

Abate, Alessandro. editor.

(1)

Language

(1305)

(46)

Publication Date

-

(163)

(162)

(127)

(98)

(97)

(92)

(67)

(52)

(50)

(49)

(45)

(40)

(38)

(38)

(29)

(24)

(23)

(22)

(22)

(21)

(20)

(17)

(16)

(15)

(12)

(11)

(10)

(9)

(8)

(8)

(8)

(7)

(7)

(7)

(7)

(6)

(5)

(4)

(4)

(3)

(3)

(3)

(3)

(3)

(3)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

Computer programming.

(337)

Software engineering.

(282)

Computer science.

(264)

COMPUTERS / Computer Graphics / Game Programming & Design

(240)

Computer Science Logic and Foundations of Programming.

(231)

Artificial intelligence.

(161)

Machine theory.

(151)

Formal Languages and Automata Theory.

(150)

Programming Techniques.

(149)

Compilers (Computer programs).

(147)

Compilers and Interpreters.

(147)

Computer games -- Programming.

(111)

(97)

Computer science -- Mathematics.

(73)

Computer networks .

(71)

Object-oriented programming (Computer science)

(71)

Theory of Computation.

(63)

Application software.

(60)

COMPUTERS / Computer Science

(56)

Electronic books.

(55)

COMPUTERS / General

(54)

Computer and Information Systems Applications.

(53)

Computer simulation.

(53)

Programming languages (Electronic computers).

(52)

Computer Communication Networks.

(49)

Video games -- Design.

(49)

Computer graphics.

(44)

Computer Modelling.

(43)

Python (Computer program language)

(36)

Computer games -- Design.

(34)

(33)

COMPUTERS / Artificial Intelligence

(31)

Discrete mathematics.

(31)

Discrete Mathematics in Computer Science.

(29)

Java (Computer program language)

(29)

Computers, Special purpose.

(28)

Special Purpose and Application-Based Systems.

(28)

Computational intelligence.

(27)

Computer System Implementation.

(27)

Computer systems.

(27)

Computer engineering.

(26)

Embedded computer systems -- Programming.

(26)

Parallel programming (Computer science)

(26)

Computer software -- Development.

(24)

Engineering -- Data processing.

(24)

Computer Engineering and Networks.

(23)

Bilgisayar programlama.

(22)

(22)

Electronic digital computers -- Evaluation.

(22)

Human-computer interaction.

(22)

System Performance and Evaluation.

(22)

COMPUTERS / Computer Graphics / General

(20)

Machine learning.

(20)

User interfaces (Computer systems).

(20)

Computer algorithms.

(19)

Electronic data processing -- Management.

(19)

Evolutionary programming (Computer science)

(19)

Computer architecture.

(18)

Computer logic.

(18)

(18)

Mathematical logic.

(18)

Natural Language Processing (NLP).

(18)

Natural language processing (Computer science).

(18)

Engineering mathematics.

(17)

Mathematics of Computing.

(17)

C (Computer program language)

(16)

C++ (Computer program language)

(16)

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

(16)

Game Development.

(16)

(16)

Operating systems (Computers)

(16)

Programming Language.

(16)

User Interfaces and Human Computer Interaction.

(16)

Data Mining and Knowledge Discovery.

(15)

Database management.

(15)

Macintosh (Computer) -- Programming.

(15)

Mathematical statistics.

(15)

Microprocessors.

(15)

COMPUTERS / Programming Languages / General

(14)

Control Structures and Microprogramming.

(14)

Information storage and retrieval systems.

(14)

Microprogramming .

(14)

Data protection.

(13)

Information Storage and Retrieval.

(13)

Probability and Statistics in Computer Science.

(13)

Three-dimensional display systems.

(13)

BUSINESS & ECONOMICS / Statistics

(12)

COMPUTERS / Machine Theory

(12)

COMPUTERS / Programming / General

(12)

Genetic programming (Computer science)

(12)

Artificial intelligence -- Data processing.

(11)

COMPUTERS / Database Management / Data Mining

(11)

Computer animation.

(11)

(11)

Data and Information Security.

(11)

Data structures (Computer science)

(11)

Information theory.

(11)

Mathematical and Computational Engineering Applications.

(11)

Operating systems (Computers).

(11)

COMPUTERS / Computer Engineering

(10)

(10)

Data structures (Computer science).

(10)

Electronic Circuits and Systems.

(10)

Electronic circuits.

(10)

Information technology -- Management.

(10)

(10)

Mathematical Applications in Computer Science.

(10)

Mathematical optimization.

(10)

Unity (Electronic resource)

(10)

Video games -- Authorship.

(10)

COMPUTERS / Programming Languages / Python

(9)

Communications Engineering, Networks.

(9)

Computer Application in Administrative Data Processing.

(9)

Computer Hardware.

(9)

Computers and Education.

(9)

Education -- Data processing.

(9)

Logic programming.

(9)

Numerical analysis -- Data processing.

(9)

Numerical analysis.

(9)

Processor Architectures.

(9)

Telecommunication.

(9)

Application software -- Development.

(8)

C# (Computer program language)

(8)

Computer communication systems.

(8)

Computer games—Programming.

(8)

Computer security.

(8)

Data Structures and Information Theory.

(8)

(8)

(8)

Mathematical statistics -- Data processing.

(8)

Operating Systems.

(8)

Parallel processing (Electronic computers)

(8)

(8)

Python (Computer program language).

(8)

The Computing Profession.

(8)

Bioinformatics.

(7)

Cloud computing.

(7)

Computer programming

(7)

Data Analysis and Big Data.

(7)

Evolutionary computation.

(7)

(7)

Maya (Computer file)

(7)

Programming languages (Electronic computers)

(7)

(7)

Quantitative research.

(7)

R (Computer program language)

(7)

Science -- Data processing.

(7)

TECHNOLOGY & ENGINEERING.

(7)

Video games -- Programming.

(7)

(6)

Applications of Mathematics.

(6)

Automated Pattern Recognition.

(6)

Bilgisayar Programlama.

(6)

COMPUTERS / Information Technology

(6)

(6)

Computer programming -- Management.

(6)

Computer vision.

(6)

Constraint programming (Computer science)

(6)

Control engineering.

(6)

Design and Analysis of Algorithms.

(6)

Functional programming (Computer science)

(6)

GAMES / Video & Electronic

(6)

(6)

Mathematical Logic and Foundations.

(6)

Neural networks (Computer science)

(6)

Pattern recognition systems.

(6)

Physics -- Data processing.

(6)

Program transformation (Computer programming)

(6)

(6)

Quantum computers.

(6)

(6)

Statistics and Computing.

(6)

iPhone (Smartphone) -- Programming.

(6)

Adobe Photoshop.

(5)

Arithmetic and Logic Structures.

(5)

Artificial intelligence -- Social aspects.

(5)

(5)

(5)

Bilgisayar oyunları -- Programlama.

(5)

BİLGİSAYAR GRAFİKLERİ.

(5)

COMPUTERS / Computer Architecture

(5)

COMPUTERS / Computer Graphics / Image Processing (see also PHOTOGRAPHY / Techniques / Digital)

(5)

Computational and Systems Biology.

(5)

Computer Application in Social and Behavioral Sciences.

(5)

Computer algorithms

(5)

Computer arithmetic and logic units.

(5)

Computer interfaces.

(5)

Computer networks -- Security measures.

(5)

Computer programs -- Testing.

(5)

Computer science—Mathematics.

(5)

Computer sound processing.

(5)

FORTRAN (BİLGİSAYAR PROGRAMLAMA DİLİ)

(5)

Genetic algorithms.

(5)

Information visualization.

(5)

Internet of things.

(5)

Internet programming.

(5)

JavaScript (Computer program language)

(5)

(5)

MATHEMATICS / General

(5)

MacBook (Computer)

(5)

Material Type

Shelf Location

Beytepe CD-ROM Koleksiyonu

Beytepe General Collection

Beytepe Tez Koleksiyonu

Electronic Library

Konservatuvar Genel Koleksiyon

Taylor Francis E-Book Collection

Wiley E-Book Collection

Library

Beytepe Library

Conservatory Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

1363 Results Found

Subscribe to search results

1 .. 65 66 67 68 69 .. 114

000000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

One or more items could not be added because you are not logged in.

793.

Cover image for Real Time Control Engineering Systems And Automation

Real Time Control Engineering Systems And Automation

Real Time Control Engineering Systems And Automation

Author

Ng, Tian Seng. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-1509-0

Format:

Availability

Online Library~1

Available:
Copies:

794.

Cover image for Software Developers as Users Semiotic Investigations in Human-Centered Software Development

Software Developers as Users Semiotic Investigations in Human-Centered Software Development

Software Developers as Users Semiotic Investigations in Human-Centered Software Development

Author

Sieckenius de Souza, Clarisse. author. Fontoura de Gusmão Cerqueira, Renato. author. Marques Afonso, Luiz. author. Rossi de Mello Brandão, Rafael. author. Soares Jansen Ferreira, Juliana. author.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

795.

Cover image for System Dynamics Modeling with R

System Dynamics Modeling with R

System Dynamics Modeling with R

Author

Duggan, Jim. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

796.

Cover image for Engineering Applications of FPGAs Chaotic Systems, Artificial Neural Networks, Random Number Generators, and Secure Communication Systems

Engineering Applications of FPGAs Chaotic Systems, Artificial Neural Networks, Random Number Generators, and Secure Communication Systems

Engineering Applications of FPGAs Chaotic Systems, Artificial Neural Networks, Random Number Generators, and Secure Communication Systems

Author

Tlelo-Cuautle, Esteban. author. (orcid)0000-0001-7187-4686 Rangel-Magdaleno, José de Jesús. author. de la Fraga, Luis Gerardo. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

797.

Cover image for Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings

Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings

Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings

Author

Devitt, Simon. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

798.

Cover image for Learning and Intelligent Optimization 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers

Learning and Intelligent Optimization 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers

Learning and Intelligent Optimization 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers

Author

Festa, Paola. editor. Sellmann, Meinolf. editor. Vanschoren, Joaquin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

799.

Cover image for Hybrid Systems Biology 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings

Hybrid Systems Biology 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings

Hybrid Systems Biology 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings

Author

Cinquemani, Eugenio. editor. Donzé, Alexandre. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

800.

Cover image for Descriptional Complexity of Formal Systems 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings

Descriptional Complexity of Formal Systems 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings

Descriptional Complexity of Formal Systems 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings

Author

Câmpeanu, Cezar. editor. Manea, Florin. editor. Shallit, Jeffrey. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

801.

Cover image for Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Author

Artho, Cyrille. editor. Legay, Axel. editor. Peled, Doron. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

802.

Cover image for Web Services, Formal Methods, and Behavioral Types 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers

Web Services, Formal Methods, and Behavioral Types 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers

Web Services, Formal Methods, and Behavioral Types 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers

Author

Hildebrandt, Thomas. editor. Ravara, António. editor. van der Werf, Jan Martijn. editor. Weidlich, Matthias. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

803.

Cover image for Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

Author

De Nicola, Rocco. editor. Kühn, Eva. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

804.

Cover image for Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Author

Albert, Elvira. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 .. 65 66 67 68 69 .. 114

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11