Search Results for Computer programming

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Publication Date: 2016

Author

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)

Language

(157)

(5)

Subject

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)

Material Type

Shelf Location

Beytepe General Collection

Electronic Library

Library

Beytepe Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

162 Results Found

Subscribe to search results

1 .. 3 4 5 6 7 .. 14

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.

49.

Cover image for Cryptography Made Simple

Cryptography Made Simple

Cryptography Made Simple

Author

Smart, Nigel. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

50.

Cover image for Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

Author

Probst, Christian W. editor. Hankin, Chris. editor. Hansen, René Rydhof. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

51.

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:

52.

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:

53.

Cover image for System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings

System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings

System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings

Author

Grabowski, Jens. editor. Herbold, Steffen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

54.

Cover image for Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings

Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings

Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings

Author

Skavhaug, Amund. editor. Guiochet, Jérémie. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

55.

Cover image for Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

Author

Aichernig, Bernhard K. editor. Furia, Carlo A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

56.

Cover image for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

Author

Lecomte, Thierry. editor. Pinger, Ralf. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

57.

Cover image for Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers

Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers

Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers

Author

Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424 Varró, Dániel. editor. Wimmer, Manuel. editor. (orcid)0000-0002-1124-7098 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

58.

Cover image for Information and Communication Technologies in Education, Research, and Industrial Applications 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers

Information and Communication Technologies in Education, Research, and Industrial Applications 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers

Information and Communication Technologies in Education, Research, and Industrial Applications 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers

Author

Yakovyna, Vitaliy. editor. (orcid)0000-0003-0133-8591 Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Zholtkevych, Grygoriy. editor. Spivakovsky, Aleksander. editor. (orcid)0000-0001-7574-4133

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

59.

Cover image for Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 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

Lluch Lafuente, Alberto. editor. Proença, José. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

60.

Cover image for Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

Author

Ribeiro, Leila. editor. Lecomte, Thierry. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 .. 3 4 5 6 7 .. 14

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11