Wydawnictwo Springer

Literatura piękna, popularna i faktu/pozostałe. Wydawnictwo Springer.
produkty 211-280 z 1165
sortuj:
Erectile dysfunction in hypertension and cardiovascular disease
-15%
Erectile dysfunction in hypertension and cardiovascular disease Rok wydania: 2014 Rodzaj okładki: Miękka EAN: 9783319082714 Stan: Z uszkodzeniami 26,00 zł 22,20 zł SZCZEGÓŁY dodaj do listy życzeń
Key Clinical Trials In Erectile Dysfunction
-15%
Key Clinical Trials In Erectile Dysfunction Rok wydania: 2006 Rodzaj okładki: Miękka EAN: 9781846284274 Stan: Widoczne ślady użytkowania 25,00 zł 21,35 zł SZCZEGÓŁY dodaj do listy życzeń
Penile Disorders
-15%
Penile Disorders Rok wydania: 1997 Rodzaj okładki: Miękka Stan: Widoczne ślady użytkowania 27,00 zł 23,06 zł SZCZEGÓŁY dodaj do listy życzeń
Bone and Cartilage Engineering
-15%
Bone and Cartilage Engineering Rok wydania: 2006 Rodzaj okładki: Twarda Stan: Widoczne ślady użytkowania 44,00 zł 37,59 zł SZCZEGÓŁY dodaj do listy życzeń
Computational Kinematics : Proceedings of the 7th International Workshop on Computational Kinematics that was held at Futuroscope-Poitiers, France, in May 2017
-15%
Computational Kinematics : Proceedings of the 7th International Workshop on Computational Kinematics that was held at Futuroscope-Poitiers, France, in May 2017 Rok wydania: 2017 Rodzaj okładki: Twarda Stan: Widoczne ślady użytkowania 108,00 zł 92,31 zł SZCZEGÓŁY dodaj do listy życzeń
Mechanisms, Transmissions and Applications: Proceedings of the Third MeTrApp Conference 2015
-15%
Mechanisms, Transmissions and Applications: Proceedings of the Third MeTrApp Conference 2015 Rok wydania: 2015 Rodzaj okładki: Twarda Stan: Widoczne ślady użytkowania 55,00 zł 47,00 zł SZCZEGÓŁY dodaj do listy życzeń
Logistics Systems Analysis
-15%
Logistics Systems Analysis Rok wydania: 1999 Rodzaj okładki: Twarda Stan: Widoczne ślady użytkowania 13,00 zł 11,09 zł SZCZEGÓŁY dodaj do listy życzeń
Datta social informatics
-15%
Datta social informatics Rok wydania: 2011 Rodzaj okładki: Twarda Stan: Widoczne ślady użytkowania 21,00 zł 17,93 zł SZCZEGÓŁY dodaj do listy życzeń
Cybernetic Approach to Project Management
-15%
Cybernetic Approach to Project Management Rok wydania: 2013 Rodzaj okładki: Twarda EAN: 9783642325038 Stan: Widoczne ślady użytkowania 216,64 zł 185,20 zł SZCZEGÓŁY dodaj do listy życzeń
Clinical Mr Imaging a Practical Approach
-15%
Clinical Mr Imaging a Practical Approach Rok wydania: 2003 Rodzaj okładki: Twarda Stan: Widoczne ślady użytkowania 15,00 zł 12,80 zł SZCZEGÓŁY dodaj do listy życzeń
Analysis and Design of Advanced Multiservice networks supporting mobiliyty, multimedia and interbetworking
-28%
Analysis and Design of Advanced Multiservice networks supporting mobiliyty, multimedia and interbetworking Rok wydania: 2006 Rodzaj okładki: Twarda Stan: Widoczne ślady użytkowania 56,84 zł 40,95 zł SZCZEGÓŁY dodaj do listy życzeń
Wireless and Mobile Networking
-28%
Wireless and Mobile Networking Rok wydania: 2009 Rodzaj okładki: Twarda Stan: Widoczne ślady użytkowania 50,00 zł 36,02 zł SZCZEGÓŁY dodaj do listy życzeń
Multistate Analysis of Life Histories with R
-28%
Multistate Analysis of Life Histories with R Rok wydania: 2014 Rodzaj okładki: Miękka Stan: Widoczne ślady użytkowania 24,00 zł 17,27 zł SZCZEGÓŁY dodaj do listy życzeń
Genetic Programming IV: Routine Human-Competitive Machine Intelligence
-31%
Genetic Programming IV: Routine Human-Competitive Machine Intelligence Rok wydania: 2005 Rodzaj okładki: Miękka EAN: 9780387250670 Stan: Z uszkodzeniami 24,00 zł 16,54 zł SZCZEGÓŁY dodaj do listy życzeń
NETLAB: Algorithms for Pattern Recognition
-10%
NETLAB: Algorithms for Pattern Recognition Rok wydania: 2004 Rodzaj okładki: Miękka EAN: 9781852334406 Stan: Z uszkodzeniami 18,00 zł 16,12 zł SZCZEGÓŁY dodaj do listy życzeń
Software Engineering for Large - Scale Multi - Agent Systems
-23%
Software Engineering for Large - Scale Multi - Agent Systems Rok wydania: 2003 Rodzaj okładki: Miękka EAN: 9783540087724 Stan: Widoczne ślady użytkowania 17,00 zł 13,12 zł SZCZEGÓŁY dodaj do listy życzeń
Computer Aided Verification
-31%
Computer Aided Verification Rok wydania: 2004 Rodzaj okładki: Miękka EAN: 9783540223429 Stan: Widoczne ślady użytkowania 34,00 zł 23,44 zł SZCZEGÓŁY dodaj do listy życzeń
Diagnosis and Fault - Tolerant Control
-23%
Diagnosis and Fault - Tolerant Control Rok wydania: 2003 Rodzaj okładki: Twarda EAN: 9783540010562 Stan: Z uszkodzeniami 69,58 zł 53,77 zł SZCZEGÓŁY dodaj do listy życzeń
Lecture Notes in Computer Science No 1785 Tools and Algorithms for the Construction and Analysis of Systems
-19%
Lecture Notes in Computer Science No 1785 Tools and Algorithms for the Construction and Analysis of Systems Rok wydania: 2004 Rodzaj okładki: Miękka Stan: Widoczne ślady użytkowania 54,00 zł 43,57 zł SZCZEGÓŁY dodaj do listy życzeń
Tools and Algorithms for the Construction and Analysis of Systems
-19%
Tools and Algorithms for the Construction and Analysis of Systems Rok wydania: 2004 Rodzaj okładki: Miękka Stan: Widoczne ślady użytkowania 19,00 zł 15,31 zł SZCZEGÓŁY dodaj do listy życzeń
Hybrid Systems: Computation and Control
-28%
Hybrid Systems: Computation and Control Rok wydania: 2002 Rodzaj okładki: Miękka Stan: Widoczne ślady użytkowania 27,00 zł 19,44 zł SZCZEGÓŁY dodaj do listy życzeń
Lecture notes in computer science No 1354 Automatic Verification of Sequential Infinite-State Processes
-19%
Lecture notes in computer science No 1354 Automatic Verification of Sequential Infinite-State Processes Rok wydania: 1997 Rodzaj okładki: Miękka Stan: Widoczne ślady użytkowania 19,00 zł 15,31 zł SZCZEGÓŁY dodaj do listy życzeń
Applications and Theory of Petri Nets
-28%
Applications and Theory of Petri Nets Rok wydania: 1983 Rodzaj okładki: Miękka Stan: Z uszkodzeniami 17,00 zł 12,23 zł SZCZEGÓŁY dodaj do listy życzeń
Application and Theory of Petri Nets 1997: 18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997, Proceedings Lecture Notes in Computer Science
-31%
Application and Theory of Petri Nets 1997: 18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997, Proceedings Lecture Notes in Computer Science Rok wydania: 1997 Rodzaj okładki: Miękka EAN: 9783540631392 Stan: Widoczne ślady użytkowania 24,00 zł 16,54 zł SZCZEGÓŁY dodaj do listy życzeń
Application and Theory of Petri Nets 1998: 19th International Conference, ICATPN’98 Lisbon, Portugal, June 22–26, 1998 Proceedings
-31%
Application and Theory of Petri Nets 1998: 19th International Conference, ICATPN’98 Lisbon, Portugal, June 22–26, 1998 Proceedings Rok wydania: 1998 Rodzaj okładki: Miękka EAN: 9783540646778 Stan: Z uszkodzeniami 26,00 zł 17,92 zł SZCZEGÓŁY dodaj do listy życzeń
Application and Theory of Petri Nets 1999: 20th International Conference, Icatpn '99, Williamsburg, Virginia, Usa, June 21-25,
-31%
Application and Theory of Petri Nets 1999: 20th International Conference, Icatpn '99, Williamsburg, Virginia, Usa, June 21-25, Rok wydania: 1999 Rodzaj okładki: Miękka EAN: 9783540661320 Stan: Z uszkodzeniami 26,00 zł 17,92 zł SZCZEGÓŁY dodaj do listy życzeń
Computer Aided Verification: 12th International Conference
-28%
Computer Aided Verification: 12th International Conference Rok wydania: 2000 Rodzaj okładki: Miękka Stan: Widoczne ślady użytkowania 14,00 zł 10,06 zł SZCZEGÓŁY dodaj do listy życzeń
Hybrid Systems: Computation and Control First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings
-20%
Hybrid Systems: Computation and Control First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings Rok wydania: 1998 Rodzaj okładki: Miękka EAN: 9783540643586 Stan: Z uszkodzeniami 26,00 zł 20,80 zł SZCZEGÓŁY dodaj do listy życzeń
Computer Aided Verification
-31%
Computer Aided Verification Rok wydania: 1995 Rodzaj okładki: Miękka EAN: 9783540600459 Stan: Widoczne ślady użytkowania 28,00 zł 19,30 zł SZCZEGÓŁY dodaj do listy życzeń
Hybrid Systems: Computation and Control: 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings
-31%
Hybrid Systems: Computation and Control: 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings Rok wydania: 2004 Rodzaj okładki: Miękka EAN: 9783540212591 Stan: Widoczne ślady użytkowania 28,00 zł 19,30 zł SZCZEGÓŁY dodaj do listy życzeń
Balancing Agility and Formalism in Software Engineering Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers
-80%
Balancing Agility and Formalism in Software Engineering Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers Rok wydania: 2008 Rodzaj okładki: Miękka EAN: 9783540852780 Stan: Z uszkodzeniami 75,93 zł 15,23 zł SZCZEGÓŁY dodaj do listy życzeń
SPIN Model Checking and Software Verification 1885
-28%
SPIN Model Checking and Software Verification 1885 Rok wydania: 2000 Rodzaj okładki: Miękka Stan: Widoczne ślady użytkowania 12,00 zł 8,62 zł SZCZEGÓŁY dodaj do listy życzeń
Hybrid Systems: Computation and Control: Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999 Proceedings
-31%
Hybrid Systems: Computation and Control: Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999 Proceedings Rok wydania: 1999 Rodzaj okładki: Miękka EAN: 9783540657347 Stan: Z uszkodzeniami 24,00 zł 16,54 zł SZCZEGÓŁY dodaj do listy życzeń
Lecture Notes in Computer Science Computer Aided Verification 1633
-28%
Lecture Notes in Computer Science Computer Aided Verification 1633 Rok wydania: 1999 Rodzaj okładki: Miękka Stan: Widoczne ślady użytkowania 23,00 zł 16,55 zł SZCZEGÓŁY dodaj do listy życzeń
Hybrid Systems: Computation and Control: Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23 - 25, 2000 Proceedings
-31%
Hybrid Systems: Computation and Control: Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23 - 25, 2000 Proceedings Rok wydania: 2000 Rodzaj okładki: Miękka EAN: 9783540672593 Stan: Z uszkodzeniami 12,00 zł 8,25 zł SZCZEGÓŁY dodaj do listy życzeń
Hybrid Systems: Computation and Control: 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings
-20%
Hybrid Systems: Computation and Control: 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings Rok wydania: 2005 Rodzaj okładki: Miękka EAN: 9783540251088 Stan: Z uszkodzeniami 20,00 zł 15,99 zł SZCZEGÓŁY dodaj do listy życzeń
Computer Aided Verification: 9th International Conference
-31%
Computer Aided Verification: 9th International Conference Rok wydania: 1997 Rodzaj okładki: Miękka EAN: 9783540631668 Stan: Widoczne ślady użytkowania 25,00 zł 17,23 zł SZCZEGÓŁY dodaj do listy życzeń
11th International Conference on Analysis and Optimization of Systems: Discrete Event Systems
-28%
11th International Conference on Analysis and Optimization of Systems: Discrete Event Systems Rok wydania: 1994 Rodzaj okładki: Miękka Stan: Widoczne ślady użytkowania 28,00 zł 20,16 zł SZCZEGÓŁY dodaj do listy życzeń
Embedded Systems: New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986
-28%
Embedded Systems: New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986 Rok wydania: 1986 Rodzaj okładki: Miękka Stan: Z uszkodzeniami 24,00 zł 17,27 zł SZCZEGÓŁY dodaj do listy życzeń
Network and Operating System Support for Digital Audio and Video Second International Workshop, Heidelberg, Germany, November 18-19, 1991. Proceedings
-28%
Network and Operating System Support for Digital Audio and Video Second International Workshop, Heidelberg, Germany, November 18-19, 1991. Proceedings Rok wydania: 1992 Rodzaj okładki: Miękka Stan: Z uszkodzeniami 24,00 zł 17,27 zł SZCZEGÓŁY dodaj do listy życzeń
Lecture Notes in Computer Science Application and Theory of Petri Nets 1996: 17th International Conference, Osaka, Japan, June 24-28, 1996. Proceedings
-31%
Lecture Notes in Computer Science Application and Theory of Petri Nets 1996: 17th International Conference, Osaka, Japan, June 24-28, 1996. Proceedings Rok wydania: 1996 Rodzaj okładki: Miękka EAN: 9783540613633 Stan: Widoczne ślady użytkowania 14,00 zł 9,64 zł SZCZEGÓŁY dodaj do listy życzeń
Petri Nets: Central Models and Their Properties: Advances in Petri Nets 1986, Part I Proceedings of an Advanced Course Bad Honnef, 8.–19. September 1986
-28%
Petri Nets: Central Models and Their Properties: Advances in Petri Nets 1986, Part I Proceedings of an Advanced Course Bad Honnef, 8.–19. September 1986 Rok wydania: 1986 Rodzaj okładki: Miękka Stan: Z uszkodzeniami 24,00 zł 17,27 zł SZCZEGÓŁY dodaj do listy życzeń
Formal Techniques in Real-Time and Fault-Tolerant Systems
-28%
Formal Techniques in Real-Time and Fault-Tolerant Systems Rok wydania: 1996 Rodzaj okładki: Miękka Stan: Widoczne ślady użytkowania 13,00 zł 9,34 zł SZCZEGÓŁY dodaj do listy życzeń
Formal Techniques in Real-Time and Fault-Tolerant Systems
-28%
Formal Techniques in Real-Time and Fault-Tolerant Systems Rok wydania: 1996 Rodzaj okładki: Miękka Stan: Widoczne ślady użytkowania 28,00 zł 20,16 zł SZCZEGÓŁY dodaj do listy życzeń
Formal Techniques in Real-Time and Fault-Tolerant Systems
-28%
Formal Techniques in Real-Time and Fault-Tolerant Systems Rok wydania: 1992 Rodzaj okładki: Miękka Stan: Widoczne ślady użytkowania 13,00 zł 9,34 zł SZCZEGÓŁY dodaj do listy życzeń
Formal Techniques in Real-Time and Fault-Tolerant Systems
-28%
Formal Techniques in Real-Time and Fault-Tolerant Systems Rok wydania: 2000 Rodzaj okładki: Miękka Stan: Widoczne ślady użytkowania 28,00 zł 20,16 zł SZCZEGÓŁY dodaj do listy życzeń
Partial-Order Methods for the Verification of Concurrent Systems
-28%
Partial-Order Methods for the Verification of Concurrent Systems Rok wydania: 1996 Rodzaj okładki: Miękka Stan: Widoczne ślady użytkowania 16,00 zł 11,51 zł SZCZEGÓŁY dodaj do listy życzeń
CONCUR 96: Concurrency Theory
-28%
CONCUR 96: Concurrency Theory Rok wydania: 1996 Rodzaj okładki: Miękka Stan: Widoczne ślady użytkowania 54,00 zł 38,90 zł SZCZEGÓŁY dodaj do listy życzeń
Formal Methods for Real-Time and Probabilistic Systems
-28%
Formal Methods for Real-Time and Probabilistic Systems Rok wydania: 1999 Rodzaj okładki: Miękka Stan: Widoczne ślady użytkowania 28,00 zł 20,16 zł SZCZEGÓŁY dodaj do listy życzeń
Hybrid Systems: Computation and Control
-28%
Hybrid Systems: Computation and Control Rok wydania: 2002 Rodzaj okładki: Miękka Stan: Widoczne ślady użytkowania 22,00 zł 15,83 zł SZCZEGÓŁY dodaj do listy życzeń
Application and Theory of Petri Nets 2000
-28%
Application and Theory of Petri Nets 2000 Rok wydania: 2000 Rodzaj okładki: Miękka Stan: Widoczne ślady użytkowania 29,00 zł 20,88 zł SZCZEGÓŁY dodaj do listy życzeń
Abstract State Machines - Theory and Applications
-28%
Abstract State Machines - Theory and Applications Rok wydania: 2000 Rodzaj okładki: Miękka Stan: Widoczne ślady użytkowania 23,00 zł 16,55 zł SZCZEGÓŁY dodaj do listy życzeń
CONCUR '98 Concurrency Theory
-28%
CONCUR '98 Concurrency Theory Rok wydania: 1998 Rodzaj okładki: Miękka Stan: Widoczne ślady użytkowania 54,00 zł 38,90 zł SZCZEGÓŁY dodaj do listy życzeń
CONCUR 99. Concurrency Theory
-31%
CONCUR 99. Concurrency Theory Rok wydania: 1999 Rodzaj okładki: Miękka EAN: 9783540664253 Stan: Widoczne ślady użytkowania 54,00 zł 37,25 zł SZCZEGÓŁY dodaj do listy życzeń
Hybrid Systems: Computation and Control 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings
-31%
Hybrid Systems: Computation and Control 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings Rok wydania: 2006 Rodzaj okładki: Miękka EAN: 9783540331704 Stan: Widoczne ślady użytkowania 25,00 zł 17,23 zł SZCZEGÓŁY dodaj do listy życzeń
Application and Theory of Petri Nets 1994: 15th International Conference Zaragoza, Spain, June 20-24, 1994 Proceedings
-28%
Application and Theory of Petri Nets 1994: 15th International Conference Zaragoza, Spain, June 20-24, 1994 Proceedings Rok wydania: 1994 Rodzaj okładki: Miękka Stan: Z uszkodzeniami 24,00 zł 17,27 zł SZCZEGÓŁY dodaj do listy życzeń
Application and Theory of Petri Nets 1993: 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993. Proceedings
-28%
Application and Theory of Petri Nets 1993: 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993. Proceedings Rok wydania: 1993 Rodzaj okładki: Miękka Stan: Z uszkodzeniami 11,00 zł 7,90 zł SZCZEGÓŁY dodaj do listy życzeń
Lecture Notes in Computer Science Hybrid Systems Volume II
-28%
Lecture Notes in Computer Science Hybrid Systems Volume II Rok wydania: 1995 Rodzaj okładki: Miękka Stan: Z uszkodzeniami 12,00 zł 8,62 zł SZCZEGÓŁY dodaj do listy życzeń
Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings
-20%
Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings Rok wydania: 2003 Rodzaj okładki: Miękka EAN: 9783540009139 Stan: Z uszkodzeniami 13,00 zł 10,39 zł SZCZEGÓŁY dodaj do listy życzeń
Lecture Notes in Computer Science Application And Theory Of Petri Nets, 1995
-31%
Lecture Notes in Computer Science Application And Theory Of Petri Nets, 1995 Rok wydania: 1995 Rodzaj okładki: Miękka EAN: 9783540600299 Stan: Z uszkodzeniami 21,00 zł 14,47 zł SZCZEGÓŁY dodaj do listy życzeń
Lecture Notes in Computer Science Hybrid Systems
-28%
Lecture Notes in Computer Science Hybrid Systems Rok wydania: 1993 Rodzaj okładki: Miękka Stan: Z uszkodzeniami 14,00 zł 10,06 zł SZCZEGÓŁY dodaj do listy życzeń
Lecture Notes in Computer Science Hybrid Systems Volume V
-31%
Lecture Notes in Computer Science Hybrid Systems Volume V Rok wydania: 1999 Rodzaj okładki: Miękka EAN: 9783540656432 Stan: Z uszkodzeniami 24,00 zł 16,54 zł SZCZEGÓŁY dodaj do listy życzeń
Computer Aided Verification: 5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993
-28%
Computer Aided Verification: 5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993 Rok wydania: 1993 Rodzaj okładki: Miękka Stan: Widoczne ślady użytkowania 33,00 zł 23,76 zł SZCZEGÓŁY dodaj do listy życzeń
Lecture Notes in Computer Science Hybrid Systems Volume IV
-31%
Lecture Notes in Computer Science Hybrid Systems Volume IV Rok wydania: 1997 Rodzaj okładki: Miękka EAN: 9783540633587 Stan: Z uszkodzeniami 24,00 zł 16,54 zł SZCZEGÓŁY dodaj do listy życzeń
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987
-28%
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987 Rok wydania: 1987 Rodzaj okładki: Miękka Stan: Widoczne ślady użytkowania 13,00 zł 9,34 zł SZCZEGÓŁY dodaj do listy życzeń
Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European
-31%
Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European Rok wydania: 2001 Rodzaj okładki: Miękka EAN: 9783540418658 Stan: Widoczne ślady użytkowania 11,00 zł 7,57 zł SZCZEGÓŁY dodaj do listy życzeń
Tools and Algorithms for the Construction of Analysis of Systems
-28%
Tools and Algorithms for the Construction of Analysis of Systems Rok wydania: 1999 Rodzaj okładki: Miękka Stan: Widoczne ślady użytkowania 23,00 zł 16,55 zł SZCZEGÓŁY dodaj do listy życzeń
FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001
-28%
FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 Rok wydania: 2001 Rodzaj okładki: Miękka Stan: Widoczne ślady użytkowania 18,00 zł 12,95 zł SZCZEGÓŁY dodaj do listy życzeń
Tools and Algorithms for the Construction and Analysis of Systems
-19%
Tools and Algorithms for the Construction and Analysis of Systems Rok wydania: 2004 Rodzaj okładki: Miękka Stan: Z uszkodzeniami 18,00 zł 14,50 zł SZCZEGÓŁY dodaj do listy życzeń
Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November, 2000 Proceeding
-28%
Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November, 2000 Proceeding Rok wydania: 2008 Rodzaj okładki: Miękka Stan: Widoczne ślady użytkowania 12,00 zł 8,62 zł SZCZEGÓŁY dodaj do listy życzeń